pith. sign in

arxiv: 2507.21911 · v3 · submitted 2025-07-29 · 🧮 math.RT · math.AC· math.AG

Closed Orbits and Descents for Enhanced Standard Representations of Classical Groups

Chen Liang This is my paper

Pith reviewed 2026-05-19 03:34 UTC · model grok-4.3

classification 🧮 math.RT math.ACmath.AG
keywords closed orbitsenhanced standard representationsclassical groupsMVW-extensionstabilizer groupsnormal spaceLie algebra representationsorbit classification
0
0 comments X

The pith

Closed orbits in the enhanced standard representation of classical groups are classified and shown to be stable under the MVW-extension.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper classifies the closed orbits of classical groups G acting on the enhanced standard representation consisting of the Lie algebra g together with a natural module E. It proves that each such closed orbit remains stable when the group is enlarged to its MVW-extension. For every closed orbit the stabilizer subgroup is computed explicitly and the action of that stabilizer on the normal space is described. This gives a complete picture of the orbit structure in these representations over algebraically closed fields of characteristic zero.

Core claim

We classify the closed orbits in the enhanced standard representation g×E of G, and for every closed G-orbit we prove that it is Ĝ-stable and determine explicitly the corresponding stabilizer group as well as the action on the normal space.

What carries the argument

The enhanced standard representation g × E, combining the Lie algebra of G with the natural representation E (or E plus its dual when G is GL_n).

If this is right

  • Every closed G-orbit in g×E is also stable under the larger MVW-extension Ĝ.
  • An explicit list of stabilizer groups is obtained for all closed orbits.
  • The linear action of each stabilizer on the normal space to its orbit is determined.
  • The results apply uniformly to GL_n, O_n, and Sp_{2n}.

Where Pith is reading between the lines

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

  • The classification supplies concrete data that could be used to study descent problems or nilpotent orbits in the same enhanced setting.
  • Similar orbit classifications might be attempted for other enhanced representations or for groups over non-closed fields once suitable extensions are defined.
  • The explicit normal-space actions could help compute invariants or cohomology groups attached to these orbits.

Load-bearing premise

The base field is algebraically closed of characteristic zero, which guarantees that the MVW-extension exists and that orbit closures in g×E behave as expected.

What would settle it

A single closed orbit in g×E whose closure fails to be preserved under the MVW-extension, or whose stabilizer group or normal-space action differs from the explicit description given, would disprove the classification and stability statements.

read the original abstract

Let $G=\mathrm{GL}_n(\mathbb{F})$, $\mathrm{O}_n(\mathbb{F})$, or $\mathrm{Sp}_{2n}(\mathbb{F})$ be one of the classical groups over an algebraically closed field $\mathbb{F}$ of characteristic $0$, let $\breve{G}$ be the MVW-extension of $G$, and let $\mathfrak{g}$ be the Lie algebra of $G$. In this paper, we classify the closed orbits in the enhanced standard representation $\mathfrak{g}\times E$ of $G$, where $E$ is the natural representation if $G=\mathrm{O}_n(\mathbb{F})$ or $\mathrm{Sp}_{2n}(\mathbb{F})$, and is the direct sum of the natural representation and its dual if $G=\mathrm{GL}_n(\mathbb{F})$. Additionally, for every closed $G$-orbit in $\mathfrak{g}\times E$, we prove that it is $\breve{G}$-stable, and determine explicitly the corresponding stabilizer group as well as the action on the normal space.

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

0 major / 4 minor

Summary. The manuscript classifies the closed G-orbits in the enhanced standard representation 𝔤 × E for the classical groups G = GL_n(𝔽), O_n(𝔽), or Sp_{2n}(𝔽) over an algebraically closed field 𝔽 of characteristic zero. For each such closed orbit it proves stability under the MVW-extension breves G, determines the stabilizer subgroup explicitly, and describes the linear action on the normal space.

Significance. The explicit classification across all three families of classical groups, together with the direct verification of breves G-stability and the computation of stabilizers and normal-space actions, supplies concrete geometric and representation-theoretic data that can be used in the study of descents, invariants, and related questions for enhanced modules. The case-by-case analysis under the stated hypotheses (algebraically closed field of characteristic zero) is a strength of the work.

minor comments (4)
  1. §2.1: the precise definition of the enhanced module E for GL_n (natural plus dual) is stated but would benefit from an explicit low-dimensional example illustrating the G-action on 𝔤 × E.
  2. §4.3 (orthogonal case): the list of closed orbits is given by partitions, but the argument that these exhaust all possibilities is only sketched; a short sentence confirming that no additional nilpotent classes appear would improve clarity.
  3. Table 2 (symplectic case): the column reporting the dimension of the normal space is missing; adding it would make the tabulated results immediately usable for applications.
  4. Notation: the symbol breves G is introduced in the abstract and §1 but its precise generators are only defined in §3; a forward reference at first use would help readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, which correctly identifies the classification of closed orbits in the enhanced standard representation for GL_n, O_n, and Sp_{2n}, along with the proofs of breves G-stability, explicit stabilizers, and normal-space actions. We appreciate the recognition that this case-by-case analysis provides useful geometric and representation-theoretic data under the stated hypotheses.

Circularity Check

0 steps flagged

No significant circularity in classification of closed orbits

full rationale

The paper executes a direct case-by-case classification of closed G-orbits in g × E for the three families of classical groups, followed by explicit verification that each orbit is stable under the MVW-extension breve G, computation of stabilizers, and description of the normal-space action. All arguments rest on the standing hypotheses (algebraically closed field of characteristic zero) stated at the outset and on standard facts about algebraic groups and representations; no derivation step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation. The result is therefore self-contained against external benchmarks in algebraic geometry and representation theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard facts about algebraic groups, Lie algebras, and MVW-extensions over algebraically closed fields of characteristic zero. No free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption The base field F is algebraically closed of characteristic zero.
    Invoked to guarantee existence of the MVW-extension and good behavior of orbit closures.
  • standard math Standard properties of the natural representation and its dual for classical groups hold.
    Used throughout the definition of the enhanced representation g×E.

pith-pipeline@v0.9.0 · 5712 in / 1338 out tokens · 38728 ms · 2026-05-19T03:34:46.920558+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

20 extracted references · 20 canonical work pages · 1 internal anchor

  1. [1]

    Aizenbud and D

    A. Aizenbud and D. Gourevitch, Generalized Harish-Chandra descent, Gelfand pairs, and an Archimedean analog of Jacquet-Rallis's theoremm, with an appendix by the authors and E. Sayag, Duke Math. J., 149 (2009), no. 3, 509--567

    work page 2009

  2. [2]

    Aizenbud and D

    A. Aizenbud and D. Gourevitch, Multiplicity one theorem for ( _ n+1 ( ), _n( )) , Selecta Math., 15 (2009), 271--294

    work page 2009

  3. [3]

    Aizenbud, D

    A. Aizenbud, D. Gourevitch, S. Rallis and G. Schiffmann, Multiplicity one theorems, Ann. Math. (2), 172 (2010), 1407--1434

    work page 2010

  4. [4]

    P. N. Achar and A. Henderson, Orbit closures in the enhanced nilpotent cone, Adv. Math., 219 (2008), no. 1, 27--62. Correction in 228 (2011), no. 5 2984–2988

    work page 2008

  5. [5]

    P. N. Achar, A. Henderson, and B. F. Jones, Normality of orbit closures in the enhanced nilpotent cone, Nagoya Math. J. 203 (2011), 1--45

    work page 2011

  6. [6]

    Chaudouard and M

    P.-H. Chaudouard and M. Zydor, Le transfert singulier pour la formule des traces de Jacquet–Rallis, Compos. Math. 157 (2021), no. 2, 303--434

    work page 2021

  7. [7]

    Collingwood and W

    D. Collingwood and W. McGovern, Nilpotent Orbits in Semisimple Lie Algebras, Van Nostrand Reinhold Co., New York, 1993

    work page 1993

  8. [8]

    Ferrer Santos and A

    W. Ferrer Santos and A. Rittatore, Actions and Invariants of Algebraic Groups, 2nd ed., Monographs and Research Notes in Mathematics, Chapman & Hall/CRC, 2017

    work page 2017

  9. [9]

    Goodment and N

    R. Goodment and N. Wallach, Symmetry, Representations, and Invariants, Graduate Texts in Mathematics, 255. Springer-Verlag, Berlin-New York, 2009

    work page 2009

  10. [10]

    Kato, An exotic Deligne–Langlands correspondence for symplectic groups, Duke Math

    S. Kato, An exotic Deligne–Langlands correspondence for symplectic groups, Duke Math. J., 148 (2009), no. 2, 305--371

    work page 2009

  11. [11]

    Moeglin, M.-F

    C. Moeglin, M.-F. Vigneras, and J.-L. Waldspurger, Correspondence de Howe sur un corp p-adique, Lecture Notes in Mathematics, vol. 1291, Springer-Verlag, Berlin, 1987

    work page 1987

  12. [12]

    Nishiyama, Enhanced orbit embedding, Comment

    K. Nishiyama, Enhanced orbit embedding, Comment. Math. Univ. St. Pauli, 63 (2014), 223--232

    work page 2014

  13. [13]

    Nishiyama and T

    K. Nishiyama and T. Ohta, Enhanced adjoint actions and their orbits for the general linear group, Pacific J. of Math., 298 (2019), no. 1, 141--155

    work page 2019

  14. [14]

    V. L. Popov and E. B. Vinberg, Invariant Theory, in Algebraic Geometry. IV, A. N. Parshin and I. R. Shafarevich (eds.), Encyclopaedia of Mathematical Sciences, vol. 55, Springer-Verlag, Berlin, 1994, pp. 122--278

    work page 1994

  15. [15]

    Multiplicity one Conjectures

    S. Rallis and G. Schiffmann, Multiplicity one Conjectures, arXiv:0705.2168v1

    work page internal anchor Pith review Pith/arXiv arXiv

  16. [16]

    G. W. Schwarz, Representations of simple Lie groups with regular rings of invariants, Invent. Math., 49 (1978), 167--191

    work page 1978

  17. [17]

    Sun and C.-B

    B. Sun and C.-B. Zhu, Multiplicity on theorem: the Archimedean case, Ann. of Math. (2), 175 (2012), 23--44

    work page 2012

  18. [18]

    Sun, Notes on MVW-extensions, in Proceeding of the Fifth International Congress of Chinese Mathematicians, L

    B. Sun, Notes on MVW-extensions, in Proceeding of the Fifth International Congress of Chinese Mathematicians, L. Ji, Y. S. Poon, L. Yang and S.-T. Yau (eds.), AMS/IP Studies in Advanced Mathematics, vol. 51, part 1, American Mathematical Society, Providence, 2012, pp. 305--312

    work page 2012

  19. [19]

    Xue, On the global Gan--Gross--Prasad conjecture for unitary groups: approximating smooth transfer of Jacquet--Rallis, J

    H. Xue, On the global Gan--Gross--Prasad conjecture for unitary groups: approximating smooth transfer of Jacquet--Rallis, J. Reine Angew. Math. 756 (2019), 65--100

    work page 2019

  20. [20]

    Zhang, Fourier transform and the global Gan-Gross-Prasad conjecture for unitary groups, Ann

    W. Zhang, Fourier transform and the global Gan-Gross-Prasad conjecture for unitary groups, Ann. of Math. (2), 180 (2014), no. 3, 971--1049

    work page 2014