REVIEW 3 minor 155 references
For Sp_{2n}(C) with n at least 2, the Gaiotto locus from the standard representation via ψ to ψ tensor ψ lies in the nilpotent cone as the Bialynicki-Birula closure tied to U(Sp_{2n-2}(C)).
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.3
2026-05-08 17:13 UTC
load-bearing objection The paper gives an explicit identification of the Gaiotto locus for the standard representation of Sp(2n) as the Bialynicki-Birula closure of the U(Sp(2n-2)) stratum inside the nilpotent cone.
Gaiotto Loci and the Nilpotent Cone for Sp_(2n)(mathbb C)
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For the standard representation of Sp_{2n}(C), with n≥2, where the moment map is ψ↦ψ⊗ψ, the Gaiotto locus lies in the nilpotent cone. We prove that it is the irreducible component obtained as the Bialynicki-Birula closure associated with U(Sp_{2n-2}(C)). Its intersection with the stable cotangent chart is the closure of the conormal bundle to the one-spinor stratum of the generalized theta divisor.
What carries the argument
The Bialynicki-Birula closure associated with U(Sp_{2n-2}(C)), which supplies the irreducible component of the nilpotent cone that contains the Gaiotto locus built from spinors.
Load-bearing premise
The construction assumes a fixed theta characteristic and that the Higgs bundles coming from nonzero spinors remain stable inside the moduli space.
What would settle it
Compute the dimension of the Bialynicki-Birula closure for U(Sp_{2n-2}(C)) inside the nilpotent cone and compare it directly to the dimension expected from the space of stable spinors under the moment map.
If this is right
- For any symplectic representation the Gaiotto locus is isotropic.
- A Petri-type criterion decides when the locus is Lagrangian.
- The intersection with the stable cotangent chart recovers the conormal bundle closure to the one-spinor stratum of the generalized theta divisor.
Where Pith is reading between the lines
- The identification with a Bialynicki-Birula cell may let one read off the nilpotent orbit type directly from the spinor data.
- Similar moment-map constructions for other classical groups could land in nilpotent cones via analogous subgroup closures.
- The conormal-bundle description opens a route to compute the cohomology of the Gaiotto locus by pushing forward from the theta divisor.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines the Gaiotto locus for a symplectic representation of a complex semisimple Lie group G as the Zariski closure of stable G-Higgs bundles obtained from nonzero spinors via the moment map. It proves that this locus is always isotropic and supplies a Petri-type criterion for it to be Lagrangian. For the standard representation of Sp_{2n}(C) (n≥2), with moment map ψ↦ψ⊗ψ, the locus lies inside the nilpotent cone; it is identified with the Bialynicki-Birula closure attached to the embedding U(Sp_{2n-2}(C))↪Sp_{2n}(C). Its intersection with the stable cotangent chart is shown to be the closure of the conormal bundle to the one-spinor stratum of the generalized theta divisor.
Significance. If the identifications hold, the work supplies an explicit geometric realization of the Gaiotto locus for Sp_{2n} inside the nilpotent cone, linking it directly to Bialynicki-Birula cells and conormal bundles over the theta divisor. The explicit verification that the image of the moment map is nilpotent, the dimension comparison establishing the conormal-bundle description, and the case-by-case stability checks via the Petri criterion (using symplectic-form vanishings of H^1) constitute concrete, checkable contributions. These strengthen the understanding of special isotropic subvarieties in Higgs-bundle moduli spaces.
minor comments (3)
- The introduction would benefit from a numbered statement of the main theorem for Sp_{2n}(C) immediately after the general setup, to make the central claim easier to locate.
- In the section describing the one-spinor stratum, an explicit local coordinate description for n=2 would help readers verify the dimension count used to identify the conormal bundle closure.
- The Petri-type criterion is stated generally; a short paragraph summarizing why the required H^1 vanishings hold specifically for the standard representation (via the symplectic pairing) would improve readability without altering the argument.
Simulated Author's Rebuttal
We thank the referee for their positive and accurate summary of the manuscript, as well as for the recommendation of minor revision. The report correctly captures the definitions, main theorems, and geometric identifications presented in the paper.
Circularity Check
No significant circularity; derivation self-contained via explicit constructions
full rationale
The paper establishes its claims through direct computations in the standard representation (moment map ψ ↦ ψ ⊗ ψ landing in the nilpotent cone), identification of the Bialynicki-Birula cell via the one-parameter subgroup for the embedding U(Sp_{2n-2}) ↪ Sp_{2n}, and verification that the intersection with the stable cotangent chart is the conormal bundle closure by dimension counts and the fixed theta characteristic. Stability is checked case-by-case using the Petri-type criterion with H^1 vanishing from the symplectic form. These steps use standard Higgs bundle and algebraic geometry tools without reducing any central identification to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain. The derivation remains independent of its own outputs.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption A compact Riemann surface admits a theta characteristic (square root of the canonical bundle).
- standard math The moment map for a symplectic representation produces a G-Higgs field from a nonzero spinor.
read the original abstract
Fix a theta characteristic on a compact Riemann surface and let $G$ be a connected complex semisimple Lie group equipped with a symplectic representation. The moment map sends a nonzero spinor with values in the associated representation bundle to a $G$-Higgs field, and the Zariski closure of the stable Higgs bundles obtained in this way is the corresponding Gaiotto locus. For an arbitrary symplectic representation, the Gaiotto locus is isotropic, and we give a Petri-type criterion for it to be Lagrangian. For the standard representation of $\mathrm{Sp}_{2n}(\mathbb C)$, with $n\geq 2$, where the moment map is $\psi\mapsto\psi\otimes\psi$, the Gaiotto locus lies in the nilpotent cone. We prove that it is the irreducible component obtained as the Bialynicki-Birula closure associated with $\mathcal U(\mathrm{Sp}_{2n-2}(\mathbb C))$. Its intersection with the stable cotangent chart is the closure of the conormal bundle to the one-spinor stratum of the generalized theta divisor.
Reference graph
Works this paper leans on
- [1]
- [2]
-
[3]
arXiv preprint arXiv:1612.06910 , year=
Hitchin systems for invariant and anti-invariant vector bundles , author=. arXiv preprint arXiv:1612.06910 , year=
work page internal anchor Pith review arXiv
-
[4]
Li, J. , TITLE =. Manuscripta Math. , FJOURNAL =. 1993 , NUMBER =. doi:10.1007/BF02599310 , URL =
-
[5]
Garc\'ia-Prada, Oscar and Oliveira, Andr. Connectedness of. arXiv preprint arXiv:1408.4778 , year=
work page internal anchor Pith review arXiv
-
[6]
Blaavand, J , year=. The
-
[7]
Davide Gaiotto , title =. String-Math 2016 , series =. 2018 , publisher =. doi:10.1090/pspum/098/01736 , eprint =
-
[8]
Gaiotto, D. and Witten, E. , TITLE =. Adv. Theor. Math. Phys. , FJOURNAL =. 2009 , NUMBER =
work page 2009
- [9]
- [10]
-
[11]
Involutions and higher order automorphisms of
Garc. Involutions and higher order automorphisms of. arXiv preprint arXiv:1605.05143 , year=
work page internal anchor Pith review arXiv
- [12]
- [13]
-
[14]
Strominger, A. and Yau, S.T. and Zaslow, E. , TITLE =. Nuclear Phys. B , FJOURNAL =. 1996 , NUMBER =. doi:10.1016/0550-3213(96)00434-8 , URL =
-
[15]
Schaub, D. , TITLE =. Math. Z. , FJOURNAL =. 1998 , NUMBER =. doi:10.1007/PL00004377 , URL =
- [16]
-
[17]
Huybrechts, D. and Lehn, M. , TITLE =. 2010 , PAGES =. doi:10.1017/CBO9780511711985 , URL =
-
[18]
Esteves, E. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2001 , NUMBER =. doi:10.1090/S0002-9947-01-02746-5 , URL =
-
[19]
Oda, T. and Seshadri, C.S. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1979 , PAGES =. doi:10.2307/1998186 , URL =
- [20]
-
[21]
Altman, A.B. and Kleiman, S.L. , TITLE =. Adv. in Math. , FJOURNAL =. 1980 , NUMBER =. doi:10.1016/0001-8708(80)90043-2 , URL =
- [22]
-
[23]
Determinants of C auchy- R iemann operators over a R iemann surface
Quillen, D. Determinants of C auchy- R iemann operators over a R iemann surface. Functional Analysis and Its Applications. 1985. doi:10.1007/BF01086022
-
[24]
Arbarello, E. and Cornalba, M. and Griffiths, P.A. and Harris, J. , TITLE =. 1985 , PAGES =. doi:10.1007/978-1-4757-5323-3 , URL =
-
[25]
Bradlow, S.B. and Garc\'ia-Prada, O. and Gothen, P.B. , TITLE =. Math. Ann. , FJOURNAL =. 2004 , NUMBER =. doi:10.1007/s00208-003-0484-z , URL =
- [26]
-
[27]
Heinloth, J. , TITLE =. Math. Ann. , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s00208-015-1301-1 , URL =
-
[28]
\'Alvarez-C\'onsul, L. and Garc\'ia-Prada, O. and Schmitt, A. , TITLE =. IMRP Int. Math. Res. Pap. , FJOURNAL =. 2006 , PAGES =
work page 2006
-
[29]
Serman, O. , TITLE =. Compos. Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.1112/S0010437X07003247 , URL =
-
[30]
Knudsen, F. and Mumford, D. , TITLE =. Math. Scand. , FJOURNAL =. 1976 , NUMBER =. doi:10.7146/math.scand.a-11642 , URL =
-
[31]
Kumar, S. and Narasimhan, M.S. and Ramanathan, A. , TITLE =. Math. Ann. , FJOURNAL =. 1994 , NUMBER =. doi:10.1007/BF01450475 , URL =
- [32]
-
[33]
Ehrhart polynomials, simplicial polytopes, magic squares and a conjecture of Stanley
L\'opez-Mart\'in, A.C. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2005 , PAGES =. doi:10.1515/crll.2005.2005.582.1 , URL =
- [34]
- [35]
- [36]
- [37]
- [38]
- [39]
- [40]
- [41]
-
[42]
Wells, Jr., Raymond O. , TITLE =. 2008 , PAGES =. doi:10.1007/978-0-387-73892-5 , URL =
-
[43]
Frankel, T. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1959 , PAGES =. doi:10.2307/1969889 , URL =
-
[44]
Garc\'ia-Prada, O. and Gothen, P.B. and Mu\ noz, V. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2007 , NUMBER =. doi:10.1090/memo/0879 , URL =
-
[45]
Banfield, D. , TITLE =. Q. J. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1093/qjmath/51.4.417 , URL =
-
[46]
Hitching, G.H. , TITLE =. Math. Nachr. , FJOURNAL =. 2007 , NUMBER =. doi:10.1002/mana.200510561 , URL =
-
[47]
Grzegorczyk, I. and Teixidor i Bigas, M. , TITLE =. Moduli spaces and vector bundles , SERIES =. 2009 , MRCLASS =
work page 2009
-
[48]
Bradlow, S.B. and Garc\'ia-Prada, O. and Mu\ noz, V. and Newstead, P.E. , TITLE =. Internat. J. Math. , FJOURNAL =. 2003 , NUMBER =. doi:10.1142/S0129167X03002009 , URL =
-
[49]
G\'omez, T.L. and Langer, A. and Schmitt, A.H.W. and Sols, I. , TITLE =. Adv. Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.1016/j.aim.2008.05.015 , URL =
-
[50]
Ramanathan, A. , TITLE =. Proc. Indian Acad. Sci. Math. Sci. , FJOURNAL =. 1996 , NUMBER =. doi:10.1007/BF02867438 , URL =
- [51]
-
[52]
Ramanan, S. and Ramanathan, A. , TITLE =. Tohoku Math. J. (2) , FJOURNAL =. 1984 , NUMBER =. doi:10.2748/tmj/1178228852 , URL =
-
[53]
Ramanathan, A. , TITLE =. Math. Ann. , FJOURNAL =. 1975 , PAGES =. doi:10.1007/BF01343949 , URL =
-
[54]
Knop, Fr. , TITLE =. J. Algebra , FJOURNAL =. 2006 , NUMBER =. doi:10.1016/j.jalgebra.2005.07.035 , URL =
-
[55]
Schmitt, A.H.W. , TITLE =. 2008 , PAGES =. doi:10.4171/065 , URL =
work page doi:10.4171/065 2008
- [56]
- [57]
-
[58]
Algebras and Representation Theory , volume =
Ginzburg, Victor and Rozenblyum, Nick , title =. Algebras and Representation Theory , volume =. 2018 , doi =. 1703.08578 , archivePrefix =
work page internal anchor Pith review arXiv 2018
- [59]
-
[60]
[HPP25] Emmanuel Humbert, Romain Petrides, and Bruno Premoselli
Hitchin, N. , TITLE =. Advances in Math. , FJOURNAL =. 1974 , PAGES =. doi:10.1016/0001-8708(74)90021-8 , URL =
-
[61]
F.,Complex analytic connections in fibre bundles, Trans
Atiyah, M.F. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1957 , PAGES =. doi:10.2307/1992969 , URL =
-
[63]
Hitchin, N. and Schaposnik, L.P. , TITLE =. J. Differential Geom. , FJOURNAL =. 2014 , NUMBER =
work page 2014
-
[64]
Biswas, I. and Dey, A. , TITLE =. Nuclear Phys. B , FJOURNAL =. 2012 , NUMBER =. doi:10.1016/j.nuclphysb.2012.04.020 , URL =
-
[65]
Gothen, P.B. and Oliveira, A.G. , journal=. Topological mirror symmetry for parabolic
-
[66]
Hausel, Tam\'as and Thaddeus, Michael , TITLE =. Invent. Math. , FJOURNAL =. 2003 , NUMBER =. doi:10.1007/s00222-003-0286-7 , URL =
-
[67]
Baraglia, D. and Schaposnik, L.P. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2014 , NUMBER =. doi:10.1007/s00220-014-2053-6 , URL =
- [68]
-
[69]
Electric-magnetic duality and the geometric Langlands program
Kapustin, A. and Witten, E. , TITLE =. Commun. Number Theory Phys. , FJOURNAL =. 2007 , NUMBER =. doi:10.4310/CNTP.2007.v1.n1.a1 , URL =
- [70]
-
[71]
arXiv preprint arXiv:1611.00391 , year=
Branes through finite group actions , author=. arXiv preprint arXiv:1611.00391 , year=
work page internal anchor Pith review arXiv
-
[72]
Baraglia, D. and Schaposnik, L.P. , TITLE =. Adv. Theor. Math. Phys. , FJOURNAL =. 2016 , NUMBER =. doi:10.4310/ATMP.2016.v20.n3.a2 , URL =
- [73]
-
[74]
Lectures on Real Semisimple Lie Algebras and Their Represen tations
Onishchik, A.L. , TITLE =. 2004 , PAGES =. doi:10.4171/002 , URL =
work page doi:10.4171/002 2004
- [75]
-
[76]
Beauville, A. and Narasimhan, M.S. and Ramanan, S. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1989 , PAGES =. doi:10.1515/crll.1989.398.169 , URL =
-
[77]
Donagi, R. and Pantev, T. , TITLE =. Invent. Math. , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s00222-012-0373-8 , URL =
- [78]
- [79]
-
[80]
Biswas, I. and Gammelgaard, N.L. and Logares, M. , TITLE =. J. Geom. Phys. , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.geomphys.2015.04.005 , URL =
- [81]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.