Kernels of Brauer characters and Isaacs' partial characters

Basic Information

• Paper ID: 2510.11655
• Title: Kernels of Brauer characters and Isaacs' partial characters
• Author: Mark L. Lewis (Kent State University)
• Classification: math.GR (Group Theory)
• Publication Date: October 13, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.11655

Abstract

This paper establishes a property of the kernels of Brauer characters, proposes a candidate definition for the kernels of Isaacs' partial characters, and proves that this candidate definition possesses the same property.

Research Background and Motivation

Problem Background

1. Core Problem: In finite group theory, how to define appropriate kernels for Brauer characters and Isaacs' π-partial characters such that they possess properties analogous to those of ordinary character kernels.
2. Significance:
   • In recent years, determining which results applicable to ordinary characters of groups also apply to Brauer characters has become a research focus
   • Currently, there are few results concerning the transfer of character kernel properties to Brauer character kernels
   • For the development of π-theory, it is necessary to establish appropriate definitions of partial character kernels
3. Limitations of Existing Methods:
   • For ordinary characters, the kernel can be expressed directly through character values (requiring only the character table)
   • For Brauer characters, the kernel is defined as the kernel of the representation providing that character, but it is desirable to express it solely through character values
   • For π-partial characters, the definition of kernels is more difficult due to the absence of a natural representation theory
4. Research Motivation:
   • Establish a unified framework for handling kernels of different types of characters
   • Develop π-theoretic methods independent of representation theory
   • Provide a reasonable kernel definition for π-partial characters

Core Contributions

1. Established an explicit formula for Brauer character kernels (Theorem 1): For a Brauer character φ, its kernel ker(φ) = K(φ), where K(φ)/L(φ) = O_p(G/L(φ)), and L(φ) = ⟨g ∈ G° | φ(g) = φ(1)⟩
2. Proposed a candidate definition for π-partial character kernels: For a π-partial character φ, define K(φ)/L(φ) = O_{π'}(G/L(φ)) as its kernel
3. Proved the correctness of the candidate definition (Theorem 2): Demonstrated that when χ ∈ B_π(G) and χ° = φ, then ker(χ) = K(φ)
4. Established results on intersections of character kernels: Proved that the intersection of all irreducible Brauer character kernels equals O_p(G), and the intersection of all π-partial character kernels equals O_{π'}(G)

Detailed Methodology

Task Definition

Study kernels of characters on finite groups G, including:

• Input: Finite group G, prime p (or set of primes π), corresponding character φ
• Output: Kernel ker(φ) of character φ
• Constraints: The kernel should be a normal subgroup of G with reasonable group-theoretic significance

Core Concepts and Definitions

Kernels of Brauer Characters

For prime p and p-solvable group G:

• G° = set of all p-regular elements in G
• For φ ∈ IBr(G), define L(φ) = ⟨g ∈ G° | φ(g) = φ(1)⟩
• Define K(φ) such that K(φ)/L(φ) = O_p(G/L(φ))
• Theorem 1 asserts: K(φ) = ker(φ)

Kernels of π-Partial Characters

For set of primes π and π-separable group G:

• G° = set of all π-elements in G
• π-partial characters are restrictions of ordinary characters to G°
• Use the same formula: L(φ) = ⟨x ∈ G° | φ(x) = φ(1)⟩
• K(φ)/L(φ) = O_{π'}(G/L(φ))

Technical Innovations

1. Unified Formula Framework: Employed the same kernel definition pattern for both Brauer characters and π-partial characters
2. Dependence Only on Character Values: Kernel computation requires only the character table and conjugacy class information, not explicit representations
3. Bridging Different Theories: Connected Brauer theory and Isaacs' π-theory, proving their consistency in the p-solvable case

Main Theorems and Proof Strategies

Proof Strategy for Theorem 1

1. Utilize Navarro's definition of Brauer character kernel: ker(φ) = {g ∈ G | X(g) = I}
2. Prove L(φ) = {g ∈ G° | X(g) = I}, using properties of sums of complex roots of unity
3. Reduce to the case L(φ) = 1, employing the known result O_p(G) ≤ ker(X)
4. Prove ker(X) ≤ O_p(G), thereby obtaining the equality

Proof Strategy for Theorem 2

1. Use Lemma 3.1 to establish L(φ) ≤ ker(χ) ≤ K(φ)
2. Apply properties of B_π(G) characters and Corollary 5.3
3. Prove O_{π'}(G/L(φ)) ≤ ker(χ), thereby obtaining K(φ) ≤ ker(χ)
4. Combine inequalities to obtain ker(χ) = K(φ)

Auxiliary Results

Unique Characterization of Kernels

• Lemma 3.3: K(φ) is the maximal normal subgroup such that φ(x) = φ(1) for all x ∈ K(φ)°
• Lemma 3.4: K(φ) is the maximal normal subgroup such that φ is constant on cosets of π-elements

Intersection Theorems for Kernels

• Theorem 2.1: ⋂_{φ∈IBr(G)} ker(φ) = O_p(G)
• Theorem 3.5: ⋂{φ∈I_π(G)} ker(φ) = ⋂{χ∈B_π(G)} ker(χ) = O_{π'}(G)

Related Work

1. Isaacs' π-theory: Foundational theoretical framework generalizing Brauer theory to π-separable groups
2. Fong-Swan Theorem: Key tool in π-theory, avoiding direct use of characteristic p representations
3. Navarro's Brauer Theory: Provides standard definitions of Brauer character kernels
4. Various Canonical Lifts: Research on B_π-characters and other lifts

Conclusions and Discussion

Main Conclusions

1. Established explicit computational formulas for Brauer character kernels
2. Provided reasonable kernel definitions for π-partial characters
3. Proved consistency of the two definitions in respective cases
4. Provided computational methods depending only on character tables

Limitations

1. Results primarily apply to p-solvable groups and π-separable groups
2. Generalization to arbitrary finite groups requires further work
3. Kernel definition for π-partial characters still indirectly depends on B_π-characters

Future Directions

1. Extend to more general classes of finite groups
2. Investigate whether other canonical lifts yield the same kernels
3. Develop additional π-theoretic results independent of representation theory

In-Depth Evaluation

Strengths

1. Significant Theoretical Contribution: Resolves two important characterization problems for kernels in character theory
2. Unified and Elegant Method: Provides a unified treatment framework for different types of characters
3. Rigorous and Complete Proofs: All major results include complete proofs
4. High Practical Value: Provides methods for computing kernels using only character tables

Weaknesses

1. Limited Scope of Applicability: Main results restricted to solvable group classes
2. Dependency Issues: Kernel definition for π-partial characters still indirectly depends on representation theory
3. Lack of Concrete Examples: Relatively few concrete computational examples in the paper

Impact

1. Theoretical Value: Provides new tools and perspectives for character theory
2. Connecting Role: Establishes important connections between Brauer theory and π-theory
3. Foundation for Future Research: Lays groundwork for further development of π-theory

Applicable Scenarios

1. Research in finite group representation theory
2. Structure analysis of solvable groups and π-separable groups
3. Computational problems in character theory
4. Comparative studies of Brauer theory and π-theory

References

The paper cites important literature in the field, including:

• Isaacs' classical works Character Theory of Finite Groups and π-theory series papers
• Navarro's Characters and Blocks of Finite Groups
• Related π-theory development literature and representation theory monographs