Représentation unitaire
En mathématiques, une représentation unitaire d'un groupe G est une représentation linéaire π de G sur un espace de Hilbert complexe V telle que π(g) est un opérateur unitaire pour tout g ∈ G. La théorie générale est bien développée dans le cas où G est un groupe topologique localement compact (séparé) et les représentations sont fortement continues.
La théorie a été largement appliquée en mécanique quantique depuis les années 1920, particulièrement sous l'influence par le livre de 1928 de Hermann Weyl, Gruppentheorie und Quantenmechanik. L'un des pionniers dans la construction d'une théorie générale des représentations unitaires, pour tout groupe G plutôt que pour des groupes particuliers utiles dans les applications, était George Mackey.
Contexte en analyse harmonique
La théorie des représentations unitaires des groupes topologiques est étroitement liée à l'analyse harmonique. Dans le cas d'un groupe abélien G, une image assez complète de la théorie des représentations de G est donnée par la dualité de Pontryagin. En général, les classes d'équivalence unitaires (voir ci-dessous) des représentations unitaires irréductibles de G constituent son dual unitaire. Cet ensemble peut être identifié au spectre de la C*-algèbre associée à G par la construction de la C*-algèbre de groupe. C'est un espace topologique.
La forme générale du théorème de Plancherel tente de décrire la représentation régulière de G sur L2(G) au moyen d'une mesure sur le dual unitaire. Pour G abélien, ceci est donné par la théorie de la dualité de Pontryagin. Pour G compact, cela se fait par le théorème de Peter–Weyl ; dans ce cas le dual unitaire est un espace discret et la mesure attache un atome à chaque point de masse égale à son degré.
Définitions formelles
Soit G un groupe topologique. Une représentation unitaire fortement continue de G sur un espace de Hilbert H est un homomorphisme de groupe de G dans le groupe unitaire de H,
telle que g → π(g) ξ est une fonction continue (pour la topologie définie par la norme) pour tout ξ ∈ H.
On remarque que si G est un groupe de Lie, l'espace de Hilbert admet également des structures lisses et analytiques sous-jacentes. Un vecteur ξ dans H est dit lisse ou analytique si l'application g → π(g) ξ est lisse ou analytique (dans les topologies normique ou faible sur H)[1]. Les vecteurs lisses sont denses dans H par un argument classique dû à Lars Gårding, puisque la convolution par des fonctions lisses de support compact donne des vecteurs lisses. Les vecteurs analytiques sont denses par un argument classique dû à Edward Nelson, amplifié par Roe Goodman, puisque les vecteurs dans l'image d'un opérateur de chaleur e–tD, correspondant à un opérateur différentiel elliptique D dans l'algèbre enveloppante universelle de G, sont analytiques. Non seulement les vecteurs lisses ou analytiques forment des sous-espaces denses, ils forment aussi des noyaux communs pour les opérateurs anti-hermitiens non bornés correspondant aux éléments de l'algèbre de Lie, au sens de la théorie spectrale[2].
Deux représentations unitaires π1 : G → U(H1), π2 : G → U(H2) sont dites unitairement équivalentes s'il existe une transformation unitaire A : H1 → H2 telle que π1(g) = A* ∘ π2(g) ∘ A pour tout g dans G. Lorsque cela est vrai, on dit que A est un opérateur d'entrelacement pour les représentations [3].
Si est une représentation d'un groupe de Lie connexe sur un espace de Hilbert de dimension finie , alors est unitaire si et seulement si la représentation de l'algèbre de Lie associée est à valeurs dans l'espace des opérateurs anti-hermitiens sur [4].
Complète réductibilité
Une représentation unitaire est complètement réductible, au sens où pour tout sous-espace fermé invariant, le supplémentaire orthogonal est à nouveau un sous-espace fermé invariant. C'est une observation très élémentaire mais aussi une propriété fondamentale. Par exemple, cela implique que les représentations unitaires de dimension finie sont toujours une somme directe de représentations irréductibles, au sens algébrique.
Comme les représentations unitaires sont beaucoup plus faciles à manipuler que les représentations en général, il est naturel de considérer les représentations unitarisables, celles qui deviennent unitaires lors de l'introduction d'une structure d'espace de Hilbert complexe appropriée. Cela fonctionne très bien pour les groupes finis, et plus généralement pour les groupes compacts, par un argument de moyennage appliqué à une structure hermitienne arbitraire[5]. Par exemple, on peut par ce biais donner une preuve naturelle du théorème de Maschke.
Unitarisabilité et la question du dual unitaire
En général, pour les groupes non compacts, c'est une question plus sérieuse de savoir quelles représentations sont unitarisables. L'un des problèmes importants non résolus en mathématiques est la description du dual unitaire, la classification effective des représentations unitaires irréductibles de tous les groupes de Lie réductifs réels. Toutes les représentations unitaires irréductibles sont admissibles (ou plutôt les modules de Harish-Chandra associés le sont), et les représentations admissibles sont données par la classification de Langlands, et il est facile de dire lesquelles d'entre elles ont une forme sesquilinéaire invariante non triviale. Le problème est qu'il est en général difficile de dire quand cette forme sesquilinéaire est définie positive. Pour de nombreux groupes de Lie réductifs, cela a été résolu ; voir la théorie des représentations de (en) et la théorie des représentations du groupe de Lorentz (en) pour des exemples.
Articles connexes
- Représentations induites
- Représentation isotypique
- Théorie des représentations de SL2(R)
- Représentations du groupe Lorentz
- Théorème de Stone-von Neumann
- Représentation unitaire d'une étoile Superalgèbre de Lie
- Fonction sphérique zonale
Notes et références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Unitary representation » (voir la liste des auteurs).
- Warner 1972.
- Reed et Simon 1975.
- Paul Sally (2013) Fundamentals of Mathematical Analysis, American Mathematical Society p. 234.
- Hall 2015 Proposition 4.8
- Hall 2015 Section 4.4
- Brian C. Hall, Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, vol. 222, Springer, coll. « Graduate Texts in Mathematics », , 2e éd. (ISBN 978-3319134666)
- Michael Reed et Barry Simon, Methods of Modern Mathematical Physics, Vol. 2: Fourier Analysis, Self-Adjointness, Academic Press, (ISBN 0-12-585002-6)
- Garth Warner, Harmonic Analysis on Semi-simple Lie Groups I, Springer-Verlag, (ISBN 0-387-05468-5)