Accueil🇫🇷Chercher

Formule des caractères de Weyl

En théorie des représentations, la formule des caractères de Weyl est une description des caractères des représentations irréductibles des groupes de Lie compacts en fonction de leurs plus haut poids[1]. Elle a été prouvée par Hermann Weyl[2]. Il existe une formule étroitement liée pour le caractère d'une représentation irréductible d'une algèbre de Lie semi-simple[3]. Dans l'approche de Weyl de la théorie des représentations des groupes de Lie compacts connexes, la preuve de la formule des caractères est une étape clé pour prouver que chaque élément entier dominant apparaît effectivement comme le plus haut poids d'une représentation irréductible[4]. Parmi les conséquences importantes de la formule des caractères figurent la formule de la dimension de Weyl et la formule de multiplicité de Kostant.

Par définition, le caractère d'une représentation de G est la trace de , vue comme fonction d'un élément du groupe . Les représentations irréductibles dans ce cas sont toutes de dimension finie (cela fait partie du théorème de Peter-Weyl) ; la notion de trace est donc celle usuelle de l'algèbre linéaire. La connaissance du caractère de donne beaucoup d'informations sur lui-même, puisque par exemple caractérise à isomorphisme près.

La formule de Weyl est une formule fermée pour le caractère , en termes d'autres objets construits à partir de G et de son algèbre de Lie.

Énoncé

La formule des caractères peut être exprimée en termes de représentations d'algèbres de Lie semi-simples complexes ou en termes (essentiellement équivalents) de groupes de Lie compacts.

Algèbres de Lie semi-simples complexes

Soit une représentation irréductible de dimension finie d'une algèbre de Lie semi-simple complexe . Soit une sous-algèbre de Cartan de . Le caractère de est alors la fonction défini par

La valeur du caractère en est la dimension de . Par des considérations élémentaires, on voit que le caractère peut être calculé comme

où la somme porte sur tous les poids de et où est la multiplicité de , c'est-à-dire la dimension de l'espace de poids correspondant. (L'expression précédente est parfois considérée comme la définition du caractère.)

La formule des caractères exprime[5] que peut aussi être calculé comme

  • est le groupe de Weyl ;
  • est l'ensemble des racines positives du système de racines ;
  • est la demi-somme des racines positives, souvent appelée vecteur de Weyl ;
  • est le plus haut poids de la représentation irréductible ;
  • est le déterminant de l'action de sur la sous-algèbre de Cartan ; il est égal à , où est la longueur de l'élément du groupe de Weyl, définie comme étant le nombre minimal de réflexions par rapport aux racines simples telles que est égal au produit de ces réflexions.

Discussion

En utilisant la formule du dénominateur de Weyl (décrite ci-dessous), la formule des caractères peut être réécrite comme

,

ou, ce qui revient au même,

Le caractère est lui-même une grande somme d'exponentielles. Dans cette dernière expression, on multiplie ensuite le caractère par une somme alternée d'exponentielles, ce qui se traduit apparemment par une somme encore plus grande d'exponentielles. La partie surprenante de la formule des caractères est qu'en calculant ce produit, il ne reste en fait qu'un petit nombre de termes. Beaucoup plus de termes que cela apparaissent au moins une fois dans le produit du caractère et du dénominateur de Weyl, mais la plupart de ces termes s'éliminent[3]. Les seuls termes qui restent sont les termes qui n'apparaissent qu'une seule fois, à savoir (qui est obtenu en prenant le plus haut poids de et le plus haut poids du dénominateur de Weyl) et des termes provenant de l'orbite du groupe de Weyl de .

Groupes de Lie compacts

Soit un groupe de Lie compact connexe et soit un tore maximal dans . Soit une représentation irréductible de . On définit alors le caractère de comme la fonction

On montre facilement que le caractère est une fonction de classe sur et le théorème de Peter-Weyl affirme que les caractères forment une base orthonormée pour l'espace des fonctions de classe de carré intégrables sur [6].

Comme est une fonction de classe, elle est déterminée par sa restriction à . Maintenant, pour dans l'algèbre de Lie de , on a

,

est la représentation associée de l'algèbre de Lie de . Ainsi, la fonction est simplement le caractère de la représentation associée de , comme dans la sous-section précédente. La restriction du caractère de à est alors donnée par la même formule que dans le cas de l'algèbre de Lie :

La démonstration de Weyl de la formule des caractères dans le cadre des groupes compacts est complètement différente de la démonstration algébrique de la formule des caractères dans le cadre des algèbres de Lie semi-simples[7]. Dans le cadre des groupes compacts, il est courant d'utiliser des « racines réelles » et des « poids réels », qui diffèrent par un facteur des racines et des poids utilisés ici. Ainsi, la formule dans le cadre du groupe compact a tout le long des facteurs de dans les exposants.

Le cas de SU(2)

Dans le cas du groupe SU(2), considérons la représentation irréductible de dimension . Si on choisit pour le sous-groupe diagonal de SU(2), la formule de caractère se lit[8] :

(Le numérateur et le dénominateur dans la formule de caractères ont chacun deux termes.) Il est instructif de vérifier directement cette formule dans ce cas, afin de pouvoir observer le phénomène d'annulation implicite dans la formule des caractères de Weyl.

Puisque les représentations sont connues très explicitement, le caractère de la représentation peut être écrit comme

Le dénominateur de Weyl, quant à lui, est simplement la fonction . En multipliant le caractère par le dénominateur de Weyl, on obtient

On peut à présent vérifier facilement que la plupart des termes s'annulent entre les deux termes du côté droit ci-dessus, et qu'il reste seulement

de sorte que

Le caractère est dans ce cas une série géométrique de raison et l'argument précédent est une légère variante de la méthode habituelle pour calculer la somme d'une suite géométrique finie.

Formule du dénominateur de Weyl

Dans le cas particulier de la représentation triviale de dimension 1, le caractère est 1, et la formule des caractères de Weyl devient la formule du dénominateur de Weyl[9] :

Pour les groupes spéciaux unitaires, cela équivaut à l'expression

pour le déterminant de Vandermonde[10].

Formule de dimension de Weyl

En évaluant le caractère en , la formule des caractères de Weyl donne la formule de la dimension de Weyl

pour la dimension d'une représentation de dimension finie de plus haut poids . (Comme d'habitude, ρ est la moitié de la somme des racines positives et le produit porte sur l'ensemble des racines positives α.) La spécialisation n'est pas complètement triviale car le numérateur et le dénominateur de la formule des caractères de Weyl s'annulent avec une grande multiplicité en l'élément neutre, si bien qu'il est nécessaire de prendre une limite de la trace d'un élément tendant vers l'identité, en utilisant une version de la règle de L'Hôpital[11]. Dans le cas de SU(2) décrit ci-dessus, par exemple, on peut retrouver la dimension de la représentation en utilisant la règle de L'Hôpital en évaluant la limite lorsque tend vers zéro de .

On peut prendre l'exemple de l'algèbre de Lie complexe semi-simple sl(3, C), ou de manière équivalente le groupe compact SU(3). Dans ce cas, les représentations sont paramétrées par une paire d'entiers naturels. Il y a trois racines positives et il n'est pas difficile de vérifier que la formule de dimension prend la forme explicite[12] suivante :

Le cas correspond à la représentation standard et la formule de dimension donne bien la valeur 3 dans ce cas.

Formule de multiplicité de Kostant

La formule des caractères de Weyl donne le caractère de chaque représentation sous forme de quotient, où le numérateur et le dénominateur sont chacun une combinaison linéaire finie d'exponentielles. Alors que cette formule détermine en principe le caractère, il n'est pas particulièrement évident de savoir comment on peut calculer explicitement ce quotient comme une somme finie d'exponentielles. Déjà dans le cas SU(2) décrit ci-dessus, il n'est pas immédiatement évident de partir de la formule des caractères de Weyl, qui exprime le caractère comme , et de retrouver la formule du caractère sous forme de somme d'exponentielles :

Dans ce cas, il n'est peut-être pas très difficile de reconnaître l'expression comme la somme d'une série géométrique finie, mais en général le besoin d'une procédure plus systématique se fait sentir.

En général, le processus de division peut être accompli en calculant un inverse formel du dénominateur de Weyl, puis en multipliant le numérateur dans la formule des caractères de Weyl par cet inverse formel[13]. Le résultat donne le caractère sous la forme d'une somme finie d'exponentielles. Les coefficients de ce développement sont les dimensions des espaces de poids, c'est-à-dire les multiplicités des poids. On obtient ainsi, à partir de la formule des caractères de Weyl, une formule des multiplicités des poids, appelée formule des multiplicités de Kostant. Une variante, qui est plus calculable dans certains cas, est donnée dans la section suivante.

Formule de Freudenthal

La formule de Hans Freudenthal est une formule récursive pour les multiplicités des poids qui donne la même réponse que la formule des multiplicités de Kostant, mais est parfois plus facile à utiliser pour les calculs car il peut y avoir beaucoup moins de termes à additionner. La formule est fondée sur l'utilisation de l'élément de Casimir et sa dérivation est indépendante de la formule du caractère. Elle stipule que[14]

  • Λ est le plus haut poids,
  • λ est un autre poids,
  • est la multiplicité du poids λ dans la représentation irréductible VΛ ;
  • ρ est le vecteur de Weyl :
  • la première somme porte sur toutes les racines positives α.

Formule des caractères de Weyl-Kac

La formule des caractères de Weyl est également valable pour les représentations intégrables de plus haut poids des algèbres de Kac-Moody, pour lesquelles elle est connue sous le nom de formule des caractères de Weyl-Kac. De même, il existe une identité de dénominateur pour les algèbres de Kac-Moody, qui dans le cas des algèbres de Lie affines est équivalente aux identités de Macdonald. Dans le cas le plus simple de l'algèbre de Lie affine de type A1, on retrouve l'identité du triple produit de Jacobi

La formule des caractères peut également être étendue aux représentations intégrables de plus haut poids des algèbres de Kac-Moody généralisées, pour lesquelles le caractère est donné par

Ici, S est un terme de correction donné en fonction des racines simples imaginaires par

où la somme porte sur tous les sous-ensembles finis I de racines simples imaginaires qui sont deux à deux orthogonales et orthogonales au plus haut poids λ, où |I| est le cardinal de I et est la somme des éléments de I.

La formule du dénominateur de l'algèbre de Lie du monstre est la formule du produit

pour la fonction modulaire elliptique j.

Peterson a donné une formule de récurrence pour les multiplicités mult(β) des racines β d'une algèbre de Kac-Moody symétrisable (généralisée), formule qui est équivalente à la formule du dénominateur de Weyl-Kac mais plus facile à utiliser pour les calculs :

où la somme porte sur les racines positives γ, δ, et

Formule des caractères de Harish Chandra

Harish-Chandra a montré que la formule des caractères de Weyl admet une généralisation aux représentations d'un groupe réel réductif. Soit une représentation irréductible admissible d'un groupe réel réductif G de caractère infinitésimal . Soit le caractère de Harish-Chandra de ; il est donné par intégration contre une fonction analytique sur l'ensemble régulier. Si H est un sous-groupe de Cartan de G et H' est l'ensemble des éléments réguliers de H, alors

Ici,

  • W est le groupe de Weyl complexe de par rapport à ;
  • est le stabilisateur de dans W

et les autres notations sont comme ci-dessus.

Les coefficients ne sont toujours pas bien compris. Des résultats sur ces coefficients peuvent être trouvés dans les articles de Herb, Adams, Schmid et Schmid-Vilonen, entre autres.

Articles connexes

Notes et références

  1. Hall 2015, Section 12.4.
  2. Weyl 1925, Weyl 1926a, Weyl 1926b
  3. Hall 2015, Section 10.4.
  4. Hall 2015, Section 12.5.
  5. Hall 2015, Théorème 10.14.
  6. Hall 2015, Section 12.3.
  7. Hall 2015, Section 10.8 pour le cadre des algèbres de Lie et Section 12.4 pour le cadre des groupes compacts.
  8. Hall 2015, Exemple 12.23.
  9. Hall 2015, Lemme 10.28.
  10. Hall 2015, Exercice 9 du chapitre 10.
  11. Hall 2015, Section 10.5.
  12. Hall 2015, Exemple 10.23.
  13. Hall 2015, Section 10.6.
  14. Humphreys 1972, Section 22.3.
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.