arxiv: 2511.10462 · v2 · submitted 2025-11-13 · 🧮 math.SG · math.QA

Natural transformations between braiding functors in the Fukaya category

Yujin Tong This is my paper

Pith reviewed 2026-05-17 22:03 UTC · model grok-4.3

classification 🧮 math.SG math.QA

keywords Fukaya categoryA-infinity natural transformationsbraiding functorsHochschild cohomologyprojective resolutionKLRW categoryCoulomb branchbraid cobordism

0 comments p. Extension

The pith

All cohomologically distinct A∞-natural transformations between identity and negative braiding functors in the Fukaya category are computed and classified.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper computes the spaces of A∞-natural transformations Nat(id, id) and Nat(id, β_i^-) in the Fukaya category associated to the Coulomb branch of the sl2 quiver gauge theory. It works in a diagrammatic framework aligned with the KLRW category embedding and determines the Hochschild cohomology through an explicit projective resolution of the diagonal bimodule from the Chouhy-Solotar reduction system. A sympathetic reader would care because these calculations fix the higher A∞-structure carried by braiding operations, supplying the initial data for a categorical version of braid cobordism actions.

Core claim

We compute all cohomologically distinct A∞-natural transformations Nat(id, id) and Nat(id, β_i^-), where β_i^- denotes the negative braiding functor. Our computation is carried out in a diagrammatic framework compatible with the established embedding of the KLRW category into this Fukaya category. We then compute the Hochschild cohomology of the Fukaya category using an explicit projective resolution of the diagonal bimodule obtained via the Chouhy-Solotar reduction system, and use this to classify all cohomologically distinct natural transformations. These results determine the higher A∞-data encoded in the braiding functors and their natural transformations, and provide the first step to a

What carries the argument

The explicit projective resolution of the diagonal bimodule via the Chouhy-Solotar reduction system, used to compute Hochschild cohomology and thereby classify the A∞-natural transformations between the identity and negative braiding functors.

If this is right

The higher A∞-data carried by the braiding functors and their natural transformations is completely determined.
This supplies the first concrete step toward a categorical formulation of braid cobordism actions on Fukaya categories.
The classification accounts for all cohomologically distinct transformations in the cases of Nat(id, id) and Nat(id, β_i^-).

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same resolution technique could be applied to compute transformations involving the positive braiding functor.
The results may link the Fukaya category action to other categorical braid representations through the shared KLRW embedding.
Analogous computations could be performed for Coulomb branches of other quivers to test uniformity of the classification.

Load-bearing premise

The diagrammatic framework stays compatible with the KLRW category embedding into the Fukaya category and the Chouhy-Solotar reduction system supplies the correct explicit projective resolution of the diagonal bimodule.

What would settle it

A direct count or basis for the natural transformations whose dimension or algebraic structure fails to agree with the Hochschild cohomology groups obtained from the Chouhy-Solotar resolution.

Figures

Figures reproduced from arXiv: 2511.10462 by Yujin Tong.

**Figure 1.** Figure 1: A degree-2 element in Hom(Ii−1, βi− Ii−1) These indicates that higher structures must be taken into account, and that one should work with A∞-natural transformations. We will be able to show that this is indeed the case. Acknowledgements. The author would like to thank Mina Aganagic and Peng Zhou for invaluable guidance and discussions, and Marco David for many helpful conversations and for first obtainin… view at source ↗

**Figure 2.** Figure 2: The generators Ti , the red dots and stars denote the stops and punctures Remark 2.1. Lagrangians with such shape in the fibers will be called T-branes, in the future we will simply draw the base and label the fiber type. 4 [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗

**Figure 3.** Figure 3: Morphisms between two generating Ti objects. The same pattern holds for arbitrary Ti and Tj , and all these intersection points have degree 0. Definition 2.2. We label the (α + 1)st intersection point, counted from the y → ∞ side of the cylindrical fiber, by ajis α. As we will see in Section 2.3.2, this corresponds to a KLRW strand diagram from j to i with α dots. Remark 2.3. We write aji for morphisms in … view at source ↗

**Figure 4.** Figure 4: Proof of µ 2 (s1, a12) = a12s. 6 [PITH_FULL_IMAGE:figures/full_fig_p006_4.png] view at source ↗

**Figure 5.** Figure 5: Proof of µ 2 (p2, q1) = s2. Note that in [PITH_FULL_IMAGE:figures/full_fig_p007_5.png] view at source ↗

**Figure 6.** Figure 6: Nontrivial KLRW relations in [PITH_FULL_IMAGE:figures/full_fig_p007_6.png] view at source ↗

**Figure 7.** Figure 7: Illustration of the embedding of the KLRW category [PITH_FULL_IMAGE:figures/full_fig_p008_7.png] view at source ↗

**Figure 8.** Figure 8: T-fiber and I-fiber We recall some well-known results of I-branes as well. ∗ ∗ ∗ ∗ I T2 T1 (20) ∗ ∗ ∗ ∗ I T2 − T1 ⊕ T3 T2 (21) Remark 2.10. It is an interesting fact that (16) and (20) have the same resolution. The resulting complex is an example of standard modules defined by Webster in [15, §5]. This equivalence has both a disc-counting argument in [6] and a geometric argument in [13]. 3 Structure of the… view at source ↗

**Figure 9.** Figure 9: Negative braiding functor βi− acting on Ti Theorem 3.1. The negative braiding functor βi− acts on generators Tj by βi− Tj =    Tj , i ̸= j, Ti − −−−−−−−−−−→ Ti−1 ⊕ Ti+1 i = j. (32) 3.2.2 Action on morphisms On the morphism level, β 1 i− acts trivially on Hom(Tj , Tk) unless j = i or k = i, • For a = akjs α ∈ Hom(Tj , Tk) with j, k ̸= i: β 1 i− (Tj s α −→ Tk) = Tj s α −→ Tk. (33) where we write… view at source ↗

**Figure 10.** Figure 10: β 1 i− acting on Hom(Tj , Ti) with j > i 12 [PITH_FULL_IMAGE:figures/full_fig_p012_10.png] view at source ↗

**Figure 11.** Figure 11: β 1 i− acting on Hom(Ti , Tk) with k > i We have β 1 i− (a) = [b−, b+]. Here, b− is directly inherited from a, thus b− = ak,i−1s α. b+ and b0 are given by the pseudoholomorphic discs b0 = b− · δ = b+ · δ, thus b+ = ak,i+1s α+1 since one of the discs encloses a puncture. For k > i, β 1 i− (Ti s α −→ Tk) = Ti − Ti−1 ⊕ Ti+1 Tk s α s α+1 (36) 13 [PITH_FULL_IMAGE:figures/full_fig_p013_11.png] view at source ↗

**Figure 12.** Figure 12: Action of βi− on Hom(Ti−1, Ti) ⊗ Hom(Ti+1, Ti−1) Before resolving βi− Ti , we have a disc c = b ·a. After resolving βi− Ti , the disc c = ba breaks into three smaller discs, we have c− = b·a = β 1 i− (a2)·β 1 i− (a1) and c+ = β 1 i− (a2·a1), thus β 1 i− (a2)·β 1 i− (a1) ̸= β 1 i− (a2 · a1). Nevertheless, c− and c+ are cohomologous since δc0 = c− − c+ is a coboundary. Thus c0 = β 2 i− (a2, a1) gives the in… view at source ↗

**Figure 13.** Figure 13: Additional relations for braiding bimodules [PITH_FULL_IMAGE:figures/full_fig_p017_13.png] view at source ↗

**Figure 14.** Figure 14: The only diagram ęi in Si = cokerιi Multiplication in Si is given by akis β · ęi · aijs α = ( ęi , j = k = i, α = β = 0, 0, else. (57) This can be summarized diagrammatically as [PITH_FULL_IMAGE:figures/full_fig_p018_14.png] view at source ↗

**Figure 15.** Figure 15: Relations for Si The epimorphism πi is given by πi : ∆ Si (58) and it maps everything else to 0. Remark 3.6. This is not a coincidence. In general, the situation can be described as follows. Suppose we have a Lefschetz fibration f : Y → C with a singular value at 0. On the Fukaya category of a regular fiber Fuk (f −1 (1)), there are two twisting exact triangles [11]: S ⊗ Hom(S, −) −→ id −→ T⟲ [1] −→ and T… view at source ↗

**Figure 16.** Figure 16: Category C as a quiver Q Q0 = {ei} (84) Q1 = {pi , qi , si} (85) The reduction system corresponding to the KLRW algebra comes from the relations in [PITH_FULL_IMAGE:figures/full_fig_p024_16.png] view at source ↗

**Figure 17.** Figure 17: Two 4-ambiguities in S6 Definition 6.1. To streamline notation, we denote the ambiguities in Sn as • Type I ambiguities: P n i+1 := pi+1qipi+1qipi+1qi . . . (88) Q n i := qipi+1qipi+1qipi+1 . . . (89) • Type II ambiguities: sP n i+1 := si+1pi+1qipi+1qipi+1 . . . (90) sQn i := siqipi+1qipi+1qi . . . (91) This should not cause any confusion with the projective module Pn or the set of paths Qn, as the ambigu… view at source ↗

**Figure 18.** Figure 18: Evaluation of coefficient C. Below is the proof of Theorem 9.4. Proof. From (148), − Jℓ(s0) = V 2,ℓ 0,Q (222) − Jℓ(si) = V 2,ℓ i−1,P + V 2,ℓ i,Q, 0 < i < |x| (223) − Jℓ(s|x| ) = V 2,ℓ |x|−1,P (224) where the vectors Jℓ span the image and the vectors V 2,ℓ span the kernel. Thus, we can take the representatives of the Hochschild cohomology as Vi := V 2,ℓ i−1,P − V 2,ℓ i,Q = [0, 0, . . . , 1, 0, 1, −1, 1, −1… view at source ↗

**Figure 19.** Figure 19: Naturality condition for η ∈ Nat0 (id, βi− ) We can see that µ 2 δ (β 1 (a), η0 (T4)) − µ 2 δ (η 0 (T2), a) + µ 1 δ (η 1 (a)) = 0. (241) For the length 2 input, one have for example, T1 T1 T4 T2 T4 T3 T1 T2 ⊕ β2− T2 β 2 2− (a2, a1) − a2 a1 a2a1 a1 η 0 (T1) β 1 2− (a2) η 1 (a1) = 0 η 1 (a2) η 1 (a2a1) [PITH_FULL_IMAGE:figures/full_fig_p047_19.png] view at source ↗

**Figure 20.** Figure 20: Naturality condition for η ∈ Nat0 (id, βi− ) One can check directly that −µ 2 δ (η 1 (a2), a1) − µ 2 δ (β 1 i− (a2), η1 (a1)) + µ 2 δ (β 2 i− (a2, a1), η0 (X0)) + η 1 (µ 2 (a2, a1)) = 0 (242) 47 [PITH_FULL_IMAGE:figures/full_fig_p047_20.png] view at source ↗

**Figure 21.** Figure 21: Naturality condition for η ∈ Nat1 (id, βi− ) In [PITH_FULL_IMAGE:figures/full_fig_p049_21.png] view at source ↗

read the original abstract

We study the space of $A_\infty$-natural transformations between braiding functors acting on the Fukaya category associated to the Coulomb branch $\mathcal{M}(\bullet,1)$ of the $\mathfrak{sl}_2$ quiver gauge theory. We compute all cohomologically distinct $A_\infty$-natural transformations $\mathrm{Nat}(\mathrm{id}, \mathrm{id})$ and $\mathrm{Nat}(\mathrm{id}, \beta_i^-)$, where $\beta_i^-$ denotes the negative braiding functor. Our computation is carried out in a diagrammatic framework compatible with the established embedding of the KLRW category into this Fukaya category. We then compute the Hochschild cohomology of the Fukaya category using an explicit projective resolution of the diagonal bimodule obtained via the Chouhy-Solotar reduction system, and use this to classify all cohomologically distinct natural transformations. These results determine the higher $A_\infty$-data encoded in the braiding functors and their natural transformations, and provide the first step toward a categorical formulation of braid cobordism actions on Fukaya categories.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper computes explicit Nat(id,id) and Nat(id, β_i^-) spaces in this Fukaya category via KLRW diagrams plus a Chouhy-Solotar resolution for the Hochschild classification.

read the letter

The main takeaway is that the authors give concrete calculations of the A∞ natural transformation spaces Nat(id, id) and Nat(id, β_i^-) in the Fukaya category of the sl2 Coulomb branch, then classify the cohomologically distinct ones using Hochschild cohomology from an explicit projective resolution of the diagonal bimodule via the Chouhy-Solotar system. They carry this out inside a diagrammatic framework that lines up with the known KLRW embedding. This produces specific data on the higher A∞ structure of the braiding functors that was not available before. The computations look grounded in the prior embedding results and the reduction system supplies a workable way to handle the cohomology groups. That part is useful and direct. The potential weak point is whether the diagrammatic KLRW presentation fully captures the A∞ morphisms once transferred to the geometric Fukaya category. Holomorphic disk counts could in principle add extra terms or homotopies invisible in the pure diagrams. The paper states compatibility with the embedding, but if it lacks a direct check that those geometric contributions vanish or are already accounted for in the relevant degrees, the classification might be incomplete on the symplectic side. This is a specialized paper aimed at people already working on Fukaya categories of quiver varieties and categorical braid actions. A reader who needs explicit bases or dimensions for these Nat spaces or who is building higher cobordism structures would find the results usable. It is worth sending to peer review because the calculations are specific enough for referees to verify the diagrams and the resolution steps.

Referee Report

2 major / 1 minor

Summary. The paper computes all cohomologically distinct A_∞-natural transformations Nat(id, id) and Nat(id, β_i^-) in the Fukaya category of the Coulomb branch M(•,1) associated to the sl_2 quiver gauge theory. Computations are performed in a diagrammatic framework compatible with the KLRW category embedding; Hochschild cohomology is then obtained from an explicit projective resolution of the diagonal bimodule via the Chouhy-Solotar reduction system, which is used to classify the natural transformations and extract higher A_∞ data for the braiding functors.

Significance. If the central claims hold, the work supplies the first explicit classification of natural transformations between braiding functors in this geometric setting and constitutes a concrete step toward a categorical formulation of braid cobordism actions on Fukaya categories. The use of an explicit Chouhy-Solotar projective resolution for the Hochschild cohomology computation is a methodological strength that enables direct classification.

major comments (2)

[Section on KLRW embedding and diagrammatic framework] The compatibility assertion between the diagrammatic KLRW computations and the Fukaya category A_∞ structure is load-bearing for the central claim. The manuscript must supply explicit control (vanishing results or degree bounds) showing that holomorphic disk contributions in the Coulomb branch geometry do not generate additional morphisms or homotopies invisible in the pure diagrammatic presentation, particularly in the degrees relevant to Nat(id, id) and Nat(id, β_i^-).
[Section computing Hochschild cohomology via Chouhy-Solotar resolution] The application of the Chouhy-Solotar reduction system to produce the projective resolution of the diagonal bimodule must be verified to be valid for the specific Fukaya category bimodule arising from M(•,1); it is not immediate that the algebraic reduction system captures all geometric A_∞ operations without additional checks.

minor comments (1)

Notation for the negative braiding functors β_i^- and the precise grading conventions on the Nat spaces should be introduced with a short table or diagram for clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address each major comment below and will incorporate the requested clarifications and verifications into a revised manuscript.

read point-by-point responses

Referee: The compatibility assertion between the diagrammatic KLRW computations and the Fukaya category A_∞ structure is load-bearing for the central claim. The manuscript must supply explicit control (vanishing results or degree bounds) showing that holomorphic disk contributions in the Coulomb branch geometry do not generate additional morphisms or homotopies invisible in the pure diagrammatic presentation, particularly in the degrees relevant to Nat(id, id) and Nat(id, β_i^-).

Authors: We agree that explicit control is required. In the revised version we will add a new subsection that supplies degree bounds derived from symplectic area and Maslov index considerations on the Coulomb branch M(•,1). These bounds show that, in the low degrees relevant to Nat(id,id) and Nat(id, β_i^-), any holomorphic disk contributions either vanish or are already encoded by the relations of the KLRW diagrammatic calculus under the given embedding. This will confirm that no additional morphisms or homotopies arise beyond the diagrammatic computation. revision: yes
Referee: The application of the Chouhy-Solotar reduction system to produce the projective resolution of the diagonal bimodule must be verified to be valid for the specific Fukaya category bimodule arising from M(•,1); it is not immediate that the algebraic reduction system captures all geometric A_∞ operations without additional checks.

Authors: We acknowledge that direct verification is needed. In the revision we will insert an explicit check verifying that the defining relations of the Chouhy-Solotar reduction system are compatible with the A_∞ structure maps of the Fukaya category bimodule. This check will be performed by direct low-degree computation of the relevant structure maps using the KLRW embedding, confirming that the resulting projective resolution captures the geometric operations. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper computes Nat(id, id) and Nat(id, β_i^-) via a diagrammatic framework stated to be compatible with an established KLRW embedding, then obtains HH^* from the Chouhy-Solotar reduction system applied to the diagonal bimodule. These steps are presented as explicit, independent calculations rather than quantities forced by the paper's own equations, fitted parameters renamed as predictions, or self-referential definitions. No load-bearing step reduces by construction to prior inputs within the manuscript; the central claims rest on external compatibility and standard homological tools.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on two domain assumptions: compatibility of the diagrammatic framework with the KLRW embedding, and the applicability of the Chouhy-Solotar reduction system to produce an explicit projective resolution. No free parameters or new postulated entities are indicated in the abstract.

axioms (2)

domain assumption The diagrammatic framework is compatible with the established embedding of the KLRW category into the Fukaya category.
Invoked to carry out the computation of natural transformations between braiding functors.
domain assumption The Chouhy-Solotar reduction system yields an explicit projective resolution of the diagonal bimodule.
Used to compute the Hochschild cohomology that classifies the natural transformations.

pith-pipeline@v0.9.0 · 5483 in / 1616 out tokens · 53907 ms · 2026-05-17T22:03:18.855131+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages · 2 internal anchors

[1]

Knot categorification from mirror symmetry, part II: Lagrangians

Mina Aganagic. Knot categorification from mirror symmetry, part II: Lagrangians. arXiv:2105.06039

work page arXiv
[2]

Quiver Hecke algebras from Floer homology in Coulomb branches.arXiv:2406.04258

Mina Aganagic, Ivan Danilenko, Yixuan Li, Vivek Shende, and Peng Zhou. Quiver Hecke algebras from Floer homology in Coulomb branches.arXiv:2406.04258

work page arXiv
[3]

Bardzell

Michael J. Bardzell. The alternating syzygy behavior of monomial algebras.Journal of Algebra, 188(1):69–89, 1997

work page 1997
[4]

Deformations of path algebras of quivers with relations

Severin Barmeier and Zhengfang Wang. Deformations of path algebras of quivers with relations. arXiv:2002.10001

work page arXiv 2002
[5]

Projective resolutions of associative algebras and ambigu- ities.Journal of Algebra, 432:22–61, 2015

Sergio Chouhy and Andrea Solotar. Projective resolutions of associative algebras and ambigu- ities.Journal of Algebra, 432:22–61, 2015

work page 2015
[6]

Aganagic’sinvariantisKhovanovhomology.arXiv:2505.00327

EliseLePageandVivekShende. Aganagic’sinvariantisKhovanovhomology.arXiv:2505.00327

work page arXiv
[7]

Mikhail Khovanov and Aaron D. Lauda. A diagrammatic approach to categorification of quan- tum groups I.Representation Theory, 13(14):309–347, 2009

work page 2009
[8]

Mikhail Khovanov and Aaron D. Lauda. A diagrammatic approach to categorification of quan- tum groups II.Transactions of the American Mathematical Society, 363(5):2685–2700, 2011

work page 2011
[9]

Braid cobordisms, triangulated categories, and flag varieties.arXiv:0001043

Mikhail Khovanov and Richard Thomas. Braid cobordisms, triangulated categories, and flag varieties.arXiv:0001043

work page
[10]

Fukaya Categories and Picard–Lefschetz Theory.European Mathematical Society, 2008

Paul Seidel. Fukaya Categories and Picard–Lefschetz Theory.European Mathematical Society, 2008

work page 2008
[11]

Braid group actions on derived categories of coherent sheaves

Paul Seidel and Richard Thomas. Braid group actions on derived categories of coherent sheaves. Duke Mathematical Journal, 108(1):37–108, 2001

work page 2001
[12]

2-Kac-Moody algebras

Raphaël Rouquier. 2-Kac-Moody algebras.arXiv:0812.5023

work page internal anchor Pith review Pith/arXiv arXiv
[13]

Hamiltonian flow between standard module Lagrangians.arXiv:2511.06431

Yujin Tong. Hamiltonian flow between standard module Lagrangians.arXiv:2511.06431

work page arXiv
[14]

Weighted Khovanov–Lauda–Rouquier algebras.arXiv:1209.2463

Ben Webster. Weighted Khovanov–Lauda–Rouquier algebras.arXiv:1209.2463

work page arXiv
[15]

Knot invariants and higher representation theory

Ben Webster. Knot invariants and higher representation theory.arXiv:1309.3796

work page internal anchor Pith review Pith/arXiv arXiv
[16]

Tensor product algebras, Grassmannians and Khovanov homology.Physics and Mathematics of Link Homology680, 23–58 (2016)

Ben Webster. Tensor product algebras, Grassmannians and Khovanov homology.Physics and Mathematics of Link Homology680, 23–58 (2016). 50

work page 2016