Recognition: no theorem link
Proper modules over Ginzburg dg algebras and compact Fukaya categories of plumbings
Pith reviewed 2026-05-12 02:08 UTC · model grok-4.3
The pith
Proper modules over Ginzburg dg algebras generate the compact Fukaya categories of plumbings and equate them to microlocal sheaves.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We provide a collection of proper modules that generates all proper modules over a Ginzburg dg algebra without assuming the Jacobi-finite condition. Using this generation result, we study the immersed compact Fukaya category of a general plumbing space. In particular, we prove a generation result for the compact Fukaya category and show that it is equivalent to the category of proper modules over the wrapped Fukaya category, and hence to the category of microlocal sheaves on the Lagrangian skeleton.
What carries the argument
The collection of proper modules over the Ginzburg dg algebra associated to the plumbing, which generates the proper module category and induces the equivalences for the Fukaya categories.
If this is right
- The compact Fukaya category of the plumbing is generated by the proper modules.
- The compact Fukaya category is equivalent to the proper modules over the wrapped Fukaya category.
- The compact Fukaya category is equivalent to the category of microlocal sheaves on the Lagrangian skeleton.
- These results hold for general plumbings without the Jacobi-finite assumption.
Where Pith is reading between the lines
- The approach may extend to other Lagrangian skeletons constructed via plumbings in higher dimensions.
- Algebraic computations using the Ginzburg algebra could provide new ways to calculate symplectic invariants.
- Verification on simple cases like linear plumbings could confirm the equivalences computationally.
Load-bearing premise
The standard construction of the Ginzburg dg algebra from the plumbing data and the definition of the immersed compact Fukaya category hold without the Jacobi-finite condition.
What would settle it
A concrete plumbing space, such as a tree with two vertices, where the generation of the compact Fukaya category by the proper modules fails or the equivalence to microlocal sheaves does not hold.
Figures
read the original abstract
We study Ginzburg dg algebras which appear at the intersection of representation theory and symplectic topology. First, we provide a collection of proper modules that generates all proper modules over a Ginzburg dg algebra, without assuming the Jacobi-finite condition. Using this generation result, we study the immersed compact Fukaya category of a general plumbing space. In particular, we prove a generation result for the compact Fukaya category and show that it is equivalent to the category of proper modules over the wrapped Fukaya category, and hence to the category of microlocal sheaves on the Lagrangian skeleton.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes a generating collection of proper modules over Ginzburg dg algebras that does not require the Jacobi-finite hypothesis. This generation result is applied to the immersed compact Fukaya category of a general plumbing, yielding a generation statement for that category together with an equivalence to the proper modules over the wrapped Fukaya category and, consequently, to the category of microlocal sheaves on the Lagrangian skeleton.
Significance. If the central claims hold, the work removes a restrictive hypothesis that has limited prior results on plumbings and Ginzburg algebras, thereby extending the range of Lagrangian skeletons whose compact Fukaya categories admit explicit algebraic descriptions. The explicit bridge to microlocal sheaves supplies a concrete computational tool that could be useful beyond the Jacobi-finite setting.
major comments (2)
- [§3 (Generation of proper modules over Ginzburg dg algebras)] The generation theorem for proper modules (the statement appearing immediately after the construction of the Ginzburg dg algebra from plumbing data): the argument must verify that the A∞-operations and the notion of properness remain well-defined and that the proposed generators still span when the cohomology of the Ginzburg algebra is infinite-dimensional; any tacit appeal to finite-dimensionality in the differential or in the compactness arguments would render the relaxation invalid and block the subsequent Fukaya-category equivalence.
- [§5 (Application to immersed compact Fukaya categories of plumbings)] The identification of the immersed compact Fukaya category with proper modules over the wrapped Fukaya category (the equivalence stated after the generation result is invoked): the proof relies on the generation theorem holding for general plumbings; if the immersed objects or the A∞-structure on the compact side tacitly use Jacobi-finiteness in their definition or in the compactness of moduli spaces, the claimed equivalence to microlocal sheaves on the skeleton fails for the general case.
minor comments (2)
- [§4] Notation for the immersed compact Fukaya category is introduced without an explicit comparison to the usual compact Fukaya category; a short paragraph clarifying the difference would aid readers.
- [Introduction] Several references to prior work on Jacobi-finite Ginzburg algebras are given, but the precise point at which the new argument diverges from those references could be highlighted more clearly in the introduction.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for the positive evaluation of its significance. We address the two major comments point by point below, providing clarifications on the generality of the arguments.
read point-by-point responses
-
Referee: [§3 (Generation of proper modules over Ginzburg dg algebras)] The generation theorem for proper modules (the statement appearing immediately after the construction of the Ginzburg dg algebra from plumbing data): the argument must verify that the A∞-operations and the notion of properness remain well-defined and that the proposed generators still span when the cohomology of the Ginzburg algebra is infinite-dimensional; any tacit appeal to finite-dimensionality in the differential or in the compactness arguments would render the relaxation invalid and block the subsequent Fukaya-category equivalence.
Authors: We appreciate the referee's emphasis on this foundational point. The construction of the Ginzburg dg algebra in Section 3 proceeds from the plumbing data via the standard completed tensor algebra and potential, without any finite-dimensionality assumption on the cohomology. The A∞-operations are defined by the usual formulas (multiplication by the potential and the differential), which are well-defined on the completed algebra regardless of the dimension of the cohomology. Properness of modules is defined via the existence of a finite filtration by free modules of finite rank, again independent of finite-dimensionality. The generation statement is proved by exhibiting an explicit resolution using the generators and a filtration argument on the underlying vector space; compactness of the relevant moduli spaces follows from the local plumbing charts and does not invoke Jacobi-finiteness. We will add a short clarifying paragraph after the statement of the theorem to make these independence statements explicit. revision: partial
-
Referee: [§5 (Application to immersed compact Fukaya categories of plumbings)] The identification of the immersed compact Fukaya category with proper modules over the wrapped Fukaya category (the equivalence stated after the generation result is invoked): the proof relies on the generation theorem holding for general plumbings; if the immersed objects or the A∞-structure on the compact side tacitly use Jacobi-finiteness in their definition or in the compactness of moduli spaces, the claimed equivalence to microlocal sheaves on the skeleton fails for the general case.
Authors: The referee correctly identifies that the equivalences in Section 5 rest on the generation result of Section 3. The immersed compact Fukaya category is defined using the standard A∞-structure on the Floer cochains of the immersed Lagrangian, with operations counted in moduli spaces of holomorphic disks. These moduli spaces remain compact for general plumbings by the maximum principle and the local model of the plumbing (no global Jacobi-finiteness is required). The equivalence to proper modules over the wrapped Fukaya category is obtained by applying the generation theorem to produce a quasi-equivalence, and the further equivalence to microlocal sheaves follows from the existing identification of the wrapped category with sheaves on the skeleton, which holds without the finite-dimensionality hypothesis. We will insert a brief remark in Section 5 confirming that the A∞-structure and compactness arguments are unchanged from the Jacobi-finite case and do not rely on it. revision: partial
Circularity Check
No significant circularity; generation result stated as independent of Jacobi-finiteness
full rationale
The paper's core advance is a stated generation theorem for proper modules over Ginzburg dg algebras that explicitly relaxes the Jacobi-finite hypothesis, followed by application to immersed compact Fukaya categories of plumbings and equivalence to microlocal sheaves. No equations or definitions in the provided abstract or structure reduce the claimed generation result to a self-definition, fitted parameter, or self-citation chain; the result is presented as a new collection of modules whose generation property holds by direct construction on the dg algebra without presupposing finite-dimensional cohomology. The subsequent Fukaya-category equivalences are derived from this theorem applied to standard categorical constructions, with no load-bearing step that renames inputs as outputs or imports uniqueness via overlapping-author citations. The derivation chain remains self-contained against external benchmarks such as the standard Ginzburg algebra and Fukaya-category definitions.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
G. Alston and E. Bao, Exact, graded, immersed Lagrangians and Floer theory , Journal of Symplectic Geometry 16 (2018), no. 2, 357--438
work page 2018
-
[2]
Abouzaid, On the wrapped F ukaya category and based loops , J
M. Abouzaid, On the wrapped F ukaya category and based loops , J. Symp. Geom. 10 (2012), 27--79
work page 2012
-
[3]
M. Akaho and D. Joyce, Immersed L agrangian F loer theory , J. Differential Geom. 86 (2010), no. 3, 381--500. 2785840
work page 2010
-
[4]
Amiot, Cluster categories for algebras of global dimension 2 and quivers with potential, Ann
C. Amiot, Cluster categories for algebras of global dimension 2 and quivers with potential, Ann. Inst. Fourier (Grenoble) 59 (2009), no. 6, 2525--2590. 2640929
work page 2009
- [5]
-
[6]
M. Abouzaid and I. Smith, Exact L agrangians in plumbings , Geom. Funct. Anal. 22 (2012), 785--831
work page 2012
-
[7]
Asplund, Simplicial descent for C hekanov- E liashberg dg-algebras , J
J. Asplund, Simplicial descent for C hekanov- E liashberg dg-algebras , J. Topol. 16 (2023), no. 2, 489--541. 4577070
work page 2023
-
[8]
A. A. Beuilinson, J. Bernstein, and P. Deligne, Faisceaux pervers, Analysis and topology on singular spaces, I ( L uminy, 1981), Ast\'erisque, vol. 100, Soc. Math. France, Paris, 1982, pp. 5--171. 751966
work page 1981
- [9]
-
[10]
H. Bae, W. Jeong, and J. Kim, Cluster categories from F ukaya categories , Internat. J. Math. 36 (2025), no. 8, Paper No. 2550019. 4922513
work page 2025
-
[11]
Bridgeland, Stability conditions on triangulated categories, Ann
T. Bridgeland, Stability conditions on triangulated categories, Ann. Math. 166 (2007), 317--345
work page 2007
-
[12]
T. Bridgeland and I. Smith, Quadratic differentials as stability conditions, Publ. Math. Inst. Hautes \'Etudes Sci. 121 (2015), 155--278. 3349833
work page 2015
-
[13]
B. Chantraine, G. Dimitroglou Rizell, P. Ghiggini, and R. Golovko, Geometric generation of the wrapped F ukaya category of W einstein manifolds and sectors , Ann. Sci. \'Ec. Norm. Sup\'er. (4) 57 (2024), no. 1, 1--85. 4732675
work page 2024
-
[14]
A. Canonaco, M. Ornaghi, and P. Stellari, Localizations of the category of A_ categories and internal H oms , Doc. Math. 24 (2019), 2463--2492. 4061058
work page 2019
-
[15]
H. Derksen, J. Weyman, and A. Zelevinsky, Quivers with potentials and their representations. I . M utations , Selecta Math. (N.S.) 14 (2008), no. 1, 59--119. 2480710
work page 2008
-
[16]
T. Etg \"u and Y. Lekili, Koszul duality patterns in F loer theory , Geom. Topol. 21 (2017), 3313--3389
work page 2017
-
[17]
, Fukaya categories of plumbings and multiplicative preprojective algebras, Quantum Topology 10 (2019), no. 4, 777--813
work page 2019
-
[18]
Ganatra, Symplectic cohomology and duality for the wrapped F ukaya category , Ph.D
S. Ganatra, Symplectic cohomology and duality for the wrapped F ukaya category , Ph.D. thesis, MIT, 2013
work page 2013
-
[19]
Y. Gao, Functors of wrapped Fukaya categories from Lagrangian correspondences , arXiv preprint arXiv:1712.00225 (2017)
-
[20]
S. Ganatra, Y. Gao, and S. Venkatesh, Rabinowitz fukaya categories and the categorical formal punctured neighborhood of infinity, 2022
work page 2022
-
[21]
Ginzburg, Calabi-- Y au algebras , arXiv:math/0612139 (2006)
V. Ginzburg, Calabi-- Y au algebras , arXiv:math/0612139 (2006)
-
[23]
S. Ganatra, J. Pardon, and V. Shende, Covariantly functorial wrapped F loer theory on L iouville sectors , Publ. Math. Inst. Hautes \' E tudes Sci. 131 (2020), 73--200. 4106794
work page 2020
-
[24]
, Microlocal M orse theory of wrapped F ukaya categories , Ann. of Math. (2) 199 (2024), no. 3, 943--1042. 4740209
work page 2024
-
[25]
, Sectorial descent for wrapped F ukaya categories , J. Amer. Math. Soc. 37 (2024), no. 2, 499--635. 4695507
work page 2024
-
[26]
Hermes, Minimal model of G inzburg algebras , J
S. Hermes, Minimal model of G inzburg algebras , J. Algebra 459 (2016), 389--436. 3503979
work page 2016
-
[27]
J. Hu, S. C. Lau, and J. Tan, Mirror construction for nakajima quiver varieties, 2024
work page 2024
-
[28]
O. Iyama and D. Yang, Silting reduction and C alabi-- Y au reduction of triangulated categories , Trans. Amer. Math. Soc. 370 (2018), 7861--7898
work page 2018
- [29]
-
[30]
D. Joyce, Conjectures on B ridgeland stability for F ukaya categories of C alabi-- Y au manifolds, special L agrangians, and L agrangian mean curvature flow , EMS Surv. Math. Sci. 2 (2015), 1--62
work page 2015
-
[31]
Keating, Lagrangian tori in four-dimensional M ilnor fibres , Geom
A. Keating, Lagrangian tori in four-dimensional M ilnor fibres , Geom. Funct. Anal. 25 (2015), no. 6, 1822--1901. 3432159
work page 2015
-
[32]
B. Keller, Calabi-- Y au triangulated categories , Trends in representation theory of algebras and related topics, EMS Ser. Congr. Rep., Eur. Math. Soc., Z \"u rich, 2008, pp. 467--489
work page 2008
-
[33]
, Deformed C alabi-- Y au completions , J. Reine Angew. Math. 654 (2011), 125--180
work page 2011
-
[34]
, On cluster theory and quantum dilogarithm identities, Representations of algebras and related topics, EMS Ser. Congr. Rep., Eur. Math. Soc., Z\"urich, 2011, pp. 85--116. 2931896
work page 2011
-
[35]
A. D. King, Moduli of representations of finite-dimensional algebras, Quart. J. Math. Oxford Ser. (2) 45 (1994), no. 180, 515--530. 1315461
work page 1994
-
[36]
D. Karabas and S. Lee, Homotopy colimits of dg categories and Fukaya categories , arXiv preprint arXiv:2109.03411 (2021)
-
[37]
, The wrapped F ukaya category of plumbings , J. Symplectic Geom. 23 (2025), no. 4, 853--949. 4965278
work page 2025
-
[38]
M. Kashiwara and P. Schapira, Sheaves on manifolds: With a short history `` Les d \'e buts de la th \'e orie des faisceaux" by Christian Houzel , Grundlehren der mathematischen Wissenschaften, Springer Berlin Heidelberg, 2002
work page 2002
-
[39]
M. Kontsevich and Y. Soibelman, Stability structures, motivic donaldson-thomas invariants and cluster transformations, 2008
work page 2008
-
[40]
, Motivic D onaldson- T homas invariants: summary of results , Mirror symmetry and tropical geometry, Contemp. Math., vol. 527, Amer. Math. Soc., Providence, RI, 2010, pp. 55--89. 2681792
work page 2010
-
[41]
B. Keller and Y. Wang, An introduction to relative C alabi- Y au structures , Representations of algebras and related structures, EMS Ser. Congr. Rep., EMS Press, Berlin, [2023] 2023, pp. 279--304. 4693643
work page 2023
-
[42]
B. Keller and D. Yang, Derived equivalences from mutations of quivers with potential, Adv. Math. 226 (2011), 2118--2168
work page 2011
-
[43]
Li, Koszul duality via suspending Lefschetz fibrations , Journal of Topology 12 (2019), no
Y. Li, Koszul duality via suspending Lefschetz fibrations , Journal of Topology 12 (2019), no. 4, 1174--1245
work page 2019
-
[44]
Y. Lekili and K. Ueda, Homological mirror symmetry for M ilnor fibers of simple singularities , Algebr. Geom. 8 (2021), no. 5, 562--586. 4371540
work page 2021
-
[45]
Nadler, Microlocal branes are constructible sheaves, Selecta Mathematica 15 (2009), no
D. Nadler, Microlocal branes are constructible sheaves, Selecta Mathematica 15 (2009), no. 4, 563--619
work page 2009
-
[46]
, Fukaya categories as categorical M orse homology , SIGMA Symmetry Integrability Geom. Methods Appl. 10 (2014), Paper 018, 47. 3210617
work page 2014
-
[48]
D. Nadler and E. Zaslow, Constructible sheaves and the Fukaya category , Journal of the American Mathematical Society 22 (2009), no. 1, 233--286
work page 2009
-
[49]
P. Seidel, Fukaya categories and P icard-- L efschetz theory , Zurich Lectures in Advanced Mathamatics, European Mathematical Society, Z \"u rich, 2008
work page 2008
-
[50]
Sylvan, On partially wrapped Fukaya categories , Journal of Topology 12 (2019), no
Z. Sylvan, On partially wrapped Fukaya categories , Journal of Topology 12 (2019), no. 2, 372--441
work page 2019
-
[51]
Generation of immersed Lagrangians by cocores , author=
-
[52]
Mirror Construction for Nakajima Quiver Varieties , author=. 2024 , eprint=
work page 2024
-
[53]
Derksen, H. and Weyman, J. and Zelevinsky, A. , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2008 , NUMBER =. doi:10.1007/s00029-008-0057-9 , URL =
-
[54]
Hermes, S. , TITLE =. J. Algebra , FJOURNAL =. 2016 , PAGES =. doi:10.1016/j.jalgebra.2016.03.041 , URL =
-
[55]
Nadler, D. and Zaslow, E. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2009 , NUMBER =. doi:10.1090/S0894-0347-08-00612-7 , URL =
-
[56]
Keating, A. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s00039-015-0353-4 , URL =
-
[57]
arXiv preprint arXiv:2212.12564 , year=
T-structures on dg-categories and derived deformations , author=. arXiv preprint arXiv:2212.12564 , year=
-
[58]
Beuilinson, A. A. and Bernstein, J. and Deligne, P. , TITLE =. Analysis and topology on singular spaces,. 1982 , MRCLASS =
work page 1982
-
[59]
Rabinowitz Fukaya categories and the categorical formal punctured neighborhood of infinity , author=. 2022 , eprint=
work page 2022
-
[60]
King, A. D. , TITLE =. Quart. J. Math. Oxford Ser. (2) , FJOURNAL =. 1994 , NUMBER =. doi:10.1093/qmath/45.4.515 , URL =
-
[61]
Kontsevich, M. and Soibelman, Y. , TITLE =. Mirror symmetry and tropical geometry , SERIES =. 2010 , ISBN =. doi:10.1090/conm/527/10400 , URL =
-
[62]
Stability structures, motivic Donaldson-Thomas invariants and cluster transformations , author=. 2008 , eprint=
work page 2008
-
[63]
Bridgeland, T. and Smith, I. , TITLE =. Publ. Math. Inst. Hautes \'Etudes Sci. , FJOURNAL =. 2015 , PAGES =. doi:10.1007/s10240-014-0066-5 , URL =
-
[64]
Keller, B. , TITLE =. Representations of algebras and related topics , SERIES =. 2011 , ISBN =. doi:10.4171/101-1/3 , URL =
-
[65]
Amiot, C. , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2009 , NUMBER =. doi:10.5802/aif.2499 , URL =
-
[66]
Akaho, M. and Joyce, D. , TITLE =. J. Differential Geom. , FJOURNAL =. 2010 , NUMBER =
work page 2010
-
[67]
Nadler, D. , TITLE =. SIGMA Symmetry Integrability Geom. Methods Appl. , FJOURNAL =. 2014 , PAGES =. doi:10.3842/SIGMA.2014.018 , URL =
- [68]
-
[69]
Alston, G. and Bao, E. , journal=. Exact, graded, immersed. 2018 , publisher=
work page 2018
-
[70]
Reflexive dg categories in algebra and topology , author=. 2025 , eprint=
work page 2025
-
[71]
Finite dimensional 2-cyclic Jacobian algebras , author=. 2024 , eprint=
work page 2024
-
[72]
To\"en, B. and Vaqui\'e, M. , TITLE =. Ann. Sci. \'Ecole Norm. Sup. (4) , FJOURNAL =. 2007 , NUMBER =. doi:10.1016/j.ansens.2007.05.001 , URL =
- [73]
-
[74]
Keller, B. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1998 , NUMBER =. doi:10.1016/S0022-4049(96)00085-0 , URL =
-
[75]
Brav, C. and Dyckerhoff, T. , TITLE =. Compos. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1112/s0010437x19007024 , URL =
- [76]
-
[77]
Keller, B. and Wang, Y. , TITLE =. Representations of algebras and related structures , SERIES =. [2023] 2023 , ISBN =
work page 2023
-
[78]
Bae, H. and Jeong, W. and Kim, J. , TITLE =. Internat. J. Math. , FJOURNAL =. 2025 , NUMBER =. doi:10.1142/S0129167X25500193 , URL =
-
[79]
Christ, M. , TITLE =. Forum Math. Sigma , FJOURNAL =. 2022 , PAGES =. doi:10.1017/fms.2022.1 , URL =
-
[80]
arXiv preprint arXiv:1604.00114 , year=
Wrapped microlocal sheaves on pairs of pants , author=. arXiv preprint arXiv:1604.00114 , year=
- [81]
-
[82]
Canonaco, A. and Ornaghi, M. and Stellari, P. , TITLE =. Doc. Math. , FJOURNAL =. 2019 , PAGES =
work page 2019
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.