A connection between minimal nilpotent orbits of types A and D via Hamiltonian reduction
Pith reviewed 2026-05-21 00:38 UTC · model grok-4.3
The pith
The affine closure of the cotangent bundle to the minimal nilpotent orbit in sl_n is isomorphic to a C* Hamiltonian reduction of the minimal nilpotent orbit closure in so_{2n+2}.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show that the affine closure of the cotangent bundle T*O_n^aff is isomorphic to a C*-Hamiltonian reduction of the minimal nilpotent orbit closure O_n bar in so_{2n+2}.
What carries the argument
The C*-Hamiltonian reduction applied to the minimal nilpotent orbit closure in so_{2n+2} using a chosen action that yields the isomorphism to the affine closure of the cotangent bundle of the minimal nilpotent orbit in sl_n.
If this is right
- The geometry of the affine closure can be analyzed using properties of the type D orbit closure.
- The absence of a symplectic resolution for this space follows from the reduction process.
- This provides a quasi-classical analogue to the quantum result of Levasseur and Stafford.
- New insights into the singularities of these orbit closures may be obtained through this relation.
Where Pith is reading between the lines
- If this reduction works, similar Hamiltonian reductions might connect minimal orbits in other Lie algebra types.
- The result suggests that symplectic resolutions may be obstructed in certain affine closures derived this way.
- Further study could explore the Poisson structure or invariant rings preserved by the reduction.
Load-bearing premise
The specific C* action chosen on the orbit closure in so_{2n+2} ensures that the level set of the moment map quotients to exactly the affine closure of the cotangent bundle from the type A orbit.
What would settle it
Finding a mismatch in the ring of invariants or in the dimension of the singular locus between the Hamiltonian reduction and the affine closure of T*O_n would show the isomorphism does not hold.
read the original abstract
We establish a novel connection between the minimal nilpotent orbit $\mathbb{O}_n$ in $\mathfrak{sl}_n$ and the minimal nilpotent orbit closure $\overline{\mathbf{O}}_n$ in $\mathfrak{so}_{2n+2}$, which differs from the shared-orbit paradigm of Brylinski and Kostant, where no direct type-A--type-D relation appears. More precisely, we show that the affine closure of the cotangent bundle $\overline{T^*\mathbb{O}_n}^{\mathrm{aff}}$ is isomorphic to a $\mathbb{C}^*$-Hamiltonian reduction of $\overline{\mathbf{O}}_n$. This provides a quasi-classical analogue of a quantum result of Levasseur and Stafford. A detailed study of the geometry of this Hamiltonian reduction reveals that $\overline{T^*\mathbb{O}_n}^{\mathrm{aff}}$ has no symplectic resolution.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to establish an isomorphism between the affine closure of the cotangent bundle of the minimal nilpotent orbit O_n in sl_n and a C*-Hamiltonian reduction of the minimal nilpotent orbit closure in so_{2n+2}. It frames this as a quasi-classical analogue of a result of Levasseur and Stafford, distinct from the Brylinski-Kostant shared-orbit paradigm, and concludes from a geometric study of the reduction that the resulting variety admits no symplectic resolution.
Significance. If the isomorphism is rigorously established, the work supplies a new explicit link between type-A and type-D minimal nilpotent orbits via Hamiltonian reduction. The no-resolution conclusion adds concrete geometric information about these affine varieties and their quotients, potentially informing questions about symplectic resolutions and invariant theory in the nilpotent orbit setting.
major comments (3)
- [§3] §3, Definition of the C* action: the weights on the coordinates of the embedding of the orbit closure in so_{2n+2} are presented so that the associated moment map yields the claimed quotient, but it is not shown that this action arises canonically (e.g., from an sl_2-triple or a natural pairing on the type-D side) rather than being selected to produce the desired invariants. This choice is load-bearing for the isomorphism.
- [§4] §4, Theorem 4.2 (isomorphism statement): the proof that the geometric quotient μ^{-1}(0)//C* is isomorphic to the affine closure of T*O_n relies on matching the invariant ring; the argument should explicitly verify that the quadratic and higher relations induced by the type-D orbit equations coincide with those of the type-A cotangent bundle closure, rather than only checking dimension and singularity type.
- [§5] §5, Proposition 5.3 (no symplectic resolution): the geometric analysis of the reduction shows the absence of a resolution, but the argument would be strengthened by a direct comparison with the known criteria (e.g., those of Namikawa or Fu) that govern existence of symplectic resolutions for nilpotent orbit closures and their cotangent bundles.
minor comments (2)
- [Introduction] Notation for the minimal orbit O_n versus its closure is introduced gradually; a single early paragraph collecting all symbols and their meanings would improve readability.
- [Introduction] The abstract states the main result clearly, but the introduction could include a short diagram or table contrasting the new reduction construction with the Brylinski-Kostant paradigm.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the constructive major comments. We address each point below and indicate the revisions we will incorporate to strengthen the exposition and proofs.
read point-by-point responses
-
Referee: [§3] §3, Definition of the C* action: the weights on the coordinates of the embedding of the orbit closure in so_{2n+2} are presented so that the associated moment map yields the claimed quotient, but it is not shown that this action arises canonically (e.g., from an sl_2-triple or a natural pairing on the type-D side) rather than being selected to produce the desired invariants. This choice is load-bearing for the isomorphism.
Authors: We agree that the canonical origin of the C* action merits explicit justification. The weights are induced by the natural grading on the minimal nilpotent orbit in type D, which arises from an sl_2-triple associated to the nilpotent element. In the revised manuscript we will add a dedicated paragraph in §3 deriving the C* action directly from this sl_2-triple and the embedding into so_{2n+2}, thereby showing that the action is canonically determined by the representation-theoretic data rather than chosen ad hoc to match the desired quotient. revision: yes
-
Referee: [§4] §4, Theorem 4.2 (isomorphism statement): the proof that the geometric quotient μ^{-1}(0)//C* is isomorphic to the affine closure of T*O_n relies on matching the invariant ring; the argument should explicitly verify that the quadratic and higher relations induced by the type-D orbit equations coincide with those of the type-A cotangent bundle closure, rather than only checking dimension and singularity type.
Authors: The referee correctly notes that the current argument for Theorem 4.2 matches generators of the invariant rings and confirms the isomorphism via dimension and singularity type. To make the identification fully rigorous we will revise the proof to include an explicit comparison of the defining ideals: we will compute the quadratic and higher-degree relations coming from the type-D orbit equations and verify that they coincide with the relations that cut out the affine closure of T*O_n in type A. revision: yes
-
Referee: [§5] §5, Proposition 5.3 (no symplectic resolution): the geometric analysis of the reduction shows the absence of a resolution, but the argument would be strengthened by a direct comparison with the known criteria (e.g., those of Namikawa or Fu) that govern existence of symplectic resolutions for nilpotent orbit closures and their cotangent bundles.
Authors: We appreciate the suggestion to connect our geometric analysis with the literature on symplectic resolutions. While the structure of the Hamiltonian reduction already demonstrates the non-existence of a symplectic resolution, we will add a short comparative discussion in §5 that references the criteria of Namikawa and Fu. We will explain why the affine variety obtained here, as the closure of a cotangent bundle to a nilpotent orbit quotiented by the C* action, lies outside the classes where those criteria guarantee a resolution. revision: yes
Circularity Check
No significant circularity; isomorphism proved via explicit Hamiltonian reduction construction independent of inputs
full rationale
The paper defines a specific C* action on the minimal nilpotent orbit closure in so_{2n+2} and proves that the resulting Hamiltonian reduction is isomorphic to the affine closure of T*O_n in sl_n. This construction and the subsequent geometric analysis (including absence of symplectic resolution) constitute independent mathematical content. The result builds explicitly on external prior theorems of Brylinski-Kostant and Levasseur-Stafford without reducing the central isomorphism to a self-citation, a fitted parameter renamed as prediction, or an ansatz smuggled from the authors' own prior work. No equation or step in the derivation chain is equivalent to its input by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard properties of minimal nilpotent orbits in sl_n and so_{2n+2} and the existence of a suitable C* action for Hamiltonian reduction hold.
Reference graph
Works this paper leans on
-
[1]
Singular symplectic moduli spaces , year =
Kaledin, Dmitry and Lehn, Manfred and Sorger, Christoph , journal =. Singular symplectic moduli spaces , year =. doi:10.1007/s00222-005-0484-6 , file =
-
[2]
Local geometry of special pieces of nilpotent orbits , year =
Baohua Fu and Daniel Juteau and Paul Levy and Eric Sommers , journal =. Local geometry of special pieces of nilpotent orbits , year =
-
[3]
Levasseur, Thierry and Smith, S. Paul , TITLE =. J. Algebra , FJOURNAL =. 1988 , NUMBER =. doi:10.1016/0021-8693(88)90214-1 , URL =
-
[4]
Namikawa, Yoshinori , journal =. Flops and. 2008 , issn =. doi:10.2977/prims/1210167328 , file =
-
[5]
Brylinski, Ranee and Kostant, Bertram , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 1994 , NUMBER =. doi:10.2307/2152759 , URL =
-
[6]
Abe, Makoto and Furushima, Mikio , title =. Math. Nachr. , year =. doi:10.1002/mana.200310099 , file =
-
[7]
Levasseur, Thierry and Stafford, J. Toby , journal =. Differential operators on some nilpotent orbits , year =. doi:10.1090/S1088-4165-99-00084-9 , file =
-
[8]
Grosshans, Frank D. , journal =. The invariants of unipotent radicals of parabolic subgroups , year =. doi:10.1007/BF01393822 , file =
-
[9]
Picard group of a connected affine algebraic group , year =
Popov, Vladimir Leonidovich , journal =. Picard group of a connected affine algebraic group , year =. doi:10.4213/rm10107 , file =
-
[10]
Symplectic implosion and nonreductive quotients , year =
Kirwan, Frances , booktitle =. Symplectic implosion and nonreductive quotients , year =. doi:10.1007/978-0-8176-8244-6\_9 , file =
-
[11]
Reductive quotients of klt singularities , year =
Braun, Lukas and Greb, Daniel and Langlois, Kevin and Moraga, Joaqu\'in , journal =. Reductive quotients of klt singularities , year =. doi:10.1007/s00222-024-01280-2 , file =
-
[12]
Direct summands of klt singularities , year =
Zhuang, Ziquan , journal =. Direct summands of klt singularities , year =. doi:10.1007/s00222-024-01281-1 , file =
-
[13]
Javier and Kurano, Kazuhiko and Watanabe, Kei-ichi , journal =
Elizondo, E. Javier and Kurano, Kazuhiko and Watanabe, Kei-ichi , journal =. The total coordinate ring of a normal projective variety , year =. doi:10.1016/j.jalgebra.2003.07.007 , file =
-
[14]
Dancer, Andrew and Kirwan, Frances and Swann, Andrew , journal =. Implosion for hyperk. 2013 , issn =. doi:10.1112/S0010437X13007203 , file =
-
[15]
Ginzburg, Victor and Riche, Simon , journal =. Differential operators on. 2015 , issn =. doi:10.1017/S1474748014000085 , file =
-
[16]
Ginzburg, Victor and Kazhdan, David , journal =. Differential operators on. 2022 , issn =. doi:10.1016/j.aim.2022.108368 , file =
-
[17]
Jia, Boming , TITLE =. J. Lie Theory , FJOURNAL =. 2025 , NUMBER =
work page 2025
-
[18]
Guillemin, Victor and Jeffrey, Lisa and Sjamaar, Reyer , journal =. Symplectic implosion , year =. doi:10.1007/s00031-002-0009-y , file =
-
[19]
Toroidal algebraic groups , year =
Rosenlicht, Maxwell , journal =. Toroidal algebraic groups , year =. doi:10.2307/2034407 , file =
-
[20]
Knop, Friedrich and Kraft, Hanspeter and Vust, Thierry , booktitle =. The. 1989 , isbn =
work page 1989
-
[21]
Milne, James Stuart , publisher =. Algebraic groups , year =. doi:10.1017/9781316711736 , mrclass =
-
[22]
Brown, Morgan , journal =. Singularities of. 2013 , issn =. doi:10.1016/j.matpur.2012.10.003 , file =
-
[23]
Local properties of algebraic group actions , year =
Knop, Friedrich and Kraft, Hanspeter and Luna, Domingo and Vust, Thierry , booktitle =. Local properties of algebraic group actions , year =
-
[24]
Grosshans, Frank D. , publisher =. Algebraic homogeneous spaces and invariant theory , year =. doi:10.1007/BFb0093525 , file =
-
[25]
Contractions of Actions of Reductive Algebraic Groups , volume =
Popov, Vladimir Leonidovich , journal =. Contractions of actions of reductive algebraic groups , year =. doi:10.1070/SM1987v058n02ABEH003106 , file =
- [26]
-
[27]
Gannon, Tom , journal =. Proof of the. 2024 , issn =. doi:10.1016/j.aim.2024.109701 , file =
-
[28]
Ando, Tetsuya , title =. Invent. Math. , year =. doi:10.1007/BF01389057 , file =
- [29]
-
[30]
Beltrametti, Mauro C. , title =. 1987 , volume =. doi:10.1007/BF01762415 , file =
-
[31]
Bonavero, Laurent , title =. Bull. Soc. Math. France , year =
-
[32]
Several complex variables. 1994 , editor =. doi:10.1007/978-3-662-09873-8 , file =
-
[33]
Flips, flops, minimal models, etc , booktitle =
Koll. Flips, flops, minimal models, etc , booktitle =. 1991 , pages =
work page 1991
-
[34]
Oguiso, Keiji , title =. J. Reine Angew. Math. , year =. doi:10.1515/crll.1994.452.153 , file =
-
[35]
Complex analysis and algebraic geometry (
Peternell, Thomas , title =. Complex analysis and algebraic geometry (. 1986 , volume =. doi:10.1007/BFb0077000 , file =
-
[36]
Reid, Miles , title =. Publ. Res. Inst. Math. Sci. , year =. doi:10.2977/prims/1195165581 , file =
-
[37]
On contractions of extremal rays of
Wi. On contractions of extremal rays of. J. Reine Angew. Math. , year =. doi:10.1515/crll.1991.417.141 , file =
-
[38]
Wi. On. Manuscripta Math. , year =. doi:10.1007/BF02568366 , file =
-
[39]
Zhang, Qi , title =. Math. Ann. , year =. doi:10.1007/BF01445224 , file =
-
[40]
Positivity in algebraic geometry
Lazarsfeld, Robert , publisher =. Positivity in algebraic geometry. 2004 , isbn =
work page 2004
-
[41]
Nakamura, Iku , title =. J. Algebraic Geom. , year =
-
[42]
Lee, Wanseok and Park, Euisung and Schenzel, Peter , title =. J. Pure Appl. Algebra , year =. doi:10.1016/j.jpaa.2011.12.009 , file =
-
[43]
Lazarsfeld, Robert , title =. Complete intersections (. 1984 , volume =. doi:10.1007/BFb0099356 , file =
-
[44]
Cascini, Paolo , title =. Milan J. Math. , year =. doi:10.1007/s00032-013-0210-6 , file =
-
[45]
Birkar, Caucher and Cascini, Paolo and Hacon, Christopher D. and McKernan, James , title =. J. Amer. Math. Soc. , year =. doi:10.1090/S0894-0347-09-00649-3 , file =
- [46]
-
[47]
Aprodu, Marian and Kebekus, Stefan and Peternell, Thomas , title =. Math. Z. , year =. doi:10.1007/s00209-007-0282-5 , file =
-
[48]
On manifolds whose tangent bundle contains an ample subbundle , journal =
Andreatta, Marco and Wi. On manifolds whose tangent bundle contains an ample subbundle , journal =. 2001 , volume =. doi:10.1007/PL00005808 , file =
-
[49]
Cohomological characterizations of projective spaces and hyperquadrics , journal =
Araujo, Carolina and Druel, St. Cohomological characterizations of projective spaces and hyperquadrics , journal =. 2008 , volume =. doi:10.1007/s00222-008-0130-1 , file =
-
[50]
Araujo, Carolina , title =. Math. Ann. , year =. doi:10.1007/s00208-006-0775-2 , file =
-
[51]
Hwang, Jun-Muk , title =. Math. Ann. , year =. doi:10.1007/s002080050237 , file =
-
[52]
Connexit\'e rationnelle des vari\'et\'es de
Campana, Fr. Connexit\'e rationnelle des vari\'et\'es de. Ann. Sci. \'Ecole Norm. Sup. (4) , year =
-
[53]
Transcendental methods in algebraic geometry (
Peternell, Thomas , title =. Transcendental methods in algebraic geometry (. 1996 , volume =. doi:10.1007/BFb0094303 , file =
- [54]
- [55]
-
[56]
Grauert, Hans and Riemenschneider, Oswald , title =. Invent. Math. , year =
-
[57]
Fujita, Takao , title =. J. Fac. Sci. Univ. Tokyo Sect. IA Math. , year =
-
[58]
Hwang, Jun-Muk and Mok, Ngaiming , title =. Asian J. Math. , year =. doi:10.4310/AJM.2004.v8.n1.a6 , file =
- [59]
-
[60]
Hwang, Jun-Muk , title =. Ann. Inst. Fourier (Grenoble) , year =
-
[61]
Hwang, Jun-Muk , title =. J. Reine Angew. Math. , year =. doi:10.1515/crll.2003.023 , file =
-
[62]
Cor\'eduction alg\'ebrique d'un espace analytique faiblement k\"ahl\'erien compact , journal =
Campana, Fr. Cor\'eduction alg\'ebrique d'un espace analytique faiblement k\"ahl\'erien compact , journal =. 1981 , volume =. doi:10.1007/BF01393876 , file =
-
[63]
Rational curves and ampleness properties of the tangent bundle of algebraic varieties , journal =
Campana, Fr. Rational curves and ampleness properties of the tangent bundle of algebraic varieties , journal =. 1998 , volume =. doi:10.1007/s002290050085 , file =
-
[64]
Fu, Baohua , TITLE =. Invent. Math. , FJOURNAL =. 2003 , NUMBER =. doi:10.1007/s00222-002-0260-9 , URL =
-
[65]
Hartshorne, Robin , title =. Math. Ann. , year =. doi:10.1007/BF01467074 , file =
-
[66]
Nagaoka, Takahiro , TITLE =. Pacific J. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.2140/pjm.2021.313.459 , URL =
-
[67]
Algebra Number Theory , FJOURNAL =
Liu, Jie , TITLE =. Algebra Number Theory , FJOURNAL =. 2023 , NUMBER =. doi:10.2140/ant.2023.17.1501 , URL =
-
[68]
Kanemitsu, Akihiro , TITLE =. Math. Res. Lett. , FJOURNAL =. 2017 , NUMBER =. doi:10.4310/MRL.2017.v24.n5.a6 , URL =
-
[69]
Demailly, Jean-Pierre and Peternell, Thomas and Schneider, Michael , title =. J. Algebraic Geom. , year =
-
[70]
Algebraic geometry and commutative algebra,
Nakamura, Iku , title =. Algebraic geometry and commutative algebra,. 1988 , pages =
work page 1988
-
[71]
Nakamura, Iku , title =. J. Math. Soc. Japan , year =. doi:10.2969/jmsj/03930521 , file =
-
[72]
Nakamura, Iku , title =. J. Math. Soc. Japan , year =. doi:10.2969/jmsj/04440667 , file =
-
[73]
Nakamura, Iku , title =. Osaka J. Math. , year =
-
[74]
Birational algebraic geometry (
Shokurov, Vyacheslav Vladimirovich , title =. Birational algebraic geometry (. 1997 , volume =. doi:10.1090/conm/207/02725 , file =
-
[75]
Peternell, Thomas , title =. Manuscripta Math. , year =. doi:10.1007/BF01173702 , file =
-
[76]
Several complex variables and complex geometry,
Peternell, Thomas and Schneider, Michael , title =. Several complex variables and complex geometry,. 1991 , volume =
work page 1991
-
[77]
Furushima, Mikio , title =. Kyushu J. Math. , year =. doi:10.2206/kyushujm.61.259 , file =
-
[78]
On Global Deformations of Quartic Double Solids
Dorsch, Tobias , title =. arXiv preprint arXiv:1402.5740 , year =
work page internal anchor Pith review Pith/arXiv arXiv
-
[79]
Andreatta, Marco , title =. Math. Z. , year =. doi:10.1007/PL00004714 , file =
-
[80]
Andreatta, Marco and Mella, Massimiliano , title =. Trans. Amer. Math. Soc. , year =. doi:10.1090/S0002-9947-97-01832-1 , file =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.