On the invariants of finite groups arising in a topological quantum field theory

Basic Information

• Paper ID: 2510.14971
• Title: On the invariants of finite groups arising in a topological quantum field theory
• Authors: Christopher A. Schroeder, Hung P. Tong-Viet
• Classification: math.GR (Group Theory), math.RT (Representation Theory), quant-ph (Quantum Physics)
• Publication Date: October 17, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.14971

Abstract

This paper investigates properties of finite groups as witnessed by group invariants arising in the context of Dijkgraaf-Witten theory (a topological quantum field theory), which serve as invariants of surfaces. These invariants can be viewed as generalizations of the commuting probability, a classical invariant extensively studied in the group theory literature.

Research Background and Motivation

1. Core Problem: The paper investigates how to utilize group invariants naturally arising in topological quantum field theory to characterize structural properties of finite groups, particularly commutativity, nilpotency, supersolvability, and solvability.
2. Problem Significance:
   • Group invariants have a long history in deriving structural properties of finite groups
   • The compatibility between mathematics and physics suggests that group invariants naturally arising in physics should be useful for characterizing group structure
   • This establishes new connections between group theory and topological quantum field theory
3. Limitations of Existing Methods:
   • Traditional approaches typically construct invariants by computing objects associated with groups (such as elements, conjugacy classes, or irreducible characters)
   • Research on commuting probability d(G) = k(G)/|G| is well-developed, but lacks higher-dimensional generalizations
4. Research Motivation:
   • The invariant qₕ(G) derived from Dijkgraaf-Witten theory can be viewed as a natural generalization of commuting probability
   • Exploring whether these "quantum invariants" can witness the same group structural properties as commuting probability

Core Contributions

1. Established a new family of group invariants: Defined qₕ(G) := (1/|G|)∑_{χ∈Irr(G)} (1/χ(1))^{2h-2}, where h is the genus parameter
2. Proved extensive structural characterization criteria: Generalized classical results on commuting probability to all genera h ≥ 1:
   • If qₕ(G) > qₕ(D₈), then G is abelian
   • If qₕ(G) > qₕ(S₃), then G is nilpotent
   • If qₕ(G) > qₕ(A₄), then G is supersolvable
   • If qₕ(G) > qₕ(A₅), then G is solvable
3. Established p-closure characterization criteria: Proved that if qₕ(G) > β(h,p)/(p+1), then G has a normal Sylow p-subgroup
4. Introduced p-local versions: Defined qₕ,p'(G) and proved corresponding p-solvability characterization criteria

Methodology Details

Task Definition

Study the invariant qₕ(G) = (1/|G|)∑_{χ∈Irr(G)} (1/χ(1))^{2h-2} of finite groups G, where χ ranges over all complex irreducible characters of G, and h is a positive integer (corresponding to the genus of a surface).

Theoretical Framework

1. Invariant Definition

• Primary invariant: qₕ(G) := (1/|G|)∑_{χ∈Irr(G)} (1/χ(1))^{2h-2}
• Special cases: q₀(G) = 1, q₁(G) = k(G)/|G| = d(G) (commuting probability)
• p-local version: qₕ,p'(G) = (1/|G|p')∑_{φ∈IBr(G)} 1/φ(1)^{2h-2}

2. Key Lemmas

Monotonicity (Lemma 2.2): If H ≤ G, then qₕ(H) ≥ qₕ(G) for all h ≥ 1.

The proof strategy utilizes Frobenius reciprocity and properties of character induction.

3. Technical Innovations

• Minimal counterexample method: All main theorems employ inductive proof by minimal counterexample
• Monotonicity exploitation: Through monotonicity, all proper subgroups of the minimal counterexample satisfy the desired property
• Character degree analysis: Detailed analysis of the distribution of irreducible character degrees

Core Theorem Proof Strategy

Theorem 1.1(a) - Commutativity Characterization

1. Assume G is the minimal non-abelian counterexample
2. Utilize Gustafson's result: d(G) ≤ 5/8
3. Prove G must be nilpotent (via normality of Sylow subgroups)
4. Prove all odd-order Sylow subgroups are abelian
5. For 2-groups, utilize |G'| = 2 to derive a contradiction

Theorem 1.1(b) - Nilpotency Characterization

1. Utilize structural theory of minimal non-nilpotent groups
2. Prove G ≅ Q ⋊ P, where Q is an odd-order Sylow subgroup and P is a cyclic group of order 2
3. Derive a contradiction through character degree calculations yielding q < 3

Experimental Setup

Theoretical Verification

This is primarily theoretical work verified through rigorous mathematical proofs. Key verifications include:

1. Boundary case verification: Prove all characterization criteria are optimal
2. Extremal group analysis: For each criterion, identify specific groups achieving the boundary
3. Monotonicity verification: Prove monotonicity of qₕ(G) with respect to subgroups

Computational Verification

The paper provides concrete invariant calculations for specific groups:

• D₈: qₕ(D₈) = (1/2)(1 + 1/2^{2h})
• S₃: qₕ(S₃) = (1/3)(1 + 1/2^{2h-1})
• A₄: qₕ(A₄) = (1/4)(1 + 1/3^{2h-1})
• A₅: qₕ(A₅) = complex explicit expression

Experimental Results

Main Results

1. Complete Generalization of Structural Characterization Criteria

All classical commuting probability characterization criteria are successfully generalized to arbitrary genera:

2. p-Closure Characterization Criteria

For a prime p, if qₕ(G) > β(h,p)/(p+1), where β(h,p) = 1 + 1/p^{2h-1}, then G has a normal Sylow p-subgroup.

3. p-Solvability Characterization Criteria

For an odd prime p, if qₕ,p'(G) > α(h,p)/(p-1), where α(h,p) = (2^{2h-2} + √(p-1))/(2^{2h-2}√(p-1)), then G is p-solvable.

Optimality Analysis

• Theorem 1.2 is optimal: When p = 2^f - 1 is a Mersenne prime, the Frobenius group G = (C₂)^f ⋊ Cₚ satisfies qₕ(G) = β(h,p)/(p+1) but lacks a normal Sylow p-subgroup
• Theorem 1.3 is optimal for h=1: dₚ'(PSL₂(p)) = 1/(p-1)

Important Observations

The paper provides an important phenomenon analysis: qₕ(G) tends to 1/|G'| as h → ∞, leading to non-monotonic ordering of invariants.

Related Work

Commuting Probability Research

• Gustafson (1973): First introduced the concept of commuting probability
• Lescot: Established nilpotency characterization criteria
• Barry, MacHale, Ní Shé: Proved supersolvability characterization criteria
• Dixon: Established solvability characterization criteria
• Guralnick-Robinson: Systematically studied various properties of commuting probability

Topological Quantum Field Theory

• Dijkgraaf-Witten: Established topological quantum field theory based on finite groups
• Atiyah: Provided categorical axiomatization of TQFT
• Witten: Demonstrated connections between TQFT and topological invariants

Character Theory

• Brauer: k(GV)-theorem plays a key role in supersolvability proofs
• Isaacs: Systematic development of character theory provides technical foundation for this paper

Conclusions and Discussion

Main Conclusions

1. Complete generalization: All major structural characterization criteria for commuting probability can be generalized to quantum invariants of arbitrary genera
2. New p-local theory: Established p-local version theory based on Brauer characters
3. Optimality: Most results are optimal, with specific examples achieving the boundaries

Limitations

1. Non-optimality of Theorem 1.3: For h > 1, the p-solvability characterization criterion may not be optimal
2. Monotonicity issues: Unable to prove qₕ(G) ≤ qₕ(N)qₕ(G/N) when N ⊴ G
3. Classification dependence: The proof of Theorem 1.3 depends on the Classification of Finite Simple Groups

Future Directions

1. Improved p-solvability bounds: Improving the lower bound kₚ'(G) > √(p-1) would directly improve Theorem 1.3
2. Dual invariant research: Authors mention dual invariants q̃ₕ(G) based on conjugacy class sizes
3. More general exponents: Results can be generalized to arbitrary real exponents s ≥ 1

In-Depth Evaluation

Strengths

1. Theoretical depth: Successfully establishes profound connections between group theory and topological quantum field theory
2. Technical innovation: Cleverly transforms surface invariants from TQFT into structural characterization tools for groups
3. Completeness: Systematically generalizes all major results on commuting probability
4. Optimality: Most results prove optimality, demonstrating deep understanding

Weaknesses

1. Computational complexity: Computing qₕ(G) is more complex than commuting probability, potentially limiting practical applications
2. Physical motivation: While originating from TQFT, the application of physical intuition is relatively limited
3. Technical dependence: Some proofs depend on deep results such as the Classification of Finite Simple Groups

Impact

1. Interdisciplinary bridge: Opens new directions for cross-disciplinary research between group theory and topological quantum field theory
2. Methodological contribution: Demonstrates how to apply invariants from physical theories to group-theoretic research
3. Theoretical completeness: Provides a natural and complete generalization of commuting probability theory

Applicable Scenarios

1. Theoretical group theory research: Provides new tools for studying finite group structure
2. Representation theory applications: Studies group properties through irreducible character degrees
3. Mathematical physics: Provides concrete examples of TQFT applications in group theory

References

The paper cites 31 important references spanning multiple fields including group theory, representation theory, and topological quantum field theory, providing a solid theoretical foundation for interdisciplinary research.

Overall Assessment: This is a high-quality theoretical mathematics paper that successfully introduces concepts from topological quantum field theory into group-theoretic research, establishing a profound and complete theoretical system. The paper is technically rigorous and theoretically innovative, making important contributions to cross-disciplinary research between group theory and mathematical physics.