pith. sign in

arxiv: 2604.20315 · v1 · submitted 2026-04-22 · 🧮 math.GR

The saturated fusion systems on a Sylow 2-subgroup of {Ω}^+₈ (2)

Gernot Stroth This is my paper

Pith reviewed 2026-05-09 23:10 UTC · model grok-4.3

classification 🧮 math.GR
keywords saturated fusion systemsSylow 2-subgroupΩ⁺₈(2)O₂(F)orthogonal groupsfinite groups2-fusion
0
0 comments X

The pith

Four specific groups produce saturated fusion systems with O₂(F) = 1 on the Sylow 2-subgroup of Ω⁺₈(2).

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

The paper examines saturated fusion systems on a Sylow 2-subgroup of Ω⁺₈(2) that have no nontrivial normal 2-subgroup. It provides four examples: the 2-fusion systems of Ω⁺₈(2), Ω⁺₈(2):3, PΩ⁺₈(3) and PΩ⁺₈(3):3. These examples matter because they illustrate how the 2-local structure can be abstracted in fusion systems for these orthogonal groups, allowing study of their properties in a more general setting without the full group present. This contributes to the understanding of possible 2-fusion patterns in groups with this Sylow structure.

Core claim

The paper considers saturated fusion systems F on a Sylow 2-subgroup of Ω⁺₈(2) with O₂(F) = 1. Examples for this are the 2-fusion systems of Ω⁺₈(2), Ω⁺₈(2):3, PΩ⁺₈(3) and PΩ⁺₈(3):3.

What carries the argument

Saturated fusion system F on the Sylow 2-subgroup of Ω⁺₈(2) with O₂(F)=1. This encodes the 2-element conjugations and morphisms while enforcing no normal 2-subgroup.

Load-bearing premise

The Sylow 2-subgroup is exactly that of Ω⁺₈(2) and the listed groups produce saturated fusion systems satisfying O₂(F)=1.

What would settle it

A calculation showing that one of the four groups does not induce a saturated fusion system with O₂(F)=1 on this exact Sylow 2-subgroup.

read the original abstract

We consider saturated fusion systems $\mathcal F$ on a Sylow $2$-subgroup of $\Omega^+_8(2)$ with $O_2(\mathcal F) = 1$. Examples for this are the $2$-fusion systems of $\Omega^+_8(2)$, $\Omega^+_8(2):3$, $P\Omega^+_8(3)$ and $P\Omega^+_8(3):3$

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

Summary. The manuscript considers saturated fusion systems F on a Sylow 2-subgroup of Ω⁺₈(2) with O₂(F)=1 and states that examples are given by the 2-fusion systems of the groups Ω⁺₈(2), Ω⁺₈(2):3, PΩ⁺₈(3) and PΩ⁺₈(3):3.

Significance. If the listed groups are verified to produce saturated fusion systems satisfying the stated conditions, the work supplies concrete realizations of such systems on a 2-group of order 2^12 and rank 4. This would be a modest but useful addition to the catalog of known saturated fusion systems, particularly for groups of Lie type in characteristic 2 and their extensions, and could support further work on possible exotic systems or the absence thereof.

major comments (1)
  1. Abstract: the statement that the four listed groups supply examples of saturated fusion systems with O₂(F)=1 is unsupported by any verification, reference to known results, or computation in the provided text; confirming that the Sylow 2-subgroup is preserved and that the fusion systems are saturated and have trivial O₂ is load-bearing for the central claim.
minor comments (1)
  1. The title uses the definite article 'The saturated fusion systems' while the abstract only lists examples without addressing exhaustiveness; if the manuscript does not intend a classification, the title should be adjusted for precision.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting the need for explicit support of the central claim in the abstract. We address the major comment below.

read point-by-point responses

  1. Referee: Abstract: the statement that the four listed groups supply examples of saturated fusion systems with O₂(F)=1 is unsupported by any verification, reference to known results, or computation in the provided text; confirming that the Sylow 2-subgroup is preserved and that the fusion systems are saturated and have trivial O₂ is load-bearing for the central claim.

    Authors: We agree that the abstract asserts these groups yield the desired examples without explicit verification or references in the current text. While the fusion system of any finite group is saturated by definition, and O₂(F)=1 follows from the groups being (almost) simple of Lie type in characteristic 2 or 3 with no nontrivial normal 2-subgroups, the manuscript does not currently include this justification or citations. We will revise the abstract and add a short explanatory paragraph (with references to standard results on fusion systems of finite groups) in the introduction of the revised manuscript to make this load-bearing claim fully supported. revision: yes

Circularity Check

0 steps flagged

No circularity; classification draws on externally known groups without self-referential reduction

full rationale

The paper considers saturated fusion systems on the fixed Sylow 2-subgroup of Ω⁺₈(2) with O₂(F)=1 and lists four examples drawn from the 2-fusion systems of independently known groups (Ω⁺₈(2), Ω⁺₈(2):3, PΩ⁺₈(3), PΩ⁺₈(3):3). No equations, fitted parameters, ansatzes, or self-citations appear in the abstract or title that would make any claim reduce to its own inputs by construction. The work is a standard group-theoretic enumeration relying on external facts about these groups rather than any of the enumerated circular patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract introduces no new free parameters, axioms, or invented entities; it relies entirely on the standard definitions of saturated fusion systems and the known structure of the cited finite groups.

pith-pipeline@v0.9.0 · 5364 in / 1164 out tokens · 35504 ms · 2026-05-09T23:10:33.829560+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

30 extracted references · 30 canonical work pages

  1. [1]

    Anderson, B

    K. Anderson, B. Oliver, J. Ventura, Fusion systems and amalgams, Math. Z. 274 (2013), 1119 -1154

    work page 2013

  2. [2]

    Anderson, B

    K. Anderson, B. Oliver, J. Ventura, Reduced fusion systems over 2-groups of small order, J. Algebra 489 (2017), 310-372

    work page 2017

  3. [3]

    Aschbacher, On finite groups of Lie type and odd characteristic, J

    M. Aschbacher, On finite groups of Lie type and odd characteristic, J. Alg. 66 (1980), 400-424

    work page 1980

  4. [4]

    Aschbacher, B

    M. Aschbacher, B. Kessar, B. Oliver, Fusion systems in algebra and topology, LMS Lecture Notes 391, Cambridge University Press 2011

    work page 2011

  5. [5]

    Aschbacher, S

    M. Aschbacher, S. Smith, Tits geometries over (2) defined by groups over (3) , Comm. Alg. 11 (1983), 1675-1684

    work page 1983

  6. [6]

    Conway, R

    J. Conway, R. Curtis, S. Norton, R. Parker, R. Wilson, ``Atlas of Finite Groups" , Clarendon Press, Oxford (1985)

    work page 1985

  7. [7]

    Bender, Transitive Gruppen gerader Ordnung, in denen jede Involution genau einen Punkt fest l\"a t, J

    H. Bender, Transitive Gruppen gerader Ordnung, in denen jede Involution genau einen Punkt fest l\"a t, J. Algebra 17 (1971), 527-554

    work page 1971

  8. [8]

    Blackburn, B

    N. Blackburn, B. Huppert, Finite groups III, Springer 1982

    work page 1982

  9. [9]

    Broto, J

    C. Broto, J. Moller, B. Oliver, A. Ruiz, Realizability and tameness of fusion systems, Proc. LMS 127 (2023), 1816-1864

    work page 2023

  10. [10]

    Brauer, M

    R. Brauer, M. Suzuki, On finite groups of even order whose 2 -Sylow group is a quatemion group, Proc. Natl. Acad. Sci. 45 (1959), 1757-1759

    work page 1959

  11. [11]

    Bruhat, J

    F. Bruhat, J. Tits, Groupes Réductifs Sur Un Corps Local I,Donnees radicielles valuees, Publ. Math. IHES 41 (1972), 5-251

    work page 1972

  12. [12]

    Delgado, B

    A. Delgado, B. Stellmacher, Weak (B,N) -pairs of rank 2 , In: Groups and graphs: new results and methods, DMV Sem. 6, Birkhäuser Verlag, Basel, 1985, 59-243

    work page 1985

  13. [13]

    E. C. Dade, Character theory pertaining to finite simple groups, In: M. B. Powell; G. Higman, (eds.), Finite simple groups ,Proceedings of an Instructional Conference organized by the London Mathematical Society (a NATO Advanced Study Institute), Oxford, September 1969, Boston, MA: Academic Press (1971) pp. 249–327

    work page 1969

  14. [14]

    Fan, Amalgams of prime index, J

    P. Fan, Amalgams of prime index, J. Alg. 98 (1986), 375-421

    work page 1986

  15. [15]

    Goldschmidt, Automorphisms of trivalent graphs, Ann

    D. Goldschmidt, Automorphisms of trivalent graphs, Ann. Math 111 (1980), 377-406

    work page 1980

  16. [16]

    Gorenstein, K

    D. Gorenstein, K. Harada, On finite groups with Sylow 2 -subgroups of type A_n , n = 8 , 9 , 10 , 11 , Math Z. 117 (1970), 207-238

    work page 1970

  17. [17]

    Gorenstein, R

    D. Gorenstein, R. Lyons, R. Solomon, The classification of the finite simple groups, Amer. Math. Soc. Surveys and Monographs 40(3) (1998)

    work page 1998

  18. [18]

    Huppert, Endliche Gruppen I, Springer 1967

    B. Huppert, Endliche Gruppen I, Springer 1967

    work page 1967

  19. [19]

    Kantor, Some exceptional 2-adic buildings, J

    W. Kantor, Some exceptional 2-adic buildings, J. Algebra 92 (1985), 208-233

    work page 1985

  20. [20]

    Kneser, Normalteiler ganzzahliger Spingruppen, J

    M. Kneser, Normalteiler ganzzahliger Spingruppen, J. reine und angew. Math. 311/312 (1979), 191-214

    work page 1979

  21. [21]

    Oliver, Reduced fusion systems over 2-groups of sectional rank at most 4, Memoirs of the AMS 239 (2016)

    B. Oliver, Reduced fusion systems over 2-groups of sectional rank at most 4, Memoirs of the AMS 239 (2016)

    work page 2016

  22. [22]

    Oliver, Simple fusion systems over p -groups with abelian subgroup of index p : I, J

    B. Oliver, Simple fusion systems over p -groups with abelian subgroup of index p : I, J. Alg.398 (2014), 527 -541

    work page 2014

  23. [23]

    Oliver, J

    B. Oliver, J. Ventura, Saturated fusion systems over 2-groups, Trans. AMS 361 (2009), 6661-6728

    work page 2009

  24. [24]

    Onofrei, Saturated fusion systems with parabolic families, J

    S. Onofrei, Saturated fusion systems with parabolic families, J. Alg. 348 (2011), 61-84

    work page 2011

  25. [25]

    Parker, J

    Chr. Parker, J. Semerano, Algorithms for fusion systems with applications to p -groups of small order, Math. of Computation 90 (2021), 2415-2461

    work page 2021

  26. [26]

    Parker, G

    Chr. Parker, G. Stroth, Strongly p -embedded subgroups, Pure Appl. Math. Q. 7 (2011), 797–858

    work page 2011

  27. [27]

    Parker, G

    Chr. Parker, G. Stroth, On strongly p-embedded subgroups of Lie rank 2, Arch. Math. (Basel) 93 (2009), 405–413

    work page 2009

  28. [28]

    Quillen, Homotopy properties of the poset of nontriviel p -subgroups of a group, Adv

    D. Quillen, Homotopy properties of the poset of nontriviel p -subgroups of a group, Adv. Math.28 (1978), 101-128

    work page 1978

  29. [29]

    Timmesfeld, Tits geometries and parabolic systems in finetly generated groups I, Math

    F. Timmesfeld, Tits geometries and parabolic systems in finetly generated groups I, Math. Z.184 (1983), 377-396

    work page 1983

  30. [30]

    van Beek, Fusion systems and rank 2 simple groups of Lie type, Forum Mathematics, Sigma 12 (2024), 1-36

    M. van Beek, Fusion systems and rank 2 simple groups of Lie type, Forum Mathematics, Sigma 12 (2024), 1-36

    work page 2024