pith. sign in

arxiv: 2605.03421 · v2 · pith:BW6B7HAPnew · submitted 2026-05-05 · 🧮 math.RT · math.AG

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

classification 🧮 math.RT math.AG
keywords minimal nilpotent orbitsHamiltonian reductioncotangent bundlesaffine closuressymplectic resolutionsLie algebra orbitstype Atype D
0
0 comments X

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.

The paper establishes a direct geometric link between minimal nilpotent orbits in type A and type D Lie algebras through Hamiltonian reduction. It proves that the affine closure of the cotangent bundle over the minimal nilpotent orbit in sl_n arises as the quotient of the minimal nilpotent orbit closure in so_{2n+2} by a specific C* action. This construction serves as a classical counterpart to a known quantum isomorphism and demonstrates that the resulting space admits no symplectic resolution. A reader would care because it offers a new method to compare geometries across different root systems without using shared orbit constructions.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 2 minor

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)
  1. [§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.
  2. [§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.
  3. [§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)
  1. [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.
  2. [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

3 responses · 0 unresolved

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
  1. 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

  2. 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

  3. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard facts from Lie theory (properties of minimal nilpotent orbits, cotangent bundles, and Hamiltonian reduction) and symplectic geometry; no free parameters or invented entities are introduced in the abstract.

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.
    Invoked implicitly to define the objects and the reduction operation.

pith-pipeline@v0.9.0 · 5675 in / 1321 out tokens · 38821 ms · 2026-05-21T00:38:32.984301+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

300 extracted references · 300 canonical work pages · 2 internal anchors

  1. [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. [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. [3]

    Paul , TITLE =

    Levasseur, Thierry and Smith, S. Paul , TITLE =. J. Algebra , FJOURNAL =. 1988 , NUMBER =. doi:10.1016/0021-8693(88)90214-1 , URL =

  4. [4]

    , TITLE =

    Namikawa, Yoshinori , journal =. Flops and. 2008 , issn =. doi:10.2977/prims/1210167328 , file =

  5. [5]

    Brylinski, Ranee and Kostant, Bertram , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 1994 , NUMBER =. doi:10.2307/2152759 , URL =

  6. [6]

    Abe, Makoto and Furushima, Mikio , title =. Math. Nachr. , year =. doi:10.1002/mana.200310099 , file =

  7. [7]

    Toby , journal =

    Levasseur, Thierry and Stafford, J. Toby , journal =. Differential operators on some nilpotent orbits , year =. doi:10.1090/S1088-4165-99-00084-9 , file =

  8. [8]

    , journal =

    Grosshans, Frank D. , journal =. The invariants of unipotent radicals of parabolic subgroups , year =. doi:10.1007/BF01393822 , file =

  9. [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. [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. [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. [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. [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. [14]

    Implosion for hyperk

    Dancer, Andrew and Kirwan, Frances and Swann, Andrew , journal =. Implosion for hyperk. 2013 , issn =. doi:10.1112/S0010437X13007203 , file =

  15. [15]

    Differential operators on

    Ginzburg, Victor and Riche, Simon , journal =. Differential operators on. 2015 , issn =. doi:10.1017/S1474748014000085 , file =

  16. [16]

    Differential operators on

    Ginzburg, Victor and Kazhdan, David , journal =. Differential operators on. 2022 , issn =. doi:10.1016/j.aim.2022.108368 , file =

  17. [17]

    Jia, Boming , TITLE =. J. Lie Theory , FJOURNAL =. 2025 , NUMBER =

  18. [18]

    Symplectic implosion , year =

    Guillemin, Victor and Jeffrey, Lisa and Sjamaar, Reyer , journal =. Symplectic implosion , year =. doi:10.1007/s00031-002-0009-y , file =

  19. [19]

    Toroidal algebraic groups , year =

    Rosenlicht, Maxwell , journal =. Toroidal algebraic groups , year =. doi:10.2307/2034407 , file =

  20. [20]

    Knop, Friedrich and Kraft, Hanspeter and Vust, Thierry , booktitle =. The. 1989 , isbn =

  21. [21]

    Algebraic groups , year =

    Milne, James Stuart , publisher =. Algebraic groups , year =. doi:10.1017/9781316711736 , mrclass =

  22. [22]

    Singularities of

    Brown, Morgan , journal =. Singularities of. 2013 , issn =. doi:10.1016/j.matpur.2012.10.003 , file =

  23. [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. [24]

    , publisher =

    Grosshans, Frank D. , publisher =. Algebraic homogeneous spaces and invariant theory , year =. doi:10.1007/BFb0093525 , file =

  25. [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. [26]

    The cotangent bundle of

    Gannon, Tom , journal =. The cotangent bundle of

  27. [27]

    Proof of the

    Gannon, Tom , journal =. Proof of the. 2024 , issn =. doi:10.1016/j.aim.2024.109701 , file =

  28. [28]

    Ando, Tetsuya , title =. Invent. Math. , year =. doi:10.1007/BF01389057 , file =

  29. [29]

    , title =

    Beltrametti, Mauro C. , title =. 1986 , file =

  30. [30]

    , title =

    Beltrametti, Mauro C. , title =. 1987 , volume =. doi:10.1007/BF01762415 , file =

  31. [31]

    Bonavero, Laurent , title =. Bull. Soc. Math. France , year =

  32. [32]

    1994 , editor =

    Several complex variables. 1994 , editor =. doi:10.1007/978-3-662-09873-8 , file =

  33. [33]

    Flips, flops, minimal models, etc , booktitle =

    Koll. Flips, flops, minimal models, etc , booktitle =. 1991 , pages =

  34. [34]

    Oguiso, Keiji , title =. J. Reine Angew. Math. , year =. doi:10.1515/crll.1994.452.153 , file =

  35. [35]

    Complex analysis and algebraic geometry (

    Peternell, Thomas , title =. Complex analysis and algebraic geometry (. 1986 , volume =. doi:10.1007/BFb0077000 , file =

  36. [36]

    Reid, Miles , title =. Publ. Res. Inst. Math. Sci. , year =. doi:10.2977/prims/1195165581 , file =

  37. [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. [38]

    Wi. On. Manuscripta Math. , year =. doi:10.1007/BF02568366 , file =

  39. [39]

    Zhang, Qi , title =. Math. Ann. , year =. doi:10.1007/BF01445224 , file =

  40. [40]

    Positivity in algebraic geometry

    Lazarsfeld, Robert , publisher =. Positivity in algebraic geometry. 2004 , isbn =

  41. [41]

    Nakamura, Iku , title =. J. Algebraic Geom. , year =

  42. [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. [43]

    Complete intersections (

    Lazarsfeld, Robert , title =. Complete intersections (. 1984 , volume =. doi:10.1007/BFb0099356 , file =

  44. [44]

    Cascini, Paolo , title =. Milan J. Math. , year =. doi:10.1007/s00032-013-0210-6 , file =

  45. [45]

    Birkar, P

    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. [46]

    Fano bundles over

    Szurek, Micha. Fano bundles over. Pacific J. Math. , year =

  47. [47]

    Aprodu, Marian and Kebekus, Stefan and Peternell, Thomas , title =. Math. Z. , year =. doi:10.1007/s00209-007-0282-5 , file =

  48. [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. [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. [50]

    Araujo, Carolina , title =. Math. Ann. , year =. doi:10.1007/s00208-006-0775-2 , file =

  51. [51]

    Hwang, Jun-Muk , title =. Math. Ann. , year =. doi:10.1007/s002080050237 , file =

  52. [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. [53]

    Transcendental methods in algebraic geometry (

    Peternell, Thomas , title =. Transcendental methods in algebraic geometry (. 1996 , volume =. doi:10.1007/BFb0094303 , file =

  54. [54]

    School on

    Peternell, Thomas , title =. School on. 2001 , volume =

  55. [55]

    School on

    Hwang, Jun-Muk , title =. School on. 2001 , volume =

  56. [56]

    Grauert, Hans and Riemenschneider, Oswald , title =. Invent. Math. , year =

  57. [57]

    Fujita, Takao , title =. J. Fac. Sci. Univ. Tokyo Sect. IA Math. , year =

  58. [58]

    Hwang, Jun-Muk and Mok, Ngaiming , title =. Asian J. Math. , year =. doi:10.4310/AJM.2004.v8.n1.a6 , file =

  59. [59]

    , title =

    Cho, Koji and Miyaoka, Yoichi and Shepherd-Barron, Nicholas I. , title =. Higher dimensional birational geometry (. 2002 , volume =

  60. [60]

    Hwang, Jun-Muk , title =. Ann. Inst. Fourier (Grenoble) , year =

  61. [61]

    Hwang, Jun-Muk , title =. J. Reine Angew. Math. , year =. doi:10.1515/crll.2003.023 , file =

  62. [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. [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. [64]

    Fu, Baohua , TITLE =. Invent. Math. , FJOURNAL =. 2003 , NUMBER =. doi:10.1007/s00222-002-0260-9 , URL =

  65. [65]

    Hartshorne, Robin , title =. Math. Ann. , year =. doi:10.1007/BF01467074 , file =

  66. [66]

    Pacific J

    Nagaoka, Takahiro , TITLE =. Pacific J. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.2140/pjm.2021.313.459 , URL =

  67. [67]

    Algebra Number Theory , FJOURNAL =

    Liu, Jie , TITLE =. Algebra Number Theory , FJOURNAL =. 2023 , NUMBER =. doi:10.2140/ant.2023.17.1501 , URL =

  68. [68]

    Kanemitsu, Akihiro , TITLE =. Math. Res. Lett. , FJOURNAL =. 2017 , NUMBER =. doi:10.4310/MRL.2017.v24.n5.a6 , URL =

  69. [69]

    Demailly, Jean-Pierre and Peternell, Thomas and Schneider, Michael , title =. J. Algebraic Geom. , year =

  70. [70]

    Algebraic geometry and commutative algebra,

    Nakamura, Iku , title =. Algebraic geometry and commutative algebra,. 1988 , pages =

  71. [71]

    Nakamura, Iku , title =. J. Math. Soc. Japan , year =. doi:10.2969/jmsj/03930521 , file =

  72. [72]

    Nakamura, Iku , title =. J. Math. Soc. Japan , year =. doi:10.2969/jmsj/04440667 , file =

  73. [73]

    Nakamura, Iku , title =. Osaka J. Math. , year =

  74. [74]

    Birational algebraic geometry (

    Shokurov, Vyacheslav Vladimirovich , title =. Birational algebraic geometry (. 1997 , volume =. doi:10.1090/conm/207/02725 , file =

  75. [75]

    Manuscripta Math

    Peternell, Thomas , title =. Manuscripta Math. , year =. doi:10.1007/BF01173702 , file =

  76. [76]

    Several complex variables and complex geometry,

    Peternell, Thomas and Schneider, Michael , title =. Several complex variables and complex geometry,. 1991 , volume =

  77. [77]

    Kyushu J

    Furushima, Mikio , title =. Kyushu J. Math. , year =. doi:10.2206/kyushujm.61.259 , file =

  78. [78]

    On Global Deformations of Quartic Double Solids

    Dorsch, Tobias , title =. arXiv preprint arXiv:1402.5740 , year =

  79. [79]

    Andreatta, Marco , title =. Math. Z. , year =. doi:10.1007/PL00004714 , file =

  80. [80]

    Andreatta, Marco and Mella, Massimiliano , title =. Trans. Amer. Math. Soc. , year =. doi:10.1090/S0002-9947-97-01832-1 , file =

Showing first 80 references.