Noyaux des caractères de Brauer et caractères partiels d'Isaacs

Informations fondamentales

• ID de l'article: 2510.11655
• Titre: Kernels of Brauer characters and Isaacs' partial characters
• Auteur: Mark L. Lewis (Kent State University)
• Classification: math.GR (Théorie des groupes)
• Date de publication: 13 octobre 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2510.11655

Résumé

Cet article démontre une propriété du noyau des caractères de Brauer, propose une définition candidate pour le noyau des caractères partiels π d'Isaacs, et prouve que cette définition candidate possède les mêmes propriétés.

Contexte et motivation de la recherche

Contexte du problème

1. Problème central: En théorie des groupes finis, comment définir convenablement le noyau des caractères de Brauer et des caractères partiels π d'Isaacs, de manière à posséder des propriétés analogues à celles du noyau des caractères ordinaires.
2. Importance:
   • Récemment, la détermination des résultats applicables aux caractères ordinaires des groupes qui s'étendent également aux caractères de Brauer est devenue un sujet de recherche actif
   • Actuellement, peu de résultats concernent la transformation du noyau des caractères en noyau des caractères de Brauer
   • Pour le développement de la théorie π, il est nécessaire d'établir une définition appropriée du noyau des caractères partiels
3. Limitations des approches existantes:
   • Pour les caractères ordinaires, le noyau peut être exprimé directement par les valeurs des caractères (seule la table de caractères est nécessaire)
   • Pour les caractères de Brauer, le noyau est défini comme le noyau de la représentation fournissant ce caractère, mais on souhaite pouvoir l'exprimer uniquement par les valeurs des caractères
   • Pour les caractères partiels π, la définition du noyau est plus difficile car il n'existe pas de théorie naturelle des représentations
4. Motivation de la recherche:
   • Établir un cadre unifié pour traiter le noyau de différents types de caractères
   • Développer des méthodes de théorie π indépendantes des représentations
   • Fournir une définition raisonnable du noyau pour les caractères partiels π

Contributions principales

1. Démonstration d'une formule explicite pour le noyau des caractères de Brauer (Théorème 1): Pour un caractère de Brauer φ, son noyau ker(φ) = K(φ), où K(φ)/L(φ) = O_p(G/L(φ)), L(φ) = ⟨g ∈ G° | φ(g) = φ(1)⟩
2. Proposition d'une définition candidate pour le noyau des caractères partiels π: Pour un caractère partiel π φ, définir K(φ)/L(φ) = O_{π'}(G/L(φ)) comme son noyau
3. Démonstration de la correction de la définition candidate (Théorème 2): Preuve que lorsque χ ∈ B_π(G) et χ° = φ, alors ker(χ) = K(φ)
4. Établissement de résultats sur l'intersection des noyaux de caractères: Preuve que l'intersection de tous les noyaux des caractères de Brauer irréductibles égale O_p(G), et l'intersection de tous les noyaux des caractères partiels π égale O_{π'}(G)

Explication détaillée de la méthode

Définition de la tâche

Étude du noyau des caractères sur les groupes finis G, incluant:

• Entrée: Groupe fini G, nombre premier p (ou ensemble de nombres premiers π), caractère correspondant φ
• Sortie: Noyau ker(φ) du caractère φ
• Contraintes: Le noyau doit être un sous-groupe normal de G et posséder une signification théorique des groupes raisonnable

Concepts et définitions fondamentaux

Noyau des caractères de Brauer

Pour un nombre premier p et un groupe p-résoluble G:

• G° = ensemble de tous les éléments p-réguliers de G
• Pour φ ∈ IBr(G), définir L(φ) = ⟨g ∈ G° | φ(g) = φ(1)⟩
• Définir K(φ) tel que K(φ)/L(φ) = O_p(G/L(φ))
• Le Théorème 1 affirme: K(φ) = ker(φ)

Noyau des caractères partiels π

Pour un ensemble de nombres premiers π et un groupe π-séparable G:

• G° = ensemble de tous les éléments π de G
• Les caractères partiels π sont les restrictions des caractères ordinaires à G°
• Utiliser la même formule: L(φ) = ⟨x ∈ G° | φ(x) = φ(1)⟩
• K(φ)/L(φ) = O_{π'}(G/L(φ))

Points d'innovation technique

1. Cadre de formule unifié: Utilisation du même modèle de définition du noyau pour les caractères de Brauer et les caractères partiels π
2. Dépendance uniquement des valeurs des caractères: Le calcul du noyau ne nécessite que la table de caractères et les informations de classes de conjugaison, sans représentation concrète
3. Pont entre différentes théories: Connexion entre la théorie de Brauer et la théorie π d'Isaacs, démonstration de leur cohérence dans le cas p-résoluble

Théorèmes principaux et stratégies de preuve

Stratégie de preuve du Théorème 1

1. Utilisation de la définition de Navarro du noyau des caractères de Brauer: ker(φ) = {g ∈ G | X(g) = I}
2. Preuve que L(φ) = {g ∈ G° | X(g) = I}, utilisant les propriétés des sommes de racines de l'unité complexes
3. Réduction au cas L(φ) = 1, utilisant le résultat connu O_p(G) ≤ ker(X)
4. Preuve que ker(X) ≤ O_p(G), d'où l'égalité

Stratégie de preuve du Théorème 2

1. Utilisation du Lemme 3.1 pour établir L(φ) ≤ ker(χ) ≤ K(φ)
2. Utilisation des propriétés des caractères B_π(G) et du Corollaire 5.3
3. Preuve que O_{π'}(G/L(φ)) ≤ ker(χ), d'où K(φ) ≤ ker(χ)
4. Combinaison des inégalités pour obtenir ker(χ) = K(φ)

Résultats auxiliaires

Caractérisation unique du noyau

• Lemme 3.3: K(φ) est le plus grand sous-groupe normal tel que φ(x) = φ(1) pour tous les x ∈ K(φ)°
• Lemme 3.4: K(φ) est le plus grand sous-groupe normal tel que φ soit constante sur les classes latérales des éléments π

Théorème d'intersection des noyaux

• Théorème 2.1: ⋂_{φ∈IBr(G)} ker(φ) = O_p(G)
• Théorème 3.5: ⋂{φ∈I_π(G)} ker(φ) = ⋂{χ∈B_π(G)} ker(χ) = O_{π'}(G)

Travaux connexes

1. Théorie π d'Isaacs: Cadre théorique fondamental, généralisation de la théorie de Brauer aux groupes π-séparables
2. Théorème de Fong-Swan: Outil clé de la théorie π, évitant l'utilisation directe des représentations en caractéristique p
3. Théorie de Brauer de Navarro: Fournit la définition standard du noyau des caractères de Brauer
4. Divers relèvements canoniques: Recherche sur les caractères B_π et autres relèvements

Conclusion et discussion

Conclusions principales

1. Établissement d'une formule de calcul explicite pour le noyau des caractères de Brauer
2. Fourniture d'une définition raisonnable du noyau pour les caractères partiels π
3. Démonstration de la cohérence des deux définitions dans les cas correspondants
4. Fourniture d'une méthode de calcul dépendant uniquement de la table de caractères

Limitations

1. Les résultats s'appliquent principalement aux groupes p-résolubles et π-séparables
2. La généralisation à des classes de groupes finis plus générales nécessite davantage de travail
3. La définition du noyau des caractères partiels π dépend encore indirectement des caractères B_π

Directions futures

1. Généralisation à des classes de groupes finis plus générales
2. Étude de la question de savoir si d'autres relèvements canoniques donnent le même noyau
3. Développement de plus nombreux résultats de théorie π indépendants des représentations

Évaluation approfondie

Avantages

1. Contribution théorique significative: Résolution de deux problèmes importants de caractérisation du noyau en théorie des caractères
2. Méthode unifiée et élégante: Fourniture d'un cadre de traitement unifié pour différents types de caractères
3. Preuve rigoureuse et complète: Tous les résultats principaux possèdent des preuves complètes
4. Valeur pratique élevée: Fourniture d'une méthode de calcul du noyau ne nécessitant que la table de caractères

Insuffisances

1. Portée d'application limitée: Les résultats principaux se limitent à la classe des groupes résolubles
2. Problème de dépendance: La définition du noyau des caractères partiels π dépend encore indirectement de la théorie des représentations
3. Manque d'exemples concrets: Peu d'exemples de calculs concrets dans l'article

Impact

1. Valeur théorique: Fourniture de nouveaux outils et perspectives pour la théorie des caractères
2. Rôle de connexion: Établissement de liens importants entre la théorie de Brauer et la théorie π
3. Recherche ultérieure: Fondation pour le développement ultérieur de la théorie π

Scénarios d'application

1. Recherche en théorie des représentations des groupes finis
2. Analyse de la structure des groupes résolubles et π-séparables
3. Problèmes de calcul en théorie des caractères
4. Recherche comparative entre la théorie de Brauer et la théorie π

Références bibliographiques

L'article cite les ouvrages importants du domaine, incluant:

• Les œuvres classiques d'Isaacs « Character Theory of Finite Groups » et la série d'articles sur la théorie π
• « Characters and Blocks of Finite Groups » de Navarro
• Littérature pertinente sur le développement de la théorie π et les monographies de théorie des représentations