Classification of irreducible real modules of real Lie superalgebras

Hadi Salmasian; Siddhartha Sahi; Vera Serganova

arxiv: 2604.09404 · v1 · submitted 2026-04-10 · 🧮 math.RT · math.RA

Classification of irreducible real modules of real Lie superalgebras

Siddhartha Sahi , Hadi Salmasian , Vera Serganova This is my paper

Pith reviewed 2026-05-10 16:23 UTC · model grok-4.3

classification 🧮 math.RT math.RA MSC 17B1017B60

keywords Lie superalgebrasirreducible modulesreal formsparity functorconjugation functorhighest weight modulesBorel subalgebrasKostant cascade

0 comments

The pith

Irreducible finite-dimensional modules over real Lie superalgebras are classified by the orbits of parity and conjugation functors on their complexifications.

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

The authors classify the irreducible finite-dimensional modules for a broad collection of real Lie superalgebras, including the simple ones, their classical variants, complex Lie superalgebras viewed over the reals, and all real Lie algebras. They achieve this by reducing the problem to the computation of orbits under the parity and conjugation functors acting on the irreducible modules of the corresponding complexified algebras. Explicit descriptions of these orbits are provided, and the approach works for any choice of Borel subalgebra in the highest weight parametrization for basic types and type Q(n). A sympathetic reader would care because this unifies several previously separate classification problems and provides a conceptual link to existing results for real Lie algebras via Kostant's cascade of strongly orthogonal roots.

Core claim

We classify irreducible finite-dimensional modules of real Lie superalgebras by reducing the classification to determining the orbits of the parity and conjugation functors on irreducible modules of the complexifications. We provide explicit results for the computation of these orbits. For Lie superalgebras of basic type or of type Q(n), our classification applies to any highest-weight parametrization of irreducible complex modules with respect to an arbitrary Borel subalgebra. As a consequence, for real simple Lie algebras we obtain a new perspective on the classification of real simple modules and establish a conceptual connection with Kostant's cascade of strongly orthogonal roots.

What carries the argument

The parity and conjugation functors, whose orbits on the irreducible modules of the complexification determine the real irreducible modules.

If this is right

The classification holds uniformly for simple real Lie superalgebras, their classical variants, complex ones after scalar restriction, and all real Lie algebras.
For algebras of basic type or Q(n), the results apply with any highest weight parametrization relative to an arbitrary Borel subalgebra.
The approach yields a new perspective on the classification of irreducible modules for real simple Lie algebras, connected to Kostant's cascade of strongly orthogonal roots.

Where Pith is reading between the lines

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

The orbit-reduction technique could be tested on low-rank examples to recover known real module lists and extend to other real forms not covered in the main families.
Similar functor-orbit methods might organize classifications for infinite-dimensional modules or for twisted superalgebras.
The explicit orbit data could be used to produce concrete dimension formulas or character tables for real modules in the basic cases.

Load-bearing premise

The orbits of the parity and conjugation functors on the irreducible modules of the complexifications can be explicitly computed in a uniform way that fully determines the real irreducible modules for all the listed families and arbitrary Borel subalgebras.

What would settle it

A concrete real Lie superalgebra together with a Borel where the modules predicted by the computed orbits have dimensions or multiplicities that differ from the actual irreducible finite-dimensional modules over the real form.

read the original abstract

We classify irreducible finite-dimensional modules of a collection of real Lie superalgebras that includes the simple ones, their classical variants, complex Lie superalgebras after restriction of scalars, and all real Lie algebras. Our strategy is to reduce this classification to determining the orbits of the parity and conjugation functors on irreducible modules of the complexifications of the aforementioned algebras. Then we provide explicit results for the computation of these orbits. For Lie superalgebras of basic type or of type $\mathbf Q(n)$, our classification applies to any highest-weight parametrization of irreducible complex modules with respect to an arbitrary Borel subalgebra. As a consequence, in the special case of real simple Lie algebras we obtain a new perspective on the classification of real simple modules and establish a conceptual connection with Kostant's cascade of strongly orthogonal roots.

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.

Desk Editor's Note private letter to a colleague

The paper reduces classifying finite-dim real irreps for Lie superalgebras to explicit orbits under parity and conjugation functors on the complex side, with a clean tie to Kostant's cascade in the algebra case.

read the letter

The key takeaway is that this paper classifies the finite-dimensional irreducible modules over a range of real Lie superalgebras by reducing the problem to orbit computations under parity and conjugation functors applied to the complexified modules. It also recovers the classification for real Lie algebras as a special case and connects it to Kostant's cascade of strongly orthogonal roots. The new part is the uniform reduction that works for simple superalgebras, their classical variants, complex ones restricted to reals, and ordinary real algebras. They provide explicit results for the orbits, and the approach applies to any highest-weight parametrization with respect to an arbitrary Borel subalgebra for basic type and Q(n) cases. This seems like a solid way to organize the real classification without starting from scratch each time. What the paper does well is to leverage the existing complex classifications and turn the real problem into something more manageable through these functors. The connection to Kostant's work for the algebra case adds a conceptual layer that might help see patterns across different settings. The soft spots are mostly around the explicit orbit calculations. Those are central, and while the abstract says they are provided, the strength of the result depends on how thorough and correct those computations turn out to be. If there are any special cases where the functors don't behave as expected or where the reduction misses some modules, that could affect the completeness. The claim of uniformity for arbitrary Borels is ambitious, so the proofs there need to be checked carefully, but nothing in the setup looks obviously broken. This paper is aimed at representation theorists who work with Lie superalgebras and real forms. Someone familiar with the complex theory will find the reduction useful and might appreciate the new perspective on the real algebra classification. It is not for beginners, as it assumes knowledge of highest weight modules and functorial constructions. It deserves a serious referee because it offers a classification result with a fresh framing that could be valuable if the details hold up. I would recommend sending it to peer review.

Referee Report

2 major / 2 minor

Summary. The manuscript classifies irreducible finite-dimensional modules over a collection of real Lie superalgebras (including simple ones, classical variants, complex superalgebras after restriction of scalars, and all real Lie algebras). The central strategy reduces the real classification to computing orbits of the parity and conjugation functors on the irreducible modules of the complexifications, with explicit orbit results supplied. The classification holds for basic-type and Q(n) superalgebras under any highest-weight parametrization with respect to an arbitrary Borel subalgebra, and recovers the known classification of real simple Lie algebra modules as a special case while establishing a connection to Kostant's cascade of strongly orthogonal roots.

Significance. If the reduction and explicit orbit computations hold, the work supplies a uniform conceptual framework that unifies the classification of real irreducible modules across Lie algebras and superalgebras. It recovers classical results for real Lie algebras via a new functorial perspective and links them to Kostant's cascade, which is a notable strength. The uniform applicability to arbitrary Borels for basic-type and Q(n) cases, together with the explicit results, would constitute a substantial contribution to the representation theory of real Lie superalgebras.

major comments (2)

[§4] The reduction to parity and conjugation orbits is presented as uniform, but the manuscript does not include an explicit verification that the orbit computation remains complete when the Borel is non-standard (i.e., not the standard even Borel). This is load-bearing for the claim of applicability to arbitrary Borels in §4 and §5.
[§5.2] The explicit orbit tables or lists for the conjugation functor on complex irreducibles (claimed in the abstract) are not cross-checked against a known low-rank case such as sl(2,1) or osp(1|2) where real forms are already classified in the literature. Without such a sanity check, the completeness of the orbit description cannot be confirmed from the given derivations.

minor comments (2)

[§2] Notation for the parity functor P and conjugation functor C is introduced without a dedicated preliminary subsection; a short table summarizing their action on highest-weight vectors would improve readability.
[References] The reference list omits the original Kostant paper on the cascade of strongly orthogonal roots; adding it would strengthen the claimed conceptual connection in the Lie-algebra special case.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive assessment of our work and the detailed comments, which help clarify the presentation. We address the major comments point by point below.

read point-by-point responses

Referee: [§4] The reduction to parity and conjugation orbits is presented as uniform, but the manuscript does not include an explicit verification that the orbit computation remains complete when the Borel is non-standard (i.e., not the standard even Borel). This is load-bearing for the claim of applicability to arbitrary Borels in §4 and §5.

Authors: The parity and conjugation functors are defined intrinsically on the category of modules over the real Lie superalgebra and its complexification, independent of any choice of Borel subalgebra. Consequently, the orbit decomposition on the set of irreducible modules is likewise independent of the Borel; only the highest-weight labels change under Borel conjugation. To make this uniformity fully explicit for non-standard Borels, we will add a short remark (or brief subsection) in §4 that recalls the standard bijection between highest-weight modules for different Borels and verifies that the action of the functors commutes with this bijection, thereby confirming that the orbit tables remain complete. This addition will be included in the revised manuscript. revision: yes
Referee: [§5.2] The explicit orbit tables or lists for the conjugation functor on complex irreducibles (claimed in the abstract) are not cross-checked against a known low-rank case such as sl(2,1) or osp(1|2) where real forms are already classified in the literature. Without such a sanity check, the completeness of the orbit description cannot be confirmed from the given derivations.

Authors: We agree that an explicit low-rank sanity check would strengthen the exposition. In the revised version we will add, in §5.2, a complete computation of the conjugation orbits for the complexification of osp(1|2) (equivalently sl(2,1) up to isomorphism) and compare the resulting real irreducible modules with the classification already available in the literature. This concrete verification will corroborate the general orbit description derived in the paper. revision: yes

Circularity Check

0 steps flagged

No significant circularity; reduction to explicit functor orbits on external complex modules

full rationale

The paper reduces classification of real irreducible modules to determining orbits of parity and conjugation functors on irreducible modules of the complexifications, then supplies explicit results for those orbits that apply uniformly to arbitrary Borel highest-weight parametrizations for basic-type and Q(n) superalgebras. This chain is self-contained: complex modules and their highest-weight theory are independent external input, the orbit computations constitute new explicit content (recovering the known real Lie algebra case via Kostant's cascade of strongly orthogonal roots as a special case), and no step reduces by definition, fitted parameter, or load-bearing self-citation to the paper's own outputs. The derivation does not manufacture its central claims from its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the prior classification of irreducible modules over complex Lie superalgebras (via highest-weight theory for arbitrary Borels) and on the well-definedness of the parity and conjugation functors; no free parameters or new entities are introduced in the abstract.

axioms (1)

domain assumption Irreducible finite-dimensional modules over the complexifications of the listed real Lie superalgebras are classifiable via highest-weight theory with respect to an arbitrary Borel subalgebra.
The reduction strategy and applicability statement rely on this standard fact from complex representation theory.

pith-pipeline@v0.9.0 · 5436 in / 1411 out tokens · 47310 ms · 2026-05-10T16:23:59.269346+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

[1]

Borel, Linear Algebraic Groups, 2nd enlarged ed.,Graduate Texts in Mathematics, Vol

A. Borel, Linear Algebraic Groups, 2nd enlarged ed.,Graduate Texts in Mathematics, Vol. 126, Springer-Verlag, New York, 1991

work page 1991
[2]

Cartan, Les groupes projectifs qui ne laissent invariante aucune multiplicit´ e plane,Bull

´E. Cartan, Les groupes projectifs qui ne laissent invariante aucune multiplicit´ e plane,Bull. Soc. Math. 41 (1913), 53–94

work page 1913
[3]

Cheng and W

S.-J. Cheng and W. Wang, Dualities and Representations of Lie Superalgebras, Graduate Studies in Mathematics, Vol. 144, American Mathematical Society, Providence, RI, 2012

work page 2012
[4]

Fulton and J

W. Fulton and J. Harris, Representation Theory: A First Course, Graduate Texts in Mathematics, Vol. 129, Springer-Verlag, New York, 1991

work page 1991
[5]

Hayashi, Classification of irreducible representations of affine group superschemes and the division superalgebras of their endomorphisms,Math

T. Hayashi, Classification of irreducible representations of affine group superschemes and the division superalgebras of their endomorphisms,Math. Z.309 (2025), no. 2, Paper No. 33, 48 pp

work page 2025
[6]

Iwahori, On real irreducible representations of Lie algebras,Nagoya Math

N. Iwahori, On real irreducible representations of Lie algebras,Nagoya Math. J.14 (1959), 59–83

work page 1959
[7]

V. G. Kac, Lie superalgebras,Advances in Math.26 (1977), no. 1, 8–96

work page 1977
[8]

Karpelevich, Simple subalgebras of real Lie algebras,Trudy Mosk

F.I. Karpelevich, Simple subalgebras of real Lie algebras,Trudy Mosk. Mat. Obshch.4 (1955), 3–112

work page 1955
[9]

A. W. Knapp, Lie groups beyond an introduction,Progr. Math., 140, Second edition. Birkh¨ auser Boston, Inc., Boston, MA, 2002, xviii+812 pp

work page 2002
[10]

A. L. Onishchik, Lectures on real semisimple Lie algebras and their representations,ESI Lect. Math. Phys.European Mathematical Society (EMS), Z¨ urich, 2004, x+86 pp

work page 2004
[11]

Parker, Classification of real simple Lie superalgebras of classical type,J

M. Parker, Classification of real simple Lie superalgebras of classical type,J. Math. Phys.21 (1980), no. 4, 689–697. 40 SIDDHARTHA SAHI, HADI SALMASIAN, AND VERA SERGANOV A

work page 1980
[12]

V. V. Serganova, Classification of real simple Lie superalgebras and symmetric superspaces,Funk- tsional. Anal. i Prilozhen. 17 (1983), no. 3, 46–54; English transl.,Funct. Anal. Appl.17 (1983), 200–207

work page 1983
[13]

Tits, Repr´ esentations lin´ eaires irr´ eductibles d’un groupe r´ eductif sur un corps quelconque,J

J. Tits, Repr´ esentations lin´ eaires irr´ eductibles d’un groupe r´ eductif sur un corps quelconque,J. Reine Angew. Math.247 (1971), 196–220

work page 1971
[14]

C. T. C. Wall, Graded Brauer groups,J. Reine Angew. Math.213 (1963/64), 187–199. Department of Mathematics, Rutgers University,paper 110 Frelinghuysen Rd, Piscataway, NJ 08854-8019, USA Email address:sahi@math.rutgers.edu Department of Mathematics and Statistics, University of Ottawa, 585 King Edward A ve, Ottawa, Ontario, Canada K1N 6N5 Email address:had...

work page 1963

[1] [1]

Borel, Linear Algebraic Groups, 2nd enlarged ed.,Graduate Texts in Mathematics, Vol

A. Borel, Linear Algebraic Groups, 2nd enlarged ed.,Graduate Texts in Mathematics, Vol. 126, Springer-Verlag, New York, 1991

work page 1991

[2] [2]

Cartan, Les groupes projectifs qui ne laissent invariante aucune multiplicit´ e plane,Bull

´E. Cartan, Les groupes projectifs qui ne laissent invariante aucune multiplicit´ e plane,Bull. Soc. Math. 41 (1913), 53–94

work page 1913

[3] [3]

Cheng and W

S.-J. Cheng and W. Wang, Dualities and Representations of Lie Superalgebras, Graduate Studies in Mathematics, Vol. 144, American Mathematical Society, Providence, RI, 2012

work page 2012

[4] [4]

Fulton and J

W. Fulton and J. Harris, Representation Theory: A First Course, Graduate Texts in Mathematics, Vol. 129, Springer-Verlag, New York, 1991

work page 1991

[5] [5]

Hayashi, Classification of irreducible representations of affine group superschemes and the division superalgebras of their endomorphisms,Math

T. Hayashi, Classification of irreducible representations of affine group superschemes and the division superalgebras of their endomorphisms,Math. Z.309 (2025), no. 2, Paper No. 33, 48 pp

work page 2025

[6] [6]

Iwahori, On real irreducible representations of Lie algebras,Nagoya Math

N. Iwahori, On real irreducible representations of Lie algebras,Nagoya Math. J.14 (1959), 59–83

work page 1959

[7] [7]

V. G. Kac, Lie superalgebras,Advances in Math.26 (1977), no. 1, 8–96

work page 1977

[8] [8]

Karpelevich, Simple subalgebras of real Lie algebras,Trudy Mosk

F.I. Karpelevich, Simple subalgebras of real Lie algebras,Trudy Mosk. Mat. Obshch.4 (1955), 3–112

work page 1955

[9] [9]

A. W. Knapp, Lie groups beyond an introduction,Progr. Math., 140, Second edition. Birkh¨ auser Boston, Inc., Boston, MA, 2002, xviii+812 pp

work page 2002

[10] [10]

A. L. Onishchik, Lectures on real semisimple Lie algebras and their representations,ESI Lect. Math. Phys.European Mathematical Society (EMS), Z¨ urich, 2004, x+86 pp

work page 2004

[11] [11]

Parker, Classification of real simple Lie superalgebras of classical type,J

M. Parker, Classification of real simple Lie superalgebras of classical type,J. Math. Phys.21 (1980), no. 4, 689–697. 40 SIDDHARTHA SAHI, HADI SALMASIAN, AND VERA SERGANOV A

work page 1980

[12] [12]

V. V. Serganova, Classification of real simple Lie superalgebras and symmetric superspaces,Funk- tsional. Anal. i Prilozhen. 17 (1983), no. 3, 46–54; English transl.,Funct. Anal. Appl.17 (1983), 200–207

work page 1983

[13] [13]

Tits, Repr´ esentations lin´ eaires irr´ eductibles d’un groupe r´ eductif sur un corps quelconque,J

J. Tits, Repr´ esentations lin´ eaires irr´ eductibles d’un groupe r´ eductif sur un corps quelconque,J. Reine Angew. Math.247 (1971), 196–220

work page 1971

[14] [14]

C. T. C. Wall, Graded Brauer groups,J. Reine Angew. Math.213 (1963/64), 187–199. Department of Mathematics, Rutgers University,paper 110 Frelinghuysen Rd, Piscataway, NJ 08854-8019, USA Email address:sahi@math.rutgers.edu Department of Mathematics and Statistics, University of Ottawa, 585 King Edward A ve, Ottawa, Ontario, Canada K1N 6N5 Email address:had...

work page 1963