Local–Global Defects D: Automorphisms and Realization Defects—A Complete Archive of Three Saturated Fusion Systems

This paper establishes a computable archive of system automorphisms and realization defects at the toy level (|P| ≤ 8) of fusion systems, transforming “realizationdefect” from a conditional registration into a precise integer object on five concretesaturated fusion systems—five systems F0–F4 over three selected carrier environments (V4, C3, D8). We prove five structural theorems: the realization image isalways a subgroup of the system automorphism group; the realization defect index δ(F) = [Aut(F) : AutF(P)] is a function of the system rather than of therealizer; morphism inclusion reverses the automorphism group under an additionalinvariance condition; for trivial fusion over abelian p-groups, Aut(F) = Aut(P);the subgroup tower Inn(P) ⊆ AutF(P) ⊆ Aut(F) ⊆ Aut(P) yields the productdecomposition Out(P) = σ(F) · δ(F) · ι(F) and the fourth-quadrant emptinessOut(F) = 1 =⇒ δ(F) = 1. The index δ(F) and the cohomological defect factorDr(G) are not the same invariant; we do not claim any numerical correspondencebetween them, and register only the toy-level archive of realization defects. Thethree carrier archives yield ladder readings: over V4, the three saturated systemshave δ(F) values 6, 2, 1, shrinking monotonically with fusion richness; the C3 example has δ = 1 while Out(F) = 2, witnessing one-way boundedness without mutualdetermination; the D8 example has Aut(F) = Inn(P) and Out(F) = 1, the systemlosing the entire outer automorphism coset of the carrier group, a loss absorbed byσ(F4) = 2. Machine checking of the Alperin generating data yields a single essentialsubgroup for FD8 (S4) (normal V4, AutF(V4) ∼ = S3). All conclusions are closed by five machine-checking groups in deterministic exact integer arithmetic.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-11-11
DOI
https://doi.org/10.5281/zenodo.24130401
Primary Topic
Finite Group Theory Research
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
NOV
preprint

Local–Global Defects D: Automorphisms and Realization Defects—A Complete Archive of Three Saturated Fusion Systems

changzheng zhou, ziqing zhou
Zenodo (CERN European Organization for Nuclear Research)
Finite Group Theory Research
preprint

Local–Global Defects D: Automorphisms and Realization Defects—A Complete Archive of Three Saturated Fusion Systems

changzheng zhou, ziqing zhou
preprint en

Abstract

This paper establishes a computable archive of system automorphisms and realization defects at the toy level (|P| ≤ 8) of fusion systems, transforming “realizationdefect” from a conditional registration into a precise integer object on five concretesaturated fusion systems—five systems F0–F4 over three selected carrier environments (V4, C3, D8). We prove five structural theorems: the realization image isalways a subgroup of the system automorphism group; the realization defect index δ(F) = [Aut(F) : AutF(P)] is a function of the system rather than of therealizer; morphism inclusion reverses the automorphism group under an additionalinvariance condition; for trivial fusion over abelian p-groups, Aut(F) = Aut(P);the subgroup tower Inn(P) ⊆ AutF(P) ⊆ Aut(F) ⊆ Aut(P) yields the productdecomposition Out(P) = σ(F) · δ(F) · ι(F) and the fourth-quadrant emptinessOut(F) = 1 =⇒ δ(F) = 1. The index δ(F) and the cohomological defect factorDr(G) are not the same invariant; we do not claim any numerical correspondencebetween them, and register only the toy-level archive of realization defects. Thethree carrier archives yield ladder readings: over V4, the three saturated systemshave δ(F) values 6, 2, 1, shrinking monotonically with fusion richness; the C3 example has δ = 1 while Out(F) = 2, witnessing one-way boundedness without mutualdetermination; the D8 example has Aut(F) = Inn(P) and Out(F) = 1, the systemlosing the entire outer automorphism coset of the carrier group, a loss absorbed byσ(F4) = 2. Machine checking of the Alperin generating data yields a single essentialsubgroup for FD8 (S4) (normal V4, AutF(V4) ∼ = S3). All conclusions are closed by five machine-checking groups in deterministic exact integer arithmetic.

Zenodo (CERN European Organization for Nuclear Research)
Finite Group Theory Research
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon