On a character correspondence associated to $\mathfrak{F}$-projectors

Basic Information

• Paper ID: 2503.03737
• Title: On a character correspondence associated to $\mathfrak{F}$-projectors
• Authors: María José Felipe, Iris Gilabert, Lucia Sanus
• Classification: math.GR (Group Theory)
• Publication Date: October 15, 2025 (arXiv version)
• Paper Link: https://arxiv.org/abs/2503.03737v3

Abstract

This paper investigates the favorable properties of head characters of finite solvable groups, as defined by I. M. Isaacs, under restriction operations. The authors determine the intersection of kernels of all head characters of a group. Using G. Navarro's definition of $\mathfrak{F}'$-characters, these results are generalized to arbitrary saturated formations $\mathfrak{F}$ containing the formation of nilpotent groups.

Research Background and Motivation

1. Research Problem: This paper primarily investigates the behavior of head characters of finite solvable groups under restriction operations and the intersection properties of their kernels.
2. Problem Significance:
   • Head characters are an important class of irreducible characters constructed by Isaacs in 2022, related to linear characters of Carter subgroups
   • These characters have significant theoretical importance in group theory, but their general properties are poorly understood
   • Studying their restriction properties contributes to deeper understanding of solvable group structure
3. Limitations of Existing Methods:
   • Isaacs' original work primarily focuses on the existence and enumeration of head characters
   • Systematic study of head character behavior under restriction operations is lacking
   • A unified theory within a more general framework is absent
4. Research Motivation:
   • Inspired by Gabriel Navarro's theory of $\mathfrak{F}'$-characters
   • Aims to generalize properties of head characters to more general saturated formation frameworks
   • Provides tools for resolving related open problems

Core Contributions

1. Established restriction properties of head characters (Theorem A): For any normal subgroup $N$ of a finite solvable group $G$ and head character $\chi$, the restriction $\chi_N$ contains a unique irreducible character invariant under Carter subgroups.
2. Determined the intersection of head character kernels (Theorem B): Proved that the intersection of all head character kernels is the largest normal subgroup $N$ satisfying $N \cap C \subseteq C'$, where $C$ is a Carter subgroup.
3. Established complete theory of $\mathfrak{F}'$-characters: Generalized the above results to arbitrary saturated formations $\mathfrak{F}$ containing the formation of nilpotent groups, providing a characterization of $\mathfrak{F}'$-characters.
4. Provided characterization of strong pairs: Introduced the concept of $\mathfrak{F}$-head characters and proved their equivalence with $\mathfrak{F}'$-characters.

Methodology Details

Task Definition

Study character correspondences in finite solvable groups $G$ associated with $\mathfrak{F}$-projectors $H$, particularly the behavior of these characters when restricted to normal subgroups.

Theoretical Framework

1. Theory of $\mathfrak{F}$-projectors

For a saturated formation $\mathfrak{F}$ and solvable group $G$, there exists a unique conjugacy class of subgroups $H$ satisfying:

• For each normal subgroup $N$, $HN/N$ is $\mathfrak{F}$-maximal in $G/N$
• When $\mathfrak{N} \subseteq \mathfrak{F}$, $H$ is self-normalizing

2. Navarro Condition

A triple $(G,K,L)$ satisfies the Navarro condition with respect to $\mathfrak{F}$ if:

• $K,L$ are normal subgroups of $G$ and $K/L$ is abelian
• $KH = G$ and $K \cap LH = L$

3. Construction of $\mathfrak{F}'$-characters

$\mathfrak{F}'$-characters are constructed through a recursive process:

• Set $K_0 = G^{\mathfrak{F}}$, $L_0 = K_0'$
• For $i \geq 1$, define $K_i = (L_{i-1}H)^{\mathfrak{F}}$, $L_i = K_i'$
• Construct inductively starting from linear characters

Technical Innovations

1. Application of Character Extension Theory

Theorem 3.7: Under appropriate conditions, establishes correspondence between $H$-invariant character extensions:

• If $\eta$ is an irreducible extension of $\phi$ to $LH$, then there exists an extension $\chi$ of $\theta$ to $G$ lying above $\eta$
• Conversely, the same holds

2. Characterization of Strong Pairs

Theorem 4.1: A character $\chi \in \text{Irr}_{\mathfrak{F}'}(G)$ if and only if:

• $\chi_{K_0}$ is irreducible
• There exists a character chain $(1,1) = (K_m,\theta_m) \triangleleft \cdots \triangleleft (K_0,\theta_0) \triangleleft (G,\chi)$

3. Equivalence Theorem

Theorem 5.4: Proves the equivalence between $\mathfrak{F}'$-characters and $\mathfrak{F}$-head characters, unifying two different definitional approaches.

Main Theorems

Theorem A (Generalized Version 6.4)

Let $\mathfrak{F}$ be a saturated formation containing $\mathfrak{N}$, $G$ a solvable group, $H$ an $\mathfrak{F}$-projector, and $N$ a normal subgroup of $G$. Then:

1. Uniqueness: $\chi_N$ contains a unique $H$-invariant irreducible constituent $\theta$
2. Divisibility of degrees: $\theta(1) | \chi(1)$ and $\chi(1)/\theta(1) | |G:NH|$
3. Restriction to $\mathfrak{F}'$-characters: When $G$ has odd order, $\chi_{NH}$ contains an $\mathfrak{F}'$-character $\gamma$ of $NH$ with $\gamma_N = \theta$

Theorem B (Generalized Version 7.5)

Let $H$ be an $\mathfrak{F}$-projector of solvable group $G$. Then $\bigcap_{\chi \in \text{Irr}_{\mathfrak{F}'}(G)} \ker(\chi)$ is the largest normal subgroup $M$ satisfying $M \cap H \subseteq H'$.

Proof Techniques

1. Induction and Reduction

• Induction on the order of the group
• Reduction using properties of chief factors

2. Application of Gallagher's Theorem

Establishes correspondence of character extensions on abelian quotient groups using Gallagher's theorem.

3. Invariance Arguments

Analyzes invariance properties of characters through inertia subgroups and conjugacy actions.

Applications and Generalizations

1. Carter Subgroup Case

When $\mathfrak{F} = \mathfrak{N}$, reduces to Isaacs' original head character theory.

2. Sylow Subgroup Case

When $\mathfrak{F}$ is the formation of $p$-groups, $\mathfrak{F}'$-characters correspond to $p'$-degree characters, recovering the solvable case of McKay's conjecture.

3. Navarro's Unpublished Result

Theorem C: For $p$-solvable groups, the intersection of kernels of $p'$-degree characters is the largest normal subgroup $N$ satisfying $N_N(P) \subseteq P'$.

Related Work

1. Isaacs' head character theory 10: Establishes character correspondence related to Carter subgroups
2. Navarro's $\mathfrak{F}'$-characters 13: Provides a unified framework for handling various character correspondences
3. Dade-Gajendragadkar theory 2,4: Studies characters related to systematic normalizers
4. Gaschütz's formation theory 5: Provides theoretical foundations for projector theory

Conclusions and Discussion

Main Conclusions

1. Establishes favorable properties of $\mathfrak{F}'$-characters under restriction operations
2. Completely characterizes the intersection of kernels of these characters
3. Unifies multiple character correspondence theories

Limitations

1. For even-order groups, certain results require additional assumptions
2. Theory primarily applies to solvable groups
3. Computational complexity is insufficiently discussed

Future Directions

1. Investigate whether character tables determine the set of head characters
2. Generalize to broader classes of groups
3. Explore relationships with other character correspondences

In-Depth Evaluation

Strengths

1. Theoretical Depth: Provides profound theoretical analysis, unifying multiple related results
2. Technical Innovation: Skillfully combines projector theory and character theory
3. Completeness: Provides complete proofs and multiple equivalent characterizations
4. Generalizability: Generalizes Isaacs' results to more general frameworks

Weaknesses

1. Technical Limitations: Treatment of even-order groups is incomplete
2. Computational Aspects: Lacks effective computational methods
3. Application Scope: Primarily limited to theoretical research

Impact

This paper makes important contributions to character theory in group theory and is expected to influence subsequent research in related fields, particularly in finite group representation theory and formation theory.

Applicable Scenarios

Applicable to finite group theory, algebraic representation theory, and mathematical research fields requiring detailed analysis of group structure.

References

The paper cites 21 important references, including classical works by Isaacs, Navarro, Dade, and others, demonstrating a solid theoretical foundation.