pith. sign in

arxiv: 2605.18737 · v1 · pith:FUKNBKBYnew · submitted 2026-05-18 · 🧮 math.RA · math.GR

The Classification of the 2-generated Primitive Axial Algebras of Monster Type

Clara Franchi , Mario Mainardis , Justin McInroy , Michael Turner This is my paper

Pith reviewed 2026-05-20 01:23 UTC · model grok-4.3

classification 🧮 math.RA math.GR
keywords axial algebrasMonster type2-generated algebrasclassificationprimitive algebrascommutative algebrasidempotentsMonster group
5
0 comments X

The pith

The classification of 2-generated primitive axial algebras of Monster type is now complete through exhaustive case analysis.

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

The authors set out to classify all algebras generated by exactly two axes that obey the multiplication rules associated with the Monster group. These structures generalize the Griess algebra and include the Norton-Sakuma algebras as examples. The proof proceeds by dividing all possible cases according to numerical parameters, the presence of certain subalgebras, the structure of axets, and the axial dimension. In each case the possible algebras are identified and described explicitly with bases and multiplication rules. Completing this classification closes a long open problem that had been partially solved for the symmetric case.

Core claim

The paper establishes that every 2-generated primitive axial algebra of Monster type belongs to one of the known families by partitioning the possibilities according to parameters, subalgebras, axets, and axial dimensions, and supplies consolidated information on bases and multiplications for all such algebras.

What carries the argument

The exhaustive division of cases by parameters, subalgebras, axets, and axial dimensions that covers all 2-generated primitive axial algebras of Monster type.

If this is right

  • Every such algebra has been identified and described.
  • Bases and multiplication tables are now available in consolidated form.
  • The classification covers the remaining non-symmetric cases.
  • All possibilities are accounted for by the case split.

Where Pith is reading between the lines

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

  • One could now compute the automorphism group of each algebra in the list.
  • This complete classification opens the door to studying representations or embeddings of these algebras.
  • Techniques from this case analysis may generalize to higher-generated axial algebras.

Load-bearing premise

The case divisions based on parameters, subalgebras, axets, and axial dimensions include every possible 2-generated primitive axial algebra of Monster type.

What would settle it

Discovery of a 2-generated primitive axial algebra of Monster type whose parameters or subalgebra structure fall outside all the cases considered in the classification.

read the original abstract

Axial algebras of Monster type are a class of commutative algebras generated by special idempotents called axes. Some motivating examples of these algebras are the Griess algebra and the Norton-Sakuma algebras, relating to the Monster simple group. A long standing open problem is to classify the 2-generated axial algebras of Monster type. A huge milestone was accomplished by Yabe leading, with additional cases completed by Franchi, Mainardis, and McInroy, to the classification in the symmetric case. In this paper, we complete the classification. To do so, we split the proof into multiple cases: dealing with certain parameters, subalgebras, axets, and axial dimensions. Furthermore, we provide a basis, multiplication and information of the algebras in the classification; consolidating existing results on these algebras into one place.

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

1 major / 0 minor

Summary. The manuscript claims to complete the classification of the 2-generated primitive axial algebras of Monster type. It extends prior results on the symmetric case by splitting the proof into multiple cases according to parameters, subalgebras, axets, and axial dimensions, while supplying explicit bases, multiplication rules, and structural information for the algebras that arise.

Significance. If the case analysis is exhaustive, the result would resolve a long-standing open problem in axial algebra theory, with direct connections to the Griess algebra, Norton-Sakuma algebras, and the Monster group. The explicit constructions, independent bases, and consolidated tables constitute a concrete strength, enabling direct verification and further study rather than relying solely on abstract reductions.

major comments (1)
  1. [Proof structure and case analysis (as outlined in the abstract and introduction)] The completeness claim depends on the case division by parameters, subalgebras, axets, and axial dimensions exhausting every 2-generated primitive axial algebra of Monster type. No explicit covering lemma or reduction theorem is referenced that proves these invariants partition the full set without gaps or overlaps; an algebra whose fusion rules or axial dimension fall outside the enumerated possibilities would evade all cases.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thorough review and for identifying the need to strengthen the justification of our case division. We maintain that the classification is exhaustive, as it rests on the constrained possibilities for 2-generated primitive axial algebras of Monster type (determined by the fusion rules, primitivity, and generation by two axes). We will revise the manuscript to make the partitioning explicit.

read point-by-point responses

  1. Referee: The completeness claim depends on the case division by parameters, subalgebras, axets, and axial dimensions exhausting every 2-generated primitive axial algebra of Monster type. No explicit covering lemma or reduction theorem is referenced that proves these invariants partition the full set without gaps or overlaps; an algebra whose fusion rules or axial dimension fall outside the enumerated possibilities would evade all cases.

    Authors: We appreciate this comment on the proof structure. The case division is exhaustive because the possible values of the invariants are severely restricted by the definition of a primitive axial algebra of Monster type: the fusion rules must be compatible with the Monster-type eigenvalues (1, 0, 1/4, 1/32), the algebra is 2-generated so the axial dimension is bounded (at most 6 in known examples, but we enumerate all consistent possibilities), and the subalgebras and axets are classified by prior results (Yabe for the symmetric case; Franchi-Mainardis-McInroy for additional symmetric subcases). Our paper treats the remaining non-symmetric cases by considering all admissible parameter combinations, subalgebra embeddings, and axet types that can arise from two axes. No algebra can evade the cases because any such algebra must possess one of the enumerated axets or subalgebras. To make this transparent, we will add a new preliminary subsection (Section 2.4) that includes a covering argument: we first recall the classification of possible 2-generated subalgebras from the literature, then show that every pair of axes generates one of these, and finally branch on the axial dimension and fusion parameters. A case tree diagram will be included for clarity. This revision will reference the relevant reduction theorems without introducing new lemmas. revision: yes

Circularity Check

0 steps flagged

Classification proceeds via explicit case splits with independent bases and tables

full rationale

The paper completes the classification of 2-generated primitive axial algebras of Monster type by splitting into cases on parameters, subalgebras, axets and axial dimensions, then supplying explicit bases, multiplication tables and consolidation of results. This extends prior symmetric-case work but introduces new case handling and concrete data rather than reducing any central claim to a fitted input, self-definition or unverified self-citation chain. The derivation remains self-contained against external benchmarks such as the Griess algebra and Norton-Sakuma examples.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The classification rests on the standard definitions of axial algebras, the Monster-type fusion law, and the notions of primitivity and 2-generation, all taken from prior literature without new free parameters or invented entities.

axioms (2)
  • domain assumption Definition of axial algebras of Monster type with the given fusion law
    Invoked throughout as the ambient class of algebras under study.
  • domain assumption Primitivity condition for axial algebras
    Used to restrict the objects being classified.

pith-pipeline@v0.9.0 · 5676 in / 1193 out tokens · 51606 ms · 2026-05-20T01:23:20.236622+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

34 extracted references · 34 canonical work pages

  1. [1]

    Press, Cambridge, 1986

    Aschbacher, M.: Finite group theory, Cambridge Studies in Advanced Mathematics 10, Cam- bridge Univ. Press, Cambridge, 1986

    work page 1986

  2. [2]

    E.: Monstrous moonshine and monstrous Lie superalgebras,Invent

    Borcherds, R. E.: Monstrous moonshine and monstrous Lie superalgebras,Invent. Math.109 (1992), 405–444

    work page 1992

  3. [3]

    Algebra596(2022), 200–218

    Franchi, C., Mainardis, M.: Classifying 2-generated symmetric axial algebras of Monster type J. Algebra596(2022), 200–218

    work page 2022

  4. [4]

    A.: Majorana representations of finite groups,Algebra Coll.27(2020), 31–50

    Franchi, C., Mainardis, M., Ivanov, A. A.: Majorana representations of finite groups,Algebra Coll.27(2020), 31–50

    work page 2020

  5. [5]

    Algebra640(2024), 432–476

    Franchi, C., Mainardis, M., M cInroy, J.: Quotients of the Highwater algebra and its cover, J. Algebra640(2024), 432–476

    work page 2024

  6. [6]

    Pura e App.201(2022), 1279-1293, doi:10.1007/s10231-021-01157-8

    Franchi, C., Mainardis, M., Shpectorov, S.: An infinite-dimensional 2-generated primi- tive axial algebra of Monster type,Annali di Mat. Pura e App.201(2022), 1279-1293, doi:10.1007/s10231-021-01157-8

    work page doi:10.1007/s10231-021-01157-8 2022

  7. [7]

    Algebra636(2023), 123–170

    Franchi, C., Mainardis, M., Shpectorov, S.: 2-generated axial algebras of Monster type (2β, β),J. Algebra636(2023), 123–170

    work page 2023

  8. [8]

    Franchi, C., Mainardis, M., Shpectorov, S.:https://github.com/shpectorov/ genericSakuma, 2024

    work page 2024

  9. [9]

    Algebra683(2025), 60–115

    Franchi, C., Mainardis, M., Shpectorov, S.: 2-generated axial algebras of Monster type, J. Algebra683(2025), 60–115

    work page 2025

  10. [10]

    Algebra49(10) (2021), 4208–4248

    Galt, A., Joshi, V., Mamontov, A., Shpectorov, S., Staroletov, A.: Double axes and subalge- bras of Monster type in Matsuo algebras,Commun. Algebra49(10) (2021), 4208–4248

    work page 2021

  11. [11]

    Algebra661(2025), 657–712

    Gorshkov I.B., M cInroy, J., Mudziiri Shumba T.M., Shpectorov, S.: Automorphism groups of axial algebras,J. Algebra661(2025), 657–712

    work page 2025

  12. [12]

    Algebra421(2015), 394–424

    Hall, J., Rehren, F., Shpectorov, S.: Universal axial algebras and a theorem of Sakuma, J. Algebra421(2015), 394–424

    work page 2015

  13. [13]

    Algebra437 (2015), 79–115

    Hall, J., Rehren, F., Shpectorov, S.: Primitive axial algebras of Jordan type,J. Algebra437 (2015), 79–115

    work page 2015

  14. [14]

    Hall, J., Segev, J., Shpectorov, S.: On primitive axial algebras of Jordan type,Bull. Inst. Math. Acad. Sin. (N.S.)13(2018), 397–409

    work page 2018

  15. [15]

    Hall, J.: Transposition algebras,Bulletin of the Institute of Mathematics Academia Sinica (New Series) Vol.14(2019), 155–187

    work page 2019

  16. [16]

    A.: The Monster group and Majorana involutions

    Ivanov, A. A.: The Monster group and Majorana involutions. Cambridge Tracts in Mathe- matics 176, Cambridge Univ. Press, Cambridge, 2009

    work page 2009

  17. [17]

    A.: The Future of Majorana Theory, In:Group Theory and Computation, Indian Statistical Institute Series, Springer, Singapore, 2018, 107–118

    Ivanov, A. A.: The Future of Majorana Theory, In:Group Theory and Computation, Indian Statistical Institute Series, Springer, Singapore, 2018, 107–118

    work page 2018

  18. [18]

    A.: The future of Majorana theory II

    Ivanov, A. A.: The future of Majorana theory II. In: Algebraic Combinatorics and the Monster Group, LMS Lecture Notes Series486, pp. 246–286. Cambridge University Press, Cambridge, 2023

    work page 2023

  19. [19]

    A., Pasechnik, D

    Ivanov, A. A., Pasechnik, D. V., Seress, ´A., Shpectorov, S.: Majorana representations of the symmetric group of degree 4,J. Algebra324(2010), 2432–2463

    work page 2010

  20. [20]

    M cInroy, J.: Axial algebras of Monster type – a magma package,https://github.com/ JustMaths/AxialMonsterType

    work page

  21. [21]

    W.: A guide to the 2-generated axial algebras of Monster type, arXiv:2512.24987

    M cInroy, J., Mir A. W.: A guide to the 2-generated axial algebras of Monster type, arXiv:2512.24987

    work page arXiv

  22. [22]

    Algebra595(2022), 380–397

    M cInroy, J., Shpectorov, S.: Split spin factor algebras,J. Algebra595(2022), 380–397

    work page 2022

  23. [23]

    Algebra627(2023), 58–105

    M cInroy, J., Shpectorov, S.: From forbidden configurations to a classification of some axial algebras of Monster type,J. Algebra627(2023), 58–105

    work page 2023

  24. [24]

    In: Groups St An- drews 2022 in Newcastle, LMS Lecture Notes Series496, pp

    M cInroy, J., Shpectorov, S.: Axial algebras of Jordan and Monster type. In: Groups St An- drews 2022 in Newcastle, LMS Lecture Notes Series496, pp. 246–294. Cambridge University Press, Cambridge, 2024. 105 106

    work page 2022

  25. [25]

    Algebra,179, (1996), 523–548

    Miyamoto, M.: Griess Algebras and Conformal Vectors in Vertex Operator Algebras,J. Algebra,179, (1996), 523–548

    work page 1996

  26. [26]

    P.: The Monster algebra: some new formulae

    Norton, S. P.: The Monster algebra: some new formulae. In Moonshine, the Monster and re- lated topics (South Hadley, Ma., 1994), Contemp. Math.193, pp. 297–306. AMS, Providence, RI, 1996

    work page 1994

  27. [27]

    Rehren, F.: Axial Algebras,PhD Thesis, University of Birmingham(2015)

    work page 2015

  28. [28]

    Rehren, F.: Generalized dihedral subalgebras from the Monster,Trans. Amer. Math. Soc. 369(2017), 6953–6986

    work page 2017

  29. [29]

    Sakuma, S.: 6-transposition property ofτ-involutions of vertex operator algebras.Int. Math. Res. Not.(2007).doi:10.1093/imrn/rmn030

    work page doi:10.1093/imrn/rmn030 2007

  30. [30]

    Stout, M.:Modular representation theory and applications to decomposition algebras, Master Thesis, Ghent University 2021,https://algebra.ugent.be/ ~tdemedts/research-students. php

    work page 2021

  31. [31]

    Algebra652(2024), 67–93

    Turner, M.: Skew axial algebras of Monster type,J. Algebra652(2024), 67–93

    work page 2024

  32. [32]

    Algebra664(2025), 209–222

    Turner, M.: Skew axial algebras of Monster type II,J. Algebra664(2025), 209–222

    work page 2025

  33. [33]

    Wilson, R.A.: The Finite Simple Groups, Graduate Texts in Mathematics 251, Springer, London, 2009

    work page 2009

  34. [34]

    Algebra, 619(2023), 347–382

    Yabe, T.: On the classification of 2-generated axial algebras of Majorana type,J. Algebra, 619(2023), 347–382. Index 2-generated axet, 15 2-generated axial algebra, 12 σ-flip, 14 adjoint map, 11 axet 2-generated, 15 ofV, 15 regular, 9 skew, 9 Z2-axet, 15 axet ofV, 9, 15 axial algebra 2-generated, 12 F-axial algebra, 12 of Jordan type, 12 of Monster type, ...

    work page 2023