Université Pierre & Marie Curie M1 de Mathématiques
4M024 (Groupes et algèbres de Lie) Printemps 2017
TD n◦4. Décomposition polaire
1 Propriétés de base
Exercice 1.
a) On rappelle que On(R)a deux composantes connexes. Grâce à la décomposition polaire, montrer
que GLn(R)a deux composantes connexes.
b) Montrer que On(R)est un sous-groupe compact maximal de GLn(R).
Exercice 2.
a) Montrer que toute matrice de SU2(C)y est conjuguée à eiθ 0
0e−iθpour un θdans R.
b) Soit H= ix y +iz
−y+iz −ix : (x, y, z)∈R3. Montrer que exp : H→SU2(C)est surjective.
Exercice 3 (rattrapage 2012).Le groupe orthogonal complexe On(C)est donné par :
On(C) = {M∈Mn(C) : tMM =In}
a) Montrer que le groupe On(C)n’est pas connexe.
b) Soit Mune matrice dans On(C). Montrer qu’il existe une unique matrice O∈On(R)et une unique
matrice antisymétrique A∈Mn(R)telles que M=Oexp(iA).
c) En déduire que On(C)est homéomorphe à On(R)×R
n(n−1)
2, et que sa composante neutre est
SOn(C) = {M∈On(C) : det(M)=1}.
2 Groupe orthogonal généralisé
Exercice 4 (les groupes Op,q).Soit p, q ≥1deux entiers. Soit qla forme quadratique non dégénérée sur
Rp+qdont la matrice dans la base canonique est :
Jp,q =Ip0
0−Iq
Le groupe orthogonal de signature (p, q)est défini par :
Op,q =M∈Mp+q(R) : tMJp,qM=Jp,q
a) Montrer que Op,q est un sous-groupe fermé de GL(n, R)stable par transposition et que det(M) =
±1pour tout M∈Op,q.
b) Montrer que Kp,q =Op,q ∩Op+qest compact et homéomorphe à Op×Oq(on écrira des matrices
par blocs).
c) Montrer que la décomposition polaire sur GLp+q(R)se restreint en un homéomorphisme
Op,q −→ Op×Oq×Op,q ∩ S++
p+q
où S++
p+qest l’espace des matrices symétriques définies positives de Mp+q(R).
d) En utilisant l’exponentielle, en déduire que Op,q est homéomorphe à Kp,q ×Rd.
e) Combien Kp,q a-t-il de composantes connexes ? Montrer que SOp,q ={k∈Op,q : det(k) = 1}est
un sous-groupe d’indice et de degré 2contenant la composante neutre (SOp,q)◦.
f) Montrer que si M=A B
C D ∈Op,q, alors t
AA ∈ S++
p. Montrer que det(A)>0si M∈
(SOp,q)◦et det(A)<0sur l’autre composante de SOp,q.
En déduire que l’application SOp,q →Z/2Zdéfinie par M7→ det(A)
|det(A)|est un morphisme de groupes
de noyau (SOp,q)◦. Montrer que Kp,q s’identifie aux matrices de Op,q telles que det(A) = ±1.
1