Représentation projective

En mathématiques, plus précisément en théorie des représentations, une représentation projective d'un groupe $G$ sur un espace vectoriel $V$ est un homomorphisme du groupe $G$ dans le groupe projectif linéaire $\mathrm{P}\mathrm{G}\mathrm{L}(V)$.

Définitions

Soit $G$ un groupe, $k$ un corps et $V$ un $k$-espace vectoriel. $\mathrm{G}\mathrm{L}(V)$ désigne le groupe général linéaire de $V$. On note $\mathrm{Z}(\mathrm{G}\mathrm{L}(V))$ le centre de $\mathrm{G}\mathrm{L}(V)$ ; il est isomorphe à $k^{*}$. $\mathrm{P}\mathrm{G}\mathrm{L}(V)$ est par définition le groupe quotient : $\mathrm{G}\mathrm{L}(V)/\mathrm{Z}(\mathrm{G}\mathrm{L}(V))$. Il existe deux définitions équivalentes d'une représentation projective de $G$ sur $V$ :

• un morphisme $\rho :G\to \mathrm{P}\mathrm{G}\mathrm{L}(V)$ ;
• une application $\alpha :G\to \mathrm{G}\mathrm{L}(V)$ telle qu'il existe une fonction $c:G\times G\to k^{*}$, vérifiant : $\alpha (gh)=c(g,h)\alpha (g)\alpha (h)$.

Représentations linéaires et représentations projectives

Une représentation linéaire d'un groupe donne automatiquement une représentation projective en la composant avec le morphisme de projection :

$\pi :G\to \mathrm{G}\mathrm{L}(V)\to \mathrm{P}\mathrm{G}\mathrm{L}(V)$.

La question qui se présente alors naturellement consiste à déterminer sous quelles conditions il est possible de relever une représentation projective en une représentation linéaire.

En général, il n'existe pas de relèvement d'une représentation projective Modèle:Math en une représentation linéaire Modèle:Math et l'obstruction à ce relèvement peut être caractérisée en termes de la cohomologie du groupe, comme il est expliqué plus bas. En revanche, il est toujours possible de relever une représentation projective de Modèle:Math en une représentation linéaire d'une extension centrale de Modèle:Math. En effet, notons que

$1\to k^{*}\to \mathrm{G}\mathrm{L}(V)\to \mathrm{P}\mathrm{G}\mathrm{L}(V)\to 1$

est une extension centrale de Modèle:Math par le groupe des unités Modèle:Math du corps de base. En posant $\tilde{G}=\{(g,A)\in G\times \mathrm{G}\mathrm{L}(V)\mid \pi (A)=\rho (g)\}$, on obtient un sous-groupe de $G\times \mathrm{G}\mathrm{L}(V)$ et la suite exacte courte :

$1\to k^{*}\to \tilde{G}\to G\to 1$

définit une extension centrale de $G$. La restriction à $\tilde{G}$ de la seconde projection de $G\times \mathrm{G}\mathrm{L}(V)$ est alors une représentation linéaire $\tilde{G}\to \mathrm{G}\mathrm{L}(V)$ qui relève $\rho :G\to \mathrm{P}\mathrm{G}\mathrm{L}(V)$.

Obstruction et cohomologie

Considérons le diagramme :

$\begin{array}{ccc}& & GL(V)\\ & & \downarrow \pi \\ G& \stackrel{\rho }{⟶}& PGL(V)\end{array}$.

Étant donnés $g,h\in G$ et $A,B,C\in GL(V)$ tels que $\pi (A)=\rho (g)$, $\pi (B)=\rho (h)$ et $\pi (C)=\rho (gh)$, on obtient :

$\pi (AB)$ $=$ $\pi (A)\pi (B)=\rho (g)\rho (h)=\rho (gh)=\pi (C)$.

Il existe donc $c(g,h)\in k^{*}$ tel que $C=c(g,h)AB$. Il s'ensuit que $c$ doit satisfaire la condition :

$c(h,k)c(g,hk)=c(g,h)c(gh,k)$,

ce qui en fait un 2-cocycle ou multiplicateur de Schur. Deux tels cocycles sont en fait cohomologues et définissent donc la même classe dans Modèle:Math. La non-trivialité de cette classe est l'obstruction au relèvement de la représentation projective :

$\rho :G\to \mathrm{P}\mathrm{G}\mathrm{L}(V)$

en une représentation linéaire.

Cette classe n'est pas nécessairement triviale. Par exemple, dans le cas du groupe symétrique et du groupe alterné, Schur a établi qu'il y a exactement une classe non triviale de multiplicateur de Schur et a complètement déterminé toutes les représentations irréductibles correspondantes.

Lorsque Modèle:Math n'est pas trivial, l'étude des représentations projectives de Modèle:Mvar conduit ainsi à un problème d'extension de groupes. Pour une extension de Modèle:Mvar bien choisie, on obtient une représentation linéaire de l'extension, qui induit la représentation projective originale. La solution est toujours une extension centrale. Le lemme de Schur, montre alors que l'étude des représentations projectives irréductibles de Modèle:Mvar est équivalente à celle des représentations irréductibles des extensions centrales de Modèle:Mvar.

Représentations projectives des groupes de Lie

Modèle:Article connexe L'étude des représentations projectives des groupes de Lie conduit à considérer les représentations linéaires de leurs extensions centrales (voir Extension de groupes). Dans de nombreux cas, il suffit de considérer les représentations de revêtements ; ce qui, pour un groupe de Lie connexe Modèle:Mvar, revient à étudier les représentations de l'algèbre de Lie de $G$. Voici quelques exemples de revêtements donnant lieu à des représentations projectives intéressantes :

• Le groupe spinoriel Spin(n,F) est le revêtement à deux feuillets du groupe spécial orthogonal SO(n,F). En particulier, le groupe spinoriel Spin(3,R) est le revêtement à deux feuillets du groupe SO(3,R). Cela a des applications importantes en mécanique quantique car l'étude des représentations de SU(2) conduit à une théorie de spin (physique) non relativiste (faible énergie).
• Le groupe SL₂(C) est le revêtement à deux feuillets du groupe SO⁺(3;1), isomorphe au groupe de Möbius. Ce sont respectivement des extensions de SO(3) et de SU(2). Elles donnent lieu à une théorie de spin relativiste.
• Le groupe Pin_±(n) est le revêtement à deux feuillets du groupe orthogonal O(n).
• Le groupe métaplectique Mp(2n) est le revêtement à deux feuillets du groupe symplectique Sp(2n).

Articles connexes

• Modèle:Lien
• Action de groupe