pith. sign in

arxiv: 2504.16513 · v3 · pith:WARQNMIHnew · submitted 2025-04-23 · 🧮 math.DG · math.GR· math.RA

The bracket of the exceptional Lie algebra E8

Andreas Kollross This is my paper

Pith reviewed 2026-05-22 18:50 UTC · model grok-4.3

classification 🧮 math.DG math.GRmath.RA
keywords E8 Lie algebraexceptional Lie algebrasLie brackettrialityoctonionsBarton-SudberyF4 representation
0
0 comments X

The pith

An explicit formula for the Lie bracket of the exceptional algebra E8 is constructed using triality and oct-octonions.

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

The paper presents a concrete expression for the Lie bracket operation in E8 by building on an established description that incorporates triality and multiplication rules from oct-octonions. This approach yields workable formulas instead of abstract existence statements. A reader would care because such explicit rules make it possible to compute products, check relations, and identify substructures directly rather than through representation theory alone. The same method supplies descriptions of the E6 and E7 subalgebras inside E8 and an explicit formula for the 26-dimensional irreducible representation of the related algebra F4.

Core claim

Following the Barton-Sudbery description, an explicit formula is obtained for the bracket of E8 in terms of triality and oct-octonion operations. The construction also yields explicit descriptions of the subalgebras E6 and E7 and an explicit formula for the 26-dimensional irreducible representation of F4.

What carries the argument

The Barton-Sudbery description of E8, which encodes the algebra via triality and oct-octonion multiplication, serves as the base on which the bracket formula is defined.

If this is right

  • Explicit descriptions become available for the E6 and E7 subalgebras inside E8.
  • A concrete formula is supplied for the 26-dimensional irreducible representation of F4.
  • The bracket expression permits direct algebraic computations that previously required indirect methods.

Where Pith is reading between the lines

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

  • The same explicit style could be used to produce bracket formulas for other exceptional algebras that admit octonion or triality constructions.
  • Symbolic or numerical software could implement the formula to calculate structure constants or test identities in E8 that are hard to reach otherwise.
  • The concrete realization may help translate abstract questions about E8 into calculations involving octonion multiplication tables.

Load-bearing premise

The Barton-Sudbery description of E8 is accepted as given and the bracket formula is built on top of it without a fresh derivation from scratch.

What would settle it

A direct check that finds two elements whose bracket, when inserted into the Jacobi identity, produces a nonzero result would show the formula is not a valid Lie bracket.

read the original abstract

We obtain an explicit formula for the bracket of the exceptional simple Lie algebra E8 based on triality and oct-octonions, following the Barton-Sudbery description of E8. Furthermore, we provide descriptions of the subalgebras E6 and E7 and prove an explicit formula for the 26-dimensional irreducible representation of F4.

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

0 major / 3 minor

Summary. The manuscript claims to obtain an explicit formula for the Lie bracket of the exceptional simple Lie algebra E8, constructed via triality and an oct-octonion product that extends the Barton-Sudbery decomposition of E8 into a 248-dimensional space. It further supplies descriptions of the E6 and E7 subalgebras and proves an explicit formula for the 26-dimensional irreducible representation of F4.

Significance. If the bracket formula is verified to be bilinear, skew-symmetric, and to satisfy the Jacobi identity while reproducing the known simple structure of E8, the work supplies a concrete, octonion-based realization that could support explicit computations in exceptional Lie theory. The explicit F4 representation and subalgebra descriptions are additional strengths; the construction is parameter-free and builds directly on the cited prior description without circularity or invented entities.

minor comments (3)
  1. The section presenting the bracket formula would benefit from a brief explicit verification (or reference to one) that the defined operation reproduces the standard E8 structure constants on a chosen basis, to make the reproduction claim immediately checkable.
  2. In the F4 representation section, clarify the precise embedding of the 26-dimensional space into the E8 construction and confirm irreducibility by exhibiting the highest weight or by direct computation on a few generators.
  3. Notation for the oct-octonion product should be introduced with a short low-dimensional example (e.g., on the imaginary octonions) before its use in the full E8 bracket.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. The work presents an explicit, parameter-free construction of the E8 Lie bracket via triality and the oct-octonion product, extending the Barton-Sudbery decomposition, together with explicit descriptions of the E6 and E7 subalgebras and a formula for the 26-dimensional irreducible representation of F4.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper takes the Barton-Sudbery description of E8 as an established starting point and derives an explicit bracket formula by applying triality and an oct-octonion product. This construction is then used to describe the subalgebras E6 and E7 and to prove an explicit formula for the 26-dimensional irreducible representation of F4. None of these steps reduce by definition or by construction to the input description; the bracket is defined explicitly and verified to satisfy the required algebraic properties. The cited Barton-Sudbery work is external and independent, with no self-citation load-bearing the central claim and no fitted parameters or ansatzes smuggled in via prior author work. The derivation chain is therefore self-contained and non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger is necessarily incomplete. The paper relies on triality and the Barton-Sudbery construction of E8 as background.

axioms (1)
  • domain assumption Barton-Sudbery description of E8
    The paper follows this description to obtain the bracket formula.

pith-pipeline@v0.9.0 · 5565 in / 1193 out tokens · 35040 ms · 2026-05-22T18:50:34.832426+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

19 extracted references · 19 canonical work pages · 1 internal anchor

  1. [1]

    Adams, Lectures on exceptional Lie groups

    J.F. Adams, Lectures on exceptional Lie groups. University of Chicago Press (1996)

    work page 1996

  2. [2]

    Baez, The octonions

    J.C. Baez, The octonions. Bull. Amer. Math. Soc. 39 no. 2 (2002) 145–205; errata: Bull. Amer. Math. Soc. 42, (2005) 213–213

    work page 2002

  3. [3]

    Baez, The octonions

    J.C. Baez, The octonions. https://math.ucr.edu/home/baez/octonions/node19.html

    work page

  4. [4]

    Barton, A

    C.H. Barton, A. Sudbery, Magic squares and matrix models of Lie algebras, Adv. Math. 180(2), (2003) 596–647

    work page 2003

  5. [5]

    Bolsinov, H

    A. Bolsinov, H. R. Dullin, V. Matveev, Y. Nikolayevsky, On Separation of Variables for Symmetric Spaces of Rank 1. arXiv preprint arXiv:2504.04999 (2025)

    work page arXiv 2025

  6. [6]

    A. J. Coleman, The greatest mathematical paper of all time. Math. Intelligencer 11(3), (1989) 29–38

    work page 1989

  7. [7]

    Cabrera, C

    Y. Cabrera, C. Draper, A. Garvin, Linear models of the exceptional Lie algebra e8, arXiv:2308.09052

    work page arXiv

  8. [8]

    Tits construction of the exceptional simple Lie algebras

    A. Elduque, Tits construction of the exceptional simple Lie algebras . arXiv preprint arXiv:0907.3789 (2009)

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  9. [9]

    Figueroa-O’Farrill, A Geometric construction of the exceptional Lie algebras F 4 and E 8

    J. Figueroa-O’Farrill, A Geometric construction of the exceptional Lie algebras F 4 and E 8. Commu- nications in Mathematical Physics , 283(3), (2008) 663–674

    work page 2008

  10. [10]

    Freudenthal, Oktaven, Ausnahmegruppen und Oktavengeometrie

    H. Freudenthal, Oktaven, Ausnahmegruppen und Oktavengeometrie. (German), Geom. Dedi- cata 19(1), doi: 10.1007/BF00233101 (1985) 7–63

    work page doi:10.1007/bf00233101 1985

  11. [11]

    Garibaldi, E8, the most exceptional group

    S. Garibaldi, E8, the most exceptional group. Bull. Amer. Math. Soc. 53 (2016) 643–671

    work page 2016

  12. [12]

    Helgason, Differential geometry, Lie groups and symmetric spaces

    S. Helgason, Differential geometry, Lie groups and symmetric spaces . Academic Press (1978)

    work page 1978

  13. [13]

    Killing, Die Zusammensetzung der stetigen endlichen Transformationsgruppen I, Math

    W. Killing, Die Zusammensetzung der stetigen endlichen Transformationsgruppen I, Math. Ann. 31, (1888) 252–290. II, 33, (1889) 1–48. III, 34, (1889) 57–122. IV 36, (1890) 161–189

    work page

  14. [14]

    Kollross, Octonions, triality, the exceptional Lie algebra F4, and polar actions on the Cayley hyperbolic plane

    A. Kollross, Octonions, triality, the exceptional Lie algebra F4, and polar actions on the Cayley hyperbolic plane. Int. J. Math. 31(07), 2050051, (2020)

    work page 2020

  15. [15]

    Moroianu and U

    A. Moroianu and U. Semmelmann. Invariant four-forms and symmetric pairs. Annals of Global Anal- ysis and Geometry 43 (2013) 107–121

    work page 2013

  16. [16]

    Murakami, Exceptional simple Lie groups and related topics in recent differential geometry

    S. Murakami, Exceptional simple Lie groups and related topics in recent differential geometry. Differ- ential Geometry and Topology, (Jiang B., Peng Ch.-K., Hou Z., eds.), Lecture Notes in Math. 1369, Springer (1989) 183–221

    work page 1989

  17. [17]

    Tits, Alg` ebres alternatives, alg` ebres de Jordan et alg` ebres de Lie exceptionnelles

    J. Tits, Alg` ebres alternatives, alg` ebres de Jordan et alg` ebres de Lie exceptionnelles. I. Construction. Indag. Math 28, 223–237 (1966): 204. 14 A. KOLLROSS

    work page 1966

  18. [18]

    Vinberg, Construction of the exceptional simple Lie algebras

    E.B. Vinberg, Construction of the exceptional simple Lie algebras. (Russian) Trudy Sem. Vekt. Tenz. Anal. 13, (1966) 7–9; english translation: Amer. Math. Soc. Transl. 213, (2005) 241–242

    work page 1966

  19. [19]

    Wilson, T

    R.A. Wilson, T. Dray, and C. A. Manogue, An octonionic construction of E8 and the Lie algebra magic square. Innovations in Incidence Geometry: Algebraic, Topological and Combinatorial 20.2 (2023): 611–634. Institut f ¨ur Geometrie und Topologie, Universit ¨at Stuttgart, Germany Email address : kollross@mathematik.uni-stuttgart.de

    work page 2023