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 comments 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.

Desk Editor's Note private letter to a colleague

The paper descends Antonyan's 1981 complex classification via Galois cohomology to classify nilpotent and semisimple SL(8,R) orbits on ∧⁴R⁸, producing 1441 parametrized semisimple classes plus Cartan subspaces.

read the letter

Hi, the main thing to know is that this work takes the known SL(8,C) orbits on the complexified space and uses Galois cohomology to produce the corresponding real nilpotent and semisimple orbits under SL(8,R), together with the Cartan subspaces. They report 1441 parametrized semisimple classes and note that the volume makes mixed orbits impractical to list. That explicit real count and the subspace data are the concrete new pieces that were not in the 1981 reference. The approach follows standard descent techniques for theta-group actions, so the overall structure looks consistent with prior results in the area. The paper does a reasonable job of staying within the scope it sets: it delivers the nilpotent and semisimple lists without overclaiming broader impact. A soft spot is the reliance on complete enumeration of H¹ sets for every stabilizer; if any non-trivial real cocycle was undercounted, the list could miss or duplicate orbits. The abstract does not show the case-by-case verification or explicit representatives, so a referee would need to see those details to confirm exhaustiveness. The stress-test concern about possible omissions is plausible on the surface but would be resolved by checking the full computations rather than indicating a flaw in the method itself. This is aimed at specialists working on real forms of Vinberg theta-groups and orbit classifications in representation theory. Someone needing concrete data for this specific eight-dimensional case would find the parametrized classes and Cartan descriptions useful. It is narrow but formally grounded enough to merit a serious referee. I would send it to peer review.

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)

[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.
[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)

[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.
[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

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
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)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Our methods are based on Galois cohomology... classify the nilpotent and semisimple orbits as well as the Cartan subspaces. The semisimple orbits are divided into 1441 parametrized classes.

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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

work page 2024
[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]

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]

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]

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]

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]

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

work page 1990
[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]

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]

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]

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

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

work page 1997
[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]

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]

`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]

`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]

`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