arxiv: 2605.09458 · v1 · submitted 2026-05-10 · 🧮 math.CO · math.RA

Recognition: no theorem link

Integral Shell Polytopes of Composition Algebras

Daniele Corradetti

Pith reviewed 2026-05-12 04:39 UTC · model grok-4.3

classification 🧮 math.CO math.RA

keywords composition algebrasOkubo algebraintegral latticesshell polytopesE8 Gosset polytopehyperoctahedral grouproot polytopesmaximal isotropic gluing

0 comments

The pith

The Okubo algebra produces shell polytopes that recover the E8 Gosset polytope through an intermediate rescaled cubic lattice and maximal-isotropic gluing.

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

This paper studies the convex hulls of points with fixed integral norm inside real composition algebras, with special attention to the Okubo algebra. Unlike the Hurwitz systems that directly produce familiar root polytopes, the Okubo integral closure yields a two-adic hierarchy whose earliest visible layers are a cross-polytope followed by a D8 root polytope. The natural intermediate lattice between these layers is isometric to the rescaled cubic lattice, so every shell breaks into explicit orbits under the hyperoctahedral group W(B8) and admits a full combinatorial description in cubic coordinates. The complete E8 Gosset polytope is then obtained by performing maximal-isotropic gluing along a four-dimensional subspace over Z/2Z.

Core claim

The Okubo integral closure does not recover the Gosset polytope directly: it selects a two-adic hierarchy whose first visible layers are a cross-polytope and a D8 root polytope. The natural intermediate lattice is isometric to the rescaled cubic lattice; consequently every shell decomposes into explicit orbits of the hyperoctahedral group W(B8), and the higher Okubo shells admit a complete combinatorial description in cubic-lattice coordinates. The full E8 Gosset polytope is then recovered from the intermediate lattice by maximal-isotropic gluing along (Z/2)^4.

What carries the argument

Maximal-isotropic gluing along (Z/2)^4 applied to the intermediate lattice isometric to the rescaled cubic lattice, which recovers the E8 Gosset polytope from the Okubo shell polytopes while enabling W(B8) orbit decompositions.

If this is right

Every shell decomposes into explicit orbits of the hyperoctahedral group W(B8).
Higher Okubo shells admit a complete combinatorial description in cubic-lattice coordinates.
The first visible layers are a cross-polytope and a D8 root polytope.
The full E8 Gosset polytope is recovered by maximal-isotropic gluing along (Z/2)^4.

Where Pith is reading between the lines

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

The construction supplies explicit cubic-lattice coordinates for many E8 points that may simplify enumeration or symmetry calculations.
Similar two-adic hierarchies could appear when integral closures are taken in other non-unital composition algebras.
The gluing step may generalize to produce other exceptional root systems from cubic or lower-rank lattices.

Load-bearing premise

That the natural intermediate lattice arising from the Okubo integral closure is isometric to the rescaled cubic lattice.

What would settle it

An explicit listing of points in the second Okubo shell that cannot be placed on the expected positions of the rescaled cubic lattice or that fail to decompose into orbits under W(B8).

read the original abstract

Integral systems in real composition algebras give rise to finite metric configurations whose geometry is linked to both regular polytopes and root-systems. In this work we investigate, to our knowledge for the first time in this form, the shell polytopes obtained by fixing the integral norm and taking the convex hull of the corresponding integral elements. The first shells recover the familiar root-polytopal configurations attached to the classical Hurwitz systems, while the Okubo algebra gives a quite different behaviour. The Okubo integral closure does not recover the Gosset polytope directly: it selects a two-adic hierarchy whose first visible layers are a cross-polytope and a \(D_8\) root polytope. We further show that the natural intermediate lattice is isometric to the rescaled cubic lattice; consequently every shell decomposes into explicit orbits of the hyperoctahedral group \(W(B_8)\), and the higher Okubo shells admit a complete combinatorial description in cubic-lattice coordinates. The full \(E_8\) Gosset polytope is then recovered from the intermediate lattice by maximal-isotropic gluing along \((\ZZ/2)^4\). This gives an interplay between non-unital composition, integral lattice shadows, and the geometry of \(E_8\).

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 constructs the E8 Gosset polytope from Okubo algebra integral shells via a two-adic hierarchy, cubic lattice isometry, and maximal-isotropic gluing, with explicit W(B8) orbit decompositions for the shells.

read the letter

The main point is that this work treats the Okubo algebra separately from the Hurwitz systems and shows its integral closure produces shells that begin with a cross-polytope and a D8 root polytope. It then claims the intermediate lattice is isometric to a rescaled copy of the cubic lattice, which lets every shell decompose into explicit orbits under the hyperoctahedral group W(B8), and recovers the full E8 Gosset polytope by gluing along (Z/2)^4. The combinatorial descriptions in cubic coordinates are the concrete output that stands out here. Those descriptions give a direct way to list points and orbits without repeated reference back to the algebra multiplication, which is a practical step forward for anyone who wants explicit models of these shells. The paper also correctly notes that the Okubo case does not recover E8 directly, unlike the classical cases, and instead uses the gluing step to reach it. That distinction is handled cleanly. The soft spot sits in the isometry claim. The abstract asserts that the natural intermediate lattice matches the rescaled cubic lattice and therefore supports the orbit decomposition, but the argument appears to rest on the chosen basis for the integral closure without an independent Gram-matrix calculation or coordinate-by-coordinate check that the induced quadratic form is exactly the standard Euclidean one up to scale. If that match is only approximate or depends on a particular basis choice, both the orbit decomposition and the subsequent gluing would need re-examination. The two-adic hierarchy is presented as selected by the algebra, yet the text does not spell out why alternative integral closures would not produce a different form. This is not a fatal gap, but it is the part that would benefit from more explicit verification. The paper is aimed at readers working in algebraic combinatorics and exceptional root systems who already know the Hurwitz systems and want to see how non-unital composition algebras fit into the same picture. Someone looking for new coordinate models of E8 shells or for links between composition algebras and lattice polytopes would get usable material from the orbit lists. It is coherent enough on its own terms, with specific claims that can be checked by direct calculation, to deserve a serious referee. I would send it to peer review and ask the authors to add the Gram-matrix details for the isometry step.

Referee Report

2 major / 2 minor

Summary. The paper studies shell polytopes formed by taking convex hulls of integral elements of fixed norm in real composition algebras. For the Okubo algebra it asserts that the integral closure selects a two-adic hierarchy whose visible layers are a cross-polytope followed by a D8 root polytope; the intermediate lattice is isometric to a rescaled copy of the cubic lattice Z^8, so that every shell decomposes into explicit W(B8) orbits; and the full E8 Gosset polytope is recovered from this intermediate lattice by maximal-isotropic gluing along (Z/2)^4.

Significance. If the isometry and gluing steps are rigorously established, the work supplies an explicit combinatorial description of Okubo shells in cubic coordinates and a concrete lattice-theoretic route from a non-unital composition algebra to the E8 root system, thereby linking integral closures, two-adic filtrations, and exceptional polytopes.

major comments (2)

[Abstract and the section defining the intermediate lattice] The central claim that the natural intermediate Okubo lattice is isometric to the rescaled cubic lattice (stated in the abstract and used to justify the W(B8) orbit decomposition) is not supported by an explicit Gram-matrix computation or change-of-basis verification showing that the composition norm induces the standard Euclidean quadratic form up to the claimed global scale. Without this independent check, both the orbit decomposition in cubic coordinates and the subsequent maximal-isotropic gluing construction rest on an unverified assertion.
[Section on the gluing construction] The maximal-isotropic gluing construction along (Z/2)^4 that is asserted to recover the E8 Gosset polytope requires a precise description of the isotropic subspaces, the gluing map, and a verification that the resulting lattice and its convex hull coincide with the known E8 configuration (e.g., by comparing root lengths, kissing numbers, or the known shell structure of E8).

minor comments (2)

Provide explicit definitions or standard references for 'integral closure' and 'two-adic hierarchy' at the first point of use, since these notions are not standard in the literature on composition algebras.
Ensure consistent notation for lattices, norms, and polytopes throughout; cross-reference all claims about shells and orbits to the relevant propositions or tables.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the points where additional explicit verifications would strengthen the rigor of the claims. We address each major comment below and will revise the manuscript to incorporate the requested computations and descriptions.

read point-by-point responses

Referee: [Abstract and the section defining the intermediate lattice] The central claim that the natural intermediate Okubo lattice is isometric to the rescaled cubic lattice (stated in the abstract and used to justify the W(B8) orbit decomposition) is not supported by an explicit Gram-matrix computation or change-of-basis verification showing that the composition norm induces the standard Euclidean quadratic form up to the claimed global scale. Without this independent check, both the orbit decomposition in cubic coordinates and the subsequent maximal-isotropic gluing construction rest on an unverified assertion.

Authors: We agree that the isometry claim requires an explicit independent check. In the revised manuscript we will insert a dedicated subsection containing the change-of-basis matrix from the Okubo integral basis to the standard cubic basis together with the resulting Gram matrix, confirming that the composition norm is a constant multiple of the Euclidean sum-of-squares form. This will also make the subsequent W(B8) orbit decomposition fully rigorous. revision: yes
Referee: [Section on the gluing construction] The maximal-isotropic gluing construction along (Z/2)^4 that is asserted to recover the E8 Gosset polytope requires a precise description of the isotropic subspaces, the gluing map, and a verification that the resulting lattice and its convex hull coincide with the known E8 configuration (e.g., by comparing root lengths, kissing numbers, or the known shell structure of E8).

Authors: We will expand the gluing section with an explicit description of the maximal isotropic subspaces of the quotient lattice, the concrete gluing isomorphism, and a verification that the resulting root system has the correct lengths, kissing number 240, and shell structure matching the standard E8 Gosset polytope. These additions will be placed immediately after the definition of the gluing map. revision: yes

Circularity Check

0 steps flagged

Derivation chain self-contained in algebraic structure of composition algebras and standard lattice theory

full rationale

The paper constructs shell polytopes directly from the integral elements and composition norm of the Okubo algebra, identifies the intermediate lattice via its two-adic hierarchy, and states an explicit isometry to the rescaled cubic lattice that then enables the W(B8) orbit decomposition and maximal-isotropic gluing to E8. No quoted step reduces a claimed prediction or uniqueness result to a fitted parameter, self-definition, or load-bearing self-citation; the central claims follow from the algebra's multiplication table and norm form without circular reduction to inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper rests on the standard theory of real composition algebras and integral lattices; it introduces the shell-polytope construction and the specific gluing mechanism without independent external verification.

axioms (2)

domain assumption Integral systems in real composition algebras give rise to finite metric configurations linked to regular polytopes and root systems.
Opening sentence of the abstract; taken as background.
domain assumption The Okubo algebra possesses an integral closure whose shells form a two-adic hierarchy.
Central claim about Okubo behavior; not derived from more elementary properties in the abstract.

invented entities (1)

maximal-isotropic gluing along (Z/2)^4 no independent evidence
purpose: Mechanism to recover the full E8 Gosset polytope from the intermediate cubic lattice.
Introduced to connect the Okubo shells to the classical E8 configuration.

pith-pipeline@v0.9.0 · 5510 in / 1538 out tokens · 34103 ms · 2026-05-12T04:39:33.376461+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[1]

J. C. Baez,The octonions, Bull. Amer. Math. Soc.39(2002), 145–205

work page 2002
[2]

J. H. Conway and N. J. A. Sloane,Sphere Packings, Lattices and Groups, third edition, Springer, 1999

work page 1999
[3]

H. S. M. Coxeter,Regular Polytopes, third edition, Dover, 1973

work page 1973
[4]

D. Corradetti,Recovering Composition Algebras from 3D Geometric Algebras, inHy- percomplex Analysis and its Applications, International Conference on Hypercomplex Analysis and its Applications, 2024, 27–33; arXiv:2403.12569

work page arXiv 2024
[5]

D. Corradetti,8-Dimensional Composition Algebras and the Cayley Plane, inGener- alizations of Complex Analysis and Applications, 9th European Congress of Mathe- matics minisymposium, Trends in Mathematics, Springer, 2026, 61–71

work page 2026
[6]

Corradetti, A

D. Corradetti, A. Marrani, and F. Zucconi,A minimal and non-alternative realisation of the Cayley plane, Ann. Univ. Ferrara70(2024), 681–730

work page 2024
[7]

Corradetti, A

D. Corradetti, A. Marrani, and F. Zucconi,Collineation groups of octonionic and split-octonionic planes, Rev. Math. Phys.37(2025), 2450027

work page 2025
[8]

Corradetti and F

D. Corradetti and F. Zucconi,A geometrical interpretation of Okubo Spin group, J. Geom. Phys.182(2022), 104641

work page 2022
[9]

Elduque,Okubo Algebras: Automorphisms, Derivations and Idempotent, Contem- porary Mathematics, vol

A. Elduque,Okubo Algebras: Automorphisms, Derivations and Idempotent, Contem- porary Mathematics, vol. 652, Amer. Math. Soc., Providence, RI, 2015, 61–73

work page 2015
[10]

Elduque,Composition algebras, inAlgebra and Applications I: Non-associative Algebras and Categories, Chapter 2, pp

A. Elduque,Composition algebras, inAlgebra and Applications I: Non-associative Algebras and Categories, Chapter 2, pp. 27–57, edited by A. Makhlouf, Sciences- Mathematics, ISTE-Wiley, London, 2021

work page 2021
[11]

Marrani, D

A. Marrani, D. Corradetti, D. Chester, R. Aschheim, and K. Irwin,A “magic” ap- proach to octonionic Rosenfeld spaces, Rev. Math. Phys.35(2023), 2350032

work page 2023
[12]

Marrani, D

A. Marrani, D. Corradetti, and F. Zucconi,Physics with non-unital algebras? An invitation to the Okubo algebra, J. Phys. A: Math. Theor.58(2025), 075202

work page 2025
[13]

Okubo,Introduction to Octonion and Other Non-Associative Algebras in Physics, Cambridge University Press, 1995

S. Okubo,Introduction to Octonion and Other Non-Associative Algebras in Physics, Cambridge University Press, 1995

work page 1995
[14]

T. A. Springer and F. D. Veldkamp,Octonions, Jordan Algebras and Exceptional Groups, Springer, 2000

work page 2000
[15]

Johnson N.W.,Integers, The Mathematical Intelligencer, 35, 2 (2013) 52-60

work page 2013
[16]

,Geometries and Transformations, Press, Cambridge-New York, Cam- bridge Univ, 2017

Johnson N.W. ,Geometries and Transformations, Press, Cambridge-New York, Cam- bridge Univ, 2017

work page 2017
[17]

Integers, Modular Groups, and Hyperbolic Space

Johnson, N.W. Integers, Modular Groups, and Hyperbolic Space. In: Conder, M., Deza, A., Weiss, A. (eds) Discrete Geometry and Symmetry. GSC 2015. Springer Proceedings in Mathematics & Statistics, vol 234 (2018) Springer, Cham. 22 DANIELE CORRADETTI Grupo de Física Matemática, Instituto Superior Técnico, A v. Rovisco Pais, 1049-001 Lisboa, Portugal Email a...

work page 2015