Académique Documents
Professionnel Documents
Culture Documents
Mathematics
Edited by A. Dold, B. Eckmannand E Takens
1441
M. Coornaert
T. Delzant
A. Papadopoulos
G6om6trie et th6orie
des groupes
Les groupes hyperboliquesde Gromov
Springer-Verlag
Berlin Heidelberg New York London
Paris Tokyo Hong Kong Barcelona
Authors
Michel C o o r n a e r t
Thomas Delzant
Athanase Papadopoulos
Universit6 Louis Pasteur, Math6matiques
7 rue Rene Descartes, 6 7 0 8 4 Strasbourg, France
This work is subject to copyright. All rights are reserved, whether the whole or part of the material
is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation,
broadcasting, reproduction on microfilms or in other ways, and storage in data banks. Duplication
of this publication or parts thereof is only permitted under the provisions of the German Copyright
Law of September 9, t965, in its current version, and a copyright fee must always be paid.
Violations fall under the prosecution act of the German Copyright Law.
© Springer-Verlag Berlin Heidelberg 1990
Printed in Germany
Printing and binding: Druckhaus Beltz, Hemsbach/Bergstr.
2146/3140-543210 - Printed on acid-free paper
Avant-propos
Ces notes sont issues d'une s6rie d'expos6s faits de septembre 1988 h novembre 1988 (et
compl6t6s en juin et septembre 1989) au s6minaire GT 3 de l'Universit6 Louis Pasteur de
Strasbourg. Le th6me en 6tait les travaux de Michael Gromov sur l'hyperbolicit6. La rdfdrence
principale est l'article HyperbolicGroups [Gro] de Gromov.
A de rares exceptions pr6s, tous les 6noncds se trouvant dans le texte pr6sent sont dfis h M.
Gromov. Cependant les preuves de [Gro] sont assez succintes, quand elle ne sont pas laissdes
enti6rement au lecteur, et le fait d'en expliciter le d6tail nous a paru beaucoup plus qu'un simple
exercice.
Nous aimerions que le lecteur partage notre 6blouissement devant une th6orie qui, presque
entibrement bas6e sur l'in6galit6 triangulaire dans un espace mdtrique, permet d'englober un
nombre important de r6sultats de la th6orie combinatoire des groupes.
Nous ne sommes pas les seuls commentateurs de Gromov ! Signalons en particulier Ie recueil
[G-H] 6dit6 par Etienne Ghys et Pierre de la Harpe, issu d'un s6minaire h Berne, les notes [Sho]
6ditdes par Hamish Short, d'un s6minaire ~t Berkeley, consacrdes h ce m~me sujet, et un preprint de
B. Bowditch [Bo] 6ciit dans un esprit analogue. Avec tout cela, que le lecteur se rassure, l'article
original de Gromov, d'une in6puisable richesse, laisse encore de multiples faces cachdes.
C'est avec plaisir que nous remercions plusieurs personnes qui ont soutenu ce travail, en
particulier Daniel Bennequin, Martin Lustig, Bernard Morin (responsable du sdminaire GT3) et
Hamish Short qui se sont intdress6s de pr6s ~t ce s6minaire et nous ont encourag6s ?~r6diger les
notes. Nous remercions aussi routes les personnes qui ont assist6 r6guli6rement aux expos6s, ou
qui nous ont aid6s, soit par Ieurs questions, ou bien par leurs remarques ou commentaires :
Frangois Apdry, Marie-Claude Arnaud, Mich61e Audin, Julien Duval, Francis Bonahon, Henri
Gaudier (qui nous a expliqu6 la th6orie des automates), Steve Gersten, Pierre Julg, Marie-Paule
Muller, Frdd6ric Paulin et Marc Troyanov.
This book grew out of a series of lectures made by the three authors at the University of
Strasbourg. The purpose of the lectures was to introduce Gromov's theory of hyperbolic groups.
Basically, we have tried to write a self-contained text, with complete proofs, for part of Gromov's
theory which, sometimes, is only outlined in [Gro].
space, the same property holds up to an additive constant (which depends only on ~ and on n).
We therefore get a "quasi-convexity" property in a hyperbolic space.
In C h a p t e r 9 , we show that, in analogy with the isometries of the classical hyperbolic space
lI-In, isometries of a Gromov-hyperbolic space are classified into three types : hyperbolic, parabolic
and elliptic. A hyperbolic isometry is characterized by the fact that orbits of points define
quasi-isometries from the integers into the space X ( in chapter 10, we give more information
about the dynamics of such an isometry; in particular, we prove that its action on the boundary of
the space has, as in the classical case, two fixed points, one attractive and one repulsive). An
isometry is elliptic if the orbit of every point stays in a compact region of space. Finally, an
isometry is parabolic if every orbit has exactly one accumulation point on ~X. While we establish
this classification, we prove several useful lemmas which give sufficient conditions for the type of
an isometry in terms of the the relative distances of the first three iterates of an arbitrary point.
which has some special properties. This process can be thought o f as multiplying the length
element of the hyperbolic metric by the function ~t, or in other words, instead of calculating
lengths of curves as the infimum of Riemann sums of distances between neighboring points on the
curve, we calculate lengths of curves by integrating the function It. To define the new metric, we
take the associated path-metric.
By taking It in a convenient class of functions, we obtain a metric space which is not complete
and whose completion is, from the topological point o f view, Gromov's compactification of the
hyperbolic space which was introduced earlier. This construction is comparable with the
construction of the open Euclidean unit disk, from the hyperbolic disk, by scaling the metric by the
fight real-valued function. The metric completion of the Euclidean unit disk is exactly the union of
the hyperbolic disk with its boundary.
With respect to any of the new metrics, the action of an isometry of X on OX is Lipschitz.
The action of a quasi-isometry is HOlder. Furthermore, the action of an isometry of hyperbolic type
is a contraction near the attractive fixed point; using this fact, we show how to construct free
groups of rank 2 in the isometry group of a hyperbolic space, as groups generated by sufficiently
large powers of two isometries of X which have disjoint fixed point sets.
Rdfdrences 159
Index 162
Chapitre 1
Ixl= [X~,o--I×-xol.
(x.y) = (x.Y)xo = 1/2 ( [x I+ l y I- I x - y t).
On a imm6diatement :
(x.y) = (y.x) ; (x.x) = [xl ; (x.x o) = 0 ,
et d'apr6s l'in6galit6 triangulaire :
0 < (x.y) < m i n ( Ix [, [y ]).
On peut calculer (x.y) de la mani~re suivante. Consid6rons dans le plan euclidien un triangle
Ix'o, x', y'] qui r~alise l'espace m6trique {xo, x, y}, c'est-h-dire tel que :
tX'o-X' I= [Xo-X [, [X'o-y' [= [ x o - y I et t x ' - y ' I= I x - y t.
Soit c' le point de contact du cercle inscrit dans le triangle [x' o, x', y'] avec run des c6t6s
issus de x' o (figure 1). Alors (x.y) est la distance entre les points x' o et c'. (Remarquons que,
darts cette construction, le plan euclidien peut ~tre remplac6 par le plan hyperbolique IH2 ou encore
par une sphere de rayon assez grand.)
I._ Espaces mdtriques hyperboliques
yT
X
X t
0
Figure 1
D~finition 1.1 Soit 6 >_0 . On dit que l'espace mgtrique pointg (X,xo) est fi-hyperbolique si :
(x.y) >- min ((x.z), (y.z) ) -
pour tousles x, y, z ~ X.
Proposition 1.2 Si (X,Xo) est ~-hyperbolique, alors (X,x 1) est 28-hyperbolique pour tout
point x 1 ~ X.
(1) (x.y) + (z.O > rain ((x.z) + (y.t), (x.t) + (y.z)) -28,
pour tousles x, y, z ~ X.
Ddmonstration du lemme 1.3 Des nombres (x.z) , (x.t) et (y.z) on peut supposer (quitte ~t
6changer x et y , ou z e t t ) que (x.z) est le plus grand. On a alors, d'apr~s la 5-hyperbolicit6 :
1._ Espaces m~triques hyperboliques
D~finition 1.4 L'espace mgtrique X est dig ~-hyperbolique si (X,xo) est a-hyperbolique
pour tout x o ~ X. On dit que X est hyperbolique s7l existe un ~>-0 tel que X soit
S-hyperbolique.
La proposition 1.2 montre que s'il existe un point xo ~ X tel que (X,xo) soit
8-hyperbolique alors X est 28-hyperbolique.
Soit X un espace m6trique et Y C X. On dit que Y est coborn~ si la fonction dist (., Y) est
bom6e sur X. On a facilement Ia
Espaces born~s : Tout espace m6trique bored X est 8-hyperbolique, pour 8 = diam X , puisque
0 < (x.y) _< d.
La droite rielle : La droite r6elle est 0-hyperbolique. En effet, on remarque que darts IR, (x.y) est la
distance du point x o au segment Ix,y] . L'indgalit6 (x.y) > m i n ( ( x . z ) , ( y . z ) ) est alors
immddiate.
Par contre, l'espace euclidien IR n n'est pas hyperbolique pour n > 2. En effet, consid6rons un
vrai triangle [x, y, z] dans IRn , et prenons un point base x o ~ l'int6rieur du segment [x, y]. On a
(x.y) = 0 et rain ( (x.z), (y.z)) = r > 0 . Or, la 8-hyperbolicit6 appliqu6e aux images de x, y, z
par une homoth6tie de centre x o et de rapport ~ donnerait 0 > )~r - 8 ; une contradiction pour ~.
assez grand.
Arbres rdels : La notion d'arbre r6el a 6t4 introduite par J. Morgan et P. Shalen [Mo-Sh]; e11e
gdn&alise celle d'arbre (1-complexe simplicial contractile) muni d'une mdtrique simpliciale.
D6finition 2.1 On appelle arbre Mel un espace mdtrique T qui vdrifie les propridt6s suivantes:
(i) dtant dorm,s deux points quelconques de 7, il existe un segment topologique et un seul qui relie
ces deux points
(ii) tousles segments topologiques de T sont des segments g~od6siques.
Exemples.
1) Tout intervalle c IR .
Ddmonstration On remarque tout d'abord que le produit (x.y) est 6gal h dist (xo , [x, y]). I1 ne
reste plus alors qu'~t examiner (figure 2) le sous-arbre de T form6 de la rtunion des segments
gtoddsiques reliant deux points de {xo, x, y, z}.
z y
X
o X0 X
Figure 2
Espaces 6-ultram~triques
Proposition 2.3 Tout espace mdtrique qui vdrifie l'indgalitg S-ultramdtrique est
~-hyperbolique.
Exemples
1._ Espaces mdtriques hyperboliques
1) Soit K un corps muni d'une valuation v ~ valeurs r6etles (par exemple le corps Qp des
hombres p-adiques muni de la valuation p-adique). Alors tx - y ] = e- v ( x - y ) d6finit une
m6trique sur K qui v6rifie l'in6galit6 0-ultram6trique ; (K, ]) est donc 0-hyperbolique,
2) Soit (X, [ I) un espace m6trique quelconque. On obtient une nouvelle mEtrique sur X en
posant
ix-y I'=log(l+ Ix-y I).
Remarque La droite r6elte est hyperbolique mais ne v6rifie aucune in6galit6 8-ultram6trique.
Espaces gdoddsiques.
Un espace m6trique X est dit gdod6sique si deux points quelconques peuvent ~tre reli6s par un
segment g6od6sique.
Remarques et exemples.
2) IR2 priv6 de l'origine est un espace de longueur qui n'est pas g6odEsique.
5) Plus gEndralement, tout espace de longueur complet et localement compact est gEodEsiqne (voir
[Gro 1], thEorhme 1.10).
6
1._ Espaces mdtriques hyperboliques
Dans an espace grodrsique, on notera [x, y] un segment grodrsique reliant deux points x et y.
(Remarquons que [x, y] n'est pas forcrment unique.)
Triangles gdoddsiques.
Dans un espace m6trique, un triangle gdodgsique est la r6union de trois segments g6od6siques
[x, y ] , [y, z] et [z, x] ; un tel triangle sera not6 Ix, y, z ] . Les segments g6od6siques d'un triangle
g6od6sique sont les cOt~s du triangle et les extr6mit6s de ces segments en sont les sommets.
~3
~ III
Ill
x1 x2 TA
A
Figure 3
Un triangle grod6sique A est dit 6-fin (en anglais "g-thin") si deux points de A qui ont la
m r m e image par fA sont toujours ~t une distance < 8 Fun de l'autre.
On appelle point interne d'un triangle gEodrsique A tout point de A qui s'envoie par fA
sur le point central du tripode T A . On appetle mille interne de A , et l'on note insize (A) , le
diamrtre de l'ensemble des points internes du triangle A.
insize ( A ) = max I c i - c j [
oh les c i (i = 1, 2, 3) sont les points internes du triangle grodrsique A.
2) On fait ici rhypoth~se que tout triangle gdod6sique A de X v6rifie insize (A) < 8. On va
montrer que tout triangle g6od6sique est 8-fin ce qui terminera Ia d6monstration d'apr~s la
proposition 3.1.
Soit clans un triangle g6od6sique [xo, x 1, Yl] , x e [xo, x 1] e t y e [x o, Yl] tels que fA(x)
=fA(y)-Onaenparticulier Ix ]= l y [ < (Xl.y 1) (lepointbaseest Xo).Soit, pour t
[0,1],x t e [Xo, X1] et Yt e [xo, Yl] telsque Ix t 1= t ] x l ] e t ]Yt ] = t ]Yl [D'aprbsle
th6or~me des valeurs interm6diaires, il existe ct e [0,1] tel que (xc~.yc0 = Ix I = I y I. Le
triangle g6od6sique A' = Ixo, xc~, ya] vdrifiant d'apr~s l'bypoth~se insize (A') _< 8 , on a bien ]
x-y 1<8.
Dgmonstration L'in6galit6 de gauche est 6vidente. Pour montrer celle de droite, soit Yi (i = 1,2 3)
des points situ6s sur les c6t6s du triangle A = Ix 1, x 2, x3] et c i (i = 1, 2, 3) les points internes (Yi
et c i 6tant situds sur le c6t6 oppos6 ~t x i ).
On dit qu'un triangle g6od6sique est ¢~-dtroit si l'un de ses c6tds est contenu dans le
~-voisinage de la r6union des deux autres. (On rappelle que pour Y C X , le 3-voisinage de Y est
l'ensemble des points de X qui sont ~ distance _< 5 de Y.)
Lemme 3.5 Dans un eapace mdtrique, tout triangle 6-~troit est de mille minimale _~ 2~.
D~monstration Soit [x,y,z] un triangle g6od6sique tel que [x,z] soit contenu dans le 5-voisinage
de [x,y] U [y,z]. La fonction f(m) = dist (re,Ix,y]) - dist (m, [y,z]) v6rifie f(x) < 0 et f(z) > 0.
D'apr~s le th6or~me des valeurs interm6diaires, il existe donc un point m de [x,z] tel que dist (m,
Ix,y]) = dist (m, [y,z]) < 8. D'o~ l'existence de points p e [x,y] et q ~ [y,z] dont la distance
m est < & Le diam~tre de {m,p,q} est < 25, ce qui montre le temme.
10
1._ Espaces m#triques hyperbotiques
§4._ Hyperbolicit~ de E n
L e m m e 4.1 Le diamdtre du cercle inscrit dans un triangle quelcoque du plan hyperbolique U.2
est majorg par log 3.
Ddmonstration Soit [x,y,z] un tel triangle. Faisons tendre successivement chacun des sommets
vers le cercle ~t l'infini : y le long de Ix,y] en s'61oignant de x, etc. par permutation circulaire (figure
4).
¢
Figure 4
A chaque 6tape, le diam&re du cercle inscrit dans le triangle augrnente. Par cons6quent, le plus
g a n d diam~tre est celui du cercle insczit darts un triangle id6al, c'est-~-dire dans un triangle dont tous
les sommets sont sur le cercle ~t l'infini (un tel triangle est unique ~t isom6trie prbs). Utilisons pour
module de I[-I2 le demi-plan de Poincar6. Prenons comme triangle id6al le triangle [-1, 1, ~]. Le
cercle inscrit est le cercle centr6 en 2i et de rayon euclidien I. Son diam~tre hyperbolique est log 3
(figure 5). Ceci d6montre le lemme.
11
1._ Espaces mdtriques hyperboliques
-1
Figure 5
C o r o l l a i r e 4.2 Dans le plan hyperbolique 1T-I2 tout triangle est (~-fin avec ~ = log 3.
Th6or~me 5.1 Toute vari~tg riemannienne, simplement connexe et compldte, dont la courbure
sectionnelle est major~e par une constante -a 2 < 0 est hyperbolique avec (~ = a -1 log 3.
X est une vari6t6 riemannienne vdrifiant les hypotheses. On appelle S(a) la surface,
simplement connexe et complete, ~ courbure constante -a 2 (on sait que S(a) est unique h isom6trie
pros). Soit A = [Xl,X2,X3] un triangle g6od6sique de X et soit A(a) = [ml,m2,m3] un triangle
g6oddsique de S(a) qui r6alise A , c'est-~t-dire tel que : Ix i - xj [= ]m i - mj Ipour i,j = 1,2,3.
Consid6rons l'application canonique f : A --~ A(a), c'est-h-dire celle qui envoie x i sur m i pour
tout i e t qui, restreinte h chacun des c6t6s de A, est isom6trique.
12
1._ Espaces m~triques hyperboliques
D~monstration du th~or~me 5.1 (c~ partir du th~or~me 5.2 ) La surface S(a) s'obtient en
muttipliant, dans le plan hyperbolique lg 2, toutes les distances par a -1 : Les triangles grodrsiques
de S(a) sont donc 5-fins avec 5 = a -1 tog 3 d'apr~s le corollaire 4.2. I1 en est doric de mEme pour
les triangles gEodEsiques de X d'apr~s le thEorbme 5.2. Cela montre la 5-hyperbolicit6 de X
(proposition 3.1).
L e m m e 5.3 Si a i (resp. Oi) est t'angle en x i (resp. en mi) du triangle d (resp. A(a)), on a :
O~i -~ Oi.
L e m m e 5.4 Si l'on fixe les longueurs de deux cgtds d'un triangle de S(a), alors la longueur du
troisidme c3tg est est une fonction croissante de l' angle au sommet qui lui est opposd.
Ddmonstration Voir Euclide [Euc] (Livre I des E16ments, proposition XXIV et XXV ne faisant
pas appel a l'axiome des parall~les) ou utiliser une formule de gdomrtrie hyperbolique.
Dgmonstration (cf. E. Rinow [Rin], satz 2 p.314). Soit [Pl,P2,q] et [Pl,P3,q] des triangles de
S(a) qui rralisent respectivement les triangles [Xl,X2,Z] et [xl,x3,z]. On dispose [Pl,P2,q] et
[Pl,P3,q] de part et d'autre de leur crt6 cornmun [Pl,q] (fig. 6). Prolongeons le segment [P2,q],
au-del~ de q, jusqu'au point r tel que ]r- q ]= IP3 - q [ ( = Ix3- z ]). Le lemme 5.3 montre que
rangle en q du quadrilat~re [Pl,P2,q,P3] est rentrant (i.e. > ~). L'angle en q du triangle [pl,q,r]
est donc infrrieur ou 6gal a l'angle en q du triangle [Pl,q,P3]. On en drduit, ~t l'aide du lemme 5.4,
que l'angle en P2 du triangle [Pl ,P2, r[ est infdrieur ou 6gal ~t rangle en m 2 du triangle
[ml,m2,m3] et donc que IPl - q I_< Im 1 - f(z) I, ce qui 6tablit le lemme.
13
1._ Espaces mdtriques hyperboliques
P
P
Figure 6
(2) [ y - z l _ < [ t - u [.
14
1._ Espaces mdtriques hyperboliques
Exercices.
i) Soit X la r6union des deux axes de ~ 2 . On munit X des m6triques [ let [ I' suivantes :
[ [ (resp. [ I' ) est la restriction h X de la m6trique euclidienne (resp. de la m6trique SNCF).
a) Montrer que ces deux mEtriques sont 6quivalentes, i. e. qu'il existe des constantes C 1 et C 2
strictement positives telles que
C 1 [x-y l< [ x - y [' < C 2 I x - y [.
b) Montrer que (X, [ I' ) est hyperbolique mais que (X, ] I) ne l'est pas.
2) Soit deux mEtriques I let [ I' sur un ensemble X. On suppose que ces deux mEtriques sont
une distance bom6e l'une de rautre, i. e. qu'il existe une constante C telle que :
[Ix-y I- I x - y I' I --- C.
Ators (X, [ 1' ) est hyperbolique si et seulement (X, [ l) rest.
5) Montrer que le cylindre euclidien N 2 / Z est hyperbolique (majorer par exemple la taille
minimaIe des triangles gEod6siques).
6) Utiliser la proposition 3.4 pour retrouver que tout arbre reel est 0-hyperbolique et que, pour n _>
2, t'espace euclidien IRn n'est pas hyperbolique.
15
Chapitre 2
§1._ C o n s t r u c t i o n d u bord
Soit X en espace m6trique muni d'un point base x o . On dit qu'une suite (ai) de points de
X converge (} lTnfini si
lira (ai,aj)xo = ~o quand i et j --~ ,,~.
Cette d6finition ne d6pend pas du point base x o choisi puisque pour tout couple de points x,y
E X, ona :
Remarquons que si la suite (ai) converge h l'infini, alors I ai ] --+ ~ quand i ---) ~ ,
puisque (ai.ai) = [ ai I (rappelons que I a t = I a - x o t ).
On notera S~, (X) l'ensemble des suites de points de X qui convergent ~ l'infinL
On suppose d6sorrnais X hyperbolique. Ii existe doric une constante 5 >_0 telle que
ce qui implique que ~, est transitive. (Remarquons que (Hyp) permet aussi de montrer que si
(ai) Pu (b i) alors (ai, bj) ---) oo quand i et j --~ oo .)
On dira que la suite (ai) de points de X converge vers le point x ~ OX si (ai) converge ~t
l'infini et x est la classe d'6quivalence de (ai).
Exemples
1) Si X estbom6, on a S ~ (X) = ~X = 0 .
2) Si X = /R , on a OX = {-~,+,,~}.
17
2._ Bord d' un espace hyperbolique
(en prenant c o m m e points base x o ~ X et f(x o) e Y). Remarquons enfin que si l'on suppose en
plus f c o b o r n d e (i.e. telle que la fonction dist (., f(Y)) soit born6e sur Y), alors ~f est une
bijection.
C o r o l l a i r e 1.3 Soit X un espace hyperbolique, (ai) et (bi) deux suites de points de X telles
que / a i - b i ] _~ C ( oit C est une constante >_0). On suppose que Ia suite (ai) appartient d Soo (X).
Alors la suite (bi) appartient aussi ~ S~o (X) et les deux suites (ai) et (b i) convergent vers le m~me
point de OX.
Extension de (x.y).
18
2 . _ B o r d d' un espace hyperbolique
Qualifions de p r o p r e un espace m6trique dans lequel toute boule ferm6e est compacte. Notons
que si X est propre, alors X est compact et localement compact. Remarquons que la droite r6elle
IR, munie de la m6trique min (1, l x-y I ), est un espace completet localement compact, mais n'est
pas propre. Toute vari6t6 riemannienne compl~te est propre. En fait, un espace gdod6sique est propre
si et seulement si il est ~ la fois complet et localement compact ([GLP] th6orbme 1.10).
Ddmonstration On montre d'abord la seconde assertion. Soient Yi une suite de points convergeant
vers y e t ci(t) une suite de gdod6siques joignant x ~ Yi • Le th6or~me d'Ascoli montre que la suite c i
est relativement compacte dans l'espace des applications continues d'un intervalle de 1R h valeurs
dans X , et on peut donc en extraire une sous-suite convergeant vers une application r qui est une
isom6trie de IR + ~ valeur dans X . I1 est ais6 de verifier que r(+,,~) = y.
19
2._ Bord d'un espace hyperbolique
Proposition 2.2 Soient a, b, c trois points de Xuc)X ; a,~,?" trois gdoddsiques de X joignant
respectivement b d c , c d a , et a d b . Tout point de a est situd d une distance au plus ~gaIe d
24fi de la r~union de fl et ~'. De plus une g6od~sique joignant deux points du bord reste dans le
86-voisinage de toute autre g6oddsique joignant ces deux points.
Pour montrer la seconde assertion du lemme, il suffit de faire tendre a et b, dans ce qui
pr6c6de, vers un m~me point du bord, le long de nos deux gdoddsiques.
ke cas off deux ou trois des points a, b, c se trouvent dans OX se traite alors d'une faqon
analogue au premier cas.
20
2._ Bord d'un espace hyperbolique
Proposition 3.1 Si X est un espace 6-hyperbolique, alors visp : Ovis,pX --~ OX est
injective.
Ddmonstration Soient r 1 et r 2 deux rayons issus de p tels que rl(,,o) = r2(oo). Soient t > 0, et
x i (pour i = 1, 2) un point situ6 sur r i avec (Xl.X2) > t. On a vu (proposition 3.1 du chapitre 1)
que tous les triangles g6od6siques dans X sont 48 -fins, On en d6duit que I rl(t) - r2(t) [ -< 48
(remarquons que, d'apr~s la d6monstration de Ia proposition 3.1 du chapitre 1, l'existence d'un
segment g6od6sique reliant x 1 et x 2 n'est pas indispensable). Les rayons r 1 et r 2 sont doric
asymptotes. Ceci d6montre la proposition.
L'image du bord visuel en p par visp s'appelle le champ visuel en p . Le champ visuel peut
8tre n-bs rdduit, voire vide (par exemple quand p e s t isol6).
On peut pr6ciser la proposition pr6c6dente dans le cas des espaces g6oddsiques propres.
21
2._ Bord d'un espace hyperbolique
D{monstration La surjectivit4 rEsulte de la proposition 2.1 . Le fait que X~JOvisX soit compact
rEsulte facilement du thEorhme d'Ascoli .Soit x ~ 3X et soit (ai) une suite de points de X
convergeant vers x. ConsidErer des segments gEoddsiques [p,ai] et utiliser le thEorhme d'Ascoli
pour construire un rayon r issu de p tel que r(,,*) = x .
D~monstration Si le produit scalaire (a.ai)pest plus grand que n, des gEodEsiques joignant p ~ a et p
~t ai restent ~t une distance infdrieure ~ 245 jusqu'~ l'instant n d'apr~s 2.2. Ainsi la famille des
gdoddsiques joignant p ~t ai e s t relativement compact, et tout point d'accumulation de cette suite est
une gEodEsique qui reste ~t une distance bornEe de toute gEodEsique joignant p ~ a. La rEciproque
rEsulte de la proposition 2.2.
Remarques Notons aussi que si X est separable, XUOX l'est aussi et est donc mEtrisable ; on ddduit
aussi de 3.3 que s i p et q sont des points d'un espace hyperbolique gEodEsique propre, les champs
visuels en p e t q sont canoniquement homEomorphes. L'Etude d'une classe conforme de mdtriques
sur le bord de X sera l'objet d'un chapitre ultErieur (chapitre 11).
DEmonstration Sir Iet r 2 sont des rayons issus de p et faisant entre eux un angle c~ en p, r 1
et r 2 s'Ecartent l'un de l'autre au moins autant que deux rayons euclidiens issus de rorigine 0 et
faisant entre eux un angle ot en 0 (voir par exemple [Eb-O'N] ). Par consequent, si les rayons r t
et r 2 sont asymptotes, ils sont Egaux. D'ofa l'existence d' homEomorphismes canoniques OX =
Rp = Sp n-1.
22
2._ Bord d'un espace hyperboIique
Exercices
1) Construire un arbre r6el non born6 dont le bord hyperbolique est vide.
2) Soit X un espace 0-hyperbolique. Montrer que I x - y I = exp (-(x.y)) est une mEtrique sur
3X compatible avec la topologie de OX.
4) Soit X un espace g6od6sique hyperbolique localement compact. Soit E(X) l'ensemble des
bouts de X. Montrer qu'il y a une application continue natm:elle OX ~ E ( X ) . Montrer que cette
application est un hom6omorphisme si X est un arbre r6el localement compact.
5) Soit M une vari6t6 compacte h courbure n6gative ou nulle ; notons F l e groupe fondamental de M
et X son rev6tement universel. On rappelle que X est dite vari6t6 de visibilit6 (cf. [E-O]) si deux
points du bord visuel bX sont joints par une g6od6sique incluse dans X . Montrer que la vari6t6 X,
munie de la m6trique de rev~tement, est hyperbolique si et seulement si elle est de visibilit6. En
anticipant sur les notions introduites au chapitre 4 , en d6duire que les propri6t6s suivantes sont
6quivalentes : X est de visibilit6 ; le groupe F est hyperbolique; et la propri6t6 de visibilit6 ne
d6pend pas du choix d'une m6trique ~tcourbure n6gative sur M.
23
Chapitre 3
On dit que f est une (~.,k) -quasi-gdodisique (off ~. > l e t k ->0) s i p o u r tout
sous-intervalle [a',b'] de [a,b] , on a :
long f([a',b']) < ~. I f(a') - f(b') [+ k .
On dit que f est une quasi-ggodEsique globate, ou simplement une quasi-gdoddsique, s'il
existe u n couple O%k) tel que f soit une (~,k) -quasi-g6od6sique.
On dit enfin que f est une (~.,k,L) -quasi-gEodEsique locale (off ~. et k sont c o m m e
ci-dessus, et L > 0 ) si pour tout sous-intervalle [a',b'] de [a,b] tel que tong f([a',b']) < L, on a :
long f([a',b']) < ~. I f(a') - f(b') I + k .
On d6montrera aussi le
Pour k = 1, la propri6t6 recherch6e d6coule du fait que tout triangle dans X est 8 -fin.
25
3._ Quasi-ggodgsiques et quasi-isom~tries
L e m m e 1.6. Soit X un espace mitrique gdoddsique et S/4 -hyperbolique, B une boule de centre
x o et de rayon d , et x , y deux points situgs en dehors de B , relids p a r un segment g~oddsique
[x, y] passant par le point x o .
On a donc en particulier :
(1.6.3) [ yi-Yi+11_<25.
Pour tout i = 1 . . . . . n - l , joignons les points Yi et Yi+l Par un segment g6oddsique, et soit
Y la chaine [Yo,Yl] u ... ~ [Yn-l,Yn], Soit m un point sur Y dont la distance h x o soit 6gale
dist(xo,Y). Par (1.6.3), le point m est situ6 ~ une distance < 8 d'un point yj. On a donc
On a d'autre part, par Ie l e m m e 1.5, dist(x o, Y) <_ kS. En utilisant (1.6.4), ceci d o n n e d _<
( k + l ) 5 , d'ofi
26
3._ Quasi-gdoddsiques et quasi-isom~tries
Ddmonstration Soient t 1 et t 2 les points les plus proches de t o dans [a,b], sim6s respectivement
~t gauche et ~ droite de ce point, et v6rifiant :
dist(f(tl),[x,y]) = dist(f(t2),[x,y]) = d o / 2 .
On a ainsi, pour tout t E [tl,t2], dist(f(t),[x,y]) > do/2
et l_< d o _< [ f ( t l ) - f(to) ] + ] f ( t l ) - f(t o) ] -<-<long f([tl,t2]).
2
Consid6rons maintenant l'ensemble ~ de tous les sous-intervalles [ao,b o] de [a,b] v6rifiant les
conditions (1.7.1) et (1.7.2) du lemme, ainsi que la premiere in6galit6 de la condition (1.7.3).
L'ensemble ~ est compact. De plus, il est non vide, car c o m m e on vient de le voir, il contient
l'intervalle It 1, t2].
Soit I = [ao,bo] un intervalle dans ~ dont l'image par f est de longueur minimale. Pour voir
que I convient, il suffit de voir clue la longueur de son image par f est <- 2t.
27
3.- Quasi-g~odFsiques et quasi-isomFtries
On consid6re alors un intervalle [ao+e 1, bo-e2] contenu darts [ao,bo], ofa e l et c2 sont > 0
et petits, choisis de telle sorte que la longueur de f([ao+e 1, bo-82]) soit > L . Par compacit6, 3 ~1 >
0 t. q. pour tout t • [ao+e 1, b o - e 2 ] , on ait dist(f(t),[x,y]) > d 1 + rl (ofa d I e s t toujours 6gal
dist(f(ao),[x,y]) ).
L e m m e 1.8 Soit X un espace mdtrique ~/4 -hyperbolique, d o un nombre rdel plus grand que
20~ et l un nombre _<do. Soit de plus Ix,y] un segment gdod~sique dans X et f : [ao,b o] ---y X
un chemin rectifiable vgrifiant les conditions (1.7.1), (1.7.2) et (1.7.3) du Lemme 1.7.
On a aIors :
I1 existe donc un point m sur Y tel que [ z o - m [ < 28. I1 y a deux cas ~t consid6rer:
2dme cas Supposons maintenant que le point m soit sur l'un des segments [Xo,Xl] ou [Yo,Yl],
28
3._ Quasi-g~od~siques et quasi-isomdtries
Les in6galit6s (1.8.2) et (1.8.3) impliquent respectivement, d'apr~s le L e m m e 1.6, que l'on a
rune des deux in6galit6s suivantes :
Par hypoth~se, on a d o > 208, et donc z > 20. L'in6galit6 ci-dessus est bien stir vraie pour tout z
> 20. Ceci d6montre le lemme 1.8.
29
3._ Quasi-gdoddsiques et quasi-isomdtries
STl existe un point z sur fl[a,b]) tel que d(z) > 80~ et L >_2d(z) , alors d(z) ~- ~1 .
On en dEduit que p- , et par consequent I f(a o - f(b o) ] , est major6 par une constante c~1 qui ne
depend que de 8 , )~ et k .
Compldment On peut donner une estimation du nombre e 1 qui apparatt dans l'Enonc6 du lemme
1.9:
On consid~re l'inEgalitE (1.9.2) et on pose g' = It/45. On a donc:
2g '-1 _<2)qa' + 16~ + k/45 + 2 , ce que r o n 6crit sous la forrne :
(1.9.3) 2g' -< Akt' + B, oia l'on a pose A = 2~. et B = 32~ + k]25 + 4 .
A partir de (1.9.3), on peut Ecrire que l'on a au moins l'une des deux possibilitEs suivantes :
ou bien 2g' < 2 B , ce qui donne It' < log2B + 1,
ou bien 2~t' < 2Ait', qui donne It' < log22B + log2~t' •
30
3 . - Quasi-g~od~siques et quasi-isom~tries
En r6unissant toutes les 6ventualit6s, on trouve que r o n a dans tous les cas
~t' < l o g 2 A B + 2, et donc ~t _< 165 log2(128)~2 + 2)&/8 + 169~) + 2 . D'o?a :
I f(a o - f(b o) I < 2 (165 log2(128)~ 2 + 2)~k/5 + 16)~) + 2) + 3 2 5 , ce qui donne
do < e l =2X (165 log2(128)~2 + 29&/8 + 16~,) + 2) + 32)~8 + k .
C o r o l l a i r e 1.10 Soit e = 2e 1 (en suivant les notations du lemme 1.9). Si L > 2e = c , alors une
(~.,k,L)-quasi-g~oddsique locale reste dans le e-voisinage de route ggoddsique joignant ses
extr~mit~s.
D~monstration Raisonnons par 1'absurde, et supposons qu'il existe un point z sur f([a,b]) tel
que que d(z) > 2e I . Par continuit6 de la fonction distance, on pourrait alors trouver un point z sur
f([a,b]) tel que que d(z) = 2e 1 , de sorte que ron a bien L > 2d(z), avec d(z) > 4 0 5 . Le l e m m e
montre alors que d(z) _<e I , ce qui est une contradiction. Ceci d6montre le corollaire.
La dernibre pattie du th6or~me 1.2 r6sulte du l e m m e suivant, qui sera aussi utilis6 dans la
d6monstration du th6or6me 1.4 :
L e m m e 1.11 Soit, dans un espace mdtrique X quelconque, 7: [a,b] ---~X un chemin continu et
[x,y] un segment g~oddsique reliant les extrgmit~s x = Xa) et y = 7(b) de 7. Soit K >_0 tel que
7 soit contenu darts le K-voisinage de Ix,y]. Alors [x,y] est contenu clans le 2K-voisinage de ~/.
D~monstration Soit z un point sur [x,y]. D'apr~s le th6orbme des valeurs interm6diaires, on peut
trouver un point u sur y tel que I x - u I = I x - z I. Par hypoth~se, ii existe un point p sur [x,y]
tel que I u - p I < K . On a alors :
Ip-zl= [ Ix-zl-lx-pl [ = [ Ix-ul-lx-pl [ _< l u - p l d'apr6srindgalit6triangulaire, et
donc I p - z I < K .
31
3._ Quasi-ggoddsiques et quasi-isom~tries
D 6 m o n s t r a t i o n du t h 6 o r ~ m e 1.4
Par le th6or~me 1.2, il existe deux nombres, L 1 et e , qui ne d6pendent que de 5 , )~, et k ,
tels que toute ()~,k,Lt) -quasi-g6od6sique locale f : [a,b] ~ X est contenue dans le e-voisinage de
tout segment g6od6sique joignant les points f(a) et f(b).
Soit L un nombre > max (L 1, 2(4e~2+8e)~ + k)~ + k )). Montrons qu'un tel L v6rifie les
propri6tds recherch6es.
Soit L' = L/2 et d6coupons l'intervalle [a,b] en n intervalles, d'extr6mit6s a o = a < a 1 <... <
a n = b , tels que V i e n - 1, on ait long f([ai,ai+i] ) = L', et long f([an_l,an]) < L'.
Pour tout i = 0, 1 ..... n , soit xi = f(ai), et soit Pi une projection de x i sur [x,y] (c'est-~t-dire
un point sur ce segment v6rifiant [ xi - Pi I = dist (x i , Ix,y]) ).
L e m m e 1.12 Les points Po , P l ..... P n s e suivent darts cet ordre sur le segment [x,y].
D~monstration En effet, supposons qu'au contraire, il existe un indice i tel qu'on trouve sur le
segment [x,y] des projections Pi telles que Pi+2 soit du m~me c6t6 que Pi par rapport au point
Pi+l (voir figure 1).
X,
~ " ~ i+l
I i I
x y
i) i+?. Pi P i+ I
Figure 1
32
3._ Quasi-g~odgsiques et quasi-isom~tries
Soit p un point sur [x,y], situ6 entre p i et Pi+l et ?~distance ct/2 de P i + l • On a alors,
d'apr~s (1.12.1), I P i - P ] > oq2.
x Pi P Pi+l Y
Figure 2
On salt que tout point de ce chemin g est ~t une distance < E du segment g6oddsique [x,y]. Par
le lemme 1.11, on peut trouver un point Yi sur g tel que ] p - y; ] < 2~.
Supposons que le point Yi ne soit pas sur fxi,xi+l. On aurait alors, par l'in6galit6 triangulaire,
I P - Y i l _ > o q 2 - e . D'o~ ~ 2 - e <- 2~, c e q u i i m p l i q u e r a i t ( L ' - k ) / ) . - 2 ~ < 6 E , et donc L <
16Xe + 2 k , contredisant le choix de L . Le point Yi se trouve donc sttr l'image de f, entre x i et
xi+ 1 .
Par un raisonnement analogue, il existe un point Yi+l sur l'image de f, compris entre xi+ 1 et
xi+ 2 , et v6rifiant aussi I p - Yi+l I < 2e (pour ceta, on pourra utiliser le fait que ron a aussi
I P i + l - Pi+2 I -> 0~, et que par cons6quent le point p est situ6 ~i une distance > c~/2 du point
Pi+2)-
33
3._ Quasi-ggod~siques et quasi-isomgtries
La longueur du sous-chemin de f compris entre Yi et xi+ 1 est > ] Yi - Xi+l ] , qui, par
l'indgalit6 triangulaire est > or/2 - 3~. De m~me, la longueur du sous-chemin compris entre Yi+l et
xi+ 1 est > ff42 - 3~. On en dEduit que la longueur du sous-chemin de f compris entre Yi et Yi+l
est >-_ c~ - 6 ~ . La l o n g u e u r de ce dernier sous-chemin est major6e par L , ce qui donne, par
quasi-gdodEsicit6 locale :
4e> [ Yi-Yi+l[ >_(c~-6e-k)/k.
On a alors : 4£2. _> ( L' - k )/2. - 8~ - k , ce qui donne : L < 2(4eL 2 + 8eL + k~. + k), ce qui
contredit le choix de L . Ceci d6montre le lemme.
En additionnant, on obtient :
long f([a,b]) < )~ I x - y [ + n (2L~; + k ) .
34
3._ Quasi-ggoddsiques et quasi-isomgtries
quelconque, et soit f une application entre X 1 et X 2 . On dit que f est une ()~,k) - quasi-isom~trie
(ou une ()~,k) - quasi-isomgtrie au sens large; voir la remarque ci-dessous) si pour tout couple de
points x, y ~ X 1, on a :
~-llx-yl-k_< I f ( x ) - f ( y ) l -- 9~ ] x - y l + k .
On dit que f : X 1 -4 X 2 est une quasi-isom~trie, ou une quasi-isom~trie au sens large, s'il
existe @,k) tel que f soit une 0~,k)-quasi-isom6trie.
Remarque La d6finition ci-dessus, qui est celle de Gromov, est plus g6n6rale que celle que l'on
trouve chez Thurston ([Thu]), darts laquelle le membre de droite est remplac6 par )~ I x - y l . On
dira dans ce demier c a s q u e l'on a une quasi-isom~trie au sens fort. Remarquons qu'une
quasi-isom6trie au sens fort est continue (car lipschitzienne), ce qui n'est pas n6cessairement le cas
pour une quasi-isomEtrie au sens large.
Remarquons que pour des m6triques 6quivalentes qui ne sont pas g6od6siques, l'6nonc6 n'est en
g6n6ral pas vrai, comme le montre l'exercice 1 du chapitre 1.
35
3._ Quasi-g~od~siques et quasi-isomdtries
D~monstration Pour tout segment [x',y'] de Ix,y] , on a, en utilisant le fait clue f e s t une 0~,k) -
quasi-isom6trie,
long f([x',y']) _< ~ long [x',y'] = )~[ x ' - y ' ] < )~2(] f ( x ' ) - f(y') ] + k )
= )~2 [ fix') - fly') I + ~.2 k , ce qui d6montre le lemme.
D~monstration Le chemin f([x, y]) est, d'apr6s le lemme 2.4, (~2, ~2k) _ quasi-g6od6sique.
D'apr~s le th6orbme 1.4, il est contenu dans le K -voisinage du segment If(x), fly)], ota K est une
constante qui ne d6pend que de 8 , ~, et k.
Corollaire 2.6 Sous les hypothdses du lemme 2.5, il existe une constante C telle que p o u r tout
segment ggodgsique [f(x), f(y )] et pour tout point z sur [f(x), f(y)] , on a
dist ( z ,f([x, y]) ) -< C.
Dgmonstration Elle d6coule des lemmes 2.5 et 1.11, en prenant C = 2K, ofa K est la constante du
lemme 2.5.
Supposons que l'application f soit une 0~,kt) -quasi-isom6trie au sens fort, et soit A 1 = Ix 1,
x 2, x3] un triangle g6od6sique de X 1 . Consid6rons un triangle g6od6sique A 2 = [f(xl), f(x2),
f(x3)]. Si X 2 est 8 -hyperbolique, alors la taille m i n i m a l e du triangle A 2 est -< 48. Par
cons6quent, il existe des points zi (i = i, 2, 3) situds sur chacun des c6t6s de A 2 , tels que [ zi -
zj I < 48. D'apr~s le l e m m e 1.11, il existe une constante C telle que z i soit ~ une distance _<C de
36
3._ Quasi-g~oddsiques et quasi-isom~tries
f(ci), off c i est le c6tE de A 1 oppose ~ x i . D'ofi l'existence de u i ~ c i tel que [ z i - f(u i) [ <- C.
D'apr~s l'in6galitE triangulaire, on a [ f(ui) - f(uj) [ < 2C + 45. On a donc [ u i - uj [ < 5', avec
5'= )~(2C+45)+ ~t. La taille minimale du triangle gEodEsique A 1 est d o n c < 8'. On en dEduit que
X 1 est 5' - hyperbolique.
Ddmonstration Pour la premiere inEgalit6, on prend un point t e [x, y] tel que [ x o - t [ = dist
(x o, Ix,y]). On a alors
[x o - t l -> I x 1- t x - t l et Ix o - t l >--lyl- [y-tl.
Pour la deuxi6me in6galit6, soient c 1, c 2 et c 3 les points internes (au sens du §3 du chapitre 1)
d'un triangle gEodEsique [x o, x, y] avec Cla [xo, x] et c 3 ~ [x o, y] .
Soit x o le point base de X 1. Prenons f(xo) comme point base de X 2 et montrons que la suite
37
3._ Quasi-ggod~siques et quasi-isomdtries
D'ofi dist ( f(xo), [f(ai),f(aj)] ) ~ quand i et j ---~, ce qui implique, toujours par le lemme
2.8, que (f(ai), f(aj)) tend vers l'infini. La suite (f(ai)) est donc convergente.
On va d6duire le cas d'une quasi-isom6trie au sens large ~ partir du cas particulier d6montr6
ci-dessus, en introduisant un complexe simpliciaI de dimension 1 (dont la d6finition est dfie
Gromov) et en d6montrant deux propri6t6s 616mentaires de ce complexe.
Soit P u n nombre positif donn6. On d6finit Pd 1(X) comme le complexe simplicial de dimension
1, qui a pour ensemble de sommets PdO(X) = X, et tel que deux sommets sont reli6s par une arate si
et seulement si leur distance (comme points dans X) est <- d. On munit Pdl(X) de ta m6trique
simpliciale pour taquelle la longueur de chaque ar~te vaut 1.
Remarquons au passage que Pdl(X) est le 1-squelette d'un complexe simplicial plus grand qui
sera 6tudi6 dans le chapitre 5.
38
3._ Quasi-ggoddsiques et quasi-isom~tries
Cette double in6galit6, avec le fait que X est d-dense dans Pd 1 ( X ) , implique facilement le
lemme.
Pour ddmontrer (2.8.1), soit [Xl, x2] un segment g6od6sique dans X et x 1 = a o, a 1 ..... a n =
x 2 des points sur ce segment, qui se suivent dans rordre indiqu6, et tels que pour tout i = 0, 1.....
n - l , on ait [ a i- ai+ 1 [ < d , avec n minimal. C o m m e ( 0 ( a o ) , ~(a 1) ..... (~(an)) est un chemin
simplicial dans P d l ( X ) , on a I ~(x 1) - ~(x 2) < nd. C o m m e (n-1)d < [ x I - x 2 [, ceci
d6montre l'indgalit6 de droite.
L'indgalit6 de gauche est etle aussi imm6diate pulsque si ] ~(Xl) - O(x 2) I _< kd, il existe des
points x l = b o , b 1 . . . . . b k = x 2 de X avec [ bi-bi+l[ < d p o u r i = 1 . . . . . k, d'oh
[ x 1- x2[ < kd = ] qb(Xl)-~)(x2) [.
39
3._ Quasi-giodgsiques et quasi-isom~tries
D'o?a :
I F ( m l ) - F(m2) 1 > IF(x I ) - F ( x 2) - 2 C l d -> ;~tx l - x 2 l - O ~ + 2 C I ) d - l - t
> ~.[m 1 - m 2 l -(~,+2C 1-1)d-g.
Les lemmes 2.8 et 2.9 rdduisent la ddmonstration du thdorbme 2.2 ~ celle du cas d'une
quasi-isom6trie au sens fort, qui a d6j~ 6t6 trait6.
On a d o n c :
V a, b e IR, long f([a,b]) < [ a - b [ _<~. I f ( a ) - fib) [ + k ,
ce qui montre que f : 1R ~ X est une (~.,k)-quasi-isom6trie au sens de la d6finition 2.1.
Par le th6orbme 2.2, on a un plongement ~]R ---) OX, et en particulier f i N ) poss~de deux
points d'accumulation sur OX. Ces deux points sont notds f+ et f - . Soit y une g6od6sique
joignant les deux points f+ et f - , et d6montrons que rimage de f reste h distance bom6e de y .
Soit x un point quelconque sur l'image de f, et choisissons deux suites de points (Pi) et (P'i)
appartenant respectivement ~ fill;I) et ~ ~,, telles que ces deux suites convergent vers f- quand i
--+ ,,0 de sorte que l'on ait (Pi.P'i) --+ ~ ' . De m6me, soient (qi) et (q'i) des suites respectivement
de f(lR) et de y , qui convergent vers f + , quand i --+ ~ , de sorte que l'on ait aussi (qi.q'i) ---),,o
(voir figure 3).
40
3._ Quasi-gdoddsiques et quasi-isomdtries
Figure 3
Pour tout i , le morceau de f d61imit6 par les points Pi et qi est une ()~,k)-quasi-gEod6sique de
longueur finie, et est donc contenu (d'apr~s le thEor~me 1.3) dans un ~ - v o i s i n a g e de toute
g6od6sique joignant ces deux points, o?a ~c est une constante qui ne d6pend que de 8, )~ et k . Soit
x' un point sur [Pi,qi] tel que [ x - x' ] < ~:, et consid6rons des segments g6od6siques [Pi,P'i] et
[qi,q'i] •
D'apr~s le lemme 1.5, tout point x sur la g6od6sique bris6e Y = [P'i,Pi] U [Pi,qi] U [qi,q'i]
est ~t une distance < 88 du sous-segment gEodEsique de ~' compris entre qi et q'i. Soit donc x"
unpointde Y telque ] x"-x' ] <85.
Si les produits (Pi.P'i) et (qi.q'i) sont suffisamment grands, la distance de x' ~t tout point de
[Pi,P'i] et de [qi,q'i] est > 8 8 . On peut trouver donc un point x" sur 5' v6rifiant I x" - x' I <
8 8 , ce qui implique que I x - x" I < ~: + 85.
41
3._ Quasi-gdod4siques et quasi-isomdtries
Ddmonstration On a d6j~ vu qu'un arbre r6el 6tait un espace g6od6sique 0-hyperbolique (chapitre
1, §2). Inversement, soit X un espace g6od6sique 0-hyperbolique. Pour tout x, y ~ X , soit [x,y]
un segment g6od6sique entre ces deux points. On va montrer que si cy est un segment topologique
q u e l c o n q u e (qui est donc injectif, mais qui n'est pas n6cessairement g6od6sique) entre ces deux
points, alors on a n6cessairement ~ = [x,y].
Pour cela, soit e un n o m b r e > 0 donn6. C o m m e c~ est compact, on peut, par continuit6
uniforme, trouver une suite x 1 . . . . . x n de points consEcutifs sur cs, avec x 1 = x et x n = y e t
vdrifiant I x i - Xi+ll < e . Considdrons la g6od6sique bris6e Ix o , Xl] U [x I , x 2] U ...U [Xn_1 ,
Xn]. D'apr6s le l e m m e 1.5, si X est 8-hyperbolique, tout point de [x,y] est ~t une distance < 2k8
de la g6odEsique brisEe, ob k est un entier qui vdrifie n _< 2 k . C o m m e 8 = 0 , ceci implique que
[x,y] est contenu dans la gdodEsique bris6e. C o m m e tout point de la gdod6sique brisde est ~ une
distance < e d'un point sur (5, on en ddduit que [x,y] est contenu darts le e-voisinage de cy.
C o m m e ceci est vrai pour tout e = 0 , on obtient, en faisant tendre E vers 0 , que [x,y] est
contenu dans cy. C o m m e [x,y] et cr sont t o u s l e s deux des chemins topologiques, on en ddduit
qu'ils sont 6gaux.
Exercice
Soit 2v _> 1 et k > 0 . On dit qu'une application q d'un segment [a,b] C 11;I dans un espace
m6trique X est une (~.,k)-quasi-gdoddsique au sens large si q est une (~,k)-quasi- isom6trie (au
sens large) i.e. si
a) Soit t I < t 2 < ... < tn_ 1 les points entiers de [a,b]. Posons x o = q(a), x i = q(ti) et Xn+ 1 =
q ( b ) . Soit f u n e g6od6sique bris6e Ix o , Xl] U Ix 1 , x2] U ... U [Xn_ 1 , x n] (paramdtrde par la
longueur d'arc). Montrer que f est une (X ', k')-quasi-gdod6sique (au sens de la d6finition 1.I)
pour 7V' = ~.(2V + k) et k' = k(2V + k ) .
b) En ddduire que les th6or~mes 1.2, 1.3 et 1.4 s'6tendent aux quasi-g6od6siques au sens large.
42
Chapitre 4
Groupes hyperboliques
Dans ce chapitre, on dEfinit la notion de groupe hyperbolique et on donne des exemples de tels
groupes. La definition fait intervenir un systEme de gEnErateurs, mais on montre que l'hyperbolicitE
ne depend pas du syst~me choisi. Comme exemple important de groupe hyperbolique, on donnera
celui d'un groupe d'isomEtries d'un espace gEodEsique hyperbolique, agissant proprement
discontinfiment sur cet espace et tel que le quotient de raction soit compact.
§1._ D~finition
Si s est un mot sur l'alphabet G u G -1 (o?aG -1 est l'ensemble des inverses des ElEments de
G), c.Ld. une suite finie de lettres g l - - - g n , avec pour tout i = 1 ..... n , gi E G ou gi -1 ~ G, on
dEfinit la longueur de s comme 6tant Egale au nombre n d'E1Ements de la suite.
Pour tout 61Ement y du groupe F, on dEfinit alors la norme de y, que l'on note I y I, comme la
borne infErieure de rensemble des longueurs des mots en ralphabet G u G -1 reprEsentant
l'E1Ement g.
On dit que le groupe F est ~-hyperbolique relativement au systEme de gEnErateurs G s'il est
8-hyperbolique pour la mEtrique du mot associEe. On verra dans le § 3 de ce chapitre que
l'hyperbolicitE d'un groupe ne depend pas du systEme de gEnErateurs choisi.
4._ Groupes hyperboliques
§2._ Graphe de C a y l e y
Pour voir qu'un espace mEtrique gEodEsique est hyperbolique, il est souvent pratique d'utiliser
les crit~res dEmontrEs dans le §3 du chapitre 1 concernant la finesse, l'Etroitesse, la taille interne ou
la taille minimale des triangles g6odEsiques de cet espace. Ces critEres peuvent ~tre utilisEs aussi
pour des espaces mEtriques non gEodEsiques; une maniEre de faire est de plonger un tel espace dans
un espace mEtrique gEodEsique. Pour un groupe F, muni d'un systEme fini de g6nErateurs G, il
existe un objet concret dans lequel on peut rEaliser ce plongement, c'est le graphe de Cayley K du
groupe. Par definition, c'est un complexe simplicial de dimension 1 dont les sommets sont les
616ments du groupe, et tel que deux sommets Y1 et Y2 sont reli6s par une ar~te si et seulement si ron
peut Ecrire Y2 = Tl-g, oh g est un EIEment du syst~me gEnErateur G .
On munit le graphe de Cayley K d'une m6trique simpliciale, qui sur les sommets est la
mEtrique du mot sur le groupe, et pour laquelle la longueur de chaque arEte est Egale ~t 1. On obtient
ainsi un espace mEtrique gEodEsique et propre dans lequel le groupe F est plong6 isomEtriquement.
Ddmonstration Le plongement du groupe F dans son graphe de Cayley est cobornE, et on peut
donc appliquer la proposition 1.5 du chapitre 1.
Th~or~me 3.1 Le groupe F est hyperbolique par rapport d G 1 si et seulement si il l'est par
rapport d G 2.
Lemme 3.2 Soit / /1 Ia m~trique sur F associ~e d G t , et / /2 celle qui est associde d G 2 . ll
44
4._ Groupes hyperboliques
L e m m e 3.3 L' application f est une quasi-isomdtrie au sens fort (ddfinition 2.1 du chapitre 3).
D~monstration Remarquons d'abord que f v6rifie la propri6t6 suivante (oh C est la constante du
lemme 3.2 ci-dessus) :
(3.3.1) ~ x 1 , x 2 a K 1, I f ( x I ) - f ( x 2) 1 < C I x 1 - x 21 •
] f(xi) - f(x2) [ < long f([xl,x2] ) < C ] x 1 - x 2 ] (puisque chaque ar~te, et chaque morceau d'
ar~te, est dilat6 par un facteur < C).
Soient maintenant "/1 et ~'2 deux sommets de K 1 tels que pour i = 1 et 2, on ait I xi - 7i I
< 1/2. On a :
I w1- ,21 -c I f(71)- f(~,2) I --- c( I f(xl)-f(x2) I + 2c).
D'ob :
45
4._ Groupes hyperboliques
A partir du lemme 3.3, on obtient la d6monstration du th6or~me 3.1 grace h la proposition 2.1
ci-dessus, et au th6or~me 2.2 du chapitre 3.
Signalons aussi que le th6or~me 2.2 montre que si F est un groupe hyperbolique, il y a un
bord OF canoniquement attache ~ F.
§4._ Exemples
Un groupe libre est hyperbolique. En effet, son graphe de Cayley, par rapport ~t un syst6me
fini libre de gEnErateurs, est un arbre, qui est 0-hyperbolique (chapitre 1, proposition 2.2).
46
4._ Groupes hyperboliques
On rappelle qu'un groupe agit proprement discontinfiment sur un espace si pour tout compact
K , l'ensemble des 616ments ~/du groupe qui v6rifient ~(K) n K ~ O est fini.
Dans tout ce qui suit, F d6signe un groupe satisfaisant aux hypotheses du th6or6me 4.1. Pour
d6montrer ce th6or~me, on va utiliser des techniques essentiellement dues ~ Milnor [Mill.
(4.2.1) G -1 = G
(4.2.2) Pour tout point x de X, il existe un point x" E A et un dldment 7 de 1~ tel que x = ~(x').
(4.2.3) G estfini
D~monstration Les trois premieres propri6t6s sont faciles ~ v6rifier (4.2.3 r6sulte du fait que
raction de F est proprement discontinue que A est compact, car l'espace X est propre). Montrons
maintenant que G engendre F.
Etant donn6 un 616ment "/~ F, on consid~re un segment g6od6sique [m,'~aa] joignant le point
m au point Tm, et on recouvre [m,~m] par k disques ferm6s D O..... D k , chacun de rayon d et
dont les centres se trouvent sur ce segment g6od6sique (on suppose que les centres sont ordonn6s
suivant l'ordre indiqu6 par la num6rotation des disques), avec
k < [ I m - g(m) I / 2d ] + 1 (o?a [ ] d6signe la pattie enti~re).
Comme le diam~tre de X / F est 6gal ~ d, on peut trouver dans chacun des disques D i un
point de la forme gi(m), o?a gi est un 616ment de F ( on prendra go = id et gk = ~t). Pour tout i,
gi(A) est le disque de rayon 2d et de centre g i ( m ) . Comme deux points successifs gi(m) et
47
4._ Groupes hyperboliques
On dEduit de la demonstration ci-dessus le lemme suivant qui nous sera utile par la suite :
L e m m e 4.3 Etant donnds deux points m = ~(mo) et m" = ~(m'o) de l'image ¢(F) du groupe
1-', et un segment ggoddsique [m, m7 dans X joignant ces points, on peut trouver une suite de k
~ldments h 1, h2 ..... h k du systdme de gOndrateurs G vOrifiant les trois proprigt~s suivantes:
(4.3.1) k _<[ [ m - m' [ / 2d ] + 1 , et m e t m' sont joints par un chemin de la forme q~(Y) o~
Y est un chemin simplicial dans K d~fini comme
Y = [m o, h l m o ] o [ h I m o , h2 h l m o ] u ...U [ hk_ 1...h l m o, hk hk_l...h l m o ] ,
(4.3.2) Y est contenu dans le d'-voisinage de la gdoddsique [m, m'] , oa d" est une constante qui
ne d~pend pas du choix des points m et m' ,
D~monstration On utilise tes m6mes notations que celles de la demonstration de la proposition 4.2.
Les deux premieres affirmations sont claires ( on peut prendre d' = d + s , avec s = sup [ (~(gi) -
~(Id)) ], o?a gi dEcrit les ElEments du syst~me gEn6rateur G).
[ m - g'lg'2...g'l(m) [ <4dl.
48
4._ Groupes hyperboliques
Notons par ailleurs que [ y ] d6signe aussi la distance entre les extr6mit6s du chemin Y. On
en d6duit facilement que Y est une (q,q')-quasi-g6od6sique darts K , avec deux constantes q et q'
ind6pendantes des points m e t m'.
Proposition 4.4 II existe une constante C > 0 t.q. pour tout Yl et 2"2 dans F, on a
C -1. I Yl- 72 IF ~-I ¢(Yl)~(Y2) IX ~C. I Yl- Y2 Ir
Ddmonstration Comme F agit isomEtriquement sur X, il suffit de montrer que pour tout 616ment y
F, o n a
C - l l Y [ < [ m-y(m) l x -<C [ y[ .
Soit maintenant k le plus petit entier t.q. [ m - 7(m) I < kv, et montrons que [ y [ ~ k.
49
4._ Groupes hyperboliques
Par la proposition 4.2, on peut trouver, pour tout i = 0 ..... k, un point Y'i ~ A et un 616ment
3'i ~ F t.q. Yi = 3'i-Y'i. (On prendra Y'0 = Y'k = m, 3'0 = id et Yk = 3'-)
Si X est hyperbolique, le graphe de Cayley K est alors aussi hyperbolique (par le th6or~me
2.2 du chapitre 3), ce qui implique (par la proposition 2.1 ci-dessus) que le groupe F est lui-m~me
hyperbolique.
50
4._ Groupes hyperboliques
uniformEment bornEe. Pour chacun des points x i , on peut trouver un point x' i dans ~(F) avec
] xi - x' i [ < d. En utilisant le lemme 4.3, on peut, pour tout i et j , joindre les points x' i et x'j
par un chemin Y'ij dans ~ ( K ) , avec Y'ij = ~(Yij), oh Yij est une (k,k')-quasi-g6od6sique dans
K, avec k et k' ind6pendants des points x i.
Par le th6or~me 1.3 du chapitre 3, Yij est contenue dans le d2-voisinage d'un segment
g6od6sique dans K joignant ses points extremes, oh d 2 est une constante uniforme.
En utilisant la proposition 4.4, on peut maintenant d6duire du fait que la taille minimale des
triangles g6od6siques Y12 t~ Y23 u Y31 est bornEe uniformEment, que celle des triangles
[x 1, x 2, x3] l'est aussi (cf. la demonstration du th6or~me 3.1 ci-dessus). Ceci dEmontre le thEor~me
4.1.
Corollaire 4.6 Si 1" est le groupe fondamental d'une vari~td riemannienne compacte M de
dimension n d courbure sectionnelle < O, ators 1" est hyperbolique et son bord est homdotrwrphe
d S n-1 .
Corollaire 4.7 Le groupe fondamental d'une surface compacte de caractdristique d'Euler < 0 est
h)perbolique et son bord est hom~omorphe d S 1 .
Corollaire 4.8 Soit 1-* un sous-groupe d'indice fini d'un groupe F. Alors F est hyperbolique si
et seulement si F ' I'est.
D~monstration. I ~' agit sur le graphe de Cayley K de 1" de manidre proprement discontinue, avec
K / F ' compact.
51
4._ Groupes hyperboliques
On attribue g6n6ralement au math6maticien Max Dehn le fait d'avoir 6t6 le premier ~lr6aliser
que la g6om6trie hyperbolique permettait de r6soudre effectivement ces probl~mes (d'ailleurs connus
sous le nom de probldmes de Dehn ) pour le cas du groupe fondamental d'une surface ferm6e de
courbure < 0 . Les m6thodes de Dehn, qui relient combinatoire des groupes et g6om6trie
hyperbolique, constituent la base de ce que ron pourrait appeler la th6orie g6om6wique des groupes.
Dans ce §, on pr6sente des algorithmes qui rEsolvent ces deux probl6mes, qui s'appuient sur
les propriEt6s de stabilit6 des quasi-gEodEsiques, et qui sont une adaptation de ceux que Cannon
dEcrit dans [Can] pour r6soudre les mEmes probl6mes pour les groupes fondamentaux de vari6tEs
riemanniennes compactes h courbure strictement n6gative.
Dans tout ce qui suit, F est un groupe ~5-hyperbolique pour un syst6me fini de gEn6rateurs
G. On munit F de la m6trique du mot associ6e.
Th6or~me 5.1 ll existe une constante L' (qui ne ddpend que de S), tel que si w e s t un mot en
l'alphabet G qui est de longueur >_ L" et qui reprgsente l'identit~ du groupe, il existe un sous-mot
de w de longueur _(L' qui (quand on te considdre comme un chemin discret dans le groupe F
muni de la m~trique du mot associde gt G, ou de manidre ~quivalente, comme un chemin continu dans
te graphe de Cayley associ~) n'est pas gdoddsique.
On suppose que le mot w est de longueur_> k'+l et que tout sous-mot de longueur < L e s t
g6od6sique. Le mot w (vu comme un chemin dans le graphe de Cayley) est donc une
52
4._ Groupes hyperboliques
A partir du thEorEme 5.1, on dEduit une solution (faible) du probl~me du mot qui peut ~tre
formulEe de la mani~re suivante :
Cette solution du probl6me du mot ne donne pas d'algorithme pour les mots de longueur < L';
il semble nEanmoins qu'elle soit satisfaisante du point de vue de la thEorie combinatoire des groupes
(en particulier, c'est celle que Cannon prEsente dans [Can]).
Dgfinition Soit w un mot sur ralphabet S e t supposons que ron puisse Ecrire le mot w comme
w=ab,o~ a et b s o n t d e u x m o t s s u r l e m E m e a l p h a b e t . O n d i t a l o r s q u e l e m o t ba e s t u n
conjugu~ cyclique de w .
I1 est clair, d'aprEs la definition, qu'un mot donne n'a qu'un nombre fini de conjuguEs
cycliques, et, consid6rEs comme ElEments du groupe F , w e t ses conjuguEs cycliques reprEsentent
des 61Ements conjuguEs de ce groupe.
Th~or~me 5.3 Soit L" la constante donnde par le thdordme 5.1. Soient w e t w" deux roots de
longueur _> L' tels que si w o est un sous-mot quelconque de w ou de w', ou d'un conjugu~
cyclique quelconque de l'un de ces deux mots, avec long(wo) (_L', alors w o est gdod~sique, ll
existe alors un entier N' (qui ne d~pend que de L ' , et donc que de ~ ), tel que si les mots w e t w'
53
4._ Groupes hyperboliques
sont conjugugs (comme gldments du groupe), il existe un mot de longueur <_N' qui conjugue w d
un conjugu~ cyclique de w' .
D~monstration Supposons que les roots w et w' soient conjugu6s, de sorte qu'il existe un mot u
tel que ron ait la relation w = uw'u -1 .
Figure 1
On d6finit maintenant les chemins bi-infinis g e t g' dans le graphe de Cayley K , comme les
chemins obtenus en r6p6tant respectivement les chemins repr6sentant les mots w e t w' que ron a
dessin6s (figure 2).
g'
0 v v v v ~ •.
Figure 2
54
4._ Groupes hyperboliques
En suivant les notations de la ddmonstration du thdorbme 5.1, les chemins g et g' sont
()v',k')-g6od6siques, o?a )~' et k' ne d6pendent que de ~ , car ces chemins v6rifient la condition
correspondante de quasi-gdod6sicit6 locale.
Les chemins g e t g' sont donc ~ distance bornde et ont donc m6me points g l'infini, g+ et g-
E 0 X . Par le th6orbme de stabilit6 (chapitre 3, §1), on peut trouver un entier N tel que chacun de
ces deux chemins soit contenu dans le N-voisinage de l'autre.
Ainsi, il existe un chemin v de longueur < N + 1 dans le graphe de Cayley, qui relie le point
O ~ un des sommets, s , du chemin g ' .
Le sommet s appartient ~t l'un des it6rds du chemin repr6sentant le mot w dont on s'est servi
initialement pour bfitir Ie chemin g', et s d6coupe namrellement w en deux roots, w = ab (o~ b
est 6ventuellement le mot vide).
O v v v
'W" g
Figure 3
5.4 S o l u t i o n d u p r o b l ~ m e de la c o n j u g a i s o n
Comme pour le probl~me du mot, on a une solutionfaibIe qui permet de r6soudre le probl~me
55
4._ Groupes hyperboliques
de conjugaison dans le cas off, apr6s avoir test6 tousles sous-mots de longueur < L' (des mots w e t
w' et de leurs conjugu6s cycliques), en remplaqant ~ chaque fois un sous-mot non g6od6sique par un
sous-mot g6od6sique qui lui est 6gal comme 616ment du groupe, on trouve finalement des mots de
longueur > L ' . On a alors un algorithme fini pour trouver un mot qui les conjugue.
Exercice
Montrer que tout sous-groupe discret de type fini de PSL(2,1R) est hyperbolique (utiliser le lemme
de Selberg [Sell qui dit qu'un tel groupe poss6de un sous-groupe sans torsion d'indice fini).
56
Chapitre 5
Le poly~dre Pd(X)
Construction de Pd(X).
Soit X un espace m6trique et d un rfel > 0. On d6finit un complexe simplicial, not6 Pd(X),
de la f w o n suivante. Les simplexes de Pd(X) ont pour ensemble de sommets les sous-ensembles
finis Y C X dont le diam~tre est < d. Chaque Pd(X) a doric X comme ensemble de sommets.
Remarquons que pour d < d ' , Pd(X) est un sous-complexe de Pd,(X) et que P~(X) =
u d Pd(X) est le simplexe standard dans ]RX.
Exemples.
~0, 0 0 0 ,0 0
Q Q ,Q
/-\
Q----
2) Si X est born6, Pd(X) est le simplexe standard de /RX d~s clue d -> diam (X).
Remarque. Si X est connexe par arcs, alors Pd(X) est connexe pour tout d > O.
5._ Le polyddre Pd(X)
ContractiIit~ de Pd(X).
Proposition 1.1 Sid est strictement positif, et si X est un espace gdod~sique ~-hyperbolique,
alors le complexe simplicial Pd(X) est contractile pour tout d 2 4 ~.
Si t o u s l e s sommets de K sont ~t une distance < d/2 du point base (bien noter que les
distances sont mesur6es dans X; on n'a pas mis de m6trique sur Pd(X)), alors K est homotope
z6ro. En effet, tous les sommets de K sont alors h une distance < d les uns des autres;, K est
donc contenu dans un simplexe.
Sinon, soit Yo e K ° avec [ Yo [ maximal (et donc > d/2). Soit un segment g6oddsique
[xo,Yo] reliant x o ~ Yo dans X, et soit Y'o le point sur ce segment situ6 ~t une distance d/2 de
Yo • Soit f : K o --~ Pd(X) l'application qui envoie Yo sur Y'o et qui laisse fixes tous les autres
points de KO. Cette application s'6tend en une application simpliciale f : K --~ Pd(X) si pour tout
simplexe c de K, fro) est un simplexe de Pd(X). Cette condition est v6rifi6e si pour tout point y
Ko telque ] Y-Yo[ < d, o n a a u s s i [ y-y'o[ -< d. Or, d ' a p r ~ s l a p r o p o s i t i o n 1.6du
chapitre 1, la 8-hyperbolicit6 donne :
[ y - y ' o l + l Y o [ _<max(] y - Y o l + [Y'o[, I Y - Y ' o ] + I Y I ) + 2 5 ,
d'ohpour y~ K o telque I y - y o [ <- d, o n a :
I Y - Y ' o l _<max(d+ l Y ' o l - l Y o l , I y o - Y ' o l ) + 2 8 = d / 2 + 2 8 ,
et donc I Y - Y'o I < d puisque d > 45.
Une suite finie de telles homotopies permet d'amener tousles points de K ~ une distance <_ d/2
du point base. Ceci achhve la d6monstration de la proposition.
58
5.- Le polyddre Pd(X)
Remarque. La d6monstration montre que l'hypoth~se "X g6od6sique" peut ~tre remplac6e par :
"tout point de X peut ~tre reli6 hun point base par un segment g6od6sique".
Contractilit~ de Pd(X).
Proposition 2.1 Si F est (~-hyperboIique, alors Pd(F) est contractile pour tout d 2 4• + 1.
Ddmonstration Refaire celle de la proposition 1.1 mais en prenant pour Y'o le point de F situ6 sur
une g6od6sique reliant l'616ment neutre ~ Yo dans le graphe de Cayley et ~t une distance [d/2] de
Yo (o~ [.] est Ia fonction partie enti~re).
Remarquons que pour tout d, le groupe F agit simplicialement de mani~re naturelle sur
Pal(F). Cette action est libre et transitive sur PdO(F) = F. De plus, Pd(F) est de dimension finie,
localement fini et l'espace quotient Pd(F)/F est compact (car toute boule de F ne contient qu'un
nombre fini de points). D'o?a le :
L'existence d'une telle action va donner des informations int6ressantes sur les groupes
hyperboliques. Une technique analogue a 6t6 utilis6e dans l'6tude des groupes S-arithmEtiques
([Ser-1], [Ser-2]) : le r61e de Pd(X) est alors jou6 par un immeuble de Bruhat-Tits. Voir aussi les
rEsultats qu'ont obtenu Hatcher et Thurston ([Ha-Th]) sur le "mapping class group" d'une surface en
le faisant agir sur un complexe de courbes.
59
5.- Le polyddre Pd(X)
D~monstration A partir du th6or~me 2.2, elle est classique. Soit F un tel groupe et P l e
complexe simplicial fourni par le th6or~me 2.2. Prenons comme point base Po l'un des sommets de
P. Pour tout sommet p de P, il existe un unique y • F tel que p = Y(Po). Soit S l'ensemble des y
• F tels que {Po, Y(Po)} soit une arate. S est une partie finie de F, et S = S -1. L'ensemble S*
des mots sur ralphabet S est mis en bijection avec 1'ensemble des chemins simpliciaux issus de Po
en associant au mot (Sl,S 2 ..... s n) • S* le chemin (po,sl(Po),SlS2(Po) ..... SlS2...Sn(Po)).
Un syst~me de relations se lit sur les 2-simplexes dont Po est Fun des sommets de la mani~re
suivante. Soit (Po,Pl,P2) un tel 2-simplexe. I1 existe s, t, u • S uniques tels que P l = S(Po), P2
= st(Po) et Po = u(Po). On a la relation stu = 1 dans F. Soit R r e n s e m b l e (fini) des relations
ainsi obtenues (i.e. en consid6rant t o u s l e s 2-simplexes issus de Po). Montrons que (S;R) est une
pr6sentation de F. Cela va r6sulter de la simple connexit6 de P. En effet, soit m = (s 1,...sn) un
mot • S* tel que Sl...s n = 1 dans F. On sait que le chemin simplicial associ6 ~t m peut ~tre
homotop6 ~ z6ro par une suite finie de transformations du type insertion ou suppression du bord
d'un 2-simplexe (6ventuellement d6g6n6r6). Ces op6rations se traduisent sur m par la suppression
ou l'insertion d'un sous-mot du type (s,t,u) avec stu = 1, une relation figurant dans R. A l'aide
d'une suite finie de telles op6rations, on peut donc transformer m e n te mot trivial. Ce qui montre
que (S ; R) est une pr6sentation de F.
Pour des informations sur la cohomologie des groupes, on peut consulter [Bro] ou [Ser-1].
60
5._ Le poty~dre Pd(X)
-module (si un tel n n'existe pas, on dit que I" est de dimension cohomologique infinie). On
monrre que la dimension cohomologique de F est aussi la longueur minimale d'une r6solution libre
(resp. projective) de 7Y. en tant que Z(F)-module trivial. Le groupe F est (]it de type FL si Z
admet une r6solution de longueur finie par des Z [F]-modules fibres de type fini. S'il existe un
C W - c o m p l e x e fini K qui est un K(F,1), alors F est de type FL et donc de dimension
cohomologique f'mie (car alors le complexe cellulaire ~tcoefficients dans Z du rev~tement universel
de F donne une r6solution de ~. en rant que 7~[F]-module ).
P r o p o s i t i o n 2.4 Si 1-" est un groupe hyperbolique sans torsion, alors il existe un complexe
simplicial fini qui est un K(F,1). En particutier, 1:" est de type FL et de dimension cohomologique
finie.
D~monstration. Si 1-" est sans torsion, il agit librement sur le complexe P fourni par le th6or~me
2.2. En effet, si y ~ F fixe un point p de ce complexe, alors ~/ laisse invafiant le simplexe qui
contient p dans son int6rieur et permute donc les sommets de ce simplexe. L'action de F 6tant libre
sur les sommets de P, il y a une puissance de y qui est l'identit6.
On a donc un rev&ement P ---) P/l". Le complexe P 6tant acyclique, P/I" est un K(F,1).
On munit PW d'une structure de complexe simplicial en projetant la subdivision barycentrique de
P. Ceci d6montre la proposition.
Un th6or6me de Serre [Set-l] affirme que tousles sous-groupes sans torsion et d'indice fini
d'un groupe de F o n t la re@me dimension cohomologique. On appelle dimension cohomologique
virtuelle d'un groupe admettant des sous-groupes sans torsion et d'indice fini la dimension
cohomologique d'un tel sous-groupe. La proposition pr6c6dente se g6n6ralise en :
DEmonstration On utilise, comme dans ia d6monstration pr6c6dente, l'action d'un sous-groupe sans
torsion et d'indice fini de F sur le complexe P associ6 ~ F par le th6or~me 2.2.
Signalons que d'apr6s un th6or~me de Selberg [Sell tout sous-groupe de type fini de GLn(K)
(pour K un corps de caract6ristique nulle) contient un sous-groupe sans torsion d'indice fini.
61
5._ Le polyddre Pd(X)
a donc :
Proposition 3.1 Soit X un espace gdoddsique &hyperbolique et d >- 108. Soit S 1 un cercle
simplicial constitud de N 1 argtes et f : S 1 --~ Pd(X) une application simpliciale. Alors il existe un
disque simplicial D 2 constitud de N 2 triangles avec N 2 ~_3N1 et c?D2 = S 1 et tel que f s'gtende
en une application simpliciale D 2 --+ Pd(X) .
Si I Yl - Y21 -< d alors (Yo, Yl, Y2) est un 2-simplexe. En rempla~ant l'arc (Yo, Yl) tO
(Yo, Y2) par (Yl, Y2), on fait diminuer de 1 la longueur du lacet. On rajoute alors un triangle au
disque simplicial fourni par rhypoth~se de r6currence (fig. 1).
62
5:- Le polyOdre Pd(X)
Y Y
Figure 1
Soit [Xo, Yl] un segment g6od6sique reliant Yl au point base x o e X et soit Y'I le
point situ6 sur ce segment ~t une distance 48 de Yl (noter que I Yl I -> d/2 _> 48 ). Consid6rons
dans le lacet simplicial le sommet Y3 e Pd°(X) = X tel que Yo et Y3 soient les deux voisins de
Yl (voir la figure 2).
YO
Yl
X
0
Figure 2
63
5._ Le polyddre Pd(X)
Montrons que la distance de Y'I ~ chacun des Yi (pour i = 0, 1, 2, 3) est < d. En faisant
(y, z, t) = (Yl, Y'I, Yi) dans (1) il vient :
lYll+lY'l-Yi I _< m a x ( l Y ' l l + I Y l - Y i 1, l Y i I + I Y l - Y ' I [ ) +28
d'o~ pour i = 0 , 1, 3 en utilisant (2) et [ Y l - Yi I -< d :
De (3) et (4) on de;duit que (Y'I, Yo, Y l ) , (Y'I, Yo, Y2) et (Y'I, YI, Y3) sont des simplexes
de Pd(X) (volt Ia figure 2). En remplaqant I'arc simplicial (Y2, Yo) to (Yo, Yl) tO (Yl,Y3) par
(Y2,Y'I) tO (Y'I, Y3), on fait diminuer de 1 la longueur du lacet. On rajoute cette fois-ci trois
triangles au disque simplicial foumi par l'hypoth~se de r6currence.
64
Chapitre 6
Dans son papier [Gro], Gromov donne plusieurs caract6risations des espaces hyperboliques en
termes d'in6galit6s isop6rim6triques. La d6monstration de ces th6or~mes repose sur un lemme
analytique qui permet d'6valuer la taille minimale (voir le chapitre 1) des triangles 6quilat6raux du
plan munis d'une m6trique conforme. Gromov d6duit de ce lemme une multitude de th6or~mes
"isop6rim6tnques". Pour les comprendre, il nous a paru n6cessaire de commencer par en ddgager
un. Celui-ci conceme une classe importante de varidtds riemanniennes. A fitre de corollaire, on en
d6duit la caract6risation des groupes hyperboliques en terme d'in6galit6 isop6rim6trique qui est la
premiere d6finition du papier de Gromov.
§1- P r 6 1 i m i n a i r e s
Soit X une vari6t6 riemannienne complete simplement connexe, et soit C une courbe ferm6e
(non n6cessairement simple), de classe C 1 par morceaux trac6e dans X ; on ddfinit l'aire ddlimitde
par C , et l'on note A ( C ) , la borne inf6rieure des aires (mesur6s dans X) des disques de classe C 1
bord6s par la courbe C .
De marne que les g6od6siques sont naturellement paramdtrdes par la longueur d'arc, les disques
minimaux sont naturellement param6trds par des applications conformes ; plus prdcisement,
considdrons une courbe C de classe C 1 par morceaux trac6e dans X . Pour fixer la param6trisation
des disques minimaux, on se fixe une courbe de Jordan J , supposde C 1 par morceaux, dans le plan
euclidien. On fixe aussi trois points a, b, c sur J e t a', b', c' sur C . Sur l'espace de toutes les
fonctions de classe C 1 sur l'intdrieur de J dont la valeur au bord envoie a, b, c sur a', b', c', et qui
parcourent chacun des segments ab, bc, ca ~t vitesse c o n s t a n t e , on consid~re la fonctionnelle
d'dnergie de Dirichlet. Celle-ci est ddfinie par la formule :
E(f) = f(f'xAf'y)2dxdy
On dit alors (avec Gromov) que X est raisonnable si, pour toute courbe ferm6e homotope
z6ro, cette fonctionnelle admet un minimum absolu.
6._ Indgalitds isopdrimdtriques et espaces h)perboliques
2) A(f(T)) = A(C)
Un th6or6me difficile de Money assure que beaucoup de varidt6s sont raisonnables ; par exemple,
si X est le rev~tement universel d'une vari6t6 compacte, ou plus g~ndralement si X admet un groupe
d'isom6tries G tel que le quotient X/G soit compact alors X est raisonnable.
Pour toutes ces notions, voir Ie livre de Lawson [Law].
Thdor~me 2.1 Soit X une varidtd riemannienne compldte simplement connexe raisonnable, les
propridt~s suivantes sont dquivalentes :
i) II existe un 6 tel que X soit 6-hyperbolique et tel que route courbe de longueur infdrieure gt
30(5 borde un disque d'aire majorde par une constante (he ddpendant que de X).
ii) II existe deux constantes strictement positives A 0 et k vdrifiant la propridtd suivante :
Toute courbe C, de classe C 1 par morceaux, ddlimitant une aire au moins ggale d A 0 vdrifie
I'indgalit~ isopdrimdtrique :
A(C) _<k L(C)
iii) II existe deux constantes A 0 > 0 et c > 1 vdrifiant la propridtd suivante :
Toute courbe C, de classe C 1 par morceaux, ddlimitant une aire au moins dgale d A 0 , vdrifie
l'indgalitd isopdrimdtrique :
iv) II existe trois constantes A 0 > O, c > 1 e t a > 2 vdrifiant les propridtds suivantes :
_ 2al/c.(a-2) -1 < 1
_ toute courbe C, de classe C 1 par morceaux, ddlimitant une aire comprise entre A 0 et a2Ao
vdr~'e l~ndgalitd isopdrimdtrique (ls) ci-dessus.
66
6 _ ln~galit~s isopgrim~triques et espaces hyperboliques
Gromov affirme que dans iii), pour X convexe, on peut remplacer rinEgalit6 (Is) par
4~c.A(C) < L2(C) (toujours avec c>1),
qui est 6videmment moins forte. Mais la demonstration donnEe ci-dessous ne fonctionne qu'avec le
"4" qui n'est Evidemment pas tr~s heureux.
DKbut de ta ddmonstation .
Le fait que ii) implique iii) implique iv) est trivial ; la rEciproque l'est beaucoup moins (en
particulier, existe-t-il une demonstration de iii ) 3 ii) indEpendante de la thEorie des espaces
hyperboliques? ).
L'assertion i) ~ ii) a Et6 expliquEe dans un cadre trbs analogue dans le chapitre 4 sur Pd(X).
Une demonstration "recopiEe" est expliquEe ?~la fin de ce chapitre.
Rappetlons (chapitre t), que pour qu'un espace gEodEsique soit hyperbolique, il suffit (et il faut)
que la taille minimale des triangles gEodEsiques soit uniformEment majorEe.
Note Dans ce chapitre, et contrairement ~ la convention prise aux chapitres prEcddents, un triangle
dEsignera un triangle plein (et non pas seulement la reunion de ses trois c6tEs). Quand on parlera
d'un triangle ggodgsique, il s'agira, comme dans les chapitre prEcEdents, de trois points relies par
trois segments gEodEsiques.
Etant donne un triangle gEodEsique, on le paramEtre par une application de T ~ valeurs dans X,
dont les images des c6tEs sont des gEodEsiques parcourues h vitesse constante. Comme notre variEt6
X est raisonnable (§ 1), il borde un triangle minimal presque conforme. Ainsi, il nous faut 6valuer la
taille minimale du triangle equilateral muni de la mEtrique g2(dx2+dy 2) (rappellons que g est une
fonction diffErentiable qui peut s'annuler en un nombre fini de points, ce qui fait que notre mdtrique
n'est pas nEcessairement riemannienne).
67
6._ Indgalitds isopdrimdtriques et espaces hyperboliques
Soit x un point du plan euclidien (pas n6cessairement dans T ) et r u n r6el positif. On pose
Art(x,r) = ( g2 dy
J,]y-xkr
et
L~t(x,r) =. y.xl=r
off, par convention on a prolong6 IX par 0 en dehors du triangle. On voit facilement que, bien que
tx ne soit pas continue, L e s t continue et A est d6rivable par rapport ~ r.
Montrons que l'hypoth~se iv) impose aux fonctions L et A de v6rifier la propri6t6 suivante:
D~monstration Cela est clair si le disque D(x,r) est indus dans le triangle T ou darts son
compl6mentaire. S'il rencontre le bord de T suivant un c6t6, on ale dessin suivant (fgure 1) :
68
6 _ lnggalitgs isop~rimgtriques et espaces h>perbotiques
Figure 1
L e m m e analytique 2.2 Soit 12 une fonction continue positive ou nulle sur le triangle fermd T,
que l'on prolonge par 0 sur son compldmentaire . On suppose qu'il existe trois constantes a>2, c
> 1 et A 0 > O, telles que :
1) o~ = 2al/c.(a-2)-l< 1
2) les fonctions Lit et AIz vdrifient la propri~td (*) ci-dessus.
Alors la taille minimale du triangle (muni de la mdtrique ¢t2(dx2 +dy2) ) est majorde par :
3(1+ 2(1- a)-la 1/c) . 2(nAo)l/2.
Nous allons voir, au paragraphe suivant, la d6monstration qu'en donne Gromov.
69
6._ tn~gatitds isopgrim~triques et espaces hyperboliques
r(x,A) = le plus petit r tel que A(x,r) = A si un tel r existe et est plus petit que d(x),
On a un premier lemme :
ddmonstration Cela est clair si r(x, A0) =d(x), car alors il enest de m~me de r(x, a2A0).
Posons r 0 = r(x,A0).
70
6 . - Indgalitds isopdrimdtriques et espaces hyperboliques
Si b ddsigne le plus grand des t infdrieurs h a tel que r(x,t2A0) soit inf6rieur g d(x), la fonction
r(x,t2A0) reste constante entre b e t a, de sorte que
(r(x,a2A0) / r(x,A0 ) )2c < b 2 < a 2 "
Ddmonstration Raisonnons par l'absurde, et supposons qu'il existe un point x 0 tel que l'on ait
Posons rl* = o~r0 < c~d(x0). On voit alors que le disque de centre x 0 et de rayon R0+ rl* est
enti6rement inclus darts ~ .
71
6._ Indgalitds isopirimdtriques et espaces hyperboliques
Pour montrer le lemme 3.3, calculons la moyenne m de la fonction A(x, e~r0) sur le disque
not6 D O de centre x 0 et de rayon R 0 . Celle-ci vaut :
fDdX( g2(y)dy
o Jly-xl ___ocr0
m -
aire de D 0
Une majoration 6vidente est, aprbs avoir interverti les deux signes d'int6gration :
En effet, cette quantit6 est minimale si y est sur le cercle de rayon R o centr6 en x 0 et sur la figure
2 , elle repr6sente la proportion d'aire hachur6e par rapport a raire totale du disque. On peut donc la
minorer par
2A'/rcR02 avec A' = 1/2(otr0)2 Arcos 1/2(o~r0/R0).
L/
Figure 2
Notre assertion rEsulte donc du fait que six est compris entre 0 et 1, on a rin6galit6 :
72
6._ Inggalitds isop~rimgtriques et espaces hyperboliques
Ainsi, m _> A 0 , de sorte qu'il existe un point x 1 o~a A(xl,m" 0) > A 0 . En particulier,
r 1 = r(xl,A0) < ar 0 et Ixl-x01 < al/cr0 .
On peut appliquer ~t x 1 (au lieu de x0) le lemme 3.3 et, par r6currence, on voit qu'il existe une
suite de points x n e t de hombres r n v6rifiant :
r n = r ( x n , A 0) < ecnr0 et I x n + l - x n l < al/Cr n < a l / c r 0 .
Par suite d(xn,x0) < a l / c ( 1 - a ) - l r 0 < d(x0) (d'aprbs 3.2.1), et r n = r(xn,A 0) tend vers z6ro, ce
qui est impossible car la fonction ~t est bom6e sur tout compact de l'int6rieur de fL
Revenons ~ notre triangle T et consid6rons le tripode obtenu en joignant son centre aux milieux
de ses c6t6s (figure 3):
Figure 3
73
6._ tn~galitds isop&imdtriques et espaces h)perboliques
Pour simplifier les notations posons g = (1-or)a-1/c ; notons aussi d* la longueur d'un des pieds
du tripode. Soit x Fun des points de ce tripode.Nous allons voir le
Ddmonstration Par sym6trie, on peut 6videmment supposer que x est sur le pied qui mbne au c6t6
de T qui est une diagonale de f2, de sorte qu'on peut lui apptiquer le lemme 3.2. Comme la
distance de x au bord de f2 est minor6e par d*, celui-ci montre que r(x,A0) _>Bd*, autrement dit :
Pour prouver le lemme 3.4, fixons un point x du tripode et raisonnons par l'absurde. Nous
supposons donc que pour tout g/2d* _<r < d* on a L2(x,r) -> 4rtA 0 ; il vient alors
2
2
(fly_x~r~tds) ~ g2ds.2~r
ly-xI=r
On divise ~ droite et ~t gauche par 2Kr et on intbgre entre gd*/2 et gd*, il vient 2A 0 In 2 _<A 0 soit
21n2 < 1, ce qui est une contradiction.
Consid6rons, comme dans la figure 4, une suite de points sur le tripode, situ4s ~t une distance
6gale ~ 13d*/2, ~ laquelle nous adjoignons les trois pieds du tripode. I1 y en a au plus
3(1+ d*/13d*:2) = 3(1+2/13). Consid6rons aussi tousles cercles centr6s en ces points ddcrits par te
74
6.- Indgalit4s isopdrimdtriques et espaces hyperboliques
lemme 3.5 : la somme de leur g-longueur est inf6rieure ~t 3(1+2/g)2(~xA0) 1/2. On fabrique alors
trois courbes, constitu6es d'arcs de ces cercles, joignant trois points du triangle et dont les
g-longueurs sont major6es par 3(l+2/13)2(rtA0)l/2 (voir la figure 4). Ce nombre est, par d6finition,
un majorant de la taille minimale de notre triangle.
Figure 4
Avant d'expliquer cette demonstration, commenqons par faire quelques commentaires sur la
condition :
(**) Toute courbe de longueur inf~rieure d 30~ borde un disque d'aire majorde par une constante.
75
6._ Indgalitds isop&imdtriques et espaces hyperboliques
Figure 5
Proposition 4.1 Si le groupe G des isomdtries de X est tel que X/G soit compact, alors X vdrifie
la propridtd (**). Cela est en particulier vrai pour le revYtement universel d'une varidt~ compacte .
Ddmonstration Nous pouvons, grace g cette hypoth6se, ne consid6rer que des courbes param6tr6es
par [0,1] de longueur inf6rieure ~t 308 parcourues 5 vitesse constante (6gale 5 la longueur) et issues
d'un compact donnd de X . Celles-ci forment un compact pour la topologie de la convergence
u n i f o r m e . Soit e un nombre inf6rieur au rayon d'injectivit6 de X. Si deux telles courbes f et g
v6rifient If(t)-g(t)l<e, on construit, grace ~ l'application exponentielle un anneau d'aire inf6rieure
e(L(f)+e) dont le bord est la r6union de ces courbes. Ceci montre que la fonctionnelle d'aire est
continue, et est doric born6e sur l'ensemble des courbes de Iongueur infdrieure ~ 308.
Soit d = 108. Notons A l'aire maximale entourde par une courbe de longueur 3d. Soit C une
76
6._ In~galit~s isopdrim~triques et espaces hyperboliques
courbe de longueur L e t N la partie enti~re de ( L / d ) + l . Nous allons montrer, par r6currence sur N,
que A(C) < 3 . N A , ce qui 6tablit 6videmment i) ~ ii). Pour cela, on recopie le §3 du chapitre 4 :
1° ) lyl-Y21<d
2 °) lyl-y21 > d
Dans le premier cas, la courbe obtenue en remplaqant l'arc YlY0Y2 par une g6od6sique YlY2 est
de longueur inf6rieure ~ L - d , ce qui permet de lui appliquer l'hypoth~se de r6currence: D'autre
part, la courbe constitu6e de rarc YlY0Y2 et de la g6od6sique YlY2 est de longueur inf6rieure
3d, de sorte qu'elle borde un disque d'aire inf6rieure ~ A, ce qui suffit ~t conclure.
Darts le second cas, notons que ly0-x01 > 4 8 , sinon tyl-x0t < 58 et ly2-x01 -< 58 donc
lyl-y21 < 108 < d. Ainsi, si, quitte h changer les notations, Yl est celui de ces deux points qui est le
plus 61oign6 de x 0 , on a : lyl-x01 > 5 8 . Cela permet de consid6rer le point Y'I situ6 ~ une distance
48 de Yl surlag6od6siquejoignant x0 ?~ Yl (figure 6).
Yl
Yo
X
O
Figure 6
77
6._ Indgalit~s isop~rim~triques et espaces hyperboliques
ConsidErons aussi le point Y3 situ6 sur rarc x0y 1 h une distance d (mesurEe sur l'arc) de Yl
(si cet arc est de longueur plus petite on pose Y3 = x0 ). Nous allons voir le
l e m m e 4.2 Le point Y'I est situd d u n e distance inf~rieure ou dgale d d des quatre points Yi.
On obtient :
Compte tenu du fait que ly'l-X0[ = ly0-x01 -48 puis que ly0-Y21 =108 d'une part, et que ly0-Y21
> ly2-x01 et ly'l-y01 < 88 (en utilisant(b)) d'autre part, on obtient :
Si Y3 est different de x 0 , la courbe constituEe des arcs x0y 3 , x0y 2 et des segments
gEod6siques Y3Y'I et Y'lY2 a une longueur majorEe par L - d, de sorte qu'elle borde un disque
78
6.- ln~galit~s isop~rim~triques et espaces hyperboliques
d'aire infErieure ~t 3(N-1)A. D'autre part, les trois courbes consfituEes respectivement de segments
gEodEsiques joignant Y'I a Yi et yj et de rare YiYj (avec (i,j) = (1,3) ; (1,0) ; (0,2)) sont de longueur
infErieure ~ 3d,et bordent donc une aire infErieur ~ A . La reunion de ces quatre disques est bien
d'aire infErieure a 3 N A . Le cas o ) Y3 est confondu avec x 0 se traite d'une faqon analogue compte
tenu du fait que la gEodEsique [xoY'l] est strictement plus courte que l'arc x0y 1. Ce qu'il fallait
dEmontrer.
§5._ U n e a p p l i c a t i o n aux g r o u p c s h y p e r b o l i q u e s .
Dans ce paragraphe, nous nous proposons d'appliquer le thEor~me 2.1 ~t la thEorie des groupes
hyperboliques. La caractErisation suivante des groupes hyperboliques est la premibre definition que
Gromov donne de la notion de groupe hyperbolique.
Avant d'Enoncer le rdsultat, rappellons que tout groupe F de presentation finie peut ~tre
considErE comme groupe fondamental d'une variEt6 compacte. Par exemple, on peut procdder ainsi:
Soit gl ..... gn un syst~me fini de gEnErateur. ConsidErons la varidtE V = S 3 x S l # ...# S3xS 1 (somme
connexe de n exemplaires de S 3 x S 1 ), dont le groupe fondamental est le groupe libre fi n
gEnErateurs. Chaque relation de F peut ~tre vue comme courbe plongEe dans V ~ fibre normal trivial.
Le voisinage tubulaire d'une telle courbe est homEomorphe ~t Slx D3. I1 suffit d'opErer la chirurgie
qui consiste ~ remplacer ce voisinage par S2xD 2 pour "tuer" la relation correspondante.
Corollaire 5.1 Soit F un groupe et V une variEtd riemannienne compacte dont F est le groupe
fondamental. Les proprigtds suivantes sont dquivalentes :
i) F e s t hyperbolique .
ii) II existe une constante k telle que route courbe C homotope d z~ro dans V borde un disque d'aire
major~e par k lois la longueur de C.
79
6._ Indgalit~s isop~rim~triques et espaces hyperboliques
on voit qu'il existe deux constantes k' et A 0 tetle que toute courbe C, de classe C 1 par morceaux,
d61imitant une aire au moins 6gale h A 0 v6rifie l'in6galit6 isop6rim6trique A(C) < k'.L(C). En
raisonnant comme ~t la proposition 4.1, on volt qu'il existe une constante k" telle que toute courbe
de longueur inf6rieure ~t A0/k' a une aire inf6rieure ~ k"L(C). Ainsi l'aire d61imit6e par une courbe
est toujours inf6rieure ~ (k'+k")L(C), ce qu'il fallait d6montrer.
Remarque On peut remplacer l'in6galit6 isop6rim6trique lin6aire (ii) de 5.1 par une in6galit6
quadratique comme darts I'6nonc6 du th6or~me 2.1.
Remarque 5.2 : Un examen attentif de la preuve de (i ~ ii ) du th6or~me montre que darts la pattie
(i ~ ii ) du corollaire 5.1, on peut remplacer "vari6t6 compacte " par "vari6t6 compacte ~t bord", ce
qui sera utile au chapitre suivant.
80
Chapitre 7
Dans ce chapitre, nous allons voir que la caract6risation isop6rim6trique des espaces
hyperboliques pemaet de construire une classe d'exemples de groupes hyperboliques, comme
somme amalgam6e de deux groupes hyperboliques au-dessus d'un groupe infini cyclique.
§1._ Un exemple
Nous nous servirons du th6or6me de Morrey sur les surfaces minimales, qui est ~ considdrer
comme une pierre d'angle de cette th6orie. Pour montrer comment la th6orie des surfaces minimales
va intervenir, commen~ons par donner une d6monstration 6conomique du th6or6me suivant, dont il
a d6ja 6t6 question au chapitre 1.
Th(~orbme 1.I Soit V une varidtd riemannienne compldte, simplement connexe d courbure
sectionnelle majorde par une constante strictement ndgative. Alors V e s t un espace hyperboIique .
L e m m e 1.2 Soit S une surface minimale dans une varidtd riemannienne. Alors sa courbure de
Gauss en chaque point est infdrieure d la courbure sectionnelle de la varidtd ambiante au point
considdrd (dans la direction tangente d la surface S).
L e m m e 1.3 Soit S u n disque muni d'une mdtrique riemannienne pour laquelle le bord est un
triangle gdoddsique. Si sa courbure est infdrieure d -k (avec k > O) son aire est majorde par zc/k .
L e m m e 1.4 (Indgalitd isop~rimdtrique inverse) : Soit T u n triangle darts une varidtd riemannienne,
alors l'aire de toute surface bordde par T e s t minorde par 1/(2 ~/3).( minsize(T)) 2.
chapitre 6 qui est une gdn~ralisation d'une indgalitd c61~bre de la thdorie des surfaces minimales :
l'in6galitd de Almgren (cf. [Alm]).
La taiIle minimale des triangles est donc uniform6ment majorde, ce qu'il fallait montrer.
D 6 m o n s t r a t i o n des lemmes
Expliquons la preuve du troisieme : Soit S une surface bordde par T ; on consid~re les trois
cSt6s notds a,b,c du triangle et l'application
F: S ---+ IR+ 3
m --+ 1/'43 (d(m,a),d(m,b) ,d(m,c))
Par construction, F racourccit les distances, donc diminue les aires. Soit m o un point de S o~
la somme des trois coordonn6es de l'image est minimale et soit ao, bo, c o, trois points de a, b, c, o?a
la distance de m o ~ ces cot6s est atteinte. Le diam~tre de l'ensemble de ces trois points est minord,
par ddfinition m~me, par la taille minimale du triangle , et est majord par (d(mo,a) +d(mo,b)
+d(mo,c)) .
L'image F(S) est donc situde dans le demi-espace d'dquation x + y + z _> 1/'43 minsize(T).
La projection radiaIe ~ (~ partir de l'origine) de F(S) sur ce pIan raccourcit donc les distances
(et les aires). Son image est contenue dans le triangle equilatdral d~fini par x + y + z
--1/-43minsize(T), x > 0 , y _> 0 , z >_ 0. Comme rc0F est de degr~ 1 (rood 2) sur le bord, rcoF est
surjective et diminue les aires, de sorte que l'on a bien :
Aire(S) > 1/(2-43) (minsize(T))2.
82
7._ Indgalitds isopdrimdtriques : une application
Comme S est une surface minimale, la formule de la variation premi6re ( ib. T4 Ch. 9 p. 418)
montre que pour tout vecteur W, la trace de la forme quadratique <s(X,Y).W> est nulle . En
choisissant W= s(X0,X0), il vient :
§2._ S o m m e a m a l g a m 6 e de g r o u p e s hyperboliques.
Un 616merit ? d'un groupe est dit primitif si il n'est pas de torsion et s'il n'existe pas
d'dl6ment y ' du groupe et un entier n e 0, 1 et -1 et tel que y = (? ,)n. Un sous groupe infini
cyclique est dit maximal s'il est engendr6 par un 616ment primitif. Le but de ce paragraphe est de
d6montrer le th6or~me suivant :
Th6or~me 2.1 Soient M 1 une varidtd compacte gt courbure sectionnelle majorde par une
constante strictement ndgative -k et M 2 une varidtd d groupe fondamentaI hyperboIique. On
suppose que ces deux varidtds sont orientabIes et de mOme dimension au moins dgale d 4. La somme
amalgamde de leurs groupes fondamentaux au dessus d'un groupe infini cyclique est hyperboIique,
pourvu que son image darts 7Cl(MI) soit maximale et que le groupe cyclique sTnjecte dans 7ci(M2).
L'idde de la preuve est simple : on va construire une vari6t6 M dont le groupe fondamental est
cette somme amalgam6e, et ddmontrer que celle-ci v6rifie une indgalit6 isop6rimdtrique lindaire.
Soit ?i un element de rCl(M i ) qui repr6sente le gdndrateur du groupe cyclique darts chacune
des deux vari~t6s. On repr6sente 5'1 par une g6oddsique minimisante G 1, (en d6forrnant 16g~rement
la mdtrique de M 1, on peut se ramener au cas oh G 1 est une courbe simple, puisque Y1 est primitif)
83
7._ Indgalitds isopdrimdtriques : une application
et "/2 Par une courbe fermde simple G 2 de M 2. Pour i = 1 , 2 , on note Tie un E-voisinage tubulaire
de G i . Le bord de T i est donc diff6omorphe ~ SnxS 1 (n est au moins 6gal h 2 et la sphere en
question est simplement connexe). On note Mi e Ie compl6ment de ce voisinage tubulaire, et on
consid6re le tube de recollement T= [0,3Ix SnxS 1 ; on note M la vari~t6 obtenue en recollant ce tube
MIE U M2E le long de leur bord commun en respectant les orientations; il y a plusieurs fa~ons
d'opdrer cette chirurgie mais le r6sultat est toujours une vari6t6 dont le groupe fondamental est Ie
groupe dont nous voulons prouver qu'il est hyperbolique.
On munit M d'une mdtrique riemannienne induisant sur chaque Mi E la mdtrique initiale et qui
soit une m~trique produit sur le tube [1,2]x SnxS 1 que nous noterons T ' . Nous noterons aussi Yd
et 2 2 les deux bords de T ' .
Soit C une courbe ferm6e simple infiniment diffdrentiable tracde dans M e t homotope ~ zdro;
il nous faut majorer l'aire d'un disque bord6 par C . En toute gdndralitd, on peut supposer que C est
transverse ~. Y~i -
Un alIer-retour sur 2 i est, par d6finition, un sous-arc de C contenu dans le tube T' allant du
bord Y.i gt lui-m6me.
De m6me, un passage dans le tube est un sous-arc de T' alIant d'un bord ~ l'antre.
On a le lemme suivant :
L e m m e 2.2 ll exisw une constante universelle K (ne ddpendant pas de C) et une courbe C'
homotope gz zdro vdrifiant les trois propridtds suivantes :
L(C') _~L(C)
A(C')-A(C)/ ~_K.L(C)
C' est sans aller-retour et ses passages sont gdoddsiques .
Ddmonstration Ceci r6sulte de l'hyperbolicit6 de Z qui est le groupe fondamental de notre tube T.
En effet, dans une vari6t~ dont le groupe fondamental est hyperbolique, 6tant donn6 un arc et une
g6od6sique qui lui est homotope ~ extr6mitds fix6es, on peut toujours choisir l'homotopie de sorte
que t'aire balay6e soit inf6rieure ~ K fois la Iongueur de l'arc, d'apr6s la caract6risation
isop6rim6trique des groupes hyperboliques.
II est alors clair qu'il suffit de montrer une indgalit6 isopdrimdtique pour les courbes sans
aller-retour et dont les passages sont g6oddsiques. Comme la longueur d'un passage est au moins
84
7._ Indgalitds isopdrim~triques : une application
O n n o t e Y~ le "milieu" de Z1 et ~ 2 ,i.e. ~2 = { 1 , 5 } x S n x S 1.
Soit D u n disque de bord C'. Son intersection avec ~ peut atre supposde transverse. Elle est
alors contitu6e de courbes allant du bord au bord et de cercles trac6s darts Y~. Comme le groupe
fondamental de cette surface s'injecte dans celui de M1 + aussi bien que dans celui de M2 +, on peut
se ramener au cas o~ cette intersection ne contient pas de courbes f e r m 6 e s . Le dessin suivant
explique nos notations :
c1
c4
ei
g3
Figure 1
Nous dirons aussi que notre disque est bon si aucune courbe trac6e dans l'intersection de D
et M1 + avec origine et ext6mitds darts l'int6rieur de deux arcs gi et gj distincts n'est homotope (~
extrdmitds fix6es) "~une courbe de ~ .
85
7._ Indgalitds isopdrimdtriqtws : une application
L e m m e 2.3 I1 existe un bon dL~'que pour lequet routes les courbes gi sont des gdoddsiques du
bord. De plus il existe une constante M (he ddpendant pas de C) telles que, pour ce disque, Ia
somme des longueurs des gi est inj~rieure ~ M fois la tongueurs de C'.
Soit D un disque bordd par C' dont l'intersection avec Y.1 ne contient pas de courbe fermEe;
D ~ M 1 + a au plus n composantes connexes off n d6signe Ie hombre d'arcs de C' qui vont de E1 ~t
lui-m~me dans M1 +. Choisissons un disque pour lequeI ce hombre de composantes connexes est
maximum, et v6rifions qu'il est bon.
Sinon, il existe une composante de D qui contient une courbe h allant de gi ~ gj tout en
6tant homotope ~aune courbe h' dans Z . Comme le montrent les dessins qui s u i v e n t , (figure 2) il
est alors ais6 de construire un nouveau disque D' tel que D ' ~ M 1 + a une composante suppldmentaire
, grfice ~t une chirurgie sur un petit voisinage tubulaire de h.
I1 reste "a vdrifier la seconde assertion. Pour cela, on ralsonne composante par composante (il
s'agit des composantes de D f) M1 + ), et on traite diffdremment les deux cas suivants :
l) la composante consid4rde est un digone (i.e. son bord contient une unique courbe gi )
(*) (c"i) < (c'i) < k l (ci) , (g"i) -< (g'i) S kl(gi) et (gi) < k 2 (g"i).
86
7._ Indgatitds isopdrimdtriques "une application
fV /
[/4 /~j
- . ii :'.'-...:L.4 "' Z
Figure 2
Cela suffit clairement "~traiter le premier cas; Ie second est un peu plus difficile.
On note aussi a i la partie de c" i qui est en dehors du e-voisinage de G 1 (pour la d6finition de
G 1 , voir le ddbut de la ddmonstration du th6or6me 2.1). Par convexit6 de la fonction distance, g"i
est contenue dans le e/2 voisinage de G1; de plus l'homotopie de g'i 5 g"i peut ~tre choisie dans ce
voisinage. Soit D' l'image de la composante de D que l'on consid6re. On homotope D' 5. un disque
minimal (dans M1) que l'on note D " . Soit D ''e la pattie de D" qui reste dans le e-voisinage de G 1 ;
alors si Di"e d~signe la composante contenant g"i - Di"e ne rencontre pas Dj ''e sinon il serait
possible de constuire une courbe allant de g"i ~ g"j dans le e-voisinage de G 1 , on en d6duirait une
87
7._ IndgaIitds isopdrimdtriques : une application
courbe allant de gi/~ gj dans la composante de D que l'on considEre et homotope h une courbe de Y,.
On a donc le dessin suivant, ou l'on a note 1i (resp.ri) la partie de g"i situde 'a gauche (resp. ~ droite)
de a i :
Dessinons aussi le e/2-voisinage de g"i dans la situation la plus mauvaise, c'est-~-dire quand
l'angle Oi est proche de rc.
ri li_1
--....
/%'8, c t
Figure 4
88
7 _ Indgalitds isopdrimdtriques : une application
Comme un point situ6 5- une distance 6gale 5- c de G1 est 5_une distance au moins 6gale ~ s/2
de g " i , il est clair que la portion d'aire hachur6e est au moins 6gale ~ e/2.((g"i) - (ri. 1) - (1i) - 2.e/2)
(ce nombre 6tant 6ventuellement n6gatit).
f K d v = 2re - Z g i
En majorant (li)+(ri) par (c" i ), et en minorant 9 i par 7t, on obtient l'existence d'une constante
M' telle que :
5' (g"i) < M'. (hombre de sommets + Y~(c"i) ).
C o m m e la longueur d'un passage est au moins 6gale 5- 1, la longueur de c i est au moins 6gale
5- 2. I/2=1 et donc le nombre de points anguleux qui interviennent dans la formule de Gauss-Bonnet
est infdrieur 5- 52(ci) .Compte tenu des indgalit6s (*), on obtient l'existence d'une constante M telle
clue
•(gi) -< M. (Z(c i))
C o m m e le bord de chaque composante est contenu dans une varidt6 (5- bord) de groupe
fondamental hyperbolique, ces bords bordent 5- droite ou 5- gauche des disques dont les aires sont
major6es par une constante fois leur longueur. La somme des aires obtenues est doric inf4rieure 5-
une constante fois la longueur de C', ce qui ach6ve la d6monstration.
89
Chapitre 8
A p p r o x i m a t i o n p a r des a r b r e s
(*) Pour i = 1 et 2 , I f ( x i ) - f ( x o ) l = Ix i - x ol
Ix-yl-48_<lf(x)-f(y)l _< I x - y l .
Le " lemme d'approximation" est une gdndralisation de ce fait, au cas o/~ l'ensemble de deux
points {Xl,X2} est remplac6 par un hombre fini quelconque de points {Xl,X 2 ..... Xn} de X . Le
tripode T e s t remplac6 dans ce cas par un arbre simplicial T que l'on va d6finir, et l'application f
correspondante vdrifiera l'indgalit6 (*), et l'indgalit6 suivante analogue ~. (**):
Ix-y[- 2k8 < I f ( x ) - f ( y ) l < I x - y f , o ~ k e s t u n e n t i e r n a t u r e l vdrifiant 2n_< 2 k + l .
Ce lemme est facile ~ ddmontrer, et on l'uti]isera ~ plusieurs reprises dans les chapitres qui
suivent, de la fa~on suivante : Soit ~P une propridt6 mgtrique d'un arbre simplicial quelconque, dont
la ddfinition fait intervenir un nombre fini n de points (par exemple, la convexit6 de la fonction
distance, qui fair intervenir trois points). Gr~ice au lemme d'approximation, on montrera que darts un
espace 8-hyperbolique quelconque, la m~me propridt6 est vraie "a une constante pros ( qui ne
8 . - Approximation par des arbres
Parmi ces points, regardons ceux dont l'indice est impair : x 1, x 3 .... , x 2 k + l . Ils sont au
nombre de 2 k-I + 1 et par hypoth6se de rdcurrence, on a
(x 1. x 2 k + l ) >_ rain 1 _<i sn-1 (xi. x i + 2 ) - (k-1)~.
Lemme 3 Soit X un espace (~-hyperbolique vdrifiant card (X) _<2 k + 2 ot'~ k est un entier
naturel. Pour route suite de points (non ndcessairement distincts) x 1 . . . . . Xp dans cet espace, on a
(Xl. Xp) 2 min t_<i_<p-1 (xi. x i + l ) -kc~,
91
8 . - Approximation p a r des arbres
92
8.- Approximation par des arbres
(5.2) (x.y) < (x.y)' < (x.y) + 5'. (La premiere in6galit6 d6coule du fait que la suite {x,y} est
dans ,,6, et la seconde de l'hypothbse 5.1)
(5.3) (x.y)' < I x I e t < I y I. (En effet, pour toute suite de points x I , ..., Xp reliant x
lui-m~me, on a m i n i (xi. Xi+l) < (Xl.X2) < I Xl I = I x I .) En particulier, on a (x.0)' = 0.
(5.4) (x.x)' = ( x . x ) = I x I. (En effet, vu (5.1), il r e s t e g voir que ( x . x ) ' < I x I , ce qui d6coule
de ( 5 . 2 ) ) .
(5.5) Le produit ( . ) ' est 0-hyperbolique : V x, y, z ~ X , on a (x.y)' > min ((x.z)', (y.z)').
(Pour cette demi~re propriEt6, il suffit de remarquer que si (xi) et (Yi) sont deux suites finies de
points de X reliant respectivement x ~t y e t y ~ z , la suite ( z i ) = ( x i ) w (Yi) relie x ~ z et vErifie
min i (zi. Zi+l) = rain ( m i n i (xi- X i + l ) , rain i (Yi- Yi+l) ) • La propriEt6 en d6coule.)
Remarque Si l'espace X est 0-hyperbolique, les deux produits (.) et ( . ) ' coYncident. En
effet, il suffit de montrer que V x , y ~ X , (x.y)' < ( x . y ) . Si x 1 . . . . . Xp est une suite de points
de X reliant x 71 y , on a, en appliquant (p -1) lois la d6finifion de la 0-hyperbolicit6 :
(x.y) >_min ( (Xl.X2), (x2.xp)) >-- min ( (Xl.X2), (x2.x3),(x3.Xp)) > ... -> min i (xi-xi+l).
A partir du produit ( . ) ', G r o m o v d6finit une distance (qui en fait est une pseudo-m6trique)
sur X, par la formule :
93
8.- Approximation par des arbres
Ix-yl' = Ixl+lyl-2(x.y)'.
Pour montrer (5.9), r e m a r q u o n s q u e l'on a, par (5.5), (x.y)' _> rain ( ( x . z ) ' , ( y . z ) ' ) .
S u p p o s o n s alors, p o u r fixer les iddes, q u e (x.y)' > (x.z)'. O n a, d ' a u t r e part, I z i >_ (y.z)'. En
a d d i t i o n n a n t ces d e u x in6galit6s, on obtient (x.y)' > (x.z)' + (y.z)' - I zl et en r e t r a n c h a n t la
quantit6 ( I x I + I y I ) / 2 aux deux m e m b r e s de cette indgalit6, on obtient l'indgalit6 recherch6e.
Remarque En g6n6ral, I I' n'est pas une m6trique, car elle ne s6pare pas les points, c o m m e le
m o n t r e r e x e m p l e suivant :
94
8.- Approximation par des arbres
\ /" c
\ / \ /
\ /
/
.,o 0/
\ / \ /
0
x/ 0
2 / \2 /
/ / \
\
/ \ / \
/ \ / \
b
1
Ix - Y l (x.y)
Figure 1 Figure 2
1
cl \ / c
\ /
\ \0 /
\ / \ /
l
K
0 / \I
2, / \
/
/ \ / \
/ \
a
/ ...... \ a b
0 1
(x.y)' Ix - Yt '
Figure 3 Figure 4
D6monstration du th6or/~me 1
La 0-hyperbolicit6 du produit ( . ) ' implique que ceci dEfinit bien une relation d'Equivalence.
95
8.- Approximation par des arbres
L'espace quotient est un 1-complexe simpliciaI contractile, qui est donc un arbre; il est not6 Tr(X).
Cet arbre est muni d'une m6trique naturetle, qui est la m6trique de longueur d6finie par Ia m6trique
sur c h a q u e ar~te [0, Ixi [] telle que 1' application naturelle f de X dans Tr(X) envoie
isom6triquement chaque segment [0,1 x i !] de X dans Tr(X). f v6rifie alors :
Vx~ X, I f ( x ) - f ( x o ) I = I X - X o l .
Par exemple, l'arbre associ6 ~ l'espace X de l'exemple pr6c6dent (figure 1) est celui
repr6sent6 par la figure 5.
P | I
Figure 5
Si x et y sont deux points dans X, la distance entre Ies points fix) et fly) dans I'arbre
Tr(X) se calcule comme I f(x) - f(y) r = I f i x ) - f(xo) I + I f(y) - f(Yo) I - 2dist (Xo,[f(x),f(y)]), o )
[ f(x),f(y)] est l'unique gEodEsique entre Ies points de l'arbre. Par construction de Tr(X), on a
dist (Xo, [ f i x ) , f(y)] ) = (x.y)'. D'o~ I f(x) - fly) l = t x t + I y t - 2(x.y)' = t x - y I'.
Exercices
2) Soit xyz un triangle gdoddsique qui est " obtus en y " en ce sens que y rdalise le m i n i m u m de
la distance de x au segment y z . Montrer, en utilisant le lemme d'approximation, que l'on a :
rx-y[+ ly- zl<fx-zl+85.
96
Chapitre 9
§1._ Introduction
Le but de ce chapitre est d'expliquer la classification des isom6tries d'un espace hyperbolique.
Par analogie avec la classification des isometrics de l'espace hyperbolique ~in, celles-ci se
regroupent en trois types (hyperbolique, elliptique et parabolique comme il se dolt) qui ont des
propri6t6s g6omEtriques bien distinctes (§2). Au §3, on 6tudie le cas des arbres et des groupes
hyperboliques : une isomdtrie d'un arbre ou une translation d'un groupe hyperbolique ne peut &re
parabolique.
D~finition Soit g une isom6trie de X . On dit que g est elliptique (resp. parabolique) s'il existe
un point x de X dont rorbite est bornEe (resp. admet exactement un point d'accumulation dans le
bord OX). On dit enfin que g est hyperbolique s'il existe un point x tel que l'application g* de Z
dans X d6finie par g*(n) = gn (x) est une quasi-isomEtric.
Remarques 1.- On vdrifie sans peine que dans la d6finition pr6c6dente, on peut remplacer "il existe
un point...." par "pour tout point...,".
2.- Si g est parabolique, la suite gn(x) ayant un seul point d'accumulation converge vers ce point.
3.- Si k est un entier non nul, les isom6tries g e t gk ont m6me type.
4 . - Si g admet un point p6riodique (en particulier si g admet un point fixe) g est elliptique ; la
r6ciproque est fausse.
§2._ La classification
La dEmonslration de ce thdor6me repose sur deux critbres d'hyperbolicit6 que nous 6nongons
maintenant :
Soit g une isom6trie qui n'est ni elliptique ni parabolique. Par ddfinition mame, il existe deux
points a et b du bord a X et deux sous-suites n 1 et n 2 telles que g n l (x) et gn2 (x) c o n v e r g e n t
respectivement vers a et b . C o m m e a et b sont distincts, leur produit de G r o m o v est fini et on a
donc :
I gni(x)-xl tend vers t'infini alors que ( g n l (x). gn2 (x)) x reste born6.
On choisit alors n t et n 2 de sorte que l'indgalit6 (*) du l e m m e 2.3 soit vdrifi6e avec g = g n l
et h = gn2 ; gnl+n2(x) est hyperbolique en particulier n l+n2 est non nul ,ce qui implique que g est
hyperbolique.
D6monstration du l e m m e 2.2
Par hypoth~se, il existe une constante strictement positive a e t un point x tels que :
98
9 _ Classification des isomdtries
Cette in6galit6 est clairement v6rifi6e pour n=0. En effet, c o m m e a 2 est inf6rieur ~ 2a 1, en
reportant darts (2.2.1), on a bien a 1 _> a 0 + a . Supposons-la v6rifi~e au rang n . En appliquant
(2.2.3) ~t n + 2 , il vient :
m a x ( an+ 2 ; a n ) > a n + l + a
Par hypoth~se de r6currence, an+ 1 > a n + a , de sorte que ron a n6cessairement an+ 2 > an+ 1
+ a, ce que nous voulions voir.
Ceci m o n t r e que i'application g* de 7Y dans X d~finie par g*(n) = gn (x) est une
(Z,0)-quasi-isom~trie avec X~= max(1/a;a 1)"
D~monstration d u l e m m e 2.3
99
9._ Classification des isomdtries
comme point base ; la notation I p I d6signe donc la distance d'un point p au point base. D'autre
part, nous laisserons tomber la variable (x) quand on lui applique un isom6trie ; ainsi g se tit g(x),
ghgh selit ghgh(x), g2 se lit g2(x) etc.
Appliquons cette in6galit6 aux quatre points x (=le point base), g , g2 et gh ; il vient :
Notons que d'apr~s (2.3.2), ceci montre que l'on les in6galit6s suivantes :
Appliquons une nouvelte fois l'in6galit6 du quadrilat~re hyperbolique aux points ghg, g , gh
100
9._ Classification des isorn~tries
et x.
Compte tenu du fait que g e t h sont des isom6tries, il vient :
I hg I + I gh I < max ( I ghg I + I h I ; 21 g I ) + 25 ; m a i s (2.3.6) montre que :
1hg I + I gh I > 21 gi + 85 ; ainsi, c o m m e 5 est strictement positif, on a :
I hg ! + I gh I < I ghg I + I h I + 25 ; d'apr~s (2.3.6) I hg I > I h I +45 ; il vient donc
/1 nous reste a appliquer une demi~re fois l'inEgalit6 du quadfilat~re hyperbolique aux points
(gh) 2 = g h g h , g h , ghg et x . Compte tenu du fait que g e t h sont des isomEtries, il vient :
Ighl+lghgl<max(l(gh) 21 + l g l , l h l + l g h l ) + 2 5
Grace ~t (2.3.8), Ighl + Ighgl > thl +lght + 6 5 . Cotrmae 5 est strictement positif, cela montre:
I gh I + 1 ghg 1< I (gh) 21 +I g I +25 ; mais (8) nous dit que I g I + 65 < I gh gl ; il vient:
I gh I + 45 < I (gh) 2 I
D~monstration Consid6rons le triangle isoc~le x, g(x), g2(x) ; on joint x 7t g(x) par une g6od6sique
(~, g(x) h g2(x) par g(~ et x ~t g2(x) par une troisi~me g6od6sique z . L'image par g du milieu
de o est le milieu de g 6 ; consid6rons maintenant le tripode de comparaison a,b,c (voir te chapitre 1)
et notons y , y' et y" les points de notre triangle dont l'image est le centre du tripode (figure 1).
101
9.- Classification des isorndtries
g(x)
X y,,
figure 1
Comme u n i s o m 6 t r i e a y a n t u n p o i n t f i x e e s t e l l i p t i q u e , et c o m m e u n a r b r e r 6 e l e s t u n e s p a c e
8 - h y p e r b o l i q u e a v e c 8 a r b i t r a i r e m e n t petit, o n a d o n c e n p a r t i c u l i e r :
Corollaire 3.2 Toute isomdtrie g d'un arbre rdel est elliptique ou hyperbolique. De plus,
102
9._ Classification des isomdtries
Th~orbme 3.3 Un dldment de F est du type elliptique si et seulement si il est d'ordre fini.
Ddmonstration Par d6finition, un tel 616ment g est elliptique si et seulement si l'orbite d'un point
quelconque x sous l'action de g est finie. En prenant pour x l'identit6 du groupe, on voit que la
condition est r6alis6e si et seulement si g est d'ordre fini.
Remarque Ceci implique que F n'a qu'un nombre fini de classes de conjugaison d'616ments de
torsion.
Nous aurons aussi besoin du lemme suivant (que l'on utilisera aussi au chapitre 10) :
103
9._ Classification des" isomdtries
Supposons que g soit parabolique. Alors, pour tout n, gn l'est aussi. En particulier, d'aprbs
le lemme 3.1, il existe une suite de points x n tels que I gnx n - x n I < 68 + 2 . On note co l'unique
point limite de la suite gn(x) ; ce point est clairement un point fixe de l'action de g sur Ie bord de
respace X.
Soit n un nombre plus grand que le nombre d'616ments de Ia boule centrEe en l'identit6 Id du
groupe et de rayon 788 +2. D'apr6s le lemme 3.6, il existe des nombres tl,..,t n, tels que s i t > max
(ti) et si e(t) dEsigne la g6od6sique joignant Id ~t co, I gi(e(t)) - e(t) I < 728 + 68 +2. On peut supposer
que e(t) est un 616ment h du groupe. Cela signifie alors que I h-lgih I < 788 +2. Comme la boule de
centre e et de rayon 788 +2 contient moins de n 616ments, on a n6cessairement h - l g i h = h - l g k h
pour deux indices distincts i et k , donc g est d'ordre fini et ne peut ~tre parabolique.
D6monstration du i e m m e 3.6
Soit C une g6od6sique joignant x o ~ g(xo) et Xo(U) une gdod6sique joignant x o ~t co. Comme g est
une isom6trie, gxo(u ) est une g6od6sique joignant g(xo) ~ co . L'6troitesse du triangle dont les
sommets sont co, x o , g(xo) et les c6t6s C, Xo(U)et gxo(u) ( pour u entre 0 et l'infini) montre que
si u > I x o -g(xo) Iil existe un u' tel que ! Xo(U)-gxo(u') I < 248 (cf.lemme 3.2 du chapitre 2).
E v i d e m m e n t I u-u' I < 245 + I x o -g(Xo) I, et donc I Xo(U) - gxo(u ) I _< 245 + I x o -g(xo) I,
puisque g est une isom6trie.
Soit C' une g6od6sique joignant x o ~t x et x(t) une g6od6sique joignant x ~t co. L'6troitesse du
triangle dont les sommets sont co, x o , x et les cot6s C', Xo(t), x(t) ( pour t ~ [0,,~[ ) montre que si
t > I x o -x I, il existe un u tel que I Xo(U)-X(t ) I _<245.
Mais alors I gxo(u)-gx(t ) I < 248 ; comme I t-u I < 248 + I x o -x I si t e s t suffisament grand, on
peut appliquer ce qui pr6c6de, et donc I Xo(U)-gxo(u) I < 248 + I x o -g(xo) I ; par l'in6galit6
triangulaire, on obfient donc I x(t)-gx(t) I < 728 + t x o -g(Xo) I.
104
9._ Classification des isomAtries
Exercices
1) Soient x n une suite de points d'un espace 8-hyperbolique v6rifiant la propri6t6 suivante :
I1 existe deux constantes strictement positives a et b telles que :
I Xn-Xn+ 1 I < b ; I Xn+2 - x n I > max ( t x n - Xn+ 11 ; t Xn+2-Xn+ 1 I) +25 + a .
2) Montrer qu'un ga'oupe (n6cessairement hyperbolique) dont le graphe de Cayley (pour un syst~me
g6ndrateur fini)est un arbre est isomorphe ~t la somme amalgam6e d'un certain nombre de copies de
Z et Z/27..
105
Chapitre 10
On dit qu'un sous-ensemble Y de X est convexe si tout segment g6od6sique dans X , dont
les extr6mit6s appartiennent ~ Y, est contenu dans Y . On dit que Y est e - q u a s i - c o n v e x e si tout
segment g6od6sique, dont les extr6mit6s appartiennent ~ Y , est contenu dans le ~-voisinage de Y
(i.e. a tous ses points ~ une distance _<e de Y). On dit enfin que Y C X est q u a s i - c o n v e x e s'il
existe un e -> 0 tei que Y soit e~quasi-convexe.
Exemples
3 . - Dans respace hyperbolique ~ n , les horiboules sont convexes, mais les horisph~res ne sont
pas quasi-convexes.
Exemptes
1) (n = 1) Si Y est g6od6sique pour Ia m6trique induite, alors Y est 4~-convexe. Ainsi, toute
g6od6sique de X est 48-convexe.
2) (n = 2) Toute boule de X est 46-convexe. En effet, s i x et y sont des points d'une boule B
centr6e en x o, on a [x,x o] U [xo,y] c B . On a aussi :
Signalons enfin la
P r o p o s i t i o n 1.4 L~mage d'un quasi-convexe par une quasi-isorn~trie entre espaces g4od4siques
hyperboliques est encore quasi-convexe.
107
i 0 . _ Parties quasi-convexes d'un espace hyperbolique
On dit que P : X --* Y C X est une projection si I x - P(x) I = dist (x,Y) pour tout x E X .
Notons qu'une telle application est une r6traction de X sur Y , c'est-~-dire vErifie P(x) = x pour
tout x E Y . On dit que P : X --+ Y est une projection c2 77-prOs si J x - P(x) I < dist (x,Y) + T1 •
Notons qu'il existe toujours, pour rl strictement positif, une projection ~ rl-pr~s de X dans Y .
Si, par exemple, Y est compact ou encore si X est propre et Y ferm6, on peut construire une
projection (rl = 0) de X sur Y . (Mais, en g6n6ral, il n'existera pas de projection de X sur Y .)
L'6nonc6 suivant fait appara~tre le caract~re contractant des projections ~ Tl-prbs sur un
quasi-convexe d'un espace hyperbolique.
s,Ts sI 1
1 2
u p p u u
1 1 2 2 1 PI = P2 u2 u2 Pl P2
figure 1
108
10._ Parties quasi-convexes d' un espace hyperbotique
D'apr~s ( 2 . 1 . 1 ) , on a :
(2.1.4) Is 1 - s 21 < t x 1 - x 2 1 .
(2.1.4) et (2.1.5) d o n n e n t :
C o r o l l a i r e 2.2 / P ( x l ) - P(x2) / ~_ C + / x I - x 2 / .
On a la "r6ciproque" suivante :
109
t0._ Parties quasi-convexes d'un espace hyperbolique
Sinon, on pourra trouver des points x i , z i ( i = 1, 2) sur [Yl , Y2] vtrifiant les quatre
woprittts suivantes :
D e s d e u x in6galit6s pr6c6dentes, o n d 6 d u i t
I P ( x l ) - P ( x 2 ) ] _< 1/2 I z 1 - z 2 ] + 3o~, c'est-~t-dire :
D ' a u t r e part, o n a
Iz-P(xi) l < Iz-xil + Ixi-P(xi)l _< I z - x i l + [3 ( i = 1 , 2 ) ,
110
10._ Parties quasi-convexes d'un espace hyperbolique
L e m m e 3.2 Soit x i (i = 0,1 ..... n) des points d'un espace 6-hyperboIique X . Soit [x,y] C
X un segmentg~oddsique et 2 _<io -~n - 2 tel que :
On suppose aussi :
(3.2.5) / Xio_l - Xio+2 / _< max ( / Xio_l - Xio / , / Xio - Xio+l / , / Xio+l - Xio+2 / ) + 1006.
111
10._ Parties quasi-convexes d'un espace hyperbolique
Dgmonstration du temme 3.2 Si d o < 1008 alors 1 Xio - 1 - Xio+2 I < 1008 d'apr~s (3.2.2) et
l'intgalit6 triangulaire, ce qui montre (3.2.5).
On a pour -2 < i _< 2 I s i - s o I < do/2 d'apr~s (3.2.6), (3.2.1) et l'indgalit6 triangulaire, ce
qui donne
Is i - s o l < d o - 8 8 car d o > 1008 et ts i - s o l < d i s t ( s o , [ u , v ] ) d'aprbs (3.2.1) e t ( 3 . 2 . 6 ) .
Par cons6quent, les s i ont m e m e projection p sur [u,v]. Notons qi la projection de s i sur
[p,s o] . On oriente [p,so] de p vers s o . Par sym6trie, on peut supposer q-1 -< q l - Supposons
que (3.2.3) ne soit pas v6rifi6 i.e. :
Par consdquent, on a
I12
10._ Parties quasi-convexes d'un espace hyperbolique
0
So S_l
q S S
1 1 1
q
-1 -1 S
q S 2
2
2
U V
II V
figure 2
Finalement, on a :
IS_l-S2 1 = IS_l-q_ll+lq_l-S2 I
< I s o - q-1 I + 88 + I q-1 - s2 1 d'apr~s (3.2.10)
< Iso-ql I +lql-q-11 +lq-1 -s2 1+88
< Isl-ql I +lql-q_ll +lq_ 1 -s21+168 d'apr~s(3.2.11),
113
10._ Parties quasi-convexes d'un espace hyperbolique
S S
O O
-1
q
2 S
2
-1
q-1
U U
figure 3
(3.2.12) Is 2 - q 2 1 < Is o - q 2 1 + 8 8 .
Ona:
Is_ 1 - s 2 1 < IS_l-q21 + Iq2-s2 I < IS_l-q21+lq2-So I + 88,soit:
lS_l-S2t < IS_l-So I + 85,cequidonne:
I Xio_l - Xio+2 I < f Xio_l - Xio I + 168 d'aprbs (3.2.6) et montre donc (3.2.5).
Soit x o = Y l , Xl . . . . . Xn = Y2 une suite de points de Y avec I x i - xi+ 1 I < 2o~ pour tout i
et n minimal (une telle suite existe par connexit6 de Y). On va appliquer le l e m m e 3 . 2 . Montrons
qu'aucune des propri6tds (3.2.3), (3.2.4) et (3.2.5) n'est vdrifide pour notre suite x i :
On ne peut pas avoir (3.2.3), car cela contredirait la minimalit6 de n . De m~me, si I x i - xi+ 3 [
< 2 ~ + 1008, et si z est le milieu de [xi,xi+3], par hypoth6se, il existe z' ~ Y tel que I z - z' [ <
c~ - 5 0 8 . D'ofi max i ( t x i - z' I, I z' - xi+ 3 I ) < 2oc d'apr~s l'in6galit6 triangulaire, ce qui
contredirait la minimalit6 de n . Par cons6quent, (3.2.4) et (3.2.5) ne peuvent 8tre r6alis6s.
114
10._ Parties quasi-convexes d'un espace hyperbolique
tout point d'une gEodEsique brisEe [x o , Xl] U [x 1 , x 2] U ... U [Xn_1 , x n] est ~t une distance <
9ct de [Yl, Y2] • P a r l e lemme du chapitre 3, ceci implique que le segment [Yl, Y2] est lui-m~me
contenu dans le 188-voisinage de la gEod6sique brisde, et donc contenu dans Ie 19ct-voisinage de Y.
Soit F un groupe muni d'un syst~me g6n6rateur fini G . On dit qu'un sous-groupe F ' de F
est quasi-convexe si F ' est un quasi-convexe du graphe de Cayley K ( F , G ) . En g6ndral, cette
d6finition d6pend du syst~me g6n6rateur G consid6r6. Ainsi, la diagonale de Z 2 n'est pas
quasi-convexe pour le systbme gdn6rateur standard (1,0), (0,1) mais cette diagonale est un e-quasi
convexe (avec e = 1/2) du graphe de Cayley de 7Y..2 pour le syst6me g6n6rateur (1,1) , (0,1) .
Cependant, on a la
Proposition 4.1 Si F ' est un sous-groupe quasi-convexe d'un groupe hyperbolique F pour
un syst~me g~ndrateur fini G de F , alors F " est quasi-convexe pour tout autre syst~me
gdngrateurfini G ' de F .
Par cons6quent, les 616ments de F ' situ6s h une I I -distance _< 2e + 1 de Id donnent un
syst~me g6n6rateur G' de F ' . De plus, si I I ' d6signe la mdtrique du mot sur F ' (pour le
syst~me g6n6rateur G' ), on a
115
10._ Parties quasi-convexes d' un espace hyperbolique
Rappelons d'abord que si V e s t une vari6t6 riemannienne, on dit (en suivant Gromov, cf.
[Gro 2]) que V est localement convexe si tout point de V admet un voisinage U tel que la
propri6t6 suivante soit v6rifi6e :
(*) Pour tout triangle gdodEsique [p,q,r] dans U , si m 1 et m 2 sont respectivement les
milieux des segments [p,q] et [p,r], on a I m 1 - m 2 I < 1/2 I q - r J.
Rappelons aussi que la convexit6 locale de Vest 6quivalente au fait que la courbure
sectionnelle soit < 0 en chaque point de V (cf. [Gro 3]). On dit que la vari6t6 V e s t convexe si
dans r 6 n o n c 6 (*) on peut prendre U = V . Ceci est vrai pour la vari6t6 r i e m a n n i e n n e V si et
seulement si ~ I ( V ) = 0 et la courbure sectionnelle en chaque point est <_0 . La proposition suivante
exprime q u ' u n e "quasi-propri6t6 (*) " est vraie dans un espace m6trique 8 - h y p e r b o l i q u e (la
r6ciproque n'6tant bien stir pas vraie).
Proposition 5.1 Soit A = [ p,q,r] un triangle g~oddsique dans un espace fi-hyperbolique. Soit
m Iet m 2 les milieux respectif~ des cdt~s [P,q] et [p,r]. Alors
/m 1-m2/ _< 1/2 / q - r / +4(~.
D~monstration Soit T A le tripode qui est associ6 au triangle A (chapitre 1, §3). Appelons O le
point triple du tripode. Si f est l'application naturelle qui envoie A sur TA et si m 1 et m 2 sont
comme ci-dessus les milieux des c6t6s [p,q] et [p,r], on a deux cas de figure :
Ou bien ils ne le sont pas, et on peut 6crire alors I O - f(Pl) I + I O - f(p) I = 1/2 I f(p) - f(q) I,
ce qui donne I O - f(m 1) I < 1/2 I O - f(q) I (les distances 6tant mesur6es dans la m6trique du
tripode). De la marne mani&e, on a I O - f(P2) I <_ 1/21 O - f(r) t. On en d6duit I f ( m l ) - f(m2) I <
1/2 1 f(q) - f(r) 1. C o m m e la taille interne de A est -< 4 8 , on obtient :
116
10._ Parties quasi-convexes d'un espace hyperbolique
Corollaire 5.2 Soit X un espace (~-hyperbolique g~od~sique et soient [p,q] et [r,s] deux
segments dans X . Soient m I et m 2 les milieux de ces segments. On a aIors :
D6monstration Soit It,q] un segment g6od6sique qui relie les points q et r , et soit m 3 le milieu
de ce segment. On applique la proposition 4.1 aux deux triangles g6od6siques [p,r,q] et [q,r,s] et
on utilise rin6galit6 triangulaire.
On dit qu'une fonction f : JR--* JR est e-convexe si pour tout x , y ~ JR et pour tout t
[0,1], on a f ( t x + (l-t) y ) < t fix) + (l-t) f(y) + e . Le corollaire suivant exprime que dans un
espace 8-hyperbolique g6od6sique, la fonction distance est 88-convexe.
Corollaire 5.3 Soit X un espace 6-hyperbolique gdod6sique et soient [p,q] et [r,s] deux
segments g~od6siques de X param6trds d vitesse constante par l'intervalle [0,1]. Notons g l et
g2 : [0,11 --~ X ces deux param6trages. La fonction f : [0,1]--+ ~t d6finie par t ~ / g l(t) - g2(O /
est 8fi-convexe i.e ~ t ~ [a,b] , on a :
f ( t a + (l-t) b)) -< tf(a) + (1-Of(b) + 8?i.
Soit 7 une isom6trie de l'espace X . A 7 est associ6e lafonction ddplacement d6finie par :
x --~ I x - yx I. On associe aussi ~t 7 (comme le fait G r o m o v dans [Gro2]) les deux quantit6s
suivantes :
et le ddptacement moyen, que l'on appellera aussi distance de translation de 7 , qui est d6fini
comme d ~ = lira n -->,,o ( 1/n I x - "ynx I ) . Montrons que cette quantit6 est bien d6finie et ne d6pend
pas du point x choisi :
117
10._ Parties quasi-convexes d' un espace hyperbolique
D'o~ lira n __.~ ( I/n I x - ~tnx I ) = lim n _+~,, ( 1/n I x - "tnx I ) + lim n -.~o ( 2/n I x - y I )
Enfin, chaque terme de la state est major6 par te premier terme, ce qui montre que l'on a aussi :
118
10._ Parties quasi-convexes d'un espaee hyperbotique
On a d'autre part t x - ynx I = I y-nx - x I. Doric ta suite ( 1/n I y-nx - x I ) converge vers
d~, et de la m~me mani6re on peut dire qu'il existe deux constantes C' > 0 et k' > 0 tels que 1'
on ait :
Dans [Gr 2], G r o m o v montre que si X est u n espace mdtrique convexe (c'est-h-dire un
espace pour lequel la proposition 5.1 est v6rifiEe avec 8 = 0 ), et si 7 est une isom6trie de X ,
alors d~ = dy . Pour un espace m6trique hyperbolique quetconque, on a la propri6t6 suivante :
119
10._ Parties quasi-convexes d'un espace hyperbolique
proposition 6.4.
D~monstration C o m m e y est hyperbolique, la suite n --~ gn(x) est une quasi-isom6trie. I1 existe
donc deux constantes )~ > 1 et k > 0 telles que V n , m E 72.., on ait
(6.5.1))~tn-ml - k ~ Iynx-~aXlxI.
Si les extr6mit6s de c ne sont pas sur l'orbite de x , on peut trouver un sous chemin c' de g
dont les extr6mit6s ont cette propri6t6, avec c' D c et tel que les extr6mitds de c' soient
d-proches des extr6mit6s correspondantes de c . On a alors, s i c o et c 1 d6signent les extr6mit6s du
chemin c, long(c) < long(c') < d/'L [ I c o - c 1 I +2d + k ] , ce qui montre que g est une
(d/L, ( 2d + k )/'L )-quasi-g6od6sique. Ceci d6montre le l e m m e 6.5
Ddmonstration Soit x un point quelconque de X . On sait que la fonction n ~ 7nx est une
quasi-isomEtrie, et que y fixe les deux points "~- et T de 3 X , off y+ = lim n---)~ 7 nx et T =
lim n---~-,~ Yn x .
120
10._ Parties quasi-convexes d'un espace hyperbotique
1'image d'une quasi-g6od6sique. On sait alors (§1, exemple 4) que Q est un quasi-convexe.
Soit [x,~] un rayon g6od6sique entre x et ~ , et x n une suite de points sur ce rayon qui
converge vers ~ . L'ensemble Q 6tant quasi-convexe, on peut d6finir une projection P : X --~ Q
qui est 5'-6quivariante car 5' est une isomEtrie et Q est y-invariante, et qui v6rifie (d'apr~s la
proposition 2. I), pour tout point x n ,
Quitte 5 remplacer 5' par une de ses puissances, on peut supposer que V x, I P(x) - P(yx) I _> C
(le d6placement m i n i m u m , comme la distance de translation, de ~/k, tend vers rinfini quand k tend
vers l'infini; en effet, on a, d'apr~s la d6finition, d(5'n)°° = n dy~° . Pour le d6placement minimum,
on peut alors utiliser la proposition 6.~).
On sait d'autre part (cL lemme 3.6 du chapitre 9) que la suite I x n - YXnl est bom6e. Quand
n ~ ~,, la suite I x n - P(xn) Iest donc born6e.
Quitte ~t extraire une sous-suite, on peut supposer que la suite de points P(xn) converge dans
XUOX. Cette suite ne peut pas converger vers un point de X , car on sait que la suite x n converge
vers un point b rinfini, et que P(x n) reste ~t distance born6e de x n . La suite P(x n) converge donc
vers u n point de 0X. Ce point n e p e u t atre que 7 + ou y- . En effet, les points P(x n)
appartiennent ~ l'ensemble Q qui, m u n i de sa param6trisation naturelle (cf. l e m m e 6.5) est une
quasi-g6od6sique, qui n'a d'autre point d'accumulation sur 3)< que y + et Y- •
Comme x n reste b distance bom6e de P(xn), ta suite x n converge aussi (d'apr~s le corollaire
2.3 du chapitre 2) vers le marne point limite que P(xn) • Donc { ~ {7+ , 7-} • Ceci d6montre la
proposition 6.6.
Remarque On peut aussi d6montrer cette proposition en utilisant l'extension du produit scalaire
121
10._ Parties quasi-convexes d'un espace hyperbolique
Soit F u n groupe hyperbolique, "i E F un 616ment du type hyperbolique (ce qui 6quivaut
dire, d'apr~s le § 3 du chapitre 9, que 7 est sans torsion), et soit C T = {yn} le sous-groupe infini
cyclique engendr6 par 7. Soient 7+ et T les deux points fixes de Faction de 'i sur OF, et M'I
C F I e sous-groupe form6 des 616ments "t~ de F qui v6rifient " / ( { ' i + , T } ) = {Y+, T} • On a,
bien stir, C 7 C M y .
DOmonstration Montrons qu'il existe un sous-ensemble fini F C F tel que tout 616ment 3/ de
M'I s' 6crive comme 7' = h'in , oiJ n ~ 72. et h ~ F . Pour cela, fixons un syst~me fini de
g6n6rateurs de F et considdrons le graphe de Cayley correspondant. Consid6rons la suite de points
yn dans ce graphe oh n parcourt 7 . . Soit [Id,7] un segment g6od6sique et g le chemin bi-infini
qui relie les points de la suite yn , obtenu en prenant les images de [Id,'i]. D'aprbs le lemme 6.5, g
est une quasi-g6od6sique.
Le chemin g' est une 0~,k)-quasi-g6oddsique, avec 9~ et k les m~mes constantes que pour
g. De meme, g' relie entre eux les points T et 7+ de 0 X .
Par stabilit6 des quasi-g6od6siques, les chemins g et g' sont contenus dans un K-voisinage
l'un de l'autre, oh K ne d6pend que de )~ et k , et donc que de g . Ainsi, pour tout point 7 ' de
g ' , il existe un entier n tel que 17 ' - "tn I _<K + 1.
Pour tout dldment hyperbolique 7 dans F, soit maintenant N'I le normalisateur du groupe
cyclique C 7. k e groupe N 7 est contenu dane M y . En effet, si 7 ' ~ N 7, on a, par d6finition,
7 '7(7 ,)-1 = Tn avec n e Z . Or, 7 fixe exactement les points 7+ et T de 0 X , ce qui implique
ais6ment que 7 ' ~ M 7.
122
10._ Parties quasi-convexes d'un espace hyperbotique
Notons que Ny contient le centralisateur Z,/ de 3' (i.e. le sous-groupe de F form6 des
616merits qui commutent avec y). On a donc en particulier les corollaires suivants :
C o r o l l a i r e 7.2 Dans un groupe hyperbolique, te centralisateur d'un gIdment ~, d'ordre infini est
une extension finie du groupe infini cyclique engendri par 7.
Exercices
1) Utiliser la proposition 4.2 pour retrouver le fait que tout sous-groupe d'indice fini d'un groupe
hyperbolique est hyperbolique
2) Montrer que SLn(TY-) n'est pas hyperbolique pour n _> 3 ( on peut utiliser le corollaire 7.3; on
rappelle d'autre part que S L 2 ( Z ) est hyperbolique puisqu'il contient un sous-groupe libre de rang
2 d'indice fini).
4) Utiliser la proposition 7.1 pour montrer clue tout 616ment sans torsion d'un groupe hyperbolique
est une puissance d'un 616ment primitif.
123
Chapitre 11
Dans ce chapitre, on d6vetoppe une construction de Gromov qui montre que cette construction
se g6n6ralise ~t un espace hyperbolique quelconque : on peut faire un changement conforme de la
m6trique de telle sorte que l'on r6cup~re le bord de cet espace en compl6tant la nouvelle m6trique.
C'est ce que Gromov appelle le "point de vue conforme du bord d'un espace hyperbolique".
En d6finissant le bord comme le bord d'une compl6tion, on obtient en m~me temps une
m6trique sur le bord (en fait on obtient une classe de m6triques, chaque mEtrique d6pendant du
facteur conforme choisi). En choisissant une classe naturelle de fonctions g , on verra que l'on
obtient une structure H61derienne bien d6finie sur le bord.
On verra aussi comment ces consid6rations m6triques peuvent donner des r6sultats sur le
groupe d'isom6tries de l'espace hyperbolique en question.
(t) L'auteur de ce chapiLreremercie Francis Bonahon qui ra aid6 h comprendre les r6sultats de Gromov qui y sont
expos6s.
11._ Mgtrique sur le bord
Dans tout le reste, on suppose que la fonction It : X --) IR +* est major6e et v6rifie la
propri6t6 suivante :
Par exemple, si f : X --+ IR est une fonction uniform6ment continue et si on prend g(x) =
exp (f(x)), alors, pour tout ~ > 0, il existe un 13 > 0 tel que ~t v6rifie (0.1).
On a alors le l e m m e suivant :
125
1 I._ Mdtrique sur te bord
P r o p o s i t i o n 1.2 Pour tout 7~ > 1 , L > 0 et k > 0 , il existe un nombre e o > 0 tel que si la
fonction t2 vdrifie (0.1) avec e < e o , alors toute g~od~sique p o u r la m~trique / /12 est une
(A, fl,L) -quasi-g~odgsique locale pour la mdtrique / / .
L e m m e 1.3 Soient a , b , et c trois points sur g l qui se suivent dans l'ordre indiqu~. On a
alors: ~a-b~ + /b-c/-<e2e(L/[3+l)/a-c/.
Soit maintenant g' le sous-chemin de g l bord6 par les points a et b. Bien stir, g' est une
t.t-g6od6sique minimisante entre a et b . En int6grant l'in6galit6 (1.3.1) sur g', on obtient
I
On peut appliquer le lernme 1.1 b tout couple de points sur g", ce qui donne :
126
11._ Mdtrique sur le bord
On a donc :
127
11._ Mdtrique sur le bord
On en d t d u i t que
oh dans cette e x p r e s s i o n le sup et l'inf de ~t sont calcul6s sur une boule de r a y o n 2[3 (par rapport
la m t t r i q u e I I ).
D e (1.4.3) et ( 1 . 4 . 6 ) , on d t d u i t :
(n - 2)213e -e = )"~i=l,...,n-2 213e-¢ < ~cn-2 [ Xl - Xn I.
I1 est clair que le coefficient eZ de ! x 1 - x n I peut 6tre rendu aussi p r o c h e de 1 qu'on le veut
en choisissant E plus petit q u ' u n e constante c o n v e n a b l e (d6pendant de L e t de 13).
128
11._ Mgtrique sur le bord
DEmonstration Ceci est une consequence directe du thEor~me 1.2 et du lemme 1.2 du chapitre 3, et
de la proposition 1.2 du chapitre actuel.
P r o p o s i t i o n 1.6 Soit X un espace 6-hyperbotique et l.t : X --+ ~I+* une fonction continue
qui v&ifie (0.1). ll existe alors une constante ~ , qui ne depend que de fi , fl et c , teIle que si 7
est un segment / /-gdoddsique entre deux points quelconques x et y , et si g est un segment / / # -
ggoddsique entre ces m~mes points, et si L#(~') et Lp(g) ddsignent respectivement la / /i.l-longueur
de ces segments, on a :
L#(7) <- )~ Lit(g).
Dgmonstration Soit ~c la constante (qui ne depend que de 8 , [3, et e) donnEe par la proposition
1.5.
Deux points quelconques sur la reunion g u g sont ~t distance < 12~; (mesurEe dans la
mEtrique I I ). On a alors, par le mEme lernme 1.1,
On obtient alors :
129
11._ Mdtrique sur le bord
Soit Yo . . . . . Yn u n e suite de points sur g qui se suivent dans l'ordre indiqu6 par les indices,
v6rifiant Yo = x , Yn = Y, et tels q u e si gi ddsigne le s o u s - c h e m i n de g compris entre les points
Yi et Y i + l , on ait V i = 0 . . . . . n - l , 10~c_< I I-longueur (gi) -< 2 0 ~ .
Pour tout i = 1 ..... n - 1 , soit m a i n t e n a n t x i un point sur 7 v6rifiant I x i -Yi I _< ~:, avec x o
= x et x n = y. O n note 7i le sous-chemin de Y bord6 par les points x i et xi+ I .
130
11._ M~trique sur le bord
On suppose maintenant (et pour tout le reste du chapitre) que la fonction g est de la forme:
off x o est le point base de X . (Remarquons qu'alors (X, I lit ) est bornE, son diam~tre 6tant _<2/e.)
On a ainsi une classe de fonctions (en faisant varier le point base) qui vdrifient toutes une
inEgalitE du type (0.1).
Soit ~t une fonction comme dans (1.6.9), et soient a et b deux points distincts de X U OX,
avec y une gEodEsique d'extrdmit6s a et b . Si les points a et b sont ~ rinfini, on considbre des
suites (xi) et (Yi) de points sur Y qui convergent respectivement vers a et b. On a donc lim inf
(xi.Yi) < ~ , et quitte ~t extraire une sous-suite, on peut supposer que le produit (xi.Yi) converge
vers un nombre (fini) qu'on notera (a.b). On a alors le
De plus, la longueur de )" est finie. Si les deux points a et b sont sur 3X , on a :
l o g 2 / e -log )~ -4e8-< l o g ~ a - b i e r + e(a.b)
o~ )~ est la constante du lemme 1.6 (qui ne ddpend que de [ i e t e ) . (Si a et b sont sur OX , la
quantitd / a - b / # est d~finie comme lira n__~oo/ x i - Yi /l,t , limite qui existe puisque la m-longueur
de g estfinie).
131
11._ Mgtrique sur le bord
Soit [xo,A ] (o~a A • Y) un segment g6od6sique tel que d = long ([xo,A]) = d(xo,'y). On peut
supposer que pour tout i , chacune des des suite x i e t Yi se trouve enti~rement d'un c6t6 de A sur
la gdod6sique y . On rappelle que l'on a, par le lemme 2.7 du chapitre 3,
x
o
Soit maintenant x(t) un point sur l'un des rayons g6od6siques [A,a] ou [A,b] de y , tel
que I A - x ( t ) l = t .
On a alors
En effet, on peut avoir cette in6galit6 comme cons6quence du lemme d'approximation par les
arbres (cf. exercice 2 du chapitre 8).
En param6trant les g6od6siques [A,a[ et [A,b[ par la longueur d'arc, on a, pour tout x sur
[ A , b [ , en utilisant (1.7.2),
V i = 1 , 2 ..... n, f[A,yi] g < fo °° e - e ( d + t - 8 8 ) dt
< e-e(d-88) ~ooo e-Ct dt = 1 / ~ e - ~ ( d - 8 5 ) .
En additionnant, on trouve
g-long [xi,Yi] < 2/~ e -E d + 8e5
132
11._ Mdtrique sur le bord
(I.7.4) log I a - b Ig + c(a.b) < log 2/e + 8c8 , ce qui d6montre la premiere in6galit6
recherch6e, et qui implique que la g-longueur de Y est finie.
Pour la deuxi~me in6galit6, on a (par l'in6galit6 triangulaire et en utilisant les m~mes notations
que ci-dessus) :
V i = 1 , 2 ..... n, S[A,yi] e-e( d+t) d t < S[A,y i ] ~ t . D ' o f i :
De la m6me mani~re, on a :
1/ee-ed < ~ [ A , a ] g .
En additionnant, on a :
2/e e-ed < J[a,b] ~t.
133
11,_ Mdtrique sur le bord
Corollaire 1.8 La / /#- longueur de route / - gdod~sique (finie ou infinie) est finie.
D'ota I x i - x i Ig --~ 0 q u a n d i et j --~ ~,, ce qui m o n t r e que la suite (xi) est de Cauchy,
et c o n v e r g e donc vers un point de 0~tX. Le reste de la proposition se d6montre de la m ~ m e mani~re.
Proposition 2.1 Si f est une isomitrie de (X, / / ), alors f induit une application
Lipschitzienne sur ( cgX, / lit ) (la constante de Lipschitz est une fonction de e, ~ et de la distance
/ Xo -f(x o) / ) ,
Ddmonstration Soit f : X --+ X une isomdtrie. Par le lenmae 1.7, on a, V a,b E ~X, a v e c a~eb,
log 2/~ - log 9~ - 4~8 < log I a - b Ilx + e(a.b) _< log 2/~ + 8e&
D e la m ~ m e mani~re, on a :
log 2/c - log ~ - 4~8 < log I fa - fb I~t + e(fa.fb) _< log 2/e + 8 c 8 .
134
11._ M~trique sur te bord
On obtient alors :
- 1 o g ~ , - 1 2 e S - e l x o - f x o I < l o g l a - b l g - l o g l f a - f b l l a < l o g ) ~ + 1 2 e S + e l x o - f x ol.
Ddmonstration Comme pour la d6monstration de la proposition 2.1, on peut partir du lemme 1.7
qui nous dit qu'il existe un nombre r6el Al(e,8) v6rifiant :
On a maintenant le
Ddmonstration On va d6montrer la premibre in6galit6 (qui est la seule que l'on utilisera); la seconde
se d6montre de manibre analogue.
Remarquons d'abord qu'il est 6quivalent de montrer chacune des in6galit6s en remplagant le
terme (fa.fb)xo par (fa.fb)f(xo) (en effet, la diffdrence entre ces deux termes est born6e, en valeur
absolue, par I x o- fxol ).
135
11._ M~trique sur le bord
chapitre 3).
Si H d6signe un point sur ~/ v6rifiant d(fxo,H ) = d ' , on peut trouver sur fy un point fy
(image d'un point y e y) tel que d(H,fy) < ~ .
D'o~ :
log t fa - fb lit + ~')~ (a.b)x ° - ek' -< A 1 .
Remarque On d6montre de la m6me mani6re que si f est une quasi-isomdtrie entre deux espaces
hyperboliques distincts, elle induit sur le bord une application H61d6rienne. Ainsi, le bord d'un
groupe hyperbolique est muni d'une structure H61d6rienne bien ddfinie (qui ne d6pend pas du
syst~me de g6n6rateurs choisi).
On aura besoin aussi de la proposition suivante sur la dynamique de l'action d'un 616ment
hypoerbolique sur le bord :
136
i 1 . _ Mgtrique sur le bord
D~monstration Si x o appartient h l'espace X , le r6sultat d6coule des d6finitions (cf. chapitre 10,
§6). La foncfion n --~ fn(x) est une quasi-isom6trie, et on a limn__.)_,,~ fn(x o) = f - . Fixons alors
un point x o ~ ~ X , et soit x un point de 3 X .
k e produit scalaire des points fn(x) et f+, calcul6 par rapport au point x o , est 6gal au produit
scalaire de x avec f+ calcul6 au point f-n(xo).
Cette derni~re quantit6 tend vers rinfini avec n , car le point f-n(xo) converge vers le point
f- ~ OX, qui est distinct de x et de f + . (Pour voir cette convergence, on peut utiliser le lemme 2.7
du chapitre 3 qui donne une estimation du produit scalaire de deux points Yl et Y2 ~ X par
rapport ~ u n point base O , en fonction de la distance de O h une g6od6sique qui joint les points Yl
et Y2 ; l'estimation reste valable si les points Yl et Y2 sont ~ l'infini, par passage ~t la limite.)
137
11._ M~trique sur le b o r d
(2.4.2) 2/(e)~) exp -ed' < I In(x) - fn(y) I ~t < 2/e e -e d' + 8e5
On a alors le
L e m m e 2.6 II existe une constante C (qui ne d d p e n d que de 3) telle que p o u r tout x et y ~ cTX
vdrifiant
(x.f+)x ~-> (x.x ~)~,
et
(y.f+)x, > (y.Xc)x~
L e c a s g6n6ral, a v e c u n e c o n s t a n t e C u n i v e r s e l l e , s ' o b t i e n t e n u t i l i s a n t Ie l e m m e
d ' a p p r o x i m a t i o n p a r les arbres (ch. 8) et le fait que la q u a s i - g d o d 6 s i q u e .... X_l, x o , x I .... reste
~t u n e distance born6e d'une g6od6sique.
P a r (2.4.1) et ( 2 . 4 . 2 ) , on a alors:
( l f n ( x ) - fn(y) Ig / I x - y I~t) < exp (- e)~n+ eC + 8 c g ) .
138
11._ Mdtrique sur le bord
Pour tout ~: > O donnE, le membre de droite est < 1/~: pour tout n assez grand.
Ddmonstration Pour chaque i = 1 , 2 , on dEfinit (en utilisant la proposition ) des voisinages Di+
et D i- des points fixes attractif et rEpulsif fi + et fi- respectivement tels que pour un certain entier
n , rapplication fi n (resp. fi -n ) vErifie fi n (Di +) C Di+ (resp. fi n (Di-) C Di-), et qu'en
restriction ~ ces voisinages, les application correspondantes soient des contractions pour la mEtrique
I I~t sur aX.
En utilisant les propriEtEs ensemblistes des D i , par un argument classique (le "lemme du
ping-pong" de Klein) [Hat], le groupe engendrE par fl n e t f2 n e s t libre.
139
Chapitre 12
Darts ce chapitre, on montre que les groupes hyperbotiques sont des groupes automatiques. La
th6orie des groupes automatiques a 6t6 d6velopp6e par Cannon, Epstein, Holt, Paterson et Thurston
darts [CEHPT]. La classe des groupes automatiques est bien plus vaste que celle des groupes
hyperboliques. Par exemple, les groupes commutatifs de type fini, les sous-groupes discrets
d'isom6tries de IR n, les groupes de tresses sont automatiques. Le produit direct (resp. libre) de deux
groupes automatiques est automatique. Le groupe de Heisenberg (form6 des matrices triangulaires
sup6rieures g coefficients entiers ne renfermant que des 1 sur la diagonate) n'est pas automatique.
Dans [CEHPT], on trouve la d6monstration de l'automaticit6 de tout groupe discret cocompact
d'isom6tries de g-In (voir aussi [Eps]). Pour un groupe hyperbolique quelconque, la d6monstration
est pratiquement la mfime ([Ge-Sh]).
On se fixe un ensemble fini A, 1' alphabet. Un 616ment de A s'appelle une lettre. Soit A* le
monoi'de libre de base A. (Rappelons qu'un monoi'de est un e n s e m b l e m u n i d'une loi interne
associative avec un 616ment neutre.) Un 616ment de A* s'appelle un mot. U n mot est doric la
donn6e d'un entier n, positif ou nul, et d'une suite w = (a 1 ..... a n) de lettres. L'entier n e s t la
longueur du mot w . On peut noter a 1...a n le mot w . Le produit de deux mots w = a 1...a n et
w'= b l . . . b p se fait par concat6nation : ww' = a 1...a n b l . . . b p . L'616ment neutre de A* est le mot
vide, c'est-h-dire le mot de longueur nulle.
On dit que le mot w' est un prdfixe (resp. un suffixe) du mot w s'il existe un mot w" tel
que w = w~w" (resp. w = w"w').
(t) Nous remercions Henri Gaudier pour son expos6 oral dont nous nous sommes servis pour la r6daction des §§1 et 2.
12._Automates et groupes hyperboliques
On note Rdg(A) le plus petit ensemble ~ , de langages v6rifiant les propridt6s suivantes :
§2._ A u t o m a t e s
L'ensemble des rnots accept6s par M s'appelle le langage reconnu par M ; on le notera L(M).
Dans la pratique, on ddcrit un automate par son graphe de Cayley (appel6 aussi graphe de
transition). C'est un graphe orientd dquipd d'un marquage des ar~tes, marquage ~ valeurs dans
ralphabet A . L'ensemble des sommets du graphe est S. Les ar~tes sont les couples (s,s') tels que
s' = sa pour a ~ A ; une telle ar~te est marqude a . Dans les figures, l'dtat initial est notd "-" et
141
12._ Automates et groupes hyperboliques
les dtats accept6s sont notds "+". Les mots acceptds par l'automate se lisent sur les chemins du
graphe allant de l'6tat "-" g u n 6tat "+" . Noter la prdsence d'une poubelle dans le deuxi~me
exemple de la figure 1. Une poubelle est, par ddfinition, un 6tat non accept6 fixe sous Faction de
A*.
&
2"n+ I
A = {a} L(M) = (a }
boo '<j
<D
A = (a,b) L(M) = (a}* U (b)*
Figure 1
142
12._ Automates et groupes hyperboliques
Les automates non ddterministesfinis (ou ANF) g6ndralisent les ADF. Un ANF est la donnde
d'un graphe orientd fini, de deux sous-ensembles I e t Y de l'ensemble S des sommets du graphe
et enfin d'un marquage de l'ensemble de arates du graphe, marquage h valeurs dans le mono'fde A * .
L'ensemble S (resp. I , resp. Y) s'appelle rensemble des 6tats (resp. des dtats initiaux, resp. des
6tats accept6s) de l'automate. On marque un chemin darts le graphe form6 d'ar&es succesivement
marqudes w 1. . . . . wn p a r l e m o t w = w 1...w n . O n d i t q u ' u n m o t w ~ A* e s t a c c e p t 6 p a r
l'automate s'il existe un chemin du graphe allant d'un sommet ~ I hun chemin e Y e t marqu6 w.
Le langage reconnu par l'automate est l'ensemble des roots qu'il accepte.
>
Figure 2
143
12._ Automates et groupes hyperboliques
Le thEor~me suivant est fondamenlal dans la thEorie des automates. Pour sa demonstration, le
lecteur est renvoyE par exemple ~ [Man] (thEorEme 1-1 p.11).
Th~or~me 2.1 (Kleene) Soit L C A* un langage. Les propridt~s suivantes sont dquivalentes :
1) II existe un A D F M tel que LOg) = L .
2) II existe un ANF M' tel que I ~ M ' ) = L .
3) Le langage L e s t rggulier.
Corollaire 2.2 Le compl~mentaire d'un langage rggulier est un langage rggulier. L'intersection de
deux langages r~guliers est un langage rdgulier.
I1 est clair que l'ensemble des langages rEguliers est dEnombrable. Sur un alphabet non vide, il
existe donc un infinite non d6nombrable de langages non rEguliers. Le "lemme de rEtoile" (voir
l'exercice 1) permet de construire de maniEre explicite des langages qui ne sont pas r6guliers. Par
exempte, sur l'alphabet A = {a,b}, le langage formE des mots anbn (n > 0) n'est pas rEgulier.
La definition du type conique, ainsi que son utilisation pour dEmontrer que certains groupes
sont automatiques, se trouve dans l'article de Cannon [Can].
L e m m e 3.1 Soit, dans un espace m~rique, ¢rI et ¢r2 des segments g~oddsiques de mdme
extrdmitgs a et b . Soit cr un segment gdod~sique d'extr~mitgs b e t c . Si crI U c r e s t
ggod~sique, alors cr2 U ¢y l'est aussi.
144
12._ Automates et groupes hyperboliques
->b
02
Figure 3
On appelle cone d'un 616merit y de F , l'ensemble C(7) des 7' ~ F tels que 7 < 7' - On
appelle type conique de 7 l'ensemble T(~') des x e F tels que 7 < 7 x .On a doric T(7) = 7-1C(7).
Exemples
2) F = 72 (dans les exemples, quand Ie syst6me g6n6rateur n'est pas pr6cis6, c'est qu'il
s'impose; ici par exemple G = (+1), il y a trois types coniques. Si y > 0 (resp. < 0 , resp. = 0 ),
T(7 ) = N (resp. - N , resp. Z ) .
Thfior~me 3.2 Si F est un groupe hyperbolique, alors (F,G) ne possOde qu'un nombre fini de
types coniques (quel que soit le systOme gdndrateurfini G de F).
Pour d6montrer le th6or6me 3.2, Cannon introduit le notion de N-type. Soit, pour N entier
naturel, B N le N-voisinage de Id dans F, i.e.
BN={O~ F: Io~ I < N } .
145
12._ Automates et groupes hyperboIiques
L e m m e 3.3 Pour N assez grand, si y et ~/ ont le mOme N-type, alors T(y) = T() z) .
DEmonstration du thdorOme 3.2 d partir du Iemme 3.3 (cf. Cannon [Can]) . D'aprEs l'inEgalit6
triangulaire, on a ] fN,y(cz) I _< [~'~ - y ] = [ cc I < N . Par consequent, pour N fixE, il n'y a
qu'un nombre fini de N-types.
DEmonstration du lemme 3.3 Soit x ~ T(y), i.e. y < ~/x. I1 faut montrer x ~ T(y '), i.e. y ' < y ' x .
On va utiliser la stabilit6 des quasi-gEodEsiques locales dans un espace hyperbolique (thEorbme 1.4
du chapitre 3). D'aprEs ce thdor~me, il existe un entier L et un reel E > 0 tel que toute
L - g d o d d s i q u e locale (i.e. tout chemin dont tous les sous-chemins de longueur < L sont
gdoddsiques) reliant des points a et b dans le graphe de Cayley reste dans le c-voisinage de tout
segment gEodEsique [a,b]. Prenons N > max (E+I, L ) . Soit (y une gEodEsique allant de Id ~ yx
en passant par "t' - Soit cy1 (resp. (Y2) le morceau de cy qui va de Id ~t x (resp. de x ~ yx). Soit
a l'61Ementde F vErifiant yoc e (Y2 et Ic~ I_< L avec lcz t maximal (on a donc [co [ = m i n (L,
Ix ] ) ) . Choisissons arbitrairement un segment gdoddsique or' 1 allant de Id h y ' . Soit (5'2 =
y'y-lc~2 (rappelons que F agit par isomdtries ~ gauche sur K) : cy'2 va de y ' ~i ~ " x . Montrons
que le chemin cy' = ( f l U c~'2 est gdoddsique.
~ y'p
~('×
Id Yx
Figure 4
146
12._ Automates et groupes hyperboliques
D'apr~s la stabilit6 des quasi-g6odEsiques locales, il existe I~ e F tel que ~/'13 soit situ6 sur
un segment g6od6sique [Id,y'x] et tel que [ 13 I< e + 1. On a :
Th~or~me 4.1 Le langage Lggo est r~gulier si et seulement si (F,G) ne possdde qu'un nombre
fini de types coniques.
T h ~ o r b m e 4.2 Si G est hyperbolique, alors Lg~o est r~gulier (quel que soit te systdme
gdngrateur G).
L e m m e 4.3 Soit y, y" ~ F tels que T(Z) = T(y') . S i x E T(y) , alors T(Tx) = T(y'x) .
147
12._ Automates et groupes hyperboliques
D6monstration du th6or~me 4.1 Supposons que (F,G) ne contienne qu'un nombre fini de
types coniques. On va construire un ADF M tel que L(M) = L g 6 o . On prend pour ensemble S
des 6tats de l'automate l'ensemble des types coniques auquel on adjoint une poubelle : S = {T(y)} kJ
{poubelle} . L'action de A* est d6fini par T(y).a = T(yn(a)) pour a ~ A . Cette action est bien
d6finie d'apr~s le lemme 4.3. Le fait qu'un mot w e s t accept6 par M si et seulement si w ~ Lg6o
se montre facilement par r6currence sur long(w).
Soit A 1 et A 2 des alphabets (i.e. des ensembles finis). On veut d6finir des automates
capables de lire simultan6ment un mot sur A 1 et un mot sur A 2 , c'est-~-dire un couple w =
(Wl,W2) avec w 1 e A I * et w 2 e A2*. D6finir un tel automate comme un A D F sur l'alphabet
A 1 × A 2 n'est pas satisfaisant, les couples (Wl,W2) qui sont des roots sur A 1 × A 2 doivent
v6rifier long(wl) = long (w2). Pour y rem6dier, on proc~de de la mani~re suivante. Soit $ (lire
"dollar") une lettre qui n'appara~t ni dans l'alphabet A 1 ni dans l'alphabet A 2 . Etant donn6 un mot
sur (A1,A2), c'est-~t-dire un couple w = (w 1,w2) avec w i ~ A i , le mot enrichi associg d w est
le mot obtenu en ajoutant des $ ~t la composante la plus courte de w pour que sa longueur soit
6gale ~tceUe de rautre composante.
148
12._Automates et groupes hyperboliques
Ainsi, le mot enrichi donn6 en exemple est form6 des lettres (B,M), (e,o), (r,r), (n,i), (a,n),
(r,$) et (d,$).
Un langage sur (A 1,A2) est un ensemble de mots sur (A 1,A2) • Etant donn6 un langage L
sur ( A I , A 2 ) , le langage enrichi associ~ d L e s t l'ensembte L$ des w$ pour w c L ; c'est un
langage sur ralphabet A .
Dor6navant, on se permettra d'identifier tout mot (resp. tout langage) sur (A1,A2) au mot
(resp. au langage) enrichi qui lui est associ6.
Ddmonstration L'ensemble des langages r6guliers 6tant stable par passage au compl6mentaire
(corollaire 2.2), il suffit de montrer que L 1 est r6gulier. Soit M un ADF qui reconna~t le langage
enrichi L$ associ6 ~t L . On peut construire un automate (non d6terministe) qui reconnah L 1 en
changeant uniquement le marquage des ar~tes du graphe de transition de M de la mani6re suivante.
Si une ar~te est marqu6e ( a l , a2), on efface ce marquage et on met ~t la place ou bien la lettre a 1 si
a 1 G A 1 ou bien le mot vide si a 1 = $ . I1 est clair que le graphe de transition ainsi obtenu d6crit un
automate qui reconna~t L 1 .
149
12._ Automates et groupes h~perboliques
]~ x,y
~Y ?y ?y
Y~ ~y ~Y
Y
©x;5)
F:a3
L'automate ddwrministe M qui reconna~t Lgdo pour F = Z ~ Z et F = Z * Z .
x et y sont les gdndrateurs canoniques. On aposd X = x -1 et Y = y-l.On n'apas dessin~ la
poubelle. Les fl~ches manquantes vont c~la poubelle. Les dtats acceptds sont les types coniques.
Figure 5
I50
12._Automates et groupes hyperboliques
(ii) M i (pour i = 1 . . . . . n ) est un automate (i~ deux t&es de lecture) sur (A,A)
etpour i=l . . . . . n,
I1 faut dire que rautomate W accepte les roots qui vont "d6crire" F , que M o (resp. Mi)
accepte les couples de tels mots qui repr6sentent le m~me 616ment de F (resp. le m~me 616ment de F
aprSs multiplication h droite du premier mot par ai) .)
On dit que le groupe F est automatique s'il admet une structure automatique sur A (il est
montr6 dans [CEHPT] que cette d6finition ne d6pend pas du choix du syst6me fini A de
gdndrateurs du monoi'de I3.
Exemple Le groupe F = Z est automatique. Une structure automatique est ddcrite dans la figure
6. (Dans cette structure, ralphabet est le systbme gdn6rateur standard (a 1 = 1, a 2 = -1) du mono~'de
Z.)
151
12._ Automates et groupes hyperboliques
X
@ X
x
W
(X ,X)
M
o
(x,x)
C)
11
(x,x)
0
M2
Figure 6
152
12._Automates et groupes hyperboliques
§7._ A u t o m a t i c i t 6 des g r o u p e s h y p e r b o l i q u e s
D~monstration du lemme 7.2 Le triangle 6tant 48-6troit, tout point de [xo ,Xl] est ~ une distance
< 88 de Ix o , x 2] t_l [ x 2 , X l ] . Comme I x 1 - x 2 I < 1 par hypoth6se, on en d6duit qu'il existe
u n p o i n t z' sur [Xo,X2] t e l q u e t y - z ' l < 48+l.Ona:
Iz-z'l =llxo-zl- Ixo-z'll
=llxo-Yl- Ixo-z'll
< I y - z'l d'apr6s l'in6galit6 triangulaire.
D'apr~s les propri6t6s de stabilit6 des langages r6guliers, le langage L' = 1.{$}* (sur
l'alphabet A U {$} ) , form6 des mots qui s'dcrivent comme un mot de L suivi d'une suite (finie
6ventuellement vide) de $ 's (sur l'alphabet A U {$} ), est r6gulier. Soit W' un A D F qui
reconnaSt L ' . Soit S l'ensemble des 6tats, s o r6tat initial et Y c S l'ensemble des 6tats accept6s
deW'.
153
12_ Automates et groupes hyperboliques
6tats accept6s par M i sera le produit cart6sien Y × Y × {~(ai) }. Reste ~ d6finir l'action (~ droite)
de B* sur l'ensemble des 6tats, ofJ B dEsigne ralphabet { A U {$} }2 _ { ($,$) } . On le fait de
la mani~re suivante. Pour (s,s',y) m S × S × V e t (a,a') ~ B , on pose
(s, s', y). (a,a') = (s.a, s'.a', re(a) -1 y ~ ( a ' ) ) si ~(a) -1 yTt(a') E V .
(s, s', y). (a,a') = poubelle sinon
Montrons que les automates M i vdrifient bien les propri6t6s (iv) de la d6finition d'une
structure automatique.
§8._ Forme n o r m a l e
Nous gardons les m~mes notations qu'au §7 : F est un groupe m u n i d'un syst~me g6n6rateur
fini G , et A = G U G -1 . Ordonnons arbitrairement les 616ments de A . Pour k fix6, mettons
l'ordre lexicographique sur l'ensemble des mots sur A de longueur k .
154
12._ Automates et groupes hyperboliques
Th~or~me 8.1 Si F est un groupe hyperbolique, le langage Lno r est rdgulier (quel que soit le
syst~me gdndrateur fini G ).
Lemme 8.2 Le langage Lor d formd des couples (w 1 , w2) de roots sur A tels que
longueur(wl) = longueur(w2) et w 1 < w 2 (pour l'ordre lexicographique) est un langage rdgulier.
,,,,,,,,
(a,a) (b ~) (a,~)
Figure 7
155
12._ Automates et groupes hyperboliques
Le langage
L 1 = {(Wl,W2) I (w 1 , w 2 ) ¢ L(Mo) ou (w 1 , w 2) E Lord}
est rEgulier par stabilitE se l'ensembte des langages rEguliers pour la r e u n i o n et le passage au
complEmentaire. On en dEduit que le langage
Lno r = { ( w l w 2 ) I ~ w 2 , ( w 1 , w 2 ) E L 1 }
est lui aussi rEgulier (proposition 5.1).
§ 9 ._ R a t i o n a l i t 6 de la c r o i s s a n c e
T h ~ o r ~ m e 9.1 La fonction croissance d'un langage rggulier est une fonction rationnelle.
Pour s , s' ~ S , notons N(s,s') le nombre de a E A tels que s'.a = s. (Dans le graphe de
transition, N(s,s') est donc le nombre d'arStes allant de s' ~ s.) On a l e s relations
Cs,k+l = ~ s ' ~ S N(s,s')Cs,,k.
156
12._ Automates et groupes hyperboliques
ce qui montre la rationalit6 de fs(t) pour tout s et donc aussi celle de fit) d'apr6s (9.1.1).
Remarque Sur ralphabet A = {a,b} , le langage form6 des mots anb n (n>_ O) n'est pas r6gulier
(exercice 2). Cependant sa fonction croissance f(t) = ~ t 2n = 1 / (1 - t 2) est rationnetle.
Exemples
2) Si F = Z n e t Gstandard, f(t) = [ ( l + t ) / ( 1 - t ) ] n
Th~or~me 9.2 La fonction croissance d'un groupe automatique F est rationnelle quel que soit le
syst~me gdn&ateur fini G de F. Comme cas particulier, ceci est donc vrai si F est hyperbolique.
D~monstration La fonction croissance du groupe F est 6gale ?t celle du langage Lno r . D'apr~s te
th6or~me 8.1, le langage Lno r e s t r6gulier. D'apr~s le th6or~me 9.1, la fonction croissance de Lno r
est rationnelle.
Remarque Les calculs explicites de fonctions croissance sont tr~s int6ressants. I1 y en a, par
exemple, dans [Bou] (exercice 26 du ch. 4) pour des groupes de Coxeter et dans [Gray] pour des
groupes fondamentaux de vari6t6s de dimension trois.
157
12._ Automates et groupes hyperboliques
Exercices
1) (Lemme de l'dtoile, voir par exemple [Mig] p. 70) Soit un automate dEterministe fini dont
l'ensemble des 6tats est S . Soit x , w e t y des mots sur ralphabet A tels que leur produit xwy
soit accept6 par rautomate. Montrer que si longueur(w) > card(Q), alors il existe des mots u , t et v
avec longueur(t) > 1 tels que w = u t v et tels que le mot xutkvy soit accept6 par rautomate pour
tout entier k > O.
2) Utitiser rexercice 1 pour montrer que les langages suivants ne sont pas rEguliers
3) Utiliser l'exercice 1 et la rEgularitE du langage L n o r (voir §8) pour montrer q u ' u n groupe
hyperbolique dont tous les ElEments sont de torsion est fini (cf. [Git], proposition 3 ) .
8) Soit le langage L form6 des mots de la forme a n2 sur l'alphabet A = {a} (cf. exercice 2 ) .
Montrer que la fonction croissance de L n'est pas rationnelle. Retrouver ainsi que L ffest pas
rEgulier.
9) Soit fi(t) Ia fonction de croissance d'un groupe F i relativement ~t un syst~me gEnErateur fini G i
(i = 1,2). Montrer que la fonction croissance du produit direct F 1 × F 2 relativement au syst~me
G t x G 2 est fl(t) f2(t).
158
R~f~rences
[Alm] F.D. Almgren, An isoperimetric inequality, Proc. Am. Math. Soc. 15 (1975) 284-285.
[Bon] F. Bonahon, Geodesic currents for hyperbolic groups, Preprint USC, 1988 (to appear in
MSRI publications).
[Eb-O'N] P. Eberlein & B. O'Neill : Visibility manifolds, Pacific J. of Math. 46 (1973) 45-109.
[Euc] Euclide, "Les (Euvres d'Euclide", nouveau tirage, Albert Blanchard, Paris, 1966
159
[G-S] S. Gersten, H. Short, Small cancellation theory and automatic groups, preprint, Berkeley
1989.
[Gil] R. Gilman, Groups with a rational cross-section, in "Combinatorial group theory and
topology", Ann. of Math. Studies, n ° 111, 1987.
[Gra] M. Grayson, Geometry and growth in dimension three, Ph.D thesis, Princeton
university, 1983.
[Gro 1] M. Gromov, Structures m6triques pour les vari6t6s riemanniennes (r6dig6 par J.
Lafontaine et P. Pansu), Fernand Nathan 1981.
[Gro 2] M. Gromov, Hyperbolic manifolds, groups and actions, in "Riemann surfaces and
related topics", Stony Brook conference, Ann. of Math. Studies 97, Princeton University
Press, 1982.
[Ha-Th] A.Hatcher & W. P. Thurston, A presentation for the mapping class group of a closed
orientable surface, Topology 19 (1980) 221-237.
[Har] P. de la Harpe, Free groups in linear groups, L'Enseignement math. 29 (1983), 129-144.
[Mill J. Milnor, Curvature and the fundamental group, Jour. Diff. Geom. 2 (1968) I-7.
[Mo-Sh] J. Morgan & P. Shalen, Valuations, trees and degenerations of hyperbolic structures I,
Ann. of Math. 120 (1984) 40t-476.
[Mos] G.D. Mostow, Quasi-conformal mappings in n-space and the rigidity of hyperbolic
space-forms, Pubt. Math. IHES 34 (1968) 53-104.
160
[Rin] W. Rinow, "Die innere Geometrie der metrischen R~iume", Springer, 1961.
[Thu] W.P. Thurston, The geometry and topology of three-manifolds, Princeton University,
1978.
161
Index
Bord hyperbolique 16
Bord visuel 21
Bord d'un groupe hyperbolique 46
162
Distance de translation 117
Dimension cohomologique 60
Dehn ( probl~mes de - ) 52
H61d6rienne 135
Hyperbolique (espace m6trique - ) 2
Hyperbolique (groupe - ) 44
Hyperbolique (isom6trie de type - ) 97
h~6galit6 isop6rim6trique 66
Interne (mille - ) 8
Isom6trie (type d'une - ) 97
Isom6trique (application) 4
163
Longueur d'un mot 43
Langage 14I
Langage reconnu par un automate 141
Langage rrgulier 141
Localement convexe 116
Lipschitzienne (application - ) 134
Mrtrique du mot 43
Mrtrique (~t-) 135
Minimale (taille- ) 9
Morin (enrichisserment de - ) 149
Morrey (Throrrme de - ) 66
Mot (probI~me du - ) 52
Mot (mrtrique du - ) 43
Mot accept6 par un automate 141
Mot normal
Quasi-grodrsique 24
Quasi-gdoddsique locale 24
Quasi-isomdtrie 35
Quasi-convexe 106
164
Rationnel (langage - ) 14I
Rayon I9
Rayons asymptotes 21
Rrgufier (langage - ) 141
Reprrsentant sous forme normale 154
Segment groddsique 4
Stabilit6 des quasi-g6odrsiques 24
Suffixe d'un mot 140
Suite convergeant h l'infini 16
Taille interne 8
Taille minimale 9
Triangle grodrsique 7
Tripode 7
Type conique 144
Ultramrtrique ( indgalit6 5- )
Visibilit6 (proprirt6 de - ) 21
165