Pith. sign in

REVIEW 2 major objections 4 minor 31 references

Nilpotent orbits of height 2 and involutions in the affine Weyl group

T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For nilpotent elements of height 2, closure inclusion of Borel orbits is decided by the Bruhat order on associated affine Weyl-group involutions.

desk verdict Genuine advance: uniform parametrization and Bruhat-order closure description for B-orbits in the height-2 nilpotent locus, but the converse direction rests on an imported, then-unpublished base theorem from the authors' own abelian-ideal paper. read the letter →

arxiv 1908.01337 v2 pith:T3A2ZPCL submitted 2019-08-04 math.AG math.RT

Jacopo Gandini , Pierluigi Moseneder Frajria , Paolo Papi This is my paper · ORCID
classification math.AGmath.RT MSC 17B0820F5514L3022E46
keywords nilpotentorbitsheight2stronglyorthogonalrootsBorelsubgroupaffineWeylgroupBruhatorderorbitclosuresabelianideals
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that the Borel subgroup action on nilpotent elements of height at most 2 is controlled by a combinatorial gadget: a strongly orthogonal set of roots $S$ produces a nilpotent element $e_S$, and an associated involution $\sigma_{\widehat S}$ in the affine Weyl group encodes both the orbit and its closure order. The central result is that, for height-2 strongly orthogonal sets $R$ and $S$, one has $B e_R \subset \overline{B e_S}$ exactly when $\sigma_{\widehat R} \le \sigma_{\widehat S}$ in the affine Bruhat order, and the dimension of $B e_S$ is read off from the length of that involution. A careful reader should care because this replaces earlier case-by-case descriptions for classical groups with one statement valid for every almost simple group, turning a geometric containment question into a purely combinatorial order on involutions.

What carries the argument

The central object is the assignment $S \mapsto \sigma_{\widehat S}$, where $\widehat S = \{\alpha-\delta : \alpha\in S\}$ and $\sigma_{\widehat S}$ is the product of the corresponding reflections in the affine Weyl group $\widehat W$, the Weyl group of the affine root system attached to $\Phi$; for pairwise strongly orthogonal $S$ this is an involution. This assignment converts the geometric inclusion of $B$-orbit closures into the Bruhat order on involutions in $\widehat W$. The proof also uses the resolution $G\times^P \mathfrak a \to \overline{G e}$ of a height-2 orbit closure: $B$-orbits on the resolution are indexed by admissible pairs $(w,S)$, and the same Bruhat comparison governs their closure order. The descent calculus for involutions, distinguishing real from complex descents, is what carries the induction.

What would settle it

In a small root system where all height-2 strongly orthogonal subsets can be listed explicitly, such as type $C_2$ or $G_2$, compare the affine Bruhat order among the associated involutions with the actual closure inclusions among the $B e_S$. A single pair $R,S$ with $\sigma_{\widehat R} \le \sigma_{\widehat S}$ but $B e_R \not\subset \overline{B e_S}$, or a dimension mismatch $\dim(B e_S) \ne (\ell(\sigma_{\widehat S}) + |S|)/2$, would refute the theorem.

Watch

Extended reading notes

Core claim

Let $G$ be almost simple over an algebraically closed field of characteristic zero, with Borel subgroup $B$. The paper establishes that every $B$-orbit in the height-2 nilpotent locus $\mathcal{N}_2$ is of the form $B e_S$ for a strongly orthogonal subset $S$ of roots, and that for such $R,S$ with $\operatorname{ht}(e_R)=\operatorname{ht}(e_S)=2$, $$B e_R \subset \overline{B e_S} \iff \sigma_{\widehat R} \le \sigma_{\widehat S}$$ in the Bruhat order of the affine Weyl group $\widehat W$, where $\widehat T = \{\alpha-\delta : \alpha\in T\}$ and $\sigma_T = \prod_{\alpha\in T} s_{\alpha-\delta}$. It also proves the dimension formula $\dim(B e_S) = L(\sigma_{\widehat S}) = (\ell(\sigma_{\widehat S}) + |S|)/2$, and an analogous Bruhat criterion for the $B$-orbits on the resolution $G\times^P \mathfrak a \to \overline{G e}$ of a height-2 orbit closure. These results together give a uniform parametrization and closure order for all $B$-orbits in $\mathcal{N}_2$.

Load-bearing premise

The load-bearing assumption is that the earlier Bruhat-order theorem for B-orbits on abelian ideals of the Borel subalgebra, imported here without reproducing its proof, is correct; the height-2 result inherits any gap in that base case.

Editorial extensions

If this is right

  • For every almost simple group in characteristic zero, the poset of $B$-orbit closures in $\mathcal{N}_2$ is completely determined by the affine Bruhat order on the involutions $\sigma_{\widehat S}$, so closure questions no longer need a case-by-case root-system analysis.
  • Orbit dimensions are explicit and combinatorial: $\dim(B e_S) = (\ell(\sigma_{\widehat S}) + |S|)/2$.
  • The same Bruhat criterion describes the orbit-closure order on the resolution $G\times^P \mathfrak a$, with admissible pairs $(w,S)$ bijecting to $B$-orbits on the resolved variety and minimal-length elements marking the unique closed orbit in each fiber.
  • The parametrization by strongly orthogonal subsets is faithful: different height-2 subsets give different $B$-orbits and different involutions.
  • Earlier descriptions for classical groups, phrased through involutions or link patterns, are recovered as one uniform statement.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same induction might extend to the spherical locus $\operatorname{ht}\le 3$ if the cover by orbits $B e_S$ could be replaced; the paper itself notes that these orbits do not cover the full spherical locus, so a genuinely different parametrization would be needed beyond height 2.
  • The dimension formula gives a quick numerical check in low-rank root systems: listing all height-2 strongly orthogonal subsets and computing the affine lengths of their involutions would independently test the dictionary before any full proof is sought.
  • The description of the fibers of the resolution as Schubert cells in a partial flag variety suggests that finer invariants of $B$-orbit-closure singularities, such as intersection cohomology data, might be computable from affine Weyl combinatorics.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper studies the action of a Borel subgroup B on the height-2 nilpotent locus N2 in the Lie algebra of an almost simple group G over an algebraically closed field of characteristic zero. For a strongly orthogonal set of roots S, the authors consider the B-orbit Be_S of e_S = sum_{\alpha in S} e_\alpha, and they prove that every B-orbit in N2 is of this form. The main theorem, stated in the introduction as Theorem 1 and proved as Corollary 4.8 together with Theorem 5.2, asserts that for R,S with ht(e_R)=ht(e_S)=2, the closure inclusion Be_R \subset \overline{Be_S} holds if and only if \sigma_{\hat R} \le \sigma_{\hat S} in the Bruhat order of the affine Weyl group, where \sigma_{\hat S} is the product of affine reflections associated to {\alpha-\delta : \alpha\in S}. The paper also proves a corresponding statement for the resolution \tilde X = G\times^P a of a height-2 nilpotent orbit closure, gives a dimension formula dim(Be_S)=L(\sigma_{\hat S})= (\ell(\sigma_{\hat S})+|S|)/2, and develops a detailed inductive machinery based on descents and admissible pairs.

Significance. Assuming the external base theorem from the authors' previous paper [11] is correct, the paper gives a uniform, type-independent parametrization of B-orbits in N2 and a complete description of their closure order in terms of Bruhat order on involutions in the affine Weyl group. This significantly extends earlier case-by-case results for SL_n and classical groups, and the dimension formula is a natural and useful addition. The paper's internal contribution includes the reduction of N2 to strongly orthogonal subsets, the construction of the relevant fibers of the resolution, and the inductive descent arguments, which are presented in detail and appear coherent. I found no circular use of the main theorem. The principal weakness is that the induction base in the proof of the main theorem's converse is imported from [11], which was 'to appear' at the time of this version and whose proof is not reproduced; this makes the verification level of the central claim dependent on an external, unverified result.

major comments (2)
  1. [Proof of Theorem 5.2, Section 5, ℓ(w)=0 case] The converse direction of Theorem 5.2 reduces, in the base case ℓ(w)=0, to the assertion that for R,S⊂Ψ the inequality σ_\hat R ≤ σ_\hat S implies Be_R ⊂ Be_S, and this assertion is imported verbatim from [11, Theorem 5.3]. The present paper does not prove or even summarize that theorem, and the reference is given as 'to appear in Trans. Amer. Math. Soc.' at the time of this posting. Since every induction step that lowers ℓ(w) terminates in this case, a gap in [11, Theorem 5.3] would propagate directly into the converse of Theorem 5.2. This is a load-bearing external dependency, not a purely expository one. The authors should either include a proof of the abelian-ideal base case in this paper or replace the reference with a published version containing a complete proof and state precisely which statement is being used.
  2. [Theorems 4.7 and 4.10, Section 4] The same external dependency appears in the proof of the intermediate resolution theorem: Theorem 4.7 uses [11, Theorem 5.3] for its ℓ(w)=0 base, and Theorem 4.10 uses [11, Theorem 6.3] for its ℓ(w)=0 base. These are different statements from the main theorem, since they concern B-orbits in abelian ideals of b rather than in the whole height-2 locus, but they are used as the base of the main induction. The manuscript should either justify these base cases directly or give a precise reference to the published version of [11] with the relevant theorems, so that the verification of the central claim does not rest on an unreproduced, still-unpublished statement.
minor comments (4)
  1. [Introduction, page 2] There is a typo: 'sphecial linear' should be 'special linear'.
  2. [Section 1, page 6] The phrase 'Levi decompostion' should be corrected to 'Levi decomposition'.
  3. [Remark 2.5 and Remark 2.2] The notation 'type AC' appears in Remark 2.5 where the context indicates 'type A or C'; please clarify or correct this shorthand.
  4. [References] Reference [11] is listed as 'to appear'; if it has since appeared, the reference should be updated to the published version so that readers can consult the base theorem directly.

Circularity Check

1 steps flagged · score 4.0 of 10

The central converse is anchored by a same-author abelian-ideal theorem that is a special case of the new result, making the proof dependent on [11] but not circular.

  1. self citation load bearing [Section 5, proof of Theorem 5.2, p. 27; also Section 4, proofs of Theorem 4.7 and Theorem 4.10, pp. 24-26]
    "Suppose that ℓ(w) = 0. Then S⊂ Ψ, and by Proposition 2.13 we get R⊂ Ψ as well. In particular eR∈ a, therefore BeR⊂ BeS by [11, Theorem 5.3]."

    The converse of the main theorem is proved by induction on ℓ(w), and the base case ℓ(w)=0 is not proved here; it is imported from the authors' earlier paper [11, Thm 5.3]. The introduction states [11] proves 'a statement analogous to that in Theorem 1 ... in the case of the abelian ideals of b', and here R,S⊂Ψ with height 2 are precisely such an abelian-ideal special case. The same base is used in Theorem 4.7 ('The case ℓ(w)=0 follows from [11, Theorem 5.3]') and Theorem 4.10 ('the claim follows from [11, Theorem 6.3]'). Thus the proof of the new theorem terminates in a same-author citation that was still 'to appear'; the base statement is a restricted form of the target result, so correctness is inherited rather than established in this paper.

full rationale

The paper's central claim, the Bruhat-order comparison of B-orbit closures in N2 via affine involutions σ_Ŝ, is not assumed as an input and is not obtained by fitting or by definition. The parametrization of B-orbits by strongly orthogonal subsets is proved from orbit-weight arguments (Propositions 2.3, 2.8, 3.6), and the induction steps (Lemma 5.1, Propositions 4.5 and 4.6, Lemmas 1.1 and 1.3) provide real content beyond [11]. However, every main proof (Theorem 4.7, Theorem 4.10, Theorem 5.2) terminates its induction in the authors' previous theorem [11, Theorems 5.3 and 6.3] for abelian ideals. That theorem is a special case of the new Theorem 1, is cited rather than proved here, and was still 'to appear in Trans. Amer. Math. Soc.' when this arXiv version was posted. Consequently the central claim inherits its base case from a load-bearing self-citation. This is not full circularity, since the target theorem is not used as its own hypothesis and the extension from abelian ideals to all height-2 orbits is independently argued. No fitted-input, renaming, ansatz-smuggling, or uniqueness-import circularity appears; the result also agrees with existing external parametrizations for type A (Melnikov; Boos-Reineke). Score 4 reflects the load-bearing self-citation with independent content.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The proof is a reduction rather than a fitted model. The only imported quantitative inputs are root-system data and standard Bruhat-length invariants; no number is adjusted to make the theorem work. The listed axioms are the background results that carry the load: the Kac-Moody closure-order bridge, the prior abelian-ideal theorem, and the classifications and orbit descriptions in nilpotent orbit theory. If any of these is withdrawn, the central theorem would need a different proof. No new entities are postulated.

assumptions (6)
  • standard math Kac-Moody group \hat G has exponential maps for shifted root spaces and its Iwahori double cosets close according to the Bruhat order on \hat W.
    Used in Proposition 2.3 to convert Be_R closure containment into σ(R) ≤ σ(S). The property is standard in Kac-Moody theory, but it is the exact bridge between geometry and the affine Bruhat order.
  • domain assumption The Bruhat-order theorem for B-orbits in abelian ideals of b from [11] is correct and applies whenever a is an abelian ideal of b.
    This is the induction base for Theorems 4.10 and 5.2, for instance Theorem 5.2, base case: 'Be_R ⊂ Be_S by [11, Theorem 5.3]'. At the time of this arXiv version it was still 'to appear'; the present paper does not reprove it.
  • standard math Panyushev's parametrization of B-orbits in abelian ideals of b (Theorem 3.4) and the characterization of spherical nilpotent orbits by height at most 3.
    Gives the base parametrization of B-orbits on a by Ort(Ψ) and justifies the reduction of the spherical locus to strongly orthogonal subsets.
  • standard math Richardson-Röhrle-Steinberg and Müller-Rubenthaler-Schiffmann classification of L-orbits in abelian nilradicals, including WL-transitivity on orthogonal subsets with fixed short and long root counts.
    Used in Proposition 3.8 and in the fiber analysis of Section 3 to control L-orbits and canonical subsets.
  • standard math Nilpotent orbit closures are normal and admit the rational resolution G × P a → closure(Ge) with connected flag-variety fibers.
    This is the framework for Section 3: the resolution φ and the Schubert-cell structure of its fibers underlie the admissible-pair technology and Theorem 4.7.
  • domain assumption G is almost simple over an algebraically closed field of characteristic zero, and root vectors are fixed to form sl2-triples.
    This is the stated scope of the paper; the affine Kac-Moody and resolution arguments do not address positive characteristic or non-almost-simple groups.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nilpotent orbits of height 2 and involutions in the affine Weyl group." pith.science (2026). https://pith.science/paper/T3A2ZPCL

@misc{pith2026190801337,
  author       = {Pith},
  title        = {Pith review of: Nilpotent orbits of height 2 and involutions in the affine Weyl group},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/T3A2ZPCL}},
  note         = {Machine review of arXiv:1908.01337}
}
read the original abstract

Let G be an almost simple group over an algebraically closed field k of characteristic zero, let g be its Lie algebra and let B be a Borel subgroup of G. Then B acts with finitely many orbits on the variety N_2 of the nilpotent elements in g whose height is at most 2. We provide a parametrization of the B-orbits in N_2 in terms of subsets of pairwise orthogonal roots, and we provide a complete description of the inclusion order among the B-orbit closures in terms of the Bruhat order on certain involutions in the affine Weyl group of g.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

  1. [11]

    The Bruhat order on abelian ideals of Borel subalgebras

    J. Gandini, A. Maffei, P. M¨ oseneder Frajria, P. Papi, The Bruhat order on abelian ideals of Borel subalgebras, to appear in Trans. Amer. Math. Soc., arXiv:1806.08622

    work page Pith review arXiv

  2. [1]

    Bender, N

    M. Bender, N. Perrin, Singularities of closures of B-conjugacy classes of nilpotent elements of height 2 , Transform. Groups 24 (2019), 741–768

    work page 2019

  3. [2]

    M. Boos, G. Cerulli Irelli, F. Esposito, Parabolic orbits of 2-nilpotent elements for classical groups, J. Lie Theory 29 (2019), 969–996

    work page 2019

  4. [3]

    M. Boos, M. Reineke, B-orbits of 2-nilpotent matrices and generalizations , in: A. Joseph, A. Melnikov, I. Penkov (eds.), Highlights in Lie Algebraic Met hods, Progress in Mathematics 295, Birkh¨ auser, Boston, 2011, pp. 147–166

    work page 2011

  5. [4]

    Brenti, A

    F. Brenti, A. Bj¨ orner, Combinatorics of Coxeter groups , Graduate Texts in Mathematics 231, Springer, 2005

    work page 2005

  6. [5]

    Brion, Quelques propri´ et´ es des espaces homog` enes sph´ eriquesManuscripta Math

    M. Brion, Quelques propri´ et´ es des espaces homog` enes sph´ eriquesManuscripta Math. 55 (1986), 191–198

    work page 1986

  7. [6]

    Brion, On orbit closures of spherical subgroups in flag varieties , Comment

    M. Brion, On orbit closures of spherical subgroups in flag varieties , Comment. Math. Helv. 76 (2001), 263–299

    work page 2001

  8. [7]

    Parametrization, structure and Bruhat order of certain spherical quotients

    P.-E. Chaput, L. Fresse, T. Gobet, Parametrization, structure and Bruhat order of certain spherical quotients , preprint, arXiv:2001.04411

    work page Pith review arXiv 2001

Show all 31 references
  1. [8]

    Chiriv ` ı, A

    R. Chiriv ` ı, A. Maffei, On exceptional completions of symmetric varieties , J. Lie Theory 16 (2006), 39–46

    2006

  2. [9]

    Collingwood, W.M

    D.H. Collingwood, W.M. McGovern, Nilpotent orbits in semisimple Lie algebras , Van Nos- trand Reinhold, New York, 1993. 28 J. GANDINI, P. M ¨OSENEDER FRAJRIA, AND P. PAPI

    1993

  3. [10]

    Gandini, A

    J. Gandini, A. Maffei, The Bruhat order on Hermitian symmetric varieties, and on ab elian nilradicals, to appear in J. Eur. Math. Soc., arXiv:1708.05523

    arXiv

  4. [12]

    Gandini, P

    J. Gandini, P. M¨ oseneder Frajria, P. Papi, Spherical nilpotent orbits and abelian subalgebras in isotropy representations , J. Lond. Math. Soc. (2) 95 (2017), 323–352

    2017

  5. [13]

    Hesselink, The normality of closures of orbits in a Lie algebra , Comment

    W. Hesselink, The normality of closures of orbits in a Lie algebra , Comment. Math. Helvetici 54 (1979), 105–110

    1979

  6. [14]

    Ignatyev, Combinatorics of B-orbits and Bruhat-Chevalley order on in volutions, Trans- form

    M.V. Ignatyev, Combinatorics of B-orbits and Bruhat-Chevalley order on in volutions, Trans- form. Groups 17 (2012), 747–780

    2012

  7. [15]

    Ignatyev, The Bruhat–Chevalley order on involutions of the hyperocta hedral group and combinatorics of B-orbit closures , J

    M.V. Ignatyev, The Bruhat–Chevalley order on involutions of the hyperocta hedral group and combinatorics of B-orbit closures , J. Math. Sci. 192 (2013), 220–231

    2013

  8. [16]

    Ignatyev, On involutions in the Weyl group and B-orbit closures in the orthogonal case, in: M

    M.V. Ignatyev, On involutions in the Weyl group and B-orbit closures in the orthogonal case, in: M. Gorelik, V. Hinich, A. Melnikov (eds), Representati ons and Nilpotent Orbits of Lie Algebraic Systems, Progress in Mathematics 330, Birkh¨ auser, Cham, 2019, pp. 331–355

    2019

  9. [17]

    V. G. Kac, Infinite-dimensional Lie algebras , third ed., Cambridge University Press, Cam- bridge, 1990

    1990

  10. [18]

    Kumar, Kac-Moody Groups, Their Flag Varieties and Representation Theory, Progress in Mathematics 204, Birkh¨ auser, Boston, 2002

    S. Kumar, Kac-Moody Groups, Their Flag Varieties and Representation Theory, Progress in Mathematics 204, Birkh¨ auser, Boston, 2002

    2002

  11. [19]

    Melnikov, B-orbits in solutions to the equation X 2 = 0 in triangular matrices , J

    A. Melnikov, B-orbits in solutions to the equation X 2 = 0 in triangular matrices , J. Algebra 223 (2000), 101–108

    2000

  12. [20]

    Melnikov, Description of B-orbit closures of order 2 in upper-triangular matrices , Trans- form

    A. Melnikov, Description of B-orbit closures of order 2 in upper-triangular matrices , Trans- form. Groups 11 (2006), 217–247

    2006

  13. [21]

    Melnikov, B-orbits of nilpotency order 2 and link patterns , Indag

    A. Melnikov, B-orbits of nilpotency order 2 and link patterns , Indag. Math. 24 (2013), 443– 473

    2013

  14. [22]

    Muller, H

    I. Muller, H. Rubenthaler, G. Schiffmann, Structure des espaces pr´ ehomog` enes associ´ es ` a certaines alg` ebres de Lie gradu´ ees, Math. Ann. 274 (1986), 95–123

    1986

  15. [23]

    Panyushev, Complexity and nilpotent orbits , Manuscripta Math

    D.I. Panyushev, Complexity and nilpotent orbits , Manuscripta Math. 83 (1994), 223–237

    1994

  16. [24]

    Panyushev, Parabolic Subgroups with Abelian Unipotent Radical as a Tes ting Site for Invariant Theory , Canad

    D.I. Panyushev, Parabolic Subgroups with Abelian Unipotent Radical as a Tes ting Site for Invariant Theory , Canad. J. Math. 51 (3) (1999), 616–635

    1999

  17. [25]

    Panyushev, On spherical nilpotent orbits and beyond , Ann

    D.I. Panyushev, On spherical nilpotent orbits and beyond , Ann. Inst. Fourier (Grenoble) 49 (1999), no. 5, 1453–1476

    1999

  18. [26]

    Panyushev, On the orbits of a Borel subgroup in abelian ideals , Transform

    D.I. Panyushev, On the orbits of a Borel subgroup in abelian ideals , Transform. Groups 22 (2017), 503–524

    2017

  19. [27]

    Panyushev, G

    D.I. Panyushev, G. R¨ ohrle, Spherical orbits and abelian ideals , Adv. Math. 159 (2001), 229– 246

    2001

  20. [28]

    Richardson, G

    R. Richardson, G. R¨ ohrle, R. Steinberg, Parabolic subgroups with Abelian unipotent radical , Invent. Math. 110, 649–671 (1992)

    1992

  21. [29]

    Richardson, T.A

    R.W. Richardson, T.A. Springer, The Bruhat order on symmetric varieties , Geom. Dedicata 35 (1990), 389–436

    1990

  22. [30]

    Springer, R

    T.A. Springer, R. Steinberg, Conjugacy classes , in: Seminar on algebraic groups and related finite groups, Lecture notes in Math. 131, Berlin-Heidelberg-New York, Springer, 1970, pp. 167–266

    1970

  23. [31]

    Vinberg, Complexity of actions of reductive groups , Funct

    E.B. Vinberg, Complexity of actions of reductive groups , Funct. Anal. Appl. 20 (1986), 1–11. Dipartimento di Matematica, Universit `a di Bologna, Piazza di Porta San Donato 5, 40126 Bologna, Italy E-mail address : jacopo.gandini@unibo.it Politecnico di Milano, Polo regionale ...

    1986

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.