Holomorphic disks and GIT quotients
Pith reviewed 2026-05-19 23:06 UTC · model grok-4.3
The pith
Moduli spaces of holomorphic disks correspond between a G-invariant Lagrangian and its quotient in the GIT quotient, allowing derivation of the quotient disk potential via the semistable disk potential.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We establish a correspondence between the moduli spaces of holomorphic disks bounded by a G-invariant Lagrangian submanifold L ⊆ X and those bounded by its quotient L/G in the GIT quotient X//G. Under suitable positivity and topological assumptions, we derive a computationally effective formula for the disk potential of L/G from that of L via the semistable disk potential, which reflects the choice of a level set of a value of the moment map.
What carries the argument
The correspondence between the moduli spaces of holomorphic disks bounded by the G-invariant Lagrangian L and by the quotient L/G, mediated by the semistable disk potential that encodes the moment-map level choice.
If this is right
- The disk potential of the quotient Lagrangian L/G is obtained from the potential of L by a direct formula that uses the semistable disk potential.
- The semistable disk potential encodes the choice of moment-map level and thereby supplies the computational bridge between the two potentials.
- The reduction yields an effective method for calculating the potential once the assumptions on positivity and topology are verified.
Where Pith is reading between the lines
- The same correspondence may simplify potential calculations for other group actions where the quotient geometry is harder to handle directly.
- It offers a route to relate open invariants between a manifold and its symplectic quotients without separate analysis of each.
- Explicit checks in low-dimensional examples could confirm how broadly the positivity assumptions apply.
Load-bearing premise
The positivity and topological assumptions on the Lagrangian submanifold L and the group action must hold for the moduli-space correspondence and the derived disk-potential formula.
What would settle it
A concrete G-invariant Lagrangian L satisfying the stated positivity and topological assumptions for which either the moduli spaces of holomorphic disks fail to correspond or the potential computed via the semistable formula differs from the directly computed potential of L/G.
read the original abstract
Let $G$ be a connected compact Lie group and let $\mathbb{G}$ be its complexification. In this paper, we establish a correspondence between the moduli spaces of holomorphic disks bounded by a $G$-invariant Lagrangian submanifold $L \subseteq X$ and those bounded by its quotient $L/G$ in the GIT quotient $X \mathbin{/\mkern-6mu/} \mathbb{G}$. Under suitable positivity and topological assumptions, we derive a computationally effective formula for the disk potential of $L/G$ from that of $L$ via the {semistable disk potential}, which reflects the choice of a level set of a value of the moment map.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes a correspondence between the moduli spaces of holomorphic disks bounded by a G-invariant Lagrangian submanifold L ⊆ X and those bounded by its quotient L/G in the GIT quotient X//G. Under suitable positivity and topological assumptions, it derives a computationally effective formula for the disk potential of L/G from that of L via the semistable disk potential, which reflects the choice of a level set of the moment map.
Significance. If the moduli-space correspondence and derived formula hold, the result would supply a systematic method for transferring disk-potential computations from a G-invariant Lagrangian to its quotient, which is likely to be useful in Lagrangian Floer theory and homological mirror symmetry when group actions and GIT quotients are present. The explicit construction of the semistable disk potential and the verification that the stated monotonicity, Chern-number, and freeness conditions rule out bubbling constitute concrete technical strengths.
minor comments (2)
- [Abstract] The abstract refers to 'suitable positivity and topological assumptions' without enumerating them; a brief parenthetical list or forward reference to the precise conditions (monotonicity, absence of negative-Chern spheres, boundary freeness) would improve immediate readability.
- [Introduction] The notation for the complexification ℂ and the GIT quotient symbol X//G is introduced in the abstract; repeating the definitions once in the introduction would help readers who encounter the paper out of sequence.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript and for recommending acceptance. We are pleased that the correspondence between moduli spaces of holomorphic disks and the resulting formula for the disk potential of the GIT quotient via the semistable disk potential have been recognized as potentially useful for Lagrangian Floer theory and homological mirror symmetry.
Circularity Check
No significant circularity in moduli-space correspondence or potential formula
full rationale
The paper claims a geometric correspondence between moduli spaces of holomorphic disks bounded by a G-invariant Lagrangian L in X and those bounded by L/G in the GIT quotient X//G, together with a derived formula for the disk potential of L/G obtained from that of L via the semistable disk potential. This correspondence is established under explicitly stated positivity and topological assumptions (monotonicity, absence of negative Chern-number spheres, freeness on the boundary) that are used to rule out bubbling and identify moduli-space components. No step reduces by definition to its own output, no parameter is fitted to a subset and then relabeled as a prediction, and no load-bearing premise rests on a self-citation chain or imported uniqueness theorem. The semistable disk potential is introduced as a new auxiliary object reflecting the moment-map level-set choice, not as a renaming or tautological re-expression of the target potential. The derivation therefore remains self-contained against external geometric benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Positivity and topological assumptions on the Lagrangian and group action are sufficient for the moduli space correspondence to hold.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem A (Theorem 3.13). Suppose that M_1(X, L, J, β) = M1(X, L, J, β) and that β is regular. Then the map ϕ : M_1(P_G, L, J, β)/G → M1(X//G, L/G, q^*J, q^*β) is an orientation-preserving homeomorphism...
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem B (Theorem 4.11). ... W_{L/G}(z) = W^ss_L |_{ker(q*)}(z).
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Denis Auroux, Mirror symmetry and T -duality in the complement of an anticanonical divisor., J. G\" o kova Geom. Topol. GGT 1 (2007), 51--91
work page 2007
-
[2]
Guillem Cazassus, Equivariant Lagrangian Floer homology via cotangent bundles of EG_N , J. Topol. 17 (2024), no. 1, Paper No. e12328, 61 pp
work page 2024
-
[3]
Dongwook Choa, Jiawei Hu, Siu-Cheong Lau, and Yan-Lung Leon Li, Equivariant Partially Wrapped Fukaya Categories on Liouville Sectors, preprint (2025), arXiv:2512.24382 https://arxiv.org/abs/2512.24382
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[4]
Cheol-Hyun Cho, Holomorphic discs, spin structures, and Floer cohomology of the Clifford torus. Int. Math. Res. Not. IMRN (2004), No. 35, 1803--1843
work page 2004
- [5]
-
[6]
Yunhyung Cho and Yoosik Kim, Lagrangian fibers of Gelfand-Cetlin systems of SO (n) -type , Transform. Groups 25 (2020), no. 4, 1063--1102
work page 2020
-
[7]
Yunhyung Cho, Yoosik Kim, and Yong-Geun Oh, Lagrangian fibers of G elfand- C etlin systems. Adv. Math. 372 (2020), Article ID 107304, 56 pp
work page 2020
-
[8]
Cheol-Hyun Cho and Yong-Geun Oh, Floer cohomology and disc instantons of L agrangian torus fibers in F ano toric manifolds. Asian J. Math. 10 (2006), no. 4, 773--814
work page 2006
-
[9]
Cheol-Hyun Cho and Mainak Poddar, Holomorphic orbi-discs and L agrangian F loer cohomology of symplectic toric orbifolds. J. Differential Geom. 98 (2014), no. 1, 21--116
work page 2014
-
[10]
Aliakbar Daemi and Kenji Fukaya, Atiyah-Floer conjecture: a formulation, a strategy of proof and generalizations, in Modern geometry: a celebration of the work of Simon Donaldson , 23--57, Proc. Sympos. Pure Math., 99, Amer. Math. Soc., Providence, RI
-
[11]
Donaldson, Boundary value problems for Yang-Mills fields
S.K. Donaldson, Boundary value problems for Yang-Mills fields. J. Geom. Phys. 8 (1992) no. 1-4, 89--122
work page 1992
-
[12]
P art I , AMS/IP Studies in Advanced Mathematics, vol
Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, and Kaoru Ono, Lagrangian intersection F loer theory: anomaly and obstruction. P art I , AMS/IP Studies in Advanced Mathematics, vol. 46.1, American Mathematical Society, Providence, RI; International Press, Somerville, MA, 2009
work page 2009
-
[13]
Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, and Kaoru Ono, Lagrangian F loer theory on compact toric manifolds. I , Duke Math. J. 151 (2010), no. 1, 23--174
work page 2010
-
[14]
Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, and Kaoru Ono, Toric degeneration and nondisplaceable Lagrangian tori in S^2 S^2 , Int. Math. Res. Not. IMRN 2012 , no. 13, 2942--2993
work page 2012
-
[15]
Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, and Kaoru Ono, Kuranishi structures and virtual fundamental chains., Springer Monogr. Math. Springer, Singapore, [2020], ©2020. xv+638 pp
work page 2020
-
[16]
Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, and Kaoru Ono, Construction of Kuranishi structures on the moduli spaces of pseudo-holomorphic disks: II., Adv. Math. 442 (2024), Paper No. 109561, 63 pp
work page 2024
-
[17]
Masahiro Futaki and Fumihiko Sanda, Equivariant homological mirror symmetry for C and CP^1 , J. Geom. Phys. 192 (2023), Paper No. 104929, 26 pp
work page 2023
-
[18]
Kenji Fukaya, Cyclic symmetry and adic convergence in Lagrangian Floer theory., Kyoto J. Math. 50, no. 3 (2010), 521--590
work page 2010
-
[19]
Kenji Fukaya, Lie groupoids, deformation of unstable curves, and construction of equivariant Kuranishi charts, Publ. Res. Inst. Math. Sci. 57 (2021), no. 3-4, 1109--1225
work page 2021
-
[20]
Valentina Georgoulas, Joel W. Robbin, and Dietmar Arno Salamon, The moment-weight inequality and the Hilbert-Mumford criterion—GIT from the differential geometric viewpoint. Lecture Notes in Math., 2297 Springer, Cham, (2021), vii+190 pp
work page 2021
-
[21]
V. W. Guillemin and S. Sternberg, Geometric quantization and multiplicities of group representations, Invent. Math. 67 (1982), no. 3, 515--538
work page 1982
-
[22]
Victor Guillemin and Shlomo Sternberg, On collective complete integrability according to the method of T himm , Ergodic Theory Dynam. Systems 3 (1983), no. 2, 219--230
work page 1983
-
[23]
Kristen Hendricks, Robert Lipshitz and Sucharit Sarkar, A simplicial construction of G -equivariant Floer homology, Proc. Lond. Math. Soc. (3) 121 (2020), no. 6, 1798--1866
work page 2020
-
[24]
Victoria Hoskins, Geometric invariant theory and symplectic quotients, available at https://userpage.fu-berlin.de/hoskins/GITnotes.pdf https://userpage.fu-berlin.de/hoskins/GITnotes.pdf
-
[25]
Sheldon Katz and Chiu-Chu Melissa Liu, Enumerative geometry of stable maps with Lagrangian boundary conditions and multiple covers of the disc, Adv. Theor. Math. Phys. 5 (2001), 1--49
work page 2001
-
[26]
Yoosik Kim, Lifting holomorphic disks from flag varieties to basic affine spaces, in preparation
-
[27]
Yoosik Kim, Disk potential functions for quadrics., J. Fixed Point Theory Appl. 25 (2023), No. 2, Paper No. 46, 31 pp
work page 2023
-
[28]
Frances Clare Kirwan, Cohomology of Quotients in Symplectic and Algebraic Geometry. (MN-31), Volume 31. Princeton University Press, 1984
work page 1984
-
[29]
Yoosik Kim, Siu-Cheong Lau, and Xiao Zheng, Disk potential functions for polygon spaces., J. Symplectic Geom. 22 (2024), No. 4, 735--815
work page 2024
-
[30]
G. R. Kempf and L. Ness, The length of vectors in representation spaces, in Algebraic geometry (Proc. Summer Meeting, Univ. Copenhagen, Copenhagen, 1978) , pp. 233--243, Lecture Notes in Math., 732, Springer, Berlin
work page 1978
- [31]
-
[32]
Blaine Lawson and Marie-Louise Michelsohn, Spin Geometry, Princeton Mathematical Series, 38, (1986)
H. Blaine Lawson and Marie-Louise Michelsohn, Spin Geometry, Princeton Mathematical Series, 38, (1986)
work page 1986
-
[33]
(2023), arXiv:2304.10969 https://arxiv.org/abs/2304.10969
Yanki Lekili and Ed Segal, Equivariant Fukaya categories at singular values. (2023), arXiv:2304.10969 https://arxiv.org/abs/2304.10969
-
[34]
Meyer, Symmetries and integrals in mechanics, Dynamical Systems (Proc
K. Meyer, Symmetries and integrals in mechanics, Dynamical Systems (Proc. Sympos., Univ. Bahia, Salvador, 1971), 259-272. Academic Press, New York, 1973
work page 1971
-
[35]
J. W. Milnor, Spin structures on manifolds, Enseign. Math. (2) 9 (1963), 198--203
work page 1963
-
[36]
Jerrold Marsden and Alan Weinstein, Reduction of symplectic manifolds with symmetry, Rep. Mathematical Phys. 5 (1974), no. 1, 121--130
work page 1974
-
[37]
Takeo Nishinou, Yuichi Nohara, and Kazushi Ueda, Potential functions via toric degenerations , (2008), arXiv:0812.0066 https://arxiv.org/abs/0812.0066
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[38]
Takeo Nishinou, Yuichi Nohara, and Kazushi Ueda, Toric degenerations of G elfand- C etlin systems and potential functions , Adv. Math. 224 (2010), no. 2, 648--706
work page 2010
-
[39]
Yong-Geun Oh, R iemann H ilbert problem and application to the perturbation theory of analytic discs , Kyungbook Math. J. 35 (1995), no. 1, 39--75
work page 1995
- [40]
-
[41]
Douglas Schultz, Holomorphic disks and the disk potential for a fibered Lagrangian, J. Symplectic Geom. 19 (2021), no. 1, 143--239
work page 2021
-
[42]
Jack Smith, A monotone Lagrangian casebook, Algebr. Geom. Topol. 21 (2021), no. 5, 2273--2312
work page 2021
-
[43]
Constantin Teleman, Gauge theory and mirror symmetry, in Proceedings of the International Congress of Mathematicians---Seoul 2014. Vol. II , 1309--1332, Kyung Moon Sa, Seoul
work page 2014
-
[44]
Thimm, Integrable geodesic flows on homogeneous spaces, Ergodic Theory Dynam
A. Thimm, Integrable geodesic flows on homogeneous spaces, Ergodic Theory Dynam. Systems 1 (1981), no. 4, 495--517
work page 1981
-
[45]
R. P. Thomas, Notes on GIT and symplectic reduction for bundles and varieties, in Surv. Differ. Geom., 10 (2006), 221--273, Int. Press, Somerville, MA
work page 2006
-
[46]
Moment maps and geometric invariant theory
Christopher T. Woodward, Moment maps and geometric invariant theory, preprint (2009), arXiv:0912.1132 https://arxiv.org/abs/0912.1132
work page internal anchor Pith review Pith/arXiv arXiv 2009
- [47]
- [48]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.