Théorème de Peter-Weyl

En mathématiques, le théorème de Peter-Weyl est un résultat fondamental de la théorie de l'analyse harmonique, qui s'applique aux groupes topologiques compacts, mais pas nécessairement abéliens. Il a été initialement prouvé par Hermann Weyl, avec son élève Fritz Peter, dans le cadre d'un groupe topologique compact G (Peter et Weyl 1927). Le théorème est une collection de résultats généralisant les faits significatifs sur la décomposition de la représentation régulière d'un groupe fini, découverts par Ferdinand Georg Frobenius et Issai Schur.

Soit G un groupe compact. Le théorème comporte trois parties. La première partie exprime que les coefficients matriciels des représentations irréductibles de G sont denses dans l'espace C(G) des fonctions continues à valeurs complexes sur G, et donc aussi dans l'espace L2(G) des fonctions de carré intégrable. La deuxième partie affirme la complète réductibilité des représentations unitaires de G. La troisième partie affirme alors que la représentation régulière de G sur L2(G) se décompose en somme directe de toutes les représentations unitaires irréductibles. De plus, les coefficients matriciels des représentations unitaires irréductibles forment une base orthonormée de L2(G). Dans le cas où G est le groupe des nombres complexes de module un, ce dernier point est simplement un résultat standard de la série de Fourier.

Coefficients matriciels

modifier

Un coefficient matriciel du groupe G est une fonction à valeurs complexes   sur G donnée comme composition

 ,

où π : G → GL(V) est une représentation de groupe de dimension finie (continue) de G, et L est une forme linéaire sur l'espace vectoriel des endomorphismes de V (par exemple la trace), lequel contient GL(V) comme ouvert. Les coefficients matriciels sont continus, puisque les représentations sont par définition continues, de même que les formes linéaires sur des espaces de dimension finie.

La première partie du théorème de Peter-Weyl affirme (Bump 2004, §4.1 ; Knapp 1986, Theorem 1.12) :

Théorème de Peter-Weyl (partie I). L'ensemble des coefficients matriciels de G est dense dans l'espace C(G) des fonctions continues sur G à valeurs complexes, muni de la norme uniforme.

Ce premier résultat ressemble au théorème de Stone-Weierstrass dans la mesure où il donne la densité d'un ensemble de fonctions dans l'espace de toutes les fonctions continues, ensemble décrit par des conditions uniquement algébriques. En fait, les coefficients matriciels forment une algèbre associative unitaire invariante par la conjugaison complexe car le produit de deux coefficients matriciels est un coefficient matriciel de la représentation du produit tensoriel, et le conjugué complexe est un coefficient matriciel de la représentation duale. Par conséquent, le théorème découle directement du théorème de Stone-Weierstrass si les coefficients matriciels séparent les points, ce qui est évident si G est un groupe matriciel (Knapp 1986, p. 17). Inversement, c'est une conséquence du théorème que tout groupe de Lie compact est isomorphe à un groupe matriciel (Knapp 1986, Theorem 1.15).

Un corollaire de ce résultat est que les coefficients matriciels de G sont denses dans L2(G).

Décomposition d'une représentation unitaire

modifier

La deuxième partie du théorème donne l'existence d'une décomposition d'une représentation unitaire de G en sous-représentations de dimension finie. Or, intuitivement, les groupes ont été conçus comme des rotations sur des objets géométriques, il est donc naturel d'étudier des représentations qui proviennent essentiellement d'actions continues sur des espaces de Hilbert. (Pour les personnes qui ont déjà rencontré les caractères, i.e. les morphismes continus du groupe dans le groupe des nombres complexes de module 1, cette approche est similaire sauf que le cercle unité est en fin de compte généralisé au groupe des opérateurs unitaires sur un espace de Hilbert donné.)

Soit G un groupe topologique et H un espace de Hilbert complexe.

Une action continue ∗ : G × H H, donne lieu à une application continue ρ : G HH (espace des fonctions de H dans H muni de la topologie forte) définie par : ρ(g)(v) = (g,v). Cette application est clairement un morphisme de G dans GL(H), le groupe des homéomorphismes de H dans lui-même. Inversement, étant donné une telle application, on peut uniquement récupérer l'action de manière évidente.

Ainsi, on définit les représentations de G sur un espace de Hilbert H comme étant les morphismes de groupe ρ qui proviennent d'actions continues et linéaires de G sur H. On dit qu'une représentation ρ est unitaire si ρ(g) est un opérateur unitaire pour tout gG, c'est-à-dire que   pour tous v, wH. (Autrement dit, la représentation est unitaire si ρ est à valeurs dans U(H).) On constate que cela généralise le cas particulier de l'espace de Hilbert de dimension un, où U(C) est juste le groupe des nombres complexes de module un.)

Avec ces définitions, on peut énoncer la deuxième partie du théorème de Peter-Weyl (Knapp 1986, Theorem 1.12).

Théorème de Peter-Weyl (partie II). Soit ρ une représentation unitaire d'un groupe compact G sur un espace de Hilbert complexe H. Alors H se scinde en une somme directe orthogonale de représentations unitaires irréductibles de dimension finie de G.

Décomposition des fonctions de carré intégrable

modifier

Pour énoncer la troisième et dernière partie du théorème, on introduit un espace de Hilbert naturel sur G, constitué de fonctions de carré intégrable,   ; cela a un sens si l'on considère sur G la mesure de Haar. Le groupe G a une représentation unitaire ρ sur   donnée en agissant sur la gauche, via

 

pour g, h dans G et f dans  .

La troisième partie du théorème de Peter-Weyl (Knapp 1986, Theorem 1.12) donne une base orthonormée explicite de  . En gros, le théorème affirme que les coefficients matriciels pour G, convenablement renormalisés, sont une base orthonormée de L2(G). En particulier,   se décompose en une somme directe orthogonale de toutes les représentations unitaires irréductibles, dans laquelle la multiplicité de chaque représentation irréductible est égale à son degré (c'est-à-dire la dimension de l'espace sous-jacent de la représentation). Ainsi,

 

où Σ désigne l'ensemble des (classes d'isomorphisme de) représentations unitaires irréductibles de G, et la sommation désigne la clôture de la somme directe des espaces totaux Eπ des représentations π.

On peut aussi considérer   en tant que représentation du groupe produit direct  , les deux facteurs agissant par translation respectivement à gauche et à droite. Fixons une représentation   de  . L'espace des coefficients matriciels pour la représentation peut être identifié avec  , l'espace des applications linéaires de   dans lui-même. L'action naturelle gauche et droite de   sur les coefficients de la matrice correspond à l'action sur   donné par

 

pour   et  .

On peut alors décomposer   comme représentation unitaire de   sous la forme

 

Enfin, on peut former une base orthonormée de   comme suit. Supposons qu'un représentant π soit choisi pour chaque classe d'isomorphisme de représentations unitaires irréductibles, et notons Σ la collection de tous ces π. Soient   les coefficients matriciels de π dans une base orthonormée  , où   est le degré de la représentation π. Autrement dit

 

pour tout gG et tous i, j entre 1 et  . Le théorème affirme alors que l'ensemble des fonctions

 

est une base orthonormée de  

Restriction aux fonctions de classe

modifier

Une fonction   sur G est appelée une fonction de classe si elle est invariante par conjugaison, i.e. si   pour tous   et   en G. L'espace des fonctions de classe de carré intégrable forme un sous-espace fermé de  , et donc un espace de Hilbert à part entière. Dans l'espace des coefficients matriciels pour une représentation fixe   est le caractère   de  , défini par

 

Dans la notation ci-dessus, le caractère est la somme des coefficients diagonaux de la matrice :

 

Une conséquence importante du résultat précédent est la suivante.

Théorème : Les caractères des représentations irréductibles de G forment une base hilbertienne de l'espace des fonctions de classe de carré intégrable sur G.

Ce résultat joue un rôle important dans la classification de Weyl des représentations d'un groupe de Lie compact connexe[1].

Un exemple : U(1)

modifier

Un exemple simple mais utile est le cas du groupe de nombres complexes de module un,   . Dans ce cas, les représentations irréductibles sont dimension un, paramétrées par un entier relatif n et données par

 

pour tout   dans G.

Il n'y a alors qu'un seul coefficient matriciel pour chaque représentation, la fonction

 

La dernière partie du théorème de Peter-Weyl affirme dans ce cas que ces fonctions forment une base orthonormée pour  . Dans ce cas, il s'agit simplement d'un résultat standard de la théorie des séries de Fourier.

Pour tout groupe compact G, on peut considérer la décomposition de   en termes de coefficients matriciels comme une généralisation de la théorie des séries de Fourier. De fait, cette décomposition est souvent appelée série de Fourier.

Un exemple : SU(2)

modifier

On utilise la représentation standard du groupe SU(2) comme

 

Ainsi, SU(2) est représenté comme la sphère de dimension trois,  , à l'intérieur de  . Les représentations irréductibles de SU(2), quant à elles, sont paramétrées par un entier naturel   et peuvent être réalisées comme l'action naturelle de SU(2) sur l'espace des polynômes homogènes de degré   en deux variables complexes[2]. Les coefficients matriciels de la  -ième représentation sont les harmoniques hypersphériques de degré  , c'est-à-dire les restrictions à   de polynômes harmoniques homogènes de degré   en   et  . La clé pour vérifier cette affirmation est de calculer que pour deux nombres complexes   et  , la fonction

 

est harmonique en tant que fonction de  .

Dans ce cas, trouver une base orthonormée pour   constituée de coefficients matriciels revient à trouver une base orthonormée constituée d'harmoniques hypersphériques, ce qui est une construction classique en analyse sur les sphères.

Conséquences

modifier

Théorie des représentations des groupes de Lie compacts connexes

modifier

Le théorème de Peter-Weyl – en particulier l'affirmation selon laquelle les caractères forment une base orthonormée pour l'espace des fonctions de carré intégrable – joue un rôle clé dans la classification des représentations irréductibles d'un groupe de Lie compact connexe[3]. L'argument dépend également de la formule intégrale de Weyl (pour les fonctions de classe) et de la formule des caractères de Weyl.

Une esquisse de l'argument peut être trouvé ici.

Linéarité des groupes de Lie compacts

modifier

Une conséquence importante du théorème de Peter-Weyl est la suivante[4] :

Théorème : Tout groupe de Lie compact a une représentation fidèle de dimension finie et est donc isomorphe à un sous-groupe fermé de   pour un certain  .

Structure des groupes topologiques compacts

modifier

Du théorème de Peter-Weyl, on peut déduire un théorème de structure général significatif. Soit G un groupe topologique compact, que nous supposons séparé. Pour tout sous-espace G-invariant de dimension finie V dans L2(G), où G agit à gauche, on considère l'image de G dans GL(V). Cette image est un fermé, puisque G est compact, et un sous-groupe du groupe de Lie GL(V). Il résulte d'un théorème d'Élie Cartan que l'image de G est aussi un groupe de Lie.

Si on prend maintenant la limite (au sens de la théorie des catégories) sur tous ces espaces V, nous obtenons un résultat sur G : puisque G agit fidèlement sur L2(G), G est une limite inverse des groupes de Lie. Il peut bien sûr ne pas être lui-même un groupe de Lie : il peut par exemple être un groupe profini.

Article connexe

modifier

Notes et références

modifier
  1. Hall 2015 Chapter 12
  2. Hall 2015 Example 4.10
  3. Hall 2015 Section 12.5
  4. Knapp 2002, Corollary IV.4.22