Groupe fondamental, premiers calculs d’homologie
1. Groupes topologiques
Un groupe topologique est un groupe dont l’ensemble sous-jacent est muni d’une topologie
telle que la multiplication et l’inversion sont continues. Exemples : Z,R,S1,SL(n, R), les
groupes de Lie en général...
1– Notons Hle sous-groupe Z+√5Zde R. Décrire la topologie quotient sur R/H.
2– Soit Gun groupe topologique et Hun sous-groupe. A quelle condition la topologie
quotient sur H\Gest séparée ?
3– On suppose maintenant que Gest un groupe topologique connexe par arcs. Soient α
et βdeux lacets basés en l’identité ede G. Montrer que la concaténation α·βest
homotope au lacet
αβ :t7→ α(t)β(t).
4– Montrer que la concaténation α·βest aussi homotope au lacet βα.
5– Montrer que le groupe fondamental de Gest commutatif.
2. Suspension d’homéomorphisme linéaire du tore
Soit Tle tore R2/Z2et Aune matrice de M(2,Z). On note GL(2,Z)l’ensemble des
matrices inversibles de M(2,Z)dont l’inverse est encore à coefficients entiers.
1– A quelles conditions l’action linéaire de Asur R2induit un homéomorphisme fAde
T?
2– On se place sous la condition ci-dessus et on considère la suspension MAde l’homéo-
morphisme fA:
MA=T×[0,1]/(x, 0) ∼(fA(x),1).
Montrer que MAest homéomorphe à un quotient de R3par un sous-groupe de trans-
formations affines. MAest-elle orientable ?
3– Montrer que MAest une variété.
4– Montrer que MAet MA0sont homéomorphes si Aet A0sont conjuguées dans GL(2,Z).
Montrer que c’est toujours le cas si A−1et A0sont conjuguées dans GL(2,Z).
5– Déterminer le groupe fondamental de MA.
6– Montrer que MAet MA0sont homéomorphes si et seulement si Aet A0ou A−1et A0
sont conjuguées dans GL(2,Z).
3. La décomposition polaire
On veut montrer que le groupe GL(n, R)se rétracte sur O(n)). On note Sl’ensemble des
matrices symétriques et S+l’ensemble des matrices définies positives.
1– Montrer que l’exponentielle réalise un homéomorphisme entre Set S+.
2– Montrer la décomposition polaire : l’application O(n)× S+→GL(n, R)donné par
(Q, S)7→ QS est un homéomorphisme (c’est même un difféomorphisme).
3– Conclure
4– (Bonus) Calculer le groupe fondamental de SO(n)pour tout n.
1