Soient :
, un groupe de Lie ;
, l'élément identité de
;
, l'algèbre de Lie de
;
l'automorphisme intérieur de
sur lui-même, donné par
.
Définition :
La représentation adjointe du groupe de Lie
sur son algèbre de Lie
est :
.
Remarques :
- la représentation adjointe
est un morphisme de groupes :
;
- pour tout
, la représentation adjointe de
est un isomorphisme d'algèbres :
.
Définition :
La représentation adjointe de l'algèbre de Lie
sur elle-même est :
.
Remarques :
- la structure d'algèbre
sur l'espace tangent
peut être définie à partir de la représentation adjointe
via :
;
- puisque le crochet de Lie
satisfait l'identité de Jacobi, la représentation adjointe
est un morphisme d'algèbres :
.
Lorsque G est un groupe matriciel
modifier
Supposons que
est un groupe de Lie matriciel, e. g.
ou
, de sorte que son algèbre de Lie soit aussi matriciel, e. g.
ou
.
Alors, les deux représentations adjointes sont explicitement :
![{\displaystyle \mathrm {Ad} _{g}(\xi )=g\xi g^{-1},\qquad \forall g\in G,\;\forall \xi \in {\mathfrak {g}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8340465c42e7fccbe8a76250f8ff97c5f00d828f)
![{\displaystyle \mathrm {ad} _{\xi _{1}}(\xi _{2})=[\xi _{1},\xi _{2}],\qquad \forall \xi _{1},\xi _{2}\in {\mathfrak {g}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/925b7fdb7804e22202b6e00b4d66540d9f81c2b4)
où
est ici le commutateur de matrices.
La forme de Killing est définie par :
.
La forme de Killing est
-invariante :
.
Ainsi, elle vérifie de plus :
.
Régularité de la représentation adjointe
modifier