a) montrer que {(Ui×Vj, φi×ψj)}(i,j)∈I×Jest un atlas de M×N, pour
lequel les projections π1:M×N→Met π2:M×N→Nsont
diff´erentiables.
b) Supposons que les atlas {(Ui, φi)}i∈Iet {(Vj, ψj)}j∈Jsoient maximaux.
l’atlas {(Ui×Vj, φi×ψj)}(i,j)∈I×Jest-il maximal ?
c) Donner un atlas pour la structure diff´erentielle de T2=S1×S1.
Exercice 2.10 Soit Mune vari´et´e diff´erentielle munie d’une structure diff´erentielle
de classe Ckdonn´ee par l’atlas A={(Ui, φi)}i∈I.
Soit Φ : M→Mun hom´eomorphisme.
Montrer que AΦ={(Φ−1(Ui), φi◦Φ)}i∈Iest un atlas de classe Cksur
Met que Φ:(M, AΦ)→(M, A)soit un diff´eomorphisme i.e. AΦet Asont
isomorphes.
Exercice 2.11 Soit Mune vari´et´e diff´erentielle et Gun groupe de Lie de
Ck.Une action (`a gauche) diff´erentiable de Gsur Mest une application
classe Ckµ:G×M→M, not´ee µ(g, x) = gx telle que
(1) g1(g2x) = (g1g2)x, pour tout g1,g2∈Get pour tout x∈M.
(2) ex =x, pour tout x∈M. (eest l’´el´ement neutre de G. )
1) On dit que l’action de Gest propre si l’application G×M→M×M
d´efinie par (g, x)7→ (x, gx)est propre.
Montrer que si l’action est propre alors M/G est s´epar´e.
2) On dit que l’action de Gest sans point fixe si : pour tout x∈Met
pour tout g∈Gdiff´erent de l’´el´ement neutre e,gx 6=x.
Montrer que si Gest un groupe fini et que son action sur Mest sans
point fixe, alors son action est aussi propre. En d´eduire que M/G est une
vari´et´e diff´erentielle de classe Ck.
3) Montrer que si Hest un sous-groupe de Lie ferm´e de G, alors l’action
de Hsur Gest propre et sans point fixe.
( Remarque : On montre que si l’action de Gest propre et sans point
fixe alors, il existe sur M/G une unique structure de vari´et´e diff´erentielle de
classe Ck, de dimension dim(M)−dim(G)et telle que la projection canonique
π:M→M/G soit une submersion.)
Exercice 2.12 L’ensemble des sous-espaces vectoriels de dimension kde Rn
est not´e Gk,n, on l’appelle vari´et´e de Grassmann ou encore grasmannienne.
4