Universit e Paris XI

M1 10/11 G eom etrie

G eom etrie hyperbolique

Feuille dexercices 4 Exercice 4.1. (Cn et R2n ) On identie comme dhabitude Cn et R2n . On pourra prendre n = 2 pour simplier les notations. Rappeler quelle est lidentication. 1. La multiplication par i est une application lin eaire de Cn . Ecrire la matrice J de cette application, en tant quapplication R-lin eaire, dans la base canonique de R2n . Que vaut J 2 ? 2. M emes questions pour la conjugaison complexe. 3. Soit une application R-lin eaire de R2n . A quelle condition est-ce une application C-lin eaire ? Traduire cette condition matriciellement. 4. La conjugaison complexe est-elle un endomorphisme de Cn ? Donner la relation entre J et J . Exercice 4.2. (Angle des cercles projectifs et conjugaison) Soit V un espace vectoriel complexe de dimension deux. 1. Soit CP un cercle projectif. Montrer quil existe une unique involution P de P(V ) telle que pour tous D1 , D2 , D3 CP , pour tout point D P(V ), on a l egalit e [D1 , D2 , D3 , D] = [D1 , D2 , D3 , P (D)]. Commencer par traiter le cas o` u P = R2 C2 , puis expliquer comment sy ramener. 2. Montrez que l egalit e [D1 , D2 , D3 , D] = [P (D1 ), P (D2 ), P (D3 ), P (D)] a en fait lieu pour tous points (D1 , D2 , D3 , D), les trois premiers etant deux ` a deux distincts. En d eduire que la compos ee de deux telles involutions est une homographie. 3. On voudrait relier la trace de lhomographie P1 P2 ` a langle entre les cercles projectifs CP1 et CP2 . On suppose que ces deux cercles se rencontrent en deux points A, B . a. Montrer quil existe une base (e1 , e2 ) de C2 telle que P1 est le plan r eel engendr e par e1 et e2 , Les deux points dintersection de CP1 et CP2 sont les droites complexes Ce1 , Ce2 . Montrer que P2 est alors le plan r eel engendr e par ae1 et be2 , o` u a, b sont deux nombres complexes. b. D ecrire lapplication P1 dans ces coordonn ees. D ecrire lapplication P2 (on pourra utiliser lapplication (z, z ) (az, bz ), qui envoie P1 sur P2 ). Rappeler la d enition de la trace dune homographie. Calculer la trace de P1 P2 . c. Calculer langle entre les deux cercles ` a laide dun birraport. Conclure. Exercice 4.3. Soit a un point de P(V ). Reliez langle de deux cercles CP1 et CP2 passant par a` a langle que font les droites r eelles P1 a et P1 a dans a. Exercice 4.4. (Proposition 8.2.5 du cours) Soient C1 et C2 deux cercles projectifs dans P1 (C) se coupant en deux points. On se donne un troisi` eme cercle projectif D qui coupe C1 et C2 orthogonalement en (a1 , b1 ) et (a2 , b2 ). Montrer que langle entre C1 et C2 se calcule en fonction du birapport des quatre points [a1 , b1 , a2 , b2 ] par la formule [a1 , a2 , b2 , b1 ] = cos( ) + 1 . 2

Indication : on pourra choisir une carte ane adapt ee, dans laquelle, notamment, C1 et C2 deviennent deux droites les plus simples possible.

Exercice 4.5. Sym etries axiales (paragraphe 9.1.4 du cours) La sym etrie g eod esique daxe (a, b) est d enie comme lisom etrie du plan hyperbolique caract eris ee par : sa restriction au bord a linni est lunique involution projective xant a et b. Rappelons que dapr` ` es les r esultats sur les involutions, tout point c = a, b du bord ` a linni est alors envoy e sur le point (c) tel que [a, b, c, (c)] = 1. 1. Montrer que la sym etrie daxe (a, b) est lunique isom etrie di erente de lidentit e pr eservant tous les points de la g eod esique (a, b). Montrer que cest une involution renversant lorientation et ses points xes sont exactement les points de la g eod esique (a, b). 2. Montrer que toutes les isom etries involutives renversant lorientation sont des sym etries. 3. Soit (a, b) une g eod esique et x un point nappartenant pas ` a (ab). Soit la sym etrie daxe (a, b), montrer que la g eod esique passant par x et (x) est lunique g eod esique orthogonale ` a (a, b) passant par x. 4. D eterminer la sym etrie axiale daxe imaginaire pure dans le demi plan de Poincar e. 5. Montrer que toute isom etrie renversant lorientation du plan hyperbolique s ecrit, dans le demiplan de Poincar e, az +b cz +d avec a, b, c, d r eels v eriant une condition ` a expliciter.

Exercice 4.6. 1. Donner explicitement une isom etrie entre le mod` ele du disque et le mod` ele du demi-plan. 2. Rappeler la forme des isom etries dans le mod` ele du demi-plan. 3. On voudrait montrer que, dans le mod` ele du disque hyperbolique D, les isom etries sont les homographies za z Ru a ( z ) = u 1a z o` u u est de module 1 et a de module strictement inf erieur ` a 1. a. Montrer que ces transformations de P1 (C) pr eservent le disque unit e. En d eduire que ces transformations sont des isom etries du disque hyperbolique. b. Soit h une homographie de P1 (C) pr eservant le disque unit e. Trouver a et u tels que 1 1 eduire que h = Ru a . g = h a Ru xe 0 et 1. En d Exercice 4.7. 1+z . 1z a. Montrer que est une isom etrie entre le disque hyperbolique et le demi-plan de Poincar e. b. Calculer, pour tout vecteur v , la norme euclidienne du vecteur Dz (v ) en fonction de celle de v . c. Soit : [a, b] D2 une courbe dans le disque unit e. Calculer la longueur de la courbe . En d eduire la formule donnant la longueur dune courbe dans le mod` ele du disque. :zi 2. Dans le disque hyperbolique, soit CR le cercle hyperbolique de rayon R centr e en 0. Ce cercle est aussi un cercle euclidien (pourquoi ?). Calculer le rayon euclidien Re de ce cercle. 3. Calculer la circonf erence (en longueur hyperbolique) du cercle CR . Comparer ` a la circonf erence euclidienne : on donnera notamment les limites des rapports des longueurs hyperbolique et euclidienne lorsque R tend vers 0, puis vers linni. 4. Montrer quil nexiste pas dhomoth etie hyperbolique de rapport 2 : aucune application de D2 dans lui-m eme ne multiplie toutes les longueurs par 2. 1. On consid` ere lapplication

Exercice 4.8. On se place dans le plan hyperbolique et son mod` ele projectif complexe. On d enit les horosph` eres comme les cercles tangents au cercle ` a linni. On se donne 4 horosph` eres tangentes comme sur la gure ci-dessous. Montrer quil y a un lien entre le birapport de x, y, z, t et la distance de A ` a B sur la gure (en pointill es est dessin ee la g eod esique dextr emit es x, y ). Indication : se placer dans le mod` ele du demi-plan, mettre x ` a linni, et appliquer Pythagore.

U = M

Cz

x Cx

Ct
Cy
y

Exercice 4.9. (Fonction horosph` erique associ ee ` a un point ` a linni) On consid` ere une g eod esique c(t) dont lextremit e` a linni est x. Montrez que hc (z ) = lim (d(z, c(t)) t)
t

existe. Montrez que les lignes de niveau de ces fonctions sont les horosph` eres. Indication : Utiliser le mod` ele du demi-plan avec x ` a linni. Exercice 4.10. Montrez que deux g eod esiques c et d ont le m eme point ` a linni si et seulement si lim sup(d(c(t), d(t))) < .
t

Exercice 4.11. (***) Montrez que la distance hyperbolique est convexe : si x est un point et c(t) une g eod esique alors la fonction t d(x, c(t)) est convexe. Exercice 4.12. (***) Montrez que la m ediatrice entre deux points du plan hyperbolique, d enie par H = {z | d(x, z ) = d(y, z )}, est la g eod esique orthogonale au segment hyperbolique [x, y ] et passant par le milieu.

Le groupe des isom etries

Exercice 4.13. Quelques propri et es alg ebriques dans le groupe des isom etries du plan hyperbolique Dans cet exercice, on consid` ere seulement les isom etries pr eservant lorientation. 1. Montrer que deux isom etries de nature di erente (elliptique, parabolique ou hyperbolique) ne sont jamais conjugu ees. 2. A quelle condition deux isom etries de type hyperbolique sont conjugu ees ? M eme question pour les elliptiques, puis pour les paraboliques. On pourra utiliser le mod` ele du demi-plan. 3. Soit une isom etrie de type hyperbolique, une isom etrie quelconque, d ecrire lisom etrie 1 en donnant son type et ses el ements caract eristiques. D ecrire le centralisateur de , cesta-dire le sous-groupe des isom ` etries qui commutent avec . M emes questions pour les isom etries des deux autres types. 4. D ecrire le centre du groupe, cest-` a-dire lensemble des isom etries qui commutent avec toutes les autres.

Exercice 4.14. ` quelle condition existe-t-il un triangle, dans le plan 1. Soient , , ]0, [ trois nombres. A hyperbolique, dont les mesures des angles valent , , ? 2. Montrer que pour tout entier n 5 il existe, dans le plan hyperbolique, un polygone r egulier a n c ` ot es dont les angles sont droits. Exercice 4.15. (dapr` es Etienne Ghys, Groups acting on the circle ). Dans un groupe, le commutateur de deux el ements a et b est l el ement [a, b] := aba1 b1 . On veut montrer que le groupe P SL(2, R) est parfait, cest-` a-dire engendr e par les commutateurs. Pour cela, nous utilisons le plan hyperbolique, dont P SL(2, R) est le groupe des isom etries pr eservant lorientation. 1. Montrer que toute isom etrie pr eservant lorientation est le produit de deux el ements elliptiques. On va maintenant montrer que toute isom etrie elliptique est un commutateur. 2. On veut construire, dans le plan hyperbolique, un quadrilat` ere abcd avec ab = cd et ad = bc. Montrer quun tel quadrilat` ere existe ; mieux : montrer que tout nombre strictement compris entre 0 et 2 est laire dun tel quadrilat` ere. 3. Expliquer pourquoi il existe une isom etrie A une isom etrie qui envoie a sur b et d sur c. 4. On choisi de m eme une isom etrie B qui envoie a sur d et b sur c. Montrer que le commutateur ABA1 B 1 est une isom etrie elliptique. Donner son angle en fonction de laire du quadrilat` ere abcd. 5. Conclure.

Sous-groupes discrets
Exercice 4.16. 1. Soit un groupe disom etries du plan hyperbolique engendr e par un el ement g . Est-ce un sous-groupe discret ? Quand cest le cas, expliquer, en fonction de la nature de g , la construction dun domaine fondamental pour . 2. Soit g = z z/2 dans le mod` ele du demi-plan hyperbolique, et le groupe engendr e par g . Soit P le polygone {z | 1/2 < Re(z ) < 1}. Dessiner les images de P par les el ements de . Faire les dessins correspondants dans le mod` ele du disque. Ce polygone est-il un domaine fondamental du groupe engendr e par g ? Donner un domaine fondamental pour . 3. Soient 1 , 2 deux sym etries axiales, et le groupe quelles engendrent. D ecrire, en fonction de la position relatives des axes, la nature de (discret ou non, avec ou sans torsion). Le cas ech eant, donner un polygone fondamental. Exercice 4.17. P SL(2, Z)
1 1. Soient S (z ) = z et T (z ) = z + 1, on rappelle que S et T engendrent le groupe P SL(2, Z). Dessiner les images du domaine de Dirichlet associ e au point i pour les transformations suivantes :

{1, T, T S, ST 1 S, S, ST, ST S, T 1 S, T 1 }. 2. D ecrire un domaine fondamental pour le groupe P SL(2, Z) correspondant ` a lun des deux dessins suivants. Indication : on proc edera par d ecoupage ` a partir du domaine fondamental d ecrit 184 CHAPITRE VI. GROUPES FUCHSIENS dans le cours.

FIGURE VI.1. Deux autres pavages pour PSL(2, ) (variantes)

Exercice 4.18. Soit un sous-groupe discret de P SL(2, R), et D un domaine fondamental sans . Soit un contient point de qui nest pour . OnDmonstration veut montrer que si la D nitude est compact, alorsz aucun el e mentx parabolique. 0 ne Pour cela, pose lment non trivial de et considrons lensemble P des paron aucun points z qui sont plus proches de z que de tout autre point de (z ) := Inf {d(z, T (z )), T \ {Id0 }, T non elliptique }. lorbite (z 0 ) : 1. Montrer que est une fonction continue sur H2 . P = z ; d hyp (z , z 0 ) = d hyp (z , (z 0 )) . 2. En utilisant lhypoth` ese de compacit e, montrer que atteint son minimum sur H2 . dabord, puisque avec est fuchsien, lorbite (z 0paraboliques ) est discrte et P 3. MontrerTout que ceci est incompatible la pr esence d el ements dans . contient un voisinage de z 0 . Maintenant, notons que P est lintersection des demi-plans

puisque chaque Pi est convexe (pour la mtrique hyperbolique), lintersection P lest aussi : P est en particulier connexe et simplement connexe. La restriction de P une boule (hyperbolique) de rayon r > 0 concide avec lintersection dun nombre ni de Pi , savoir ceux cor-

Pi = z

; d hyp (z , z 0 ) d hyp (z , z i ) , z i (z 0 ) {z 0 } ;

Exercice 4.19. Un polygone fondamental non localement ni On consid` ere les isom etries hyperboliques donn ees, dans le mod` ele du demi-plan, par f (z ) = 2z, g (z ) = 3z + 4 . 2z + 3

1. Montrer que g envoie la g eod esique 1 = (1, 2) sur la g eod esique 2 = (1, 2). Quelle est la nature de f et g ? 2. On consid` ere le groupe engendr e par f et g . On admettra que le groupe agit proprement discontin ument 1 , et que le polygone P dont les sommets sont 2, 1, 1, 2 en est un polygone fondamental. Dessiner les images de P par f, f 1 , g, g 1 . 3. Montrer que le polygone P = 1, g (i), g (2i), 2, 2i, i est aussi un polygone fondamental pour . 4. En d eduire que le polygone P = 1, g (i), g (2i), 2, est encore un polygone fondamental pour . Indication : on remarquera que, pour chaque demi-droite euclidienne D issue de 0 et rencontrant P , les segments D P et D P sont des domaines fondamentaux de laction de f sur D. 5. Dessiner les images de P par g, g 1 , f 1 , f 2 . Montrer que la famille {g (P ) | g } nest pas localement nie : il existe un compact qui rencontre g (P ) pour une innit e de g distincts. Exercice 4.20. Soit P un polygone fondamental pour un groupe discret . On consid` ere, sur de P , la relation d ladh erence P equivalence donn ee par x y si il existe g tel que y = gx, et / lespace topologique quotient. On consid` on note P ere lapplication naturelle : P / H2 /. 1. Donner la d enition pr ecise de , et montrer quelle est continue. 2. (*) Montrer que la famille {g (P ) | g } est localement nie si et seulement si est un hom eomorphisme. Exercice 4.21. (Examen juin 2009) Soit 0 la mesure daire sur le plan hyperbolique donn ee dans le mod` ele de demi-plan de Poincar e par 0 (A) =
A

dxdy . y2

On rappelle que laire dun segment g eod esique est nul. Soit S une surface hyperbolique compacte sans bord que lon identie H/. Soit P un domaine fondamental polygonal compact pour laction de . Soit le rev etement de H sur S . On d enit la mesure P sur S tel que pour tout sousensemble A de S P (A) := 0 1 (A) P . On admettra que P est une mesure sur S appel ee mesure daire. On veut d emontrer que P ne d epend pas de P . 1. Soit Q un autre domaine fondamental compact pour . Montrer que P est recouvert par un nombre ni densembles g.Q, g . 2. Montrez alors quil existe un nombre ni d elements 1 , . . . , n de un nombre ni de polygones U1 , . . . Un tels que a. les int erieurs des Ui sont disjoints de m emes que les int erieurs des i .Ui , b. P = 1,...n Ui , c. Q = 1,...n i .Ui . 3. En d eduire que P = Q .

1. Voir lexercice sur le ping-pong.

Exercice 4.22. Ping-Pong On consid` ere quatre g eod esiques L1 , . . . , L4 dispos ees comme sur la gure. Soient g1 une isom etrie de type hyperbolique qui envoie L1 sur L2 , et g2 une isom etrie de type hyperbolique qui envoie L3 sur L4 .

On note le groupe engendr e par g1 et g2 . Soit la composante connexe centrale du compl ementaire des quatre g eod esiques. 1. On veut montrer que les images de ladh erence de par les el ements du groupe recouvrent le plan hyperbolique. a. Montrer quil existe un nombre r tel que les cinq ensembles
1 1 , g1 , g1 , g2 , g2

recouvrent le r-voisinage de , cest-` a-dire lensemble des points ` a distance plus petite que r dun point de . b. En d eduire que la r eunion des images de par les el ements du groupe est ouverte et ferm ee. c. Conclure 2. Soit g \ {1}, et z un point de . Montrer que le point g (z ) nest pas dans . Aide. L el ement g s ecrit comme compos e de puissances de g1 et de g2 ,
2 1 n g p1 g = g pn g p2

o` u n 1, chaque pi est un entier relatif non nul, les i valent alternativement 1 ou 2 (autrement dit, on a 1 = 1, 2 = 2, 3 = 1, . . . ou bien 1 = 2, 2 = 1, 3 = 2, . . . ). D eterminer, en utilisant cette ecriture, dans laquelle des cinq zones se trouve g (z ). 3. D eduire des questions pr ec edentes que agit sans point xe et proprement discontin ument (on pourra montrer que toute boule est recouverte par un nombre ni dimages de ). 4. En d eduire egalement que est un domaine fondamental de laction de . 5. Soit G un groupe engendr e par deux el ements g1 , g2 . On suppose qu il nexiste aucune relation entre ces deux el ements, mis ` a part celles forc ees par la loi de groupe : plus pr ecis ement, pour chaque donn ee de n, 1 , . . . , n , p1 , . . . , pn comme ` a la question 2, on a
2 1 n g pn g p2 g p1 = 1.

On dit alors que G est le groupe libre a ` deux g en erateurs.

a. Montrer que dans un groupe libre ` a deux g en erateurs, chaque el ement admet une ecriture n 2 1 unique g pn g p2 g p1 . b. Soit un groupe engendr e par deux el ements 1 , 2 . Montrer quil existe un morphisme surjectif de G, groupe libre ` a deux g en erateurs, vers . Donner un exemple o` u ce morphisme nest pas injectif. c. Montrer que tous les groupes libres ` a deux g en erateurs sont isomorphes. On note d esormais F2 ce groupe. d. Montrer que le groupe , d eni plus haut, est un groupe libre ` a deux g en erateurs. 6. Question subsidiaire Dessiner quelques el ements du pavage associ e au domaine fondamental . Dessiner la surface quotient, en particulier les images dans cette surface des axes de g1 et de g2 et des g eod esiques 1 , 2 .

Exercice 4.23. Soit G un groupe agissant proprement et discontin ument sur un espace topologique X , au sens suivant : pour tout compact K de X , il nexiste quun nombre ni d el ements g de G tels que g (K ) K = . On suppose que X est un espace m etrique localement compact. 1. Montrer que lespace quotient X/G := {G.x, x X },

muni de la topologie quotient, est s epar e. 2. Montrer quil sagit dun rev etement. 3. Soit g : (x, y ) (2x, y/2) agissant sur le plan trou e R2 \ {0}. Laction du groupe engendr e par g est-elle proprement discontinue ? Trouver explicitement une paire de points du quotient qui ne sont pas s epar es.