Soient :
G
{\displaystyle G}
, un groupe de Lie ;
e
∈
G
{\displaystyle e\in G}
, l'élément identité de
G
{\displaystyle G}
;
g
:=
T
e
G
{\displaystyle {\mathfrak {g}}:=T_{e}G}
, l'algèbre de Lie de
G
{\displaystyle G}
;
ι
:
G
→
A
u
t
(
G
)
;
g
↦
ι
g
{\displaystyle \iota :G\to \mathrm {Aut} (G);g\mapsto \iota _{g}}
l'automorphisme intérieur de
G
{\displaystyle G}
sur lui-même, donné par
ι
g
1
(
g
2
)
=
g
1
g
2
g
1
−
1
{\displaystyle \iota _{g_{1}}(g_{2})=g_{1}g_{2}g_{1}^{-1}}
.
Définition :
La représentation adjointe du groupe de Lie
G
{\displaystyle G}
sur son algèbre de Lie
g
{\displaystyle {\mathfrak {g}}}
est :
A
d
:
G
→
A
u
t
(
g
)
;
g
↦
A
d
g
:=
(
(
ι
g
)
∗
|
e
:
g
→
g
)
{\displaystyle \mathrm {Ad} :G\to \mathrm {Aut} ({\mathfrak {g}});g\mapsto \mathrm {Ad} _{g}:=\left((\iota _{g})_{*}|_{e}:{\mathfrak {g}}\to {\mathfrak {g}}\right)}
.
Remarques :
la représentation adjointe
A
d
:
G
→
A
u
t
(
g
)
{\displaystyle \mathrm {Ad} :G\to \mathrm {Aut} ({\mathfrak {g}})}
est un morphisme de groupes :
A
d
g
1
g
2
=
A
d
g
1
∘
A
d
g
2
,
∀
g
1
,
g
2
∈
G
{\displaystyle \mathrm {Ad} _{g_{1}g_{2}}=\mathrm {Ad} _{g_{1}}\circ \mathrm {Ad} _{g_{2}},\qquad \forall g_{1},g_{2}\in G}
;
pour tout
g
∈
G
{\displaystyle g\in G}
, la représentation adjointe de
g
{\displaystyle g}
est un isomorphisme d'algèbres :
[
A
d
g
(
ξ
1
)
,
A
d
g
(
ξ
2
)
]
=
A
d
g
[
ξ
1
,
ξ
2
]
,
∀
ξ
1
,
ξ
2
∈
g
{\displaystyle [\mathrm {Ad} _{g}(\xi _{1}),\mathrm {Ad} _{g}(\xi _{2})]=\mathrm {Ad} _{g}[\xi _{1},\xi _{2}],\qquad \forall \xi _{1},\xi _{2}\in {\mathfrak {g}}}
.
Définition :
La représentation adjointe de l'algèbre de Lie
g
{\displaystyle {\mathfrak {g}}}
sur elle-même est :
a
d
:
g
→
E
n
d
(
g
)
;
ξ
↦
a
d
ξ
:=
A
d
∗
|
e
(
ξ
)
{\displaystyle \mathrm {ad} :{\mathfrak {g}}\to \mathrm {End} ({\mathfrak {g}});\xi \mapsto \mathrm {ad} _{\xi }:=\mathrm {Ad} _{*}|_{e}(\xi )}
.
Remarques :
la structure d'algèbre
[
⋅
,
⋅
]
:
g
×
g
→
g
{\displaystyle [\cdot ,\cdot ]:{\mathfrak {g}}\times {\mathfrak {g}}\to {\mathfrak {g}}}
sur l'espace tangent
g
=
T
e
G
{\displaystyle {\mathfrak {g}}=T_{e}G}
peut être définie à partir de la représentation adjointe
a
d
{\displaystyle \mathrm {ad} }
via :
[
ξ
1
,
ξ
2
]
:=
a
d
ξ
1
(
ξ
2
)
,
∀
ξ
1
,
ξ
2
∈
g
{\displaystyle [\xi _{1},\xi _{2}]:=\mathrm {ad} _{\xi _{1}}(\xi _{2}),\qquad \forall \xi _{1},\xi _{2}\in {\mathfrak {g}}}
;
puisque le crochet de Lie
[
⋅
,
⋅
]
{\displaystyle [\cdot ,\cdot ]}
satisfait l'identité de Jacobi , la représentation adjointe
a
d
:
g
→
E
n
d
(
g
)
{\displaystyle \mathrm {ad} :{\mathfrak {g}}\to \mathrm {End} ({\mathfrak {g}})}
est un morphisme d'algèbres :
a
d
[
ξ
1
,
ξ
2
]
=
[
a
d
ξ
1
,
a
d
ξ
2
]
,
∀
ξ
1
,
ξ
2
∈
g
{\displaystyle \mathrm {ad} _{[\xi _{1},\xi _{2}]}=[\mathrm {ad} _{\xi _{1}},\mathrm {ad} _{\xi _{2}}],\qquad \forall \xi _{1},\xi _{2}\in {\mathfrak {g}}}
.
Lorsque G est un groupe matriciel
modifier
Supposons que
G
{\displaystyle G}
est un groupe de Lie matriciel, e. g.
G
L
(
n
;
R
)
{\displaystyle \mathrm {GL} (n;\mathbb {R} )}
ou
G
L
(
n
;
C
)
{\displaystyle \mathrm {GL} (n;\mathbb {C} )}
, de sorte que son algèbre de Lie soit aussi matriciel, e. g.
M
a
t
(
n
;
R
)
{\displaystyle \mathrm {Mat} (n;\mathbb {R} )}
ou
M
a
t
(
n
;
C
)
{\displaystyle \mathrm {Mat} (n;\mathbb {C} )}
.
Alors, les deux représentations adjointes sont explicitement :
A
d
g
(
ξ
)
=
g
ξ
g
−
1
,
∀
g
∈
G
,
∀
ξ
∈
g
{\displaystyle \mathrm {Ad} _{g}(\xi )=g\xi g^{-1},\qquad \forall g\in G,\;\forall \xi \in {\mathfrak {g}}}
a
d
ξ
1
(
ξ
2
)
=
[
ξ
1
,
ξ
2
]
,
∀
ξ
1
,
ξ
2
∈
g
{\displaystyle \mathrm {ad} _{\xi _{1}}(\xi _{2})=[\xi _{1},\xi _{2}],\qquad \forall \xi _{1},\xi _{2}\in {\mathfrak {g}}}
où
[
⋅
,
⋅
]
{\displaystyle [\cdot ,\cdot ]}
est ici le commutateur de matrices.
La forme de Killing est définie par :
K
:
g
×
g
→
R
;
(
ξ
1
,
ξ
2
)
↦
K
(
ξ
1
,
ξ
2
)
:=
T
r
(
a
d
ξ
1
∘
a
d
ξ
2
)
{\displaystyle K:{\mathfrak {g}}\times {\mathfrak {g}}\to \mathbb {R} ;(\xi _{1},\xi _{2})\mapsto K(\xi _{1},\xi _{2}):=\mathrm {Tr} (\mathrm {ad} _{\xi _{1}}\circ \mathrm {ad} _{\xi _{2}})}
.
La forme de Killing est
A
d
{\displaystyle \mathrm {Ad} }
-invariante :
K
(
A
d
g
(
ξ
1
)
,
A
d
g
(
ξ
2
)
)
=
K
(
ξ
1
,
ξ
2
)
,
∀
g
∈
G
,
∀
ξ
1
,
ξ
2
∈
g
{\displaystyle K(\mathrm {Ad} _{g}(\xi _{1}),\mathrm {Ad} _{g}(\xi _{2}))=K(\xi _{1},\xi _{2}),\qquad \forall g\in G,\;\forall \xi _{1},\xi _{2}\in {\mathfrak {g}}}
.
Ainsi, elle vérifie de plus :
K
(
[
ξ
1
,
ξ
2
]
,
ξ
3
)
=
K
(
ξ
1
,
[
ξ
2
,
ξ
3
]
)
,
∀
ξ
1
,
ξ
2
,
ξ
3
∈
g
{\displaystyle K([\xi _{1},\xi _{2}],\xi _{3})=K(\xi _{1},[\xi _{2},\xi _{3}]),\qquad \forall \xi _{1},\xi _{2},\xi _{3}\in {\mathfrak {g}}}
.
Régularité de la représentation adjointe
modifier