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

Recognition: unknown

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

Gernot Stroth

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 comments

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.

Desk Editor's Note private letter to a colleague

This note lists four known saturated fusion systems with O2(F)=1 on the Sylow 2-subgroup of Ω⁺₈(2) but does not show they are all of them.

read the letter

The main takeaway is that the paper collects four concrete examples of saturated fusion systems F on this fixed Sylow 2-subgroup with O₂(F)=1: the ones coming from Ω⁺₈(2), Ω⁺₈(2):3, PΩ⁺₈(3), and PΩ⁺₈(3):3. It does not claim or prove that these exhaust the possibilities. That is the central fact to keep in mind when deciding whether to spend time on it. The work is short and focused on one specific 2-group that appears in the 2-local analysis of certain orthogonal groups. Pulling these standard examples together under one heading can save someone else the trouble of checking the fusion systems of these four groups separately. The Sylow 2-subgroup itself is well-known, and the listed groups are classical, so the examples are reproducible from existing literature. That is the useful part: it supplies a small reference list for people who need to know what fusion systems sit on this particular 2-group. The soft spot is exactly the one the stress-test flagged. The title and opening sentence frame the paper as considering saturated fusion systems with the given condition, yet only the four examples appear and there is no case analysis, no discussion of possible morphisms, and no argument that rules out additional or exotic systems. If the manuscript contains a hidden completeness proof that is not visible in the abstract, that would fix the issue, but nothing in the supplied text indicates such an argument. Without it the paper functions more as an annotated list than a classification. This kind of targeted note is mainly for specialists already working inside the fusion-system classification program or in 2-local finite-group theory. A reader who needs a quick check on what is known for this Sylow 2-subgroup will find the list convenient. It is not the sort of result that changes the broader landscape, but it is honest incremental work that meets the minimum standard for a serious referee to look at the details and verify the identifications. I would send it to peer review rather than desk-reject it.

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)

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)

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

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)

Reference graph

Works this paper leans on

30 extracted references

[1]

Anderson, B

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

2013
[2]

Anderson, B

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

2017
[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

1980
[4]

Aschbacher, B

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

2011
[5]

Aschbacher, S

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

1983
[6]

Conway, R

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

1985
[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

1971
[8]

Blackburn, B

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

1982
[9]

Broto, J

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

2023
[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

1959
[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

1972
[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

1985
[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

1969
[14]

Fan, Amalgams of prime index, J

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

1986
[15]

Goldschmidt, Automorphisms of trivalent graphs, Ann

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

1980
[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

1970
[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)

1998
[18]

Huppert, Endliche Gruppen I, Springer 1967

B. Huppert, Endliche Gruppen I, Springer 1967

1967
[19]

Kantor, Some exceptional 2-adic buildings, J

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

1985
[20]

Kneser, Normalteiler ganzzahliger Spingruppen, J

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

1979
[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)

2016
[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

2014
[23]

Oliver, J

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

2009
[24]

Onofrei, Saturated fusion systems with parabolic families, J

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

2011
[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

2021
[26]

Parker, G

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

2011
[27]

Parker, G

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

2009
[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

1978
[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

1983
[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

2024