AnalyseThéorème · Glossaire
Brauer (théorème de)
Le théorème de Brauer est un résultat de la théorie des représentations des groupes finis qui affirme que tout caractère d'un groupe fini peut s'exprimer comme combinaison linéaire à coefficients entiers de caractères induits depuis des sous-groupes élémentaires. Un sous-groupe p-élémentaire est le produit direct d'un groupe cyclique d'ordre premier à p et d'un p-groupe. Ce théorème est utile pour montrer que les fonctions L d'Artin sont des produits de fonctions L plus simples, et joue un rôle dans la preuve de leur prolongement méromorphe.
Sommaire
Ce que vous allez apprendre
- Identifier les hypothèses et la conclusion du théorème d'induction de Brauer.
- Suivre l'induction d'un caractère de C3 vers S3 avec les valeurs exactes 2, 0 et −1.
- Distinguer combinaison entière, décomposition de représentation et induction d'Artin.
- Relier le théorème au prolongement méromorphe des fonctions L d'Artin.
En clair
Prenez les six façons de permuter trois objets. Une représentation transforme ces permutations en opérations sur des vecteurs, et son caractère en conserve une empreinte numérique. Le théorème de Brauer affirme que cette empreinte peut être reconstruite à partir de sous-groupes mieux organisés.
La reconstruction ressemble à un assemblage de briques simples. Certaines briques peuvent toutefois être soustraites : les coefficients sont des entiers, pas seulement des nombres positifs. Dans l'exemple des trois objets, un sous-groupe cyclique à trois éléments suffit même à produire le caractère standard.
Définition
Le théorème d'induction de Brauer porte sur les caractères ordinaires, c'est-à-dire les traces des représentations complexes d'un groupe fini. Induire un caractère consiste à partir d'une représentation d'un sous-groupe et à construire la représentation correspondante du groupe entier. Le théorème garantit que tout caractère du groupe est une somme à coefficients entiers de tels caractères induits. Les entiers peuvent être négatifs.
Dans la formulation standard, un groupe élémentaire relatif à un nombre premier p est le produit direct d'un groupe cyclique d'ordre premier à p et d'un p-groupe, dont l'ordre est une puissance de p. Le sous-groupe utilisé doit être élémentaire pour au moins un nombre premier. Cette notion ne signifie donc pas, en général, que tous ses sous-groupes de Sylow sont cycliques. Cette dernière condition décrit une classe plus étroite.
Le résultat ramène ainsi des identités sur les caractères du groupe à des calculs sur des sous-groupes élémentaires. Il intervient aussi dans l'écriture des fonctions L d'Artin comme produits, avec exposants entiers, de fonctions L attachées à des données plus simples.
Le principe
Soit G un groupe fini et soit χ le caractère d'une représentation complexe de G. Alors il existe des sous-groupes élémentaires Hi de G, des caractères ψi de ces sous-groupes et des entiers relatifs ni tels que :
Le symbole d'induction désigne le passage du caractère ψi, défini sur Hi, à un caractère de G. L'égalité vaut comme égalité de fonctions sur G.
Quand l'utiliser
Le groupe G doit être fini et χ doit être un caractère ordinaire sur les nombres complexes. Pour chaque terme, Hi est un sous-groupe de G qui est élémentaire relativement à un nombre premier ; le caractère ψi est défini sur ce sous-groupe. La conclusion fournit une combinaison à coefficients dans les entiers relatifs, sans imposer leur positivité ni l'unicité de l'écriture.
Pour un groupe infini, ces hypothèses ne sont plus remplies : le théorème ne donne pas automatiquement une somme finie de caractères induits. Il faut alors employer des outils adaptés aux représentations des groupes infinis. De même, en caractéristique positive, les caractères modulaires demandent un cadre distinct.
Un exemple, pas à pas
Considérons le groupe G = S3 des six permutations de trois objets. Son sous-groupe H = A3 contient l'identité e et les deux cycles r et r² ; il est cyclique d'ordre 3. Choisissons sur H le caractère linéaire θ défini par θ(r) = ζ, où ζ est une racine cubique de l'unité différente de 1.
1. L'indice de H dans G vaut 2, donc le caractère induit a la valeur 2 en e.
2. Aucune transposition n'appartient à H, donc sa valeur sur les transpositions est 0.
3. Les deux cycles d'ordre 3 sont échangés par conjugaison ; leur valeur induite est ζ + ζ² = −1.
4. On obtient ainsi les valeurs 2, 0 et −1 sur les trois classes de conjugaison de S3.
2. Aucune transposition n'appartient à H, donc sa valeur sur les transpositions est 0.
3. Les deux cycles d'ordre 3 sont échangés par conjugaison ; leur valeur induite est ζ + ζ² = −1.
4. On obtient ainsi les valeurs 2, 0 et −1 sur les trois classes de conjugaison de S3.
Ce triplet est celui du caractère standard χ de S3. Le contrôle est immédiat en l'identité : sa valeur 2 est bien la dimension de la représentation induite. Dans ce cas, la combinaison de Brauer se réduit à un seul terme de coefficient +1.
En pratique
Pour étudier un caractère d'un groupe fini, on peut chercher des sous-groupes élémentaires, choisir des caractères sur ceux-ci, puis comparer les valeurs des caractères induits classe par classe. Si une combinaison entière reproduit toutes les valeurs, l'identité de caractères est établie.
Lorsqu'une propriété se comporte bien avec l'induction et les sommes formelles, le théorème réduit sa vérification aux sous-groupes élémentaires. Pour un caractère à valeurs rationnelles et si des coefficients rationnels suffisent, l'induction d'Artin depuis des sous-groupes cycliques peut être une alternative ; Brauer est adapté au besoin de coefficients entiers.
Pour les fonctions L d'Artin, cette réduction transforme le caractère en un produit de facteurs plus simples. Les exposants négatifs signalent cependant des quotients : le raisonnement donne un prolongement méromorphe, sans garantir à lui seul l'absence de pôles.
À ne pas confondre
Pour les caractères à valeurs rationnelles, le théorème d'induction d'Artin emploie des sous-groupes cycliques et conduit à des coefficients rationnels. Le théorème de Brauer fait intervenir des sous-groupes élémentaires et obtient des coefficients entiers. Le type de sous-groupe et l'anneau des coefficients permettent de les distinguer.
Le groupe de Brauer classe, sur un corps fixé, des algèbres centrales simples à équivalence près. Une recherche portant sur ce groupe ne vise donc pas le théorème d'induction des caractères : la présence de représentations induites ou, au contraire, d'algèbres centrales tranche l'ambiguïté.
Limites et pièges
Une combinaison entière n'est pas forcément une décomposition de représentation. Dès qu'un coefficient ni est négatif, le membre correspondant est soustrait dans l'anneau des caractères ; il ne représente pas un sous-espace que l'on pourrait retirer concrètement.
Le mot élémentaire varie selon les contextes. Pour l'induction de Brauer, la convention standard est un produit direct d'un groupe cyclique d'ordre premier à p et d'un p-groupe. Exiger que tous les sous-groupes de Sylow soient cycliques impose une condition plus restrictive ; il faut donc contrôler la convention de l'énoncé consulté.
Le théorème concerne ici les caractères complexes ordinaires. Les caractères de Brauer, utilisés pour les représentations modulaires, portent un nom voisin mais ne sont pas simplement les mêmes fonctions avec un autre corps de coefficients.
L'application aux fonctions L d'Artin autorise des exposants entiers négatifs. Elle fournit donc un prolongement méromorphe par des produits et des quotients, mais ne prouve pas à elle seule que la fonction L obtenue est holomorphe partout où on l'espère.
Pour aller plus loin
Une suite naturelle consiste à étudier ensemble induction, restriction et réciprocité de Frobenius : ces trois opérations expliquent comment comparer les caractères d'un groupe et de ses sous-groupes. On peut ensuite suivre le passage d'une identité de caractères à une factorisation de fonctions L d'Artin, en observant précisément le rôle des exposants négatifs.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres