pith. sign in

arxiv: 2605.18538 · v1 · pith:CK24ARM3new · submitted 2026-05-18 · 🧮 math.CO · math.RA

Integral Planes and Unit-Norm Polytopes

Daniele Corradetti This is my paper

Pith reviewed 2026-05-20 09:03 UTC · model grok-4.3

classification 🧮 math.CO math.RA
keywords integral planescomposition algebrasroot systemsspherical polytopesHopf mapgolden integersCoxeter groupsunit-norm polytopes
0
0 comments X

The pith

Integral planes from composition algebra orders recover listed root systems and polytopes while proving no indecomposable rank-eight golden octonion order exists.

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

The paper defines integral planes Order² equipped with the quadratic form Q(x,y) = N(x) + N(y) for an integral order Order in a real composition algebra. From this it extracts axis shells and balanced shells whose unit-normalized points realize spherical polytopes. For ten crystallographic orders the construction yields the orthogonal direct sums 2A1, A2⊕A2, 4A1, D4⊕D4, 16A1 and E8⊕E8 together with their classical realizations such as the square, 16-cell, 24-cell and Gosset polytope. For two non-crystallographic orders it produces H2⊕H2 and H4⊕H4 over the golden integers. A purely Coxeter-theoretic rank-obstruction theorem shows that no indecomposable rank-eight golden octonion order can exist.

Core claim

For an integral order Order in a composition algebra the plane Order² with quadratic form Q(x,y)=N(x)+N(y) produces axis shells and balanced shells whose unit spheres recover the orthogonal direct-sum root systems 2A1, A2⊕A2, 4A1, D4⊕D4, 16A1, E8⊕E8 for crystallographic cases and H2⊕H2, H4⊕H4 for non-crystallographic cases over Z[golden]; the same construction supplies an algebraic Hopf map whose restriction to the balanced shell is a finite principal fibration, and a Coxeter rank-obstruction theorem proves unconditionally that no indecomposable rank-eight golden octonion order exists.

What carries the argument

The integral plane Order² with quadratic form Q(x,y)=N(x)+N(y) together with its axis shell and balanced shell.

If this is right

  • The construction supplies classical polytope realizations including the square, 16-cell, 24-cell and Gosset polytope 4_{21}.
  • Over Z[golden] it yields the decagonal tegum for H2⊕H2 and the 600-cell tegum for H4⊕H4.
  • The algebraic Hopf map H_A(a,b)=(2a conjugate b, N(a)-N(b)) restricts to a finite principal fibration of the unit loop in both associative and alternative Moufang cases.
  • The rank-obstruction theorem settles the existence question for indecomposable rank-eight golden octonion orders by a purely Coxeter-theoretic argument.

Where Pith is reading between the lines

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

  • The uniform plane construction may apply to further composition algebras or orders beyond the twelve considered.
  • The identified Hopf map could be compared directly with classical Hopf fibrations in differential geometry.
  • The obstruction result suggests that dimension and integrality constraints limit possible indecomposable golden structures in higher ranks.

Load-bearing premise

The chosen integral orders satisfy the norm-multiplicativity and integrality conditions needed for the quadratic form to produce shells whose points exactly match the listed root systems.

What would settle it

Explicit construction of an indecomposable rank-eight golden octonion order, or a direct check showing that the shells for one of the ten crystallographic orders fail to match the claimed root system.

read the original abstract

We introduce and study integral planes associated with crystallographic and non-crystallographic integral systems in real composition algebras. For an integral order $\Order$ in such an algebra we define the plane $\Order^{2}$ with quadratic form $Q(x,y)=\NN(x)+\NN(y)$, the axis shell, the balanced shell, and the corresponding unit-normalised spherical polytopes. For ten crystallographic orders we recover, in one uniform construction, the orthogonal-direct-sum root systems $2A_{1}$, $A_{2}\oplus A_{2}$, $4A_{1}$, $D_{4}\oplus D_{4}$, $16A_{1}$, and $E_{8}\oplus E_{8}$ (with classical-polytope realisations including the square, the 16-cell, the 24-cell, and the Gosset polytope $4_{21}$); for two non-crystallographic orders we obtain $H_{2}\oplus H_{2}$ (decagonal tegum) and $H_{4}\oplus H_{4}$ (600-cell tegum) over $\Z[\golden]$. We prove a rank-obstruction theorem that closes, unconditionally and by a purely Coxeter-theoretic argument, the existence question for an indecomposable rank-eight golden octonion order: no such order can exist. On the balanced shell side, we identify the genuine algebraic Hopf map $\Hopfmap_{A}(a,b)=(2a\bar b,\NN(a)-\NN(b))$ and prove that its restriction to the balanced shell is a finite principal fibration of the unit loop, valid both for the associative case and for the alternative Moufang case.

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 / 2 minor

Summary. The manuscript introduces integral planes associated with crystallographic and non-crystallographic integral orders in real composition algebras. For an integral order O it defines the plane O² equipped with quadratic form Q(x,y)=N(x)+N(y), the axis shell, the balanced shell, and the corresponding unit-normalised spherical polytopes. For ten crystallographic orders the construction recovers the orthogonal direct sums 2A1, A2⊕A2, 4A1, D4⊕D4, 16A1 and E8⊕E8 together with their classical polytope realisations (square, 16-cell, 24-cell, Gosset 4_{21}). For two non-crystallographic orders over Z[φ] it yields H2⊕H2 (decagonal tegum) and H4⊕H4 (600-cell tegum). A rank-obstruction theorem, proved by a purely Coxeter-theoretic argument on diagrams compatible with rank 8 and the golden ratio, shows that no indecomposable rank-eight golden octonion order exists. The paper further identifies the algebraic Hopf map Hopf_A(a,b)=(2a b-bar, N(a)-N(b)) and proves that its restriction to the balanced shell is a finite principal fibration, valid in both the associative and alternative Moufang settings.

Significance. If the central claims hold, the work supplies a uniform algebraic construction that realises a substantial list of root systems and their associated polytopes directly from standard integral orders in composition algebras. The purely combinatorial Coxeter-diagram argument for the rank-obstruction theorem is a clear strength: it settles the existence question for indecomposable rank-eight golden octonion orders without computational search or additional assumptions. The explicit verification that shell cardinalities match known root-system sizes (e.g., 240 vectors for the E8 case) and the algebraic identification of the Hopf map with a fibration property on the balanced shell add concrete value to the literature on integral structures in alternative algebras.

minor comments (2)
  1. [Definitions of axis shell and balanced shell] In the paragraph defining the axis shell and balanced shell, an explicit low-rank example (e.g., for the Gaussian integers) showing the precise sets of unit-normalised points would make the distinction between the two shells immediately verifiable.
  2. [Proof of the fibration property] In the proof that the restriction of the Hopf map to the balanced shell is a finite principal fibration, state the base space and the fibre explicitly for the non-associative (Moufang) case; the current argument appears to treat the associative and alternative cases uniformly but the fibre description is not written out for the latter.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of our manuscript on integral planes and unit-norm polytopes, as well as for the encouraging significance assessment. We note the recommendation for minor revision and will incorporate appropriate presentational improvements in the revised version. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The manuscript defines integral orders in composition algebras, the quadratic form Q(x,y)=N(x)+N(y) on O², axis and balanced shells, and unit-normalized polytopes directly from these algebraic structures. It then verifies by explicit computation that the shells recover the listed root systems (e.g., 240 vectors for E8⊕E8) and polytopes, while the rank-obstruction theorem follows from a purely combinatorial Coxeter-diagram argument on possible diagrams compatible with rank 8 and the golden ratio. The Hopf map is identified algebraically as Hopfmap_A(a,b)=(2a conjugate(b), N(a)-N(b)) and shown to restrict to a fibration on the balanced shell. All load-bearing steps rest on the supplied definitions, norm-multiplicativity checks, and standard facts about composition algebras and Coxeter systems, with no fitted parameters renamed as predictions, no self-citations invoked as uniqueness theorems, and no reductions of outputs to inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard axioms of real composition algebras (norm multiplicativity, alternativity or associativity) and on the definition of integral orders; no free parameters are introduced and no new entities are postulated beyond the defined planes and shells.

axioms (2)
  • standard math Real composition algebras satisfy norm multiplicativity N(xy)=N(x)N(y)
    Invoked in the definition of the quadratic form Q on O² and in the Hopf map construction.
  • domain assumption Integral orders are discrete subrings closed under conjugation and with integer-valued norm
    Required for the shells to consist of lattice points whose normalized versions match root systems.

pith-pipeline@v0.9.0 · 5824 in / 1626 out tokens · 34002 ms · 2026-05-20T09:03:30.701150+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

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

  1. [1]

    Baez,The octonions, Bull

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

    work page 2002

  2. [2]

    Bourbaki,Groupes et algèbres de Lie, chapitres 4, 5 et 6, Hermann, Paris, 1968

    N. Bourbaki,Groupes et algèbres de Lie, chapitres 4, 5 et 6, Hermann, Paris, 1968

    work page 1968

  3. [3]

    Castro Perelman,On discrete Hopf fibrations, grand unification groups, the Barnes– Wall, Leech lattices, and quasicrystals, J

    C. Castro Perelman,On discrete Hopf fibrations, grand unification groups, the Barnes– Wall, Leech lattices, and quasicrystals, J. High Energy Phys. Gravit. Cosmol.10, no. 4 (2024), DOI:10.4236/jhepgc.2024.104096

    work page doi:10.4236/jhepgc.2024.104096 2024

  4. [4]

    Champagne, M

    B. Champagne, M. Kjiri, J. Patera and R. T. Sharp,Description of reflection-generated polytopes using decorated Coxeter diagrams, Canad. J. Phys.73(1995), 566–584

    work page 1995

  5. [5]

    Cohen,A Course in Computational Algebraic Number Theory, Graduate Texts in Mathematics 138, Springer, 1993

    H. Cohen,A Course in Computational Algebraic Number Theory, Graduate Texts in Mathematics 138, Springer, 1993

    work page 1993

  6. [6]

    J. H. Conway and N. J. A. Sloane,Sphere Packings, Lattices and Groups, 3rd ed., Springer-Verlag, 1999

    work page 1999

  7. [7]

    J. H. Conway and D. A. Smith,On Quaternions and Octonions: Their Geometry, Arithmetic, and Symmetry, A K Peters, 2003

    work page 2003

  8. [8]

    Non-crystallographic systems of integers over composition algebras

    D. Corradetti,Non-crystallographic systems of integers over composition algebras, preprint, arXiv:2605.15075, May 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  9. [9]

    H. S. M. Coxeter,Regular Polytopes, 3rd ed., Dover, 1973

    work page 1973

  10. [10]

    Grünbaum,Convex Polytopes, 2nd ed., Graduate Texts in Mathematics 221, Springer, 2003

    B. Grünbaum,Convex Polytopes, 2nd ed., Graduate Texts in Mathematics 221, Springer, 2003

    work page 2003

  11. [11]

    J. E. Humphreys,Reflection Groups and Coxeter Groups, Cambridge Studies in Advanced Mathematics 29, Cambridge University Press, 1990

    work page 1990

  12. [12]

    McCrimmon,A Taste of Jordan Algebras, Springer, 2004

    K. McCrimmon,A Taste of Jordan Algebras, Springer, 2004

    work page 2004

  13. [13]

    R. V. Moody and J. Patera,Quasicrystals and icosians, J. Phys. A26(1993), 2829– 2853

    work page 1993

  14. [14]

    Patera (ed.),Quasicrystals and Discrete Geometry, Fields Institute Monographs 10, AMS, 1998

    J. Patera (ed.),Quasicrystals and Discrete Geometry, Fields Institute Monographs 10, AMS, 1998

    work page 1998

  15. [15]

    R. D. Schafer,An Introduction to Nonassociative Algebras, Academic Press, 1966

    work page 1966

  16. [16]

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

    work page 2000

  17. [17]

    R. A. Wilson,Octonions and the Leech lattice, J. Algebra322(2009), 2186–2190. INTEGRAL PLANES AND UNIT-NORM POLYTOPES 19

    work page 2009

  18. [18]

    G. M. Ziegler,Lectures on Polytopes, Graduate Texts in Mathematics 152, Springer, 1995. Grupo de Física Matemática, Instituto Superior Técnico, A v. Rovisco Pais, 1049-001 Lisboa, Portugal Email address:danielecorradetti@tecnico.ulisboa.pt

    work page 1995