bibkey: basak2017monstercharactercarry authors: Tathagata Basak year: 2017 title: “The octonions as a twisted group algebra” doi: null url: https://arxiv.org/abs/1702.05705 claim: “The published octonion twisted-group-algebra table is background for the finite sign-table comparison; actual VOA fusion remains conditional.” strata_touched: [] license: citation-only triage: anchor

Fibonacci atomic relations and rank-three Monster-candidate character carry

Research date: 2026-09-29. Theory owner: docs/develop/theory/MONSTER_LOCAL_COMPLETION_AND_CUBIC_RESPONSE.md, FC continuation, sections 20–27. Ordinary proof draft; no Lean, independent review or priority certification.

Pinned repository inputs

The user-named docs/develop/theory/FIBONACCI_ATOMIC_RELATION_GENERATION.md was read at dev 409ac8ac7e6ea43a5afc318381b0af261543ca73, blob 734088bcd52f4f752593942f5ecda392bbc67ea8. Relevant content was read through section 36; later sections are not claimed read. Main interfaces: sections 2–5 (free trees, composition and two observations), 8 (expandable packing), 19 (M and the direction extractor), 25–27 (section carry and compatible lifts).

The Monster base is PR #10310 at b63c3943185863b42ad5adb7d0b861a0dcb644b7, owner blob 623722e2afaff344159b733d36efbe7ddce705c3. Its common trace condition 14.1 and the conditional status of the rank-four selector remain unchanged. Actual untwisted-double fusion is explicitly required for claims about fusion closure; finite sign arithmetic alone constructs no VOA.

Primary octonion sources

Tathagata Basak, The octonions as a twisted group algebra, arXiv:1702.05705v1, 19 February 2017. https://arxiv.org/pdf/1702.05705 . Read Theorem 1, Lemma 3, and sections 5–6: trace pairing over F8, diagonal and reciprocal signs, norm composition, and the rank-three associator. Requested PDF screenshots on pages 2 and 3 failed with cache miss; parsed text was available. No visual verification is claimed for those pages.

Helena Albuquerque and Shahn Majid, Quasialgebra Structure of the Octonions, Journal of Algebra 220 (1999), 188–224; arXiv:math/9802116v1. https://arxiv.org/pdf/math/9802116 . Read section 2, equation (11), Definition 2.3 and Corollary 2.4; PDF page 6 was visually checked. A nonidentity associator function can be an explicit group-cohomology coboundary. This pre-existing distinction prevents conflating the auxiliary octonion table with the order-24 Moonshine anomaly.

The octonion twisted-group-algebra construction is established literature. The FC manuscript identifies its finite sign table by an explicit quadratic basis gauge. It does not claim new octonions or identify that table with an actual ground-state OPE.

Verified locator

• Basak, arXiv:1702.05705v1, Theorem 1, Lemma 3, and sections 5–6: https://arxiv.org/abs/1702.05705
• The parsed arXiv text at those locations was inspected on 29 September 2026. PDF screenshots of pages 2 and 3 were unavailable, so no visual check is claimed.

Actual fusion and modular interfaces

A. Kirillov Jr., Modular categories and orbifold models, Commun. Math. Phys. 229 (2002), 309–335; arXiv:math/0104242. https://arxiv.org/pdf/math/0104242 . The actual untwisted-double realization retains the hypotheses and limitations already recorded in the owner. The simple fusion rule is also displayed as an explicit finite Verlinde sum. An arbitrary scalar character transformation matrix is not silently promoted to categorical S data.

J. van Ekeren, S. Möller and N. R. Scheithauer, Dimension Formulae in Genus Zero and Uniqueness of Vertex Operator Algebras, IMRN 2020, 2145–2204; arXiv:1704.00478. https://arxiv.org/pdf/1704.00478 . Read the cyclic orbifold and inverse-orbifold portions in section 3. FC uses an A-type cyclic orbifold’s vanishing weight-one space to prove an exact identity of characters, using the previously cited c=24 character uniqueness. A new screenshot request failed; no new visual check is claimed.

Exact new scope

The FC derivation calculates the unavoidable dual-character carry of the seven ground types, proves their six-dimensional fusion-label span and the exact three-bit supplemental label requirement, excludes an equivariant ground-to-ground product for independent labels, and computes the first permitted output module’s weight 3/2 multiplicity 1216. Fourier projection groups the 64 complete characters into 1+7+21+35 types. Their finite spectral-fusion stabilizer is S7; retaining the coarse-defect projection reduces it to GL3(F2), order 168. These numerical-label symmetries are not asserted to lift to field automorphisms.

The Fibonacci interface gives a real typing constraint: no depth of two-source additive trees can detect a rank-three determinant. Its integral two-observation matrix also gives the three-cycle of nonzero binary-plane defect labels. This supplies neither a continuum limit nor a deduction of Monster from a recurrence.

No complete VOA, intertwining operator, nonzero leading OPE coefficient, Monster action or higher crossing solution is constructed. In particular, 1216 is the dimension of an allowed output module’s first level, not the number of states proved generated by one product. The current rank-three branch remains undecided. Literature priority for the full combination has not been established.