pith. sign in

arxiv: 2604.07056 · v1 · submitted 2026-04-08 · 🧮 math.AG · math.GR

On computing the spherical roots for a class of spherical subgroups

Roman Avdeev This is my paper

Pith reviewed 2026-05-10 17:35 UTC · model grok-4.3

classification 🧮 math.AG math.GR
keywords spherical subgroupsspherical rootsreductive algebraic groupsparabolic subgroupsLevi subgroupsLie algebra quotientsspherical varieties
0
0 comments X

The pith

Spherical roots are computed for every spherical subgroup regularly embedded in a parabolic sharing a Levi subgroup.

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

The paper finishes the classification of spherical subgroups H inside a reductive group G such that H lies regularly inside some parabolic P with the same Levi subgroup L as H. It does this by listing every possible strictly indecomposable spherical L-module that can appear as the quotient Lie(P)/Lie(H) and then determining the spherical roots attached to each module on the list. Once these roots are known, an earlier reduction procedure can be run on any member of the class without additional case analysis. The spherical roots are the basic invariants that describe the action of the group on the corresponding homogeneous space and its embeddings.

Core claim

We complete the classification of all strictly indecomposable spherical L-modules of the form Lie(P)/Lie(H) arising from spherical subgroups H regularly embedded in parabolic subgroups P with common Levi subgroup L, and we compute the spherical roots for each such module.

What carries the argument

The exhaustive list of strictly indecomposable spherical L-modules that arise as Lie(P)/Lie(H) in the regularly embedded setting, together with the spherical roots attached to each.

If this is right

  • The previously developed fast algorithm can now be applied directly to any spherical subgroup in the given class.
  • The spherical roots become known for the entire class of such regularly embedded subgroups.
  • Any invariant or geometric property controlled by the spherical roots is now accessible by the same reduction.

Where Pith is reading between the lines

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

  • The same reduction-plus-list technique may extend to spherical subgroups that are not regularly embedded.
  • The explicit roots can be used to decide questions about the existence of certain embeddings or about the structure of the spherical variety.

Load-bearing premise

The reduction procedure from the earlier paper sends every subgroup in the class to one of the strictly indecomposable modules treated here, and the list of those modules is complete.

What would settle it

An explicit spherical subgroup H regularly embedded in some parabolic P with common Levi L whose quotient Lie(P)/Lie(H) is not isomorphic to any module on the list, or whose set of spherical roots differs from the computed set.

read the original abstract

Given a connected reductive algebraic group $G$, we consider the class of spherical subgroups $H \subset G$ such that $H$ is regularly embedded in a parabolic subgroup $P \subset G$ and $H,P$ have a common Levi subgroup $L$. In a previous paper, the author developed a fast algorithm that reduces the computation of the set of spherical roots for such subgroups $H$ to the case where the quotient of Lie algebras $\operatorname{Lie} P / \operatorname{Lie} H$ is a strictly indecomposable spherical $L$-module. In this paper, we complete the classification of all such cases and compute the spherical roots for each of them, which enables one to use the above fast algorithm directly for computing the spherical roots for arbitrary spherical subgroups in the class under consideration.

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

2 major / 2 minor

Summary. The paper completes the classification of all strictly indecomposable spherical L-modules of the form Lie(P)/Lie(H) arising from regularly embedded spherical subgroups H in a parabolic P with common Levi L, and explicitly computes the spherical roots for each such module in the list.

Significance. If the enumeration is exhaustive, the result supplies the missing base cases needed to apply the reduction algorithm from the author's prior work to every spherical subgroup in the given class, thereby making spherical-root computations routine for this family of examples.

major comments (2)
  1. [§4] §4 (the enumeration of indecomposable modules): the claim of completeness rests on an exhaustive case-by-case check over semisimple types of L, parabolic types, and admissible highest weights; an explicit argument or table showing that every possible combination has been considered (including non-maximal parabolics and exceptional factors) is required to substantiate that no spherical strictly indecomposable module has been omitted.
  2. [Table 1] Table 1 (list of modules and their spherical roots): for each entry the derivation of the spherical roots from the L-module structure should be accompanied by a short verification that the roots satisfy the defining properties of spherical roots (e.g., the valuation conditions or the weight-lattice relations) rather than being asserted by reference to the prior algorithm alone.
minor comments (2)
  1. [Introduction] The introduction could add the arXiv identifier of the previous paper when citing the reduction algorithm.
  2. Notation for the spherical roots (e.g., the symbols used for simple roots of the restricted root system) is introduced without a small illustrative example; adding one would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive suggestions. We address each major comment below and indicate the revisions we will incorporate.

read point-by-point responses

  1. Referee: [§4] §4 (the enumeration of indecomposable modules): the claim of completeness rests on an exhaustive case-by-case check over semisimple types of L, parabolic types, and admissible highest weights; an explicit argument or table showing that every possible combination has been considered (including non-maximal parabolics and exceptional factors) is required to substantiate that no spherical strictly indecomposable module has been omitted.

    Authors: We agree that an explicit summary of the cases considered would make the completeness of the enumeration clearer to the reader. The original analysis already proceeded by exhaustive enumeration over all semisimple types of L (including exceptional factors), all parabolic types (maximal and non-maximal), and all admissible highest weights compatible with the spherical condition. In the revised manuscript we will add a short subsection and an accompanying table in §4 that lists the complete set of combinations examined and states that no further cases arise. revision: yes

  2. Referee: [Table 1] Table 1 (list of modules and their spherical roots): for each entry the derivation of the spherical roots from the L-module structure should be accompanied by a short verification that the roots satisfy the defining properties of spherical roots (e.g., the valuation conditions or the weight-lattice relations) rather than being asserted by reference to the prior algorithm alone.

    Authors: We accept that direct, self-contained checks would improve readability. For each row of Table 1 we will append a brief paragraph (or footnote) that verifies the listed spherical roots lie in the weight lattice of the spherical module and satisfy the required valuation conditions with respect to the colors, using only the L-module data given in the table and the definition of spherical roots. revision: yes

Circularity Check

0 steps flagged

Minor self-citation to prior reduction algorithm; new explicit computations are independent

full rationale

The paper references a previous work by the same author for the fast reduction algorithm that reduces general cases to strictly indecomposable spherical L-modules. This paper then completes the classification of those modules through exhaustive case analysis of semisimple Lie algebras, parabolic types, and highest weights, computing spherical roots for each. No derivation or prediction reduces to its own inputs by construction, and the self-citation supports the applicability but does not make the classification itself circular. The enumeration is presented as exhaustive based on the analysis performed here.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper rests on the established theory of spherical varieties and the reduction algorithm from the author's previous work; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard facts from the theory of spherical subgroups and parabolic embeddings in reductive groups
    Invoked throughout to define the class and the reduction step.

pith-pipeline@v0.9.0 · 5427 in / 1243 out tokens · 55873 ms · 2026-05-10T17:35:49.952097+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

27 extracted references · 27 canonical work pages

  1. [1]

    Avdeev, Strongly solvable spherical subgroups and their combinatorial invariants, Selecta Math

    R. Avdeev, Strongly solvable spherical subgroups and their combinatorial invariants, Selecta Math. (N.\,S.) 21 (2015), no. 3, 931–993; see also http://arxiv.org/abs/1212.3256 arXiv:1212.3256\,[math.AG]

    work page arXiv 2015

  2. [2]

    Avdeev, On extended weight monoids of spherical homogeneous spaces, Transform

    R. Avdeev, On extended weight monoids of spherical homogeneous spaces, Transform. Groups 26 (2021), no. 2, 403--431; see also http://arxiv.org/abs/2005.05234 arXiv:2005.05234\,[math.RT]

    work page arXiv 2021

  3. [3]

    Avdeev, Degenerations of spherical subalgebras and spherical roots, Comm

    R. Avdeev, Degenerations of spherical subalgebras and spherical roots, Comm. Cont. Math. 26 (2024), no. 6, 2350029; see also http://arxiv.org/abs/1905.01169 arxiv:1905.01169\,[math.AG]

    work page arXiv 2024

  4. [4]

    Benson, G

    C. Benson, G. Ratcliff, A classification of multiplicity free actions, J. Algebra 181 (1996), no. 1, 152--186

    work page 1996

  5. [5]

    Bourbaki, \'El\'ements de math\'ematique

    N. Bourbaki, \'El\'ements de math\'ematique. Groupes et Alg\`ebres de Lie. Chapitre IV: Groupes de Coxeter et Syst\`emes de Tits. Chapitre V: Groupes engendr\'es par des r\'eflexions. Chapitre VI: Syst\`emes de racines. Actualit\'es Scientifiques et Industrielles, No. 1337, Hermann, Paris, 1968

    work page 1968

  6. [6]

    Bravi, G

    P. Bravi, G. Pezzini, Wonderful subgroups of reductive groups and spherical systems, J. Algebra 409 (2014), 101--147; see also http://arxiv.org/abs/1103.0380 arXiv:1103.0380\,[math.AG]

    work page arXiv 2014

  7. [7]

    Bravi, G

    P. Bravi, G. Pezzini, The spherical systems of the wonderful reductive subgroups, J. Lie Theory 25 (2015), 105--123; see also http://arxiv.org/abs/1109.6777 arXiv:1109.6777\,[math.RT]

    work page arXiv 2015

  8. [8]

    Bravi, G

    P. Bravi, G. Pezzini, Primitive wonderful varieties, Math. Z. 282 (2016), 1067--1096; see also http://arxiv.org/abs/1106.3187 arXiv:1106.3187\,[math.AG]

    work page arXiv 2016

  9. [9]

    Brion, Classification des espaces homog\`enes sph\'eriques, Compositio Math

    M. Brion, Classification des espaces homog\`enes sph\'eriques, Compositio Math. 63 (1987), no. 2, 189--208

    work page 1987

  10. [10]

    Brion, Vers une g\'en\'eralisation des espaces sym\'etriques, J

    M. Brion, Vers une g\'en\'eralisation des espaces sym\'etriques, J. Algebra 134 (1990), 115--143

    work page 1990

  11. [11]

    Brion, F

    M. Brion, F. Pauer, Valuations des espaces homog\`enes sph\'eriques, Comment. Math. Helv. 62 (1987), no. 2, 265--285

    work page 1987

  12. [12]

    Gorbatsevich, A.\,L

    V.\,V. Gorbatsevich, A.\,L. Onishchik, E.\,B. Vinberg, Structure of Lie Groups and Lie Algebras, Lie groups and Lie algebras III, Encycl. Math. Sci., vol. 41, Springer-Verlag, Berlin, 1994; Russian original: Э.\,Б. Винберг, В.\,В. Горбацевич, А.\,Л. Онищик, Строение групп и алгебр Ли, в кн.: Группы и алгебры Ли -- 3, Итоги науки и техн. Сер. Соврем. пробл...

    work page 1994

  13. [13]

    Humphreys, Introduction to Lie algebras and representation theory, 3rd printing, rev., Graduate Texts in Math

    J.\,E. Humphreys, Introduction to Lie algebras and representation theory, 3rd printing, rev., Graduate Texts in Math. 9, Springer-Verlag, New York Heidelberg Berlin, 1980

    work page 1980

  14. [14]

    Humphreys, Linear algebraic groups, Corr

    J.\,E. Humphreys, Linear algebraic groups, Corr. 2nd printing, Graduate Texts in Math. 21, Springer-Verlag, New York Heidelberg Berlin, 1981

    work page 1981

  15. [15]

    Kac, Some remarks on nilpotent orbits, J

    V.\,G. Kac, Some remarks on nilpotent orbits, J. Algebra 64 (1980), no. 1, 190--213

    work page 1980

  16. [16]

    F. Knop, The Luna-Vust theory of spherical embeddings, in: Proceedings of the Hyderabad Conference on Algebraic Groups (Hyderabad, India, 1989), Manoj Prakashan, Madras, 1991, 225--249

    work page 1989

  17. [17]

    Knop, Some remarks on multiplicity free spaces, in: Representation theories and algebraic geometry, NATO Adv

    F. Knop, Some remarks on multiplicity free spaces, in: Representation theories and algebraic geometry, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., vol. 514, Springer Netherlands, Dordrecht, 1998, 301--317

    work page 1998

  18. [18]

    Kostant, Root systems for Levi factors and Borel-de Siebenthal theory, in: Symmetry and Spaces, Progress in Mathematics, vol

    B. Kostant, Root systems for Levi factors and Borel-de Siebenthal theory, in: Symmetry and Spaces, Progress in Mathematics, vol. 278, Birkh\"auser Boston, Boston, 2010, 129--152; see also \\ http://arxiv.org/abs/0711.2809 arXiv:0711.2809\,[math.RT]

    work page arXiv 2010

  19. [19]

    Leahy, A classification of multiplicity free representations, J

    A.\,S. Leahy, A classification of multiplicity free representations, J. Lie Theory 8 (1998), 367--391

    work page 1998

  20. [20]

    Losev, Uniqueness property for spherical homogeneous spaces, Duke Math

    I.\,V. Losev, Uniqueness property for spherical homogeneous spaces, Duke Math. J. 147 (2009), no. 2, 315--343; see also http://arxiv.org/abs/math/0703543 arXiv:math/0703543\,[math.AG]

    work page arXiv 2009

  21. [21]

    Luna, Vari\'et\'es sph\'eriques de type A, Inst

    D. Luna, Vari\'et\'es sph\'eriques de type A, Inst. Hautes \'Etudes Sci. Publ. Math. 94 (2001), 161--226

    work page 2001

  22. [22]

    Luna, Th

    D. Luna, Th. Vust, Plongements d'espaces homog\`enes, Comment. Math. Helv. 58 (1983), no. 2, 186--245

    work page 1983

  23. [23]

    Montagard, Une nouvelle propri\'et\'e de stabilit\'e du pl\'ethysme, Comment

    P.-L. Montagard, Une nouvelle propri\'et\'e de stabilit\'e du pl\'ethysme, Comment. Math. Helv. 71 (1996), no. 3, 475--505

    work page 1996

  24. [24]

    Panyushev, Complexity and nilpotent orbits, Manuscripta Math

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

    work page 1994

  25. [25]

    Pezzini, Spherical subgroups of Kac--Moody groups and transitive actions on spherical varieties, Adv

    G. Pezzini, Spherical subgroups of Kac--Moody groups and transitive actions on spherical varieties, Adv. Math. 312 (2017), 680--736; see also http://arxiv.org/abs/1408.3347 arXiv:1408.3347\,[math.RT]

    work page arXiv 2017

  26. [26]

    Timashev, Homogeneous spaces and equivariant embeddings, Encycl

    D.\,A. Timashev, Homogeneous spaces and equivariant embeddings, Encycl. Math. Sci., vol. 138, Springer-Verlag, Berlin Heidelberg, 2011

    work page 2011

  27. [27]

    Vinberg, B.\,N

    E.\,B. Vinberg, B.\,N. Kimel'fel'd, Homogeneous domains on flag manifolds and spherical subgroups of semisimple Lie groups, Funct. Anal. Appl. 12 (1978), no. 3, 168--174; Russian original: Э.\,Б. Винберг, Б.\,Н. Кимельфельд, Однородные области на флаговых многообразиях и сферические подгруппы полупростых групп Ли, Функц. анализ и его прилож. 12 (1978), №\...

    work page 1978