On Character Tables for Fusion Systems

Basic Information

• Paper ID: 2510.09277
• Title: On character tables for fusion systems
• Authors: Thomas Lawrence, Jason Semeraro
• Classification: math.RT (Representation Theory)
• Publication Date: October 17, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.09277v2

Abstract

This paper investigates character tables for saturated fusion systems F on finite p-groups S. For such fusion systems, the character table X is a square matrix corresponding to the basis of virtual F-stable ordinary characters of S. The authors study a conjecture proposed by the second author, which relates the p-part of |det(X)|² to the product of the orders of S-centralizers of representatives of fully F-centralized F-conjugacy classes. When F = F_S(S), this statement reduces precisely to the column orthogonality relations of S's character table. The paper proves this conjecture when F = F_S(G) is realized by a finite group G with S as a Sylow p-subgroup, and also for all simple fusion systems with |S| ≤ p⁴.

Research Background and Motivation

1. Problem Context: Fusion systems are fundamental concepts in modern representation theory and algebraic topology, abstracting the conjugacy action of Sylow subgroups of finite groups. Character tables are central tools for studying group representations, but the theory of character tables for fusion systems remains incomplete.
2. Core Problem: The Semeraro Conjecture (Conjecture 1.1) asserts that for a saturated fusion system F on a finite p-group S, its character table X satisfies: $|X_B(F)X_B(F)^T|_p = \prod_{s \in F^z} |C_S(s)|$ where F^z is the set of representatives of fully F-centralized F-conjugacy classes.
3. Significance: This conjecture generalizes the classical column orthogonality relations of character tables in group theory, providing new perspectives for understanding the representation theory of fusion systems.
4. Existing Limitations: Previously, this conjecture was verified only in special cases, lacking systematic proof methods.

Core Contributions

1. Proof of the Lawrence-Olsson Theorem (Theorem 1.2): When F = F_S(G) is a fusion system realized by a finite group G with S as a Sylow p-subgroup, the Semeraro conjecture holds.
2. Proof for Small Order Cases (Theorem 1.3): The conjecture holds for all simple fusion systems with |S| ≤ p⁴.
3. Development of Inductive Methods: Proposes techniques for constructing F-stable character bases through appropriate realizable subsystems (Proposition 2.5).
4. Complete Classification Verification: Provides case-by-case verification for all simple exotic fusion systems on p-groups of order p⁴.

Detailed Methodology

Problem Formulation

Investigation of the virtual F-stable character ring Ch(S)^F for saturated fusion systems F on finite p-groups S, verifying the relationship between the character table determinant and the product of centralizer orders.

Core Technical Framework

1. Structure Theory of F-Stable Characters

• Definition of the set of indecomposable characters Ind(F)
• Establishment of the relation Ch(S)^F = ⟨Ind(F)⟩_Z
• Utilization of the fact that rk_Z(Ch(S)^F) = k(F), where k(F) is the number of F-conjugacy classes

2. Proof Methods for Realizable Cases

For F = F_S(G), the key techniques include:

Brauer Character Characterization: Via Proposition 2.2, $Ch(S)^F = Z[\chi|_S | \chi \in \text{Irr}(G)]$

Column Orthogonality: Through the matrix relation $((DX)^T DX)_{s,t} = \delta_{st}|C_G(s)|$ where D is a coefficient matrix and X is the character table.

Key Equality: Obtaining $|XX^T| = \frac{1}{|C|} \prod_{s \in F^z} |C_G(s)|$

3. Inductive Construction Method (Proposition 2.5)

For exotic fusion systems, the following techniques are developed:

• Selection of appropriate realizable subsystems N ⊆ F
• Construction of F-stable character sets B_F through N-stable bases B_N
• Establishment of the relation |X_(N)| = ±p·|X_(F)| via row transformations
• Verification that B_F is indeed a basis of Ch(S)^F through lattice volume relations

Technical Innovations

1. Volume Method: Innovative application of Z-lattice volume concepts to handle basis transformations in character rings.
2. Decomposition Techniques: Systematic analysis of Γ-orbit structures and stabilizers for fusion systems on groups of order p⁴.
3. Computer-Assisted Verification: Precise computational verification using MAGMA software package for small prime cases.

Experimental Setup

Classification of Research Objects

1. Realizable Fusion Systems: Type F_S(G), where S is a Sylow p-subgroup of G
2. Exotic Fusion Systems: Fusion systems not realizable by finite groups
3. Simple Fusion Systems: Fusion systems with no nontrivial normal subsystems

Specific Cases

• Transitive Fusion Systems: Cases where F^z = {1,z}, directly verifiable
• PSp₄(p)-type Systems: Including systems F^(1), Op'(F^(1)), G, etc.
• Small Order Special Cases: Exceptional cases for p = 3, 5

Computational Tools

MAGMA algebraic system and its FusionSystems package are employed for computational verification.

Experimental Results

Main Results

Proof of Theorem 1.2

Via Proposition 3.2, it is proven that when S is a Sylow p-subgroup of G, (|C|, p) = 1, thus: $|XX^T|_p = \prod_{s \in F^z} |C_G(s)|_p = \prod_{s \in F^z} |C_S(s)|$

Verification of Theorem 1.3

Case-by-case verification for simple fusion systems on groups of order p⁴:

1. F = G Case: Construction of F-stable bases in Table 2, verification of the conjecture
2. F = F^(1) Case: Character construction via Tables 4 and 5, proof of the conjecture
3. F = Op'(F^(1)) Case: Treatment of two subcases p ≡ 1, 3 (mod 4)
4. Small Prime Cases: Computer verification of all exceptional cases for p = 3, 5

Specific Numerical Results

For F = G when p ≥ 5:

• |S^F| = |S^N| - 1 = 6
• The constructed F-stable basis B_F contains 6 linearly independent characters
• Satisfies the conditions of Proposition 2.5, thus the conjecture holds

Important Findings

1. Non-decomposability: Discovery that F^(1) is not a decomposable fusion system, providing examples of infinite families of non-decomposable exotic fusion systems.
2. Saturation Necessity: Example 2.6 shows the conjecture fails for non-saturated fusion systems.
3. Computational Complexity: The verification process requires precise character calculations and orbit analysis.

Related Work

Historical Development

1. Brauer Theory: Classical character theory provides the foundation for this work
2. Olsson's Work: Similar observations already present in 14, using π-block methods
3. Fusion Systems Theory: Foundational theoretical framework from Aschbacher-Kessar-Oliver

Positioning of This Work's Contributions

• First systematic study of character table determinants for fusion systems
• Generalization of classical orthogonality relations for group character tables
• Provision of new research tools for exotic fusion systems

Conclusions and Discussion

Main Conclusions

1. The Semeraro conjecture holds for all realizable fusion systems
2. The conjecture holds for all simple fusion systems with |S| ≤ p⁴
3. Effective methods for handling exotic fusion systems have been developed

Limitations

1. Order Restrictions: Currently only cases with order ≤ p⁴ are addressed
2. Simplicity Assumption: Cases for general fusion systems remain unsolved
3. Computational Complexity: Higher order cases require more sophisticated computational techniques

Future Directions

1. Extension to higher order p-groups
2. Investigation of general (non-simple) fusion systems
3. Exploration of deeper connections with block theory

In-Depth Evaluation

Strengths

1. Theoretical Depth: Skillful combination of classical representation theory with modern fusion systems theory
2. Methodological Innovation: Volume methods and inductive construction techniques have broad applicability
3. Computational Rigor: Combination of theoretical analysis and computer verification ensures reliability
4. Completeness: Comprehensive classification and verification of relevant cases

Weaknesses

1. Technical Threshold: Requires substantial background in representation theory and fusion systems
2. Generalizability: Applicability of methods to higher order cases remains to be verified
3. Computational Dependence: Some results depend on computer verification; theoretical proofs are not entirely direct

Impact

1. Theoretical Contribution: Provides new research directions for representation theory of fusion systems
2. Method Value: Inductive construction methods may be applicable to other problems
3. Computational Tools: Advances development of computational methods for fusion systems

Applicable Scenarios

This work is applicable to:

• Finite group representation theory research
• Fusion systems applications in algebraic topology
• Block theory and modular representation theory
• Character computation in computational group theory

References

The paper cites 18 important references, including:

• Foundational fusion systems theory by Aschbacher-Kessar-Oliver
• Classical work on π-blocks by Olsson
• Recent related research by Sambale and others
• MAGMA computational tools and related algorithm packages

This paper holds significant importance in the study of representation theory for fusion systems. Beyond resolving a specific conjecture, it more importantly develops systematic methods for investigating such problems, laying a solid foundation for subsequent research.