Subtopic Deep Dive
Fusion Systems
Research Guide
What is Fusion Systems?
Fusion systems are categories over a finite p-group S whose objects are subgroups of S and morphisms are injective homomorphisms satisfying Puig's axioms modeling Sylow p-subgroup conjugacy in finite groups (Aschbacher et al., 2011).
Fusion systems generalize Sylow theory to p-local finite groups, encoding fusion data without requiring a full group. Over 250 papers cite the foundational text by Aschbacher, Kessar, and Oliver (2011, 256 citations). They connect algebraic group theory with topological realizations via linking systems (Broto et al., 2005, 120 citations).
Why It Matters
Fusion systems classify p-local finite groups and test realizability by finite groups or p-completed classifying spaces. Aschbacher et al. (2011) apply them to simple group recognition via modular representations. Broto et al. (2005) use subgroup families to control fusion, impacting homotopy theory of finite groups. Kessar and Malle (2013, 141 citations) resolve Brauer's height zero conjecture for quasi-isolated blocks using fusion data.
Key Research Challenges
Realizability by finite groups
Determining which fusion systems arise from Sylow p-subgroups of finite groups remains open. Ruiz and Viruel (2004, 93 citations) classify them over extraspecial p-groups of order p^3. Control conditions via centric linking systems add complexity (Broto et al., 2005).
Classification of simple fusion systems
Classifying exotic fusion systems not realized by groups challenges Sylow theory extensions. Aschbacher et al. (2011) provide axioms but leave exotic examples unresolved. Linking systems detect realizability in p-local settings (Oliver et al., 2011).
p-local finite group control
Identifying minimal subgroup families controlling fusion in p-local groups is unresolved. Broto et al. (2005, 120 citations) introduce centric and radical chains for control. Applications to Lie type groups require modular representation fusion (Malle, 2007).
Essential Papers
Nonsolvable finite groups all of whose local subgroups are solvable
John G. Thompson · 1968 · Bulletin of the American Mathematical Society · 533 citations
Notation and definitions 384 3. Statement of main theorem and corollaries 388 4. Proofs of corollaries 389 5. Preliminary lemmas 389 5.1.Inequalities and modules 389 5.2.7r-reducibility and fl,(®) ...
On gauging finite subgroups
Yuji Tachikawa · 2020 · SciPost Physics · 277 citations
We study in general spacetime dimension the symmetry of the theory obtained by gauging a non-anomalous finite normal Abelian subgroup A <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" disp...
Fusion Systems in Algebra and Topology
Michael Aschbacher, Radha Kessar, Bob Oliver · 2011 · Cambridge University Press eBooks · 256 citations
A fusion system over a p-group S is a category whose objects form the set of all subgroups of S, whose morphisms are certain injective group homomorphisms, and which satisfies axioms first formulat...
Representations of finite groups
Α. I. Kostrikin, I. A. Chubarov · 1988 · Journal of Mathematical Sciences · 173 citations
Finite groups with quasi-dihedral and wreathed Sylow 2-subgroups.
J. L. Alperin, Richard Brauer, Daniel Gorenstein · 1970 · Transactions of the American Mathematical Society · 149 citations
The primary purpose of this paper is to give a complete classification of all finite simple groups with quasi-dihedral Sylow 2-subgroups. We shall prove that any such group must be isomorphic to on...
Quasi-isolated blocks and Brauer's height zero conjecture
Radha Kessar, Gunter Malle · 2013 · Annals of Mathematics · 141 citations
This paper has two main results. Firstly, we complete the parametrisation of all <i>p</i><br/>-blocks of finite quasi-simple groups by finding the so-called quasi-isolated blocks of exceptional gro...
Subgroup families controlling p-local finite groups
Carles Broto, Natàlia Castellana, Jesper Grodal et al. · 2005 · Proceedings of the London Mathematical Society · 120 citations
A p-local finite group consists of a finite p-group S, together with a pair of categories which encode 'conjugacy' relations among subgroups of S, and which are modelled on the fusion in a Sylow p-...
Reading Guide
Foundational Papers
Start with Aschbacher, Kessar, Oliver (2011, 256 citations) for axioms and definitions; Thompson (1968, 533 citations) for Sylow context; Alperin-Brauer-Gorenstein (1970, 149 citations) for 2-fusion examples.
Recent Advances
Study Broto et al. (2005, 120 citations) for p-local control; Kessar-Malle (2013, 141 citations) for blocks; Ruiz-Viruel (2004, 93 citations) for extraspecial classifications.
Core Methods
Puig's saturation axioms; centric linking systems; Sylow fusion via transporter categories; modular block fusion (Kessar-Malle, 2013).
How PapersFlow Helps You Research Fusion Systems
Discover & Search
Research Agent uses citationGraph on Aschbacher et al. (2011, 256 citations) to map 250+ fusion systems papers, then findSimilarPapers for realizability studies like Ruiz and Viruel (2004). exaSearch queries 'fusion systems over extraspecial p-groups' to uncover Broto et al. (2005) controls.
Analyze & Verify
Analysis Agent runs readPaperContent on Kessar and Malle (2013) to extract quasi-isolated block parameters, verifies fusion axioms with verifyResponse (CoVe), and uses runPythonAnalysis for Sylow subgroup order statistics via NumPy. GRADE grading scores evidence strength for height zero conjectures.
Synthesize & Write
Synthesis Agent detects gaps in realizability classifications post-Aschbacher et al. (2011), flags contradictions in exotic examples. Writing Agent applies latexEditText to fusion category diagrams, latexSyncCitations for 50+ refs, and latexCompile for manuscripts; exportMermaid visualizes linking system posets.
Use Cases
"Compute fusion systems for extraspecial 3-group of order 27 realizable by finite groups."
Research Agent → searchPapers 'Ruiz Viruel 2004' → Analysis Agent → runPythonAnalysis (gap analysis on group orders with SymPy) → outputs classified fusion systems table exported as CSV.
"Write LaTeX review of p-local finite groups with centric linking systems."
Synthesis Agent → gap detection in Broto et al. (2005) → Writing Agent → latexEditText (add diagrams) → latexSyncCitations (Oliver 2011 et al.) → latexCompile → outputs compiled PDF with fusion poset figures.
"Find code for computing fusion systems in GAP or Sage."
Research Agent → exaSearch 'fusion systems GAP package' → Code Discovery → paperExtractUrls → paperFindGithubRepo → githubRepoInspect → outputs verified GAP scripts for Sylow fusion computation.
Automated Workflows
Deep Research workflow scans 50+ papers from citationGraph of Aschbacher et al. (2011), chains searchPapers → readPaperContent → GRADE, producing structured realizability report. DeepScan applies 7-step CoVe to verify fusion axioms in Ruiz and Viruel (2004) with statistical subgroup counts. Theorizer generates conjectures on exotic systems from Kessar-Malle (2013) block data.
Frequently Asked Questions
What is a fusion system?
A fusion system over p-group S is a category with subgroups as objects and injective homomorphisms as morphisms satisfying Puig's axioms on Sylow conjugacy (Aschbacher et al., 2011).
What are main methods in fusion systems?
Methods include centric radical subgroups for control (Broto et al., 2005) and linking systems for topological realization. Realizability tests use saturation axioms (Aschbacher et al., 2011).
What are key papers?
Foundational: Aschbacher, Kessar, Oliver (2011, 256 citations); Thompson (1968, 533 citations). Recent: Kessar-Malle (2013, 141 citations); Ruiz-Viruel (2004, 93 citations).
What are open problems?
Classifying exotic fusion systems not realized by groups; full control by subgroup families in p-local settings (Broto et al., 2005); fusion in Lie type groups at bad primes (Kessar-Malle, 2013).
Research Finite Group Theory Research with AI
PapersFlow provides specialized AI tools for Mathematics researchers. Here are the most relevant for this topic:
AI Literature Review
Automate paper discovery and synthesis across 474M+ papers
Paper Summarizer
Get structured summaries of any paper in seconds
AI Academic Writing
Write research papers with AI assistance and LaTeX support
See how researchers in Physics & Mathematics use PapersFlow
Field-specific workflows, example queries, and use cases.
Start Researching Fusion Systems with AI
Search 474M+ papers, run AI-powered literature reviews, and write with integrated citations — all in one workspace.
See how PapersFlow works for Mathematics researchers
Part of the Finite Group Theory Research Research Guide