pith. sign in

arxiv: 2511.21279 · v2 · submitted 2025-11-26 · 🧮 math.RT · math.RA

Classification of nilpotent and semisimple fourvectors of a real eight-dimensional space

Emanuele Di Bella , Willem A. de Graaf , Andrea Santi This is my paper

Pith reviewed 2026-05-17 04:56 UTC · model grok-4.3

classification 🧮 math.RT math.RA
keywords nilpotent orbitssemisimple orbitsfour-vectorsSL(8,R)Galois cohomologytheta-groupsorbit classificationreal representations
0
0 comments X p. Extension

The pith

SL(8,R) acts on four-vectors in R^8 to produce 1441 parametrized semisimple orbit classes.

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

The paper extends Antonyan's 1981 classification of SL(8,C) orbits on four-vectors in eight complex dimensions to the real setting. It applies Galois cohomology to descend the complex orbits and produces explicit lists of all nilpotent orbits together with a parametrization of the semisimple ones into 1441 classes, plus a description of the associated Cartan subspaces. The authors note that the resulting volume makes any further classification of mixed orbits impractical. This supplies a concrete real analogue to the complex theta-group picture for this particular representation.

Core claim

The orbits of SL(8,R) on ∧⁴R⁸ fall into nilpotent orbits, which are classified directly, and semisimple orbits, which split into 1441 parametrized classes. Cartan subspaces are identified for the semisimple case. The entire list is obtained by Galois-cohomology descent from the known complex classification.

What carries the argument

Galois cohomology descent from the complex theta-group orbits of SL(8,C) on the fourth exterior power.

If this is right

  • Nilpotent orbits supply a complete list for studying real degenerations and nilpotent elements in this eight-dimensional representation.
  • The 1441 parametrized semisimple classes give an exhaustive set of invariants and stabilizers for semisimple four-vectors over the reals.
  • Cartan subspaces reduce questions about semisimple elements to lower-dimensional problems parametrized by real invariants.
  • Mixed orbits are left unclassified because the sheer number of semisimple classes already makes the problem intractable.

Where Pith is reading between the lines

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

  • The same descent technique could be tested on other real forms of classical groups acting on exterior powers.
  • The jump from one complex classification to 1441 real families shows how real orbit problems can fragment far beyond their complex counterparts.
  • The resulting lists could serve as test data for algorithms that compute real orbit closures or normal forms.

Load-bearing premise

The Galois-cohomology descent from the complex classification produces every real orbit without omissions or overlaps.

What would settle it

An explicit real four-vector whose SL(8,R)-orbit lies outside the listed nilpotent orbits and the 1441 semisimple families, or a pair of distinct families that turn out to be the same orbit.

read the original abstract

In 1981 Antonyan classified the orbits of SL$(8,\mathbb{C})$ on $\bigwedge^4 \mathbb{C}^8$. This is an example of a $\theta$-group action as introduced and studied by Vinberg. The orbits of a $\theta$-group are divided into three classes: nilpotent, semisimple and mixed. We consider the action of SL$(8,\mathbb{R})$ on $\bigwedge^4 \mathbb{R}^8$ and classify the nilpotent and semisimple orbits as well as the Cartan subspaces. The semisimple orbits are divided into 1441 parametrized classes. Due to this high number a classification of the mixed orbits does not seem feasible. Our methods are based on Galois cohomology.

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 classifies the nilpotent and semisimple orbits of the natural action of SL(8,ℝ) on ∧⁴ℝ⁸, together with the associated Cartan subspaces. It starts from Antonyan's 1981 classification of the SL(8,ℂ) orbits on ∧⁴ℂ⁸ and descends to the real case via Galois cohomology, producing an explicit list of 1441 parametrized classes of semisimple orbits.

Significance. If the descent is exhaustive, the result supplies a concrete real-form classification for a θ-group action in dimension 8, which is a useful reference point for invariant theory and representation theory over ℝ. The systematic application of Galois cohomology to a previously known complex list is a standard and reproducible technique; the explicit count of 1441 semisimple classes quantifies the increase in complexity when passing from ℂ to ℝ.

major comments (2)
  1. [Galois cohomology descent section] The central claim of an exhaustive list of 1441 parametrized semisimple classes rests on the completeness of the H¹ computations for every stabilizer arising from Antonyan's complex orbits. The manuscript should include either a summary table (or explicit count) showing the number of real forms contributed by each complex orbit type, or a clear statement that all relevant H¹ sets were enumerated by hand or machine.
  2. [Nilpotent orbits classification] For the nilpotent orbits, the paper should verify that the real nilpotent representatives obtained by descent coincide with any independently known low-dimensional or special-case lists (e.g., the nilpotent four-vectors in smaller even dimensions) to confirm that no real orbits were missed or duplicated during the descent.
minor comments (2)
  1. [Abstract] The abstract states that mixed orbits are too numerous to classify; a short quantitative remark estimating their expected number (e.g., by comparing the total number of complex orbits to the real count already obtained) would help the reader assess the decision.
  2. [Introduction and notation] Notation for the real and complex groups, as well as for the Galois action, should be introduced once and used uniformly; occasional switches between SL(8,ℝ) and SL(8,ℂ) without explicit reminder can be confusing.

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 have revised the paper accordingly where possible.

read point-by-point responses

  1. Referee: [Galois cohomology descent section] The central claim of an exhaustive list of 1441 parametrized semisimple classes rests on the completeness of the H¹ computations for every stabilizer arising from Antonyan's complex orbits. The manuscript should include either a summary table (or explicit count) showing the number of real forms contributed by each complex orbit type, or a clear statement that all relevant H¹ sets were enumerated by hand or machine.

    Authors: We agree that greater transparency on the H¹ computations strengthens the exposition. In the revised manuscript we have inserted a new table in the Galois-cohomology section that lists every complex orbit type from Antonyan’s classification, the corresponding stabilizer, the order of H¹(ℂ/ℝ, Stab), and a short description of the computational method (based on the known real forms of the reductive centralizers). The entries sum to the stated total of 1441 parametrized classes. We have also added a sentence clarifying that the cohomology sets were enumerated systematically from the structure theory of the stabilizers rather than by exhaustive machine search. revision: yes

  2. Referee: [Nilpotent orbits classification] For the nilpotent orbits, the paper should verify that the real nilpotent representatives obtained by descent coincide with any independently known low-dimensional or special-case lists (e.g., the nilpotent four-vectors in smaller even dimensions) to confirm that no real orbits were missed or duplicated during the descent.

    Authors: We have added a paragraph in the nilpotent-orbits section that records consistency checks against known low-dimensional cases. When the ambient space is restricted to dimension 4 or 6, the real nilpotent four-vectors obtained by our descent reproduce the (admittedly limited) lists appearing in the literature for the corresponding smaller θ-groups. We note, however, that no independent, exhaustive classification of real nilpotent four-vectors in dimension 8 existed prior to this work; therefore a full external cross-verification for the complete set is not feasible. The descent procedure itself follows the standard Galois-cohomology formalism without additional choices that could introduce omissions or duplications. revision: partial

Circularity Check

0 steps flagged

No circularity: classification descends from independent 1981 complex orbit list via standard Galois cohomology

full rationale

The paper takes Antonyan's 1981 classification of SL(8,C) orbits on ∧⁴C⁸ as an external starting point and applies Galois cohomology descent to produce the real nilpotent and semisimple orbits under SL(8,R). This is a standard, non-self-referential procedure in algebraic groups and representation theory; the complex list is cited as prior independent work, and the descent enumerates real forms without redefining or fitting the input orbits inside the present paper. No equations or claims reduce by construction to quantities defined in terms of the paper's own outputs, and the 1441 parametrized semisimple classes are presented as the enumerated result rather than an input. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The classification rests on established background results in algebraic groups and cohomology rather than new postulates or fitted constants. The 1441 parametrized classes are outputs of the descent procedure, not input parameters.

axioms (2)
  • domain assumption Orbits of a θ-group action are partitioned into nilpotent, semisimple, and mixed classes.
    Invoked in the abstract as the framework inherited from Vinberg and used in Antonyan's 1981 work.
  • domain assumption Galois cohomology provides a complete descent from complex orbit classifications to real orbit classifications for this group action.
    Stated as the method that yields the real classification from the known complex case.

pith-pipeline@v0.9.0 · 5428 in / 1654 out tokens · 42901 ms · 2026-05-17T04:56:27.944661+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

30 extracted references · 30 canonical work pages

  1. [1]

    Antonyan

    L.V. Antonyan. The classification of four-vectors of the eight-dimensional space. Trudy Seminara po Vektornomu i Tenzornomu Analizu. 20, 1981

    work page 1981

  2. [2]

    G. Berhuy. An Introduction to Galois Cohomology and its Applications. London Mathematical Society Lecture Note Series. Cambridge: Cambridge University Press, 2010

    work page 2010

  3. [3]

    M. Berger. Sur les groupes d’holonomie homog` enes des vari´ et´ es a connexion affines et des vari´ et´ es riemanniennes,Bull. Soc. Math. France, 83, 279–330, 1955

    work page 1955

  4. [4]

    Springer-Verlag, Berlin, Heidelberg, New York, second edition, 1991

    Armand Borel.Linear algebraic groups. Springer-Verlag, Berlin, Heidelberg, New York, second edition, 1991

    work page 1991

  5. [5]

    Real points in a homogeneous space of a real algebraic group.arXiv:2106.14871 [math.AG], 2021

    Mikhail Borovoi. Real points in a homogeneous space of a real algebraic group.arXiv:2106.14871 [math.AG], 2021

    work page arXiv 2021

  6. [6]

    de Graaf

    Mikhail Borovoi and Willem A. de Graaf. Computing Galois cohomology of a real linear algebraic group.J. Lond. Math. Soc.(2) 109 no. 5, Paper No. e12906, 2024. 32 EMANUELE DI BELLA, WILLEM A. DE GRAAF, AND ANDREA SANTI

    work page 2024

  7. [7]

    de Graaf and Hˆ ong Vˆ an Lˆ e

    Mikhail Borovoi, Willem A. de Graaf and Hˆ ong Vˆ an Lˆ e. Classification of real trivectors in dimension nine.J. Algebra603 118-163, 2022

    work page 2022

  8. [8]

    The Magma algebra system

    Wieb Bosma, John Cannon, and Catherine Playoust. The Magma algebra system. I. The user language.J. Symbolic Comput., 24(3-4):235–265, 1997. Computational algebra and number theory (London, 1993)

    work page 1997

  9. [9]

    Bourbaki.Groupes et Alg` ebres de Lie, Chapitres VII et VIII

    N. Bourbaki.Groupes et Alg` ebres de Lie, Chapitres VII et VIII. Hermann, Paris, 1975

    work page 1975

  10. [10]

    Bryant and R

    R.L. Bryant and R. Harvey. Submanifolds in hyper-K¨ ahler geometry.J. Amer. Math. Soc.2 1–31, 1989

    work page 1989

  11. [11]

    Cohen, Scott H

    Arjeh M. Cohen, Scott H. Murray and Donald E. Taylor. Computing in groups of Lie type.Math. Comp.73, no. 247, 1477–1498, 2004

    work page 2004

  12. [12]

    Conti, T.B

    D. Conti, T.B. Madsen and S. Salamon. Quaternionic Geometry in Dimension 8. InGeometry and Physics: A Festschrift in honour of Nigel HitchinVol. 1 (eds: A. Dancer, J.E. Andersen and O. Garc´ ıa-Prada), Oxford University Press, 91–113, 2018

    work page 2018

  13. [13]

    Cox, John Little, and Donal O’Shea.Ideals, varieties, and algorithms

    David A. Cox, John Little, and Donal O’Shea.Ideals, varieties, and algorithms. Undergraduate Texts in Mathematics. Springer, Cham, fourth edition, 2015. An introduction to computational algebraic geometry and commutative algebra

    work page 2015

  14. [14]

    Dietrich, Willem A

    H. Dietrich, Willem A. de Graaf, A. Marrani, M. Origila. Classification of four qubit states and their stabilisers under SLOCC operationsJ. Phys. A55 no. 9, Paper No. 095302, (2022)

    work page 2022

  15. [15]

    The GAP Group,GAP – Groups, Algorithms, and Programming, Version 4.14.0; 2024, https://www.gap-system.org

    work page 2024

  16. [16]

    de Graaf.Computation with linear algebraic groups

    Willem A. de Graaf.Computation with linear algebraic groups. Monographs and Research Notes in Mathematics. CRC Press, Boca Raton, FL, 2017

    work page 2017

  17. [17]

    de Graaf

    Willem A. de Graaf. Computing the Zariski closure of a finitely generated rational matrix group. https://arxiv.org/pdf/2505.02577, 2025

    work page arXiv 2025

  18. [18]

    de Graaf, Hˆ ong Vˆ an Lˆ e

    Willem A. de Graaf, Hˆ ong Vˆ an Lˆ e. Semisimple elements and the little Weyl group of real semisimple Zm-graded Lie algebrasLinear Algebra Appl.703 423–445 (2024)

    work page 2024

  19. [19]

    Humphreys.Introduction to Lie algebras and representation theory, volume 9 ofGraduate Texts in Mathematics

    James E. Humphreys.Introduction to Lie algebras and representation theory, volume 9 ofGraduate Texts in Mathematics. Springer-Verlag, New York-Berlin, 1978. Second printing, revised

    work page 1978

  20. [20]

    Interscience Tracts in Pure and Applied Mathematics, No

    Nathan Jacobson.Lie algebras. Interscience Tracts in Pure and Applied Mathematics, No. 10. Interscience Publishers (a division of John Wiley & Sons), New York-London, 1962

    work page 1962

  21. [21]

    V. G. Kac.Infinite Dimensional Lie Algebras. Cambridge University Press, Cambridge, third edi- tion, 1990

    work page 1990

  22. [22]

    Classification of four-vectors of an 8-dimensional space

    L. Oeding. A translation of “Classification of four-vectors of an 8-dimensional space”, by Antonyan, L. V., with an appendix by the translator,Trans. Moscow Math. Soc.83, 227-250 (2022)

    work page 2022

  23. [23]

    Darboux type theorems in multisymplectic geometryarXiv:2503.03672 [math.SG], 2025

    Leonid Ryvkin. Darboux type theorems in multisymplectic geometryarXiv:2503.03672 [math.SG], 2025

    work page arXiv 2025

  24. [24]

    Salamon.Riemannian Geometry and Holonomy Groups.Longman Scientific and Technical, Har- low, Essex, UK, 1989

    S. Salamon.Riemannian Geometry and Holonomy Groups.Longman Scientific and Technical, Har- low, Essex, UK, 1989

    work page 1989

  25. [25]

    Serre.Galois cohomology, Springer-Verlag, Berlin, 1997

    J.-P. Serre.Galois cohomology, Springer-Verlag, Berlin, 1997

    work page 1997

  26. [26]

    Steinberg.Lectures on Chevalley groups

    R. Steinberg.Lectures on Chevalley groups. Yale University, New Haven, 1967. Notes prepared by John Faulkner and Robert Wilson

    work page 1967

  27. [27]

    Torsion in reductive groups.Advances in Math., 15:63–92, 1975

    Robert Steinberg. Torsion in reductive groups.Advances in Math., 15:63–92, 1975

    work page 1975

  28. [28]

    `E. B. Vinberg. The Weyl group of a graded Lie algebra.Izv. Akad. Nauk SSSR Ser. Mat., 40(3):488– 526, 1976. English translation: Math. USSR-Izv. 10, 463–495 (1976)

    work page 1976

  29. [29]

    `E. B. Vinberg. Classification of homogeneous nilpotent elements of a semisimple graded Lie algebra. Trudy Sem. Vektor. Tenzor. Anal., (19):155–177, 1979. English translation: Selecta Math. Sov. 6, 15-35 (1987)

    work page 1979

  30. [30]

    `E. B. Vinberg and A. G. Elashvili. A classification of the three-vectors of nine-dimensional space. Trudy Sem. Vektor. Tenzor. Anal., 18:197–233, 1978. English translation: Selecta Math. Sov., 7, 63-98, (1988). Appendix In this appendix we describe the classesh ○ H of semisimple orbits. Excluding the class consisting only of 0, there are 31 such classes,...

    work page 1978