Fukaya categories of Coulomb branches as unique deformations
Pith reviewed 2026-07-02 00:56 UTC · model grok-4.3
The pith
The Fukaya category of the horizontal Hilbert scheme is the unique Z^2-graded deformation of the NilHecke algebra category after removing the matter divisor.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
After removing the matter divisor, the Fukaya category of the horizontal Hilbert scheme is the unique deformation of the NilHecke algebra category that admits a compatible Z^2-grading. The solution to the deformation problem yields the desired category.
What carries the argument
The Z^2-graded deformation of the NilHecke algebra category arising from the relative Fukaya category construction on the complement of the matter divisor.
If this is right
- The Fukaya category can be determined by solving a deformation problem rather than direct geometric computation.
- The result matches the one obtained by Aganagic et al.
- Additional Z^2-grading restricts the possible deformations to a unique one.
- This approach applies to other Coulomb branches where the matter divisor can be removed.
Where Pith is reading between the lines
- This indicates that grading constraints may uniquely determine Fukaya categories in other relative settings.
- The technique could be tested on vertical Hilbert schemes or different choices of divisors.
- Connections to representation theory might be strengthened by viewing the NilHecke algebra as the base for these deformations.
Load-bearing premise
The endomorphism algebra of the chosen generating Lagrangian after removal of the matter divisor is exactly the NilHecke algebra, and this identification survives the deformation process without additional relations imposed by the geometry.
What would settle it
A calculation showing that the deformed algebra acquires extra relations beyond those of the NilHecke algebra, or the discovery of another Z^2-graded deformation that does not correspond to the Fukaya category of the Hilbert scheme.
Figures
read the original abstract
The symplectic geometry of Coulomb branches is complicated and it is particularly difficult to determine their Fukaya categories. Relative Fukaya categories present an approach to circumvent these difficulties by first computing the Fukaya category of the complement of a divisor and then solving a deformation problem. In this paper, we apply this approach to the specific case of horizontal Hilbert schemes by removing their matter divisor and narrowing down the set of possible deformations through an additional $ \mathbb{Z}^2 $-grading. We utilize an existing description of the Fukaya category after removal of the matter divisor, in particular we use a specific generating Lagrangian and the identification between its endomorphism algebra and the NilHecke algebra. The core of this paper consists of solving the deformation problem, after which we recover the result of Aganagic et al.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that after removing the matter divisor from the horizontal Hilbert scheme of a Coulomb branch, the Fukaya category is recovered as the unique deformation of the NilHecke algebra category that admits a compatible ℤ²-grading. It invokes an existing description of the post-removal Fukaya category (including a specific generating Lagrangian whose endomorphism algebra is identified with the NilHecke algebra) and solves the resulting deformation problem to match the result of Aganagic et al.
Significance. If the uniqueness argument holds, the work supplies a deformation-theoretic route to Fukaya categories of Coulomb branches that bypasses direct symplectic computations by combining relative Fukaya categories with an auxiliary grading. The approach explicitly builds on prior identifications rather than re-deriving them, which is a methodological strength when the deformation step is independently verified.
major comments (2)
- [Abstract and core deformation section] Abstract and core deformation section: the uniqueness claim under the ℤ²-grading requires that the endomorphism algebra of the chosen generating Lagrangian equals the NilHecke algebra exactly after divisor removal and that this identification persists without extra relations imposed by the ambient symplectic geometry once the deformation parameter is turned on. The manuscript invokes the existing description for the identification but provides no derivation, bound, or check excluding geometry-induced relations that would shrink the deformation space and invalidate uniqueness.
- [Deformation problem setup] Deformation problem setup: the argument that the ℤ²-grading narrows the deformation space to a single solution assumes the input category after divisor removal is precisely the one whose endomorphisms are the NilHecke algebra; if the geometric realization already encodes additional structure, the deformation step reduces to a consistency verification rather than an independent determination of the Fukaya category.
minor comments (2)
- Notation for the ℤ²-grading and its compatibility with the deformation parameter should be introduced with an explicit definition or reference to the grading on the NilHecke algebra.
- The manuscript should clarify in the introduction whether the recovered result of Aganagic et al. is obtained by direct comparison of generators and relations or by an abstract uniqueness argument.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive comments. We respond point by point to the major comments, clarifying the scope and reliance on prior work as stated in the manuscript.
read point-by-point responses
-
Referee: [Abstract and core deformation section] Abstract and core deformation section: the uniqueness claim under the ℤ²-grading requires that the endomorphism algebra of the chosen generating Lagrangian equals the NilHecke algebra exactly after divisor removal and that this identification persists without extra relations imposed by the ambient symplectic geometry once the deformation parameter is turned on. The manuscript invokes the existing description for the identification but provides no derivation, bound, or check excluding geometry-induced relations that would shrink the deformation space and invalidate uniqueness.
Authors: The manuscript explicitly invokes and relies upon an existing description (as stated in the abstract and introduction) for the Fukaya category after divisor removal, including the identification of the endomorphism algebra of the generating Lagrangian with the NilHecke algebra. The core contribution is the solution of the resulting deformation problem under the additional ℤ²-grading, which yields a unique deformation matching the result of Aganagic et al. We do not re-derive the input identification or provide an independent bound excluding further geometric relations; any such relations would already be incorporated (or excluded) in the cited prior description of the post-removal category. We can add a brief clarifying sentence in the introduction emphasizing this dependence on the existing identification. revision: partial
-
Referee: [Deformation problem setup] Deformation problem setup: the argument that the ℤ²-grading narrows the deformation space to a single solution assumes the input category after divisor removal is precisely the one whose endomorphisms are the NilHecke algebra; if the geometric realization already encodes additional structure, the deformation step reduces to a consistency verification rather than an independent determination of the Fukaya category.
Authors: The paper's approach is precisely to take the post-removal category as given by the existing description (with endomorphism algebra the NilHecke algebra) and then apply the ℤ²-grading to narrow the deformation space to a unique solution. This is presented as a methodological route that combines relative Fukaya categories with an auxiliary grading, rather than an independent symplectic computation from scratch. The deformation analysis is therefore conditional on the input category; if additional structure were present it would modify the starting point, but the uniqueness result holds for the category as described in the cited work. revision: no
Circularity Check
No significant circularity: core deformation solve is independent
full rationale
The paper takes the post-divisor-removal Fukaya category and its NilHecke endomorphism identification as an external input (explicitly 'we utilize an existing description'), then performs an independent deformation calculation under the additional Z^2-grading to produce a unique candidate. This calculation does not redefine the input algebra in terms of the output or force the result by construction; it solves a standard deformation problem whose solution is then matched to the known target. No self-citation chain is load-bearing for the uniqueness claim, and the identification is treated as given rather than derived inside the paper. The derivation therefore remains self-contained against the cited external benchmark.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The Fukaya category of the complement of the matter divisor is generated by a Lagrangian whose endomorphism algebra is the NilHecke algebra.
- domain assumption Deformations of the endomorphism algebra that preserve the Z^2-grading correspond exactly to deformations arising from the original symplectic manifold.
Reference graph
Works this paper leans on
-
[1]
Homological knot invariants from mirror symmetry
Mina Aganagic. “Homological knot invariants from mirror symmetry”. eng. In:EMS Press eBooks. Vol. 3. Str. des 17. Juni 136, 10623 Berlin, Germany: EMS Press, 2023, pp. 2108–2144.isbn: 9783985470617
2023
-
[2]
Mina Aganagic et al.Quiver Hecke algebras from Floer homology in Couloumb branches
- [3]
- [4]
-
[5]
London Mathematical Society student texts ; 99
Raf Bocklandt.A gentle introduction to homological mirror symmetry / Raf Bocklandt, University of Amsterdam.eng. London Mathematical Society student texts ; 99. Cambridge: Cambridge University Press, 2021.isbn: 1-108-69245-1
2021
-
[6]
Noncommutative mirror symmetry for punctured surfaces
Raf Bocklandt. “Noncommutative mirror symmetry for punctured surfaces”. In:Trans. Amer. Math. Soc.368.1 (2016). With an appendix by Mohammed Abouzaid, pp. 429–469
2016
-
[7]
Deformed mirror symmetry for punctured surfaces
Raf Bocklandt and Jasper van de Kreeke. “Deformed mirror symmetry for punctured surfaces”. In:Journal of Algebra672 (2025), pp. 413–602.issn: 0021-8693.doi:https://doi.org/10. 1016/j.jalgebra.2025.02.024.url:https://www.sciencedirect.com/science/article/ pii/S0021869325000997. 35
2025
-
[8]
Towards a mathematical def- inition of Coulomb branches of 3-dimensional N=4 gauge theories, II
Alexander Braverman, Michael Finkelberg, and Hiraku Nakajima. “Towards a mathematical def- inition of Coulomb branches of 3-dimensional N=4 gauge theories, II”. eng. In:Advances in theoretical and mathematical physics22.5 (2018), pp. 1071–1147.issn: 1095-0761
2018
-
[9]
Cosilting complexes and AIR-cotilting mod- ules
Sergio Chouhy and Andrea Solotar. “Projective resolutions of associative algebras and ambiguities”. In:J. Algebra432 (2015), pp. 22–61.issn: 0021-8693,1090-266X.doi:10.1016/j.jalgebra. 2015.02.019.url:https://doi-org.libproxy.berkeley.edu/10.1016/j.jalgebra.2015.02. 019
-
[10]
Duality between Lagrangian and Legendrian invariants
Tobias Ekholm and Yankı Lekili. “Duality between Lagrangian and Legendrian invariants”. In: Geometry & Topology27.6 (Aug. 2023), pp. 2049–2179.issn: 1465-3060.doi:10.2140/gt. 2023.27.2049.url:http://dx.doi.org/10.2140/gt.2023.27.2049
work page doi:10.2140/gt 2023
-
[11]
Weinstein manifolds revisited
Yakov Eliashberg et al. “Weinstein manifolds revisited”. eng. In:Modern Geometry. Vol. 99. Proceedings of Symposia in Pure Mathematics. Providence, Rhode Island: American Mathematical Society, 2018, pp. 59–82.isbn: 9781470440947
2018
-
[12]
Covariantly functorial wrapped Floer theory on Liouville sectors
Sheel Ganatra, John Pardon, and Vivek Shende. “Covariantly functorial wrapped Floer theory on Liouville sectors”. eng. In:Publications math´ ematiques de l’IH´ES131.1 (2020), pp. 73–200. issn: 0073-8301
2020
-
[13]
Sectorial descent for wrapped Fukaya categories
Sheel Ganatra, John Pardon, and Vivek Shende. “Sectorial descent for wrapped Fukaya categories”. eng. In:Journal of the American Mathematical Society37.2 (2023), pp. 499–635.issn: 0894- 0347
2023
-
[14]
Mirror symmetry in three-dimensional gauge theories
Nathan Seiberg Ken Intriligator. “Mirror symmetry in three-dimensional gauge theories”. In:Phys- ical Letters B387.3 (1996), pp. 513–519
1996
-
[15]
ox.ac.uk/beem/papers/kontsevich_soibelman_deformation_theory_1.pdf
Maxim Kontsevich and Yan Soibelman.Deformation Theory I.url:https://people.maths. ox.ac.uk/beem/papers/kontsevich_soibelman_deformation_theory_1.pdf
- [16]
-
[17]
FukayaA ∞-structures associated to Lefschetz fibrations. I
Paul Seidel. “FukayaA ∞-structures associated to Lefschetz fibrations. I”. In:J. Symplectic Geom.10.3 (2012), pp. 325–388.issn: 1527-5256,1540-2347.doi:10.4310/jsg.2012.v10.n3.a1. url:https://doi-org.libproxy.berkeley.edu/10.4310/jsg.2012.v10.n3.a1
-
[18]
Paul Seidel.Fukaya categories and deformations. 2002. arXiv:math/0206155 [math.SG].url: https://arxiv.org/abs/math/0206155
work page internal anchor Pith review Pith/arXiv arXiv 2002
-
[19]
On partially wrapped Fukaya categories
Zachary Sylvan. “On partially wrapped Fukaya categories”. In:Journal of Topology12.2 (Jan. 2019), pp. 372–441.issn: 1753-8424.doi:10.1112/topo.12088.url:http://dx.doi.org/10. 1112/topo.12088
work page doi:10.1112/topo.12088.url:http://dx.doi.org/10 2019
- [20]
- [21]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.