Espace métrique hyperbolique

En mathématiques, un espace métrique hyperbolique est un espace métrique satisfaisant des relations supplémentaires sur les distances ; cette notion, introduite par Mikhaïl Gromov, généralise les propriétés métriques de l'espace hyperbolique usuel, mais aussi celles de certains arbres. L'hyperbolicité est une propriété globale, qui intervient dans l'étude de certains groupes infinis, les groupes hyperboliques.

Définitions

On définit d'abord la notion d'espace $\delta$-hyperbolique ; un espace métrique est dit hyperbolique (au sens de Gromov) s'il est $\delta$-hyperbolique pour un certain $\delta \ge 0$.

À l'aide du produit de Gromov

Modèle:Article détaillé Soit $(X,d)$ un espace métrique. Le produit de Gromov de deux points $y,z\in X$ par rapport à un troisième $x\in X$ est défini par la formule :

$(y,z{)}_x=\frac{1}{2}(d(x,y)+d(x,z)-d(y,z)).$

On dit alors que $X$ est $\delta$-hyperbolique si pour tout quadruplet $(x,y,z,w)\in X^4$, on a la condition $(x,z{)}_w\ge \min ((x,y{)}_w,(y,z{)}_w)-\delta$ (si cette condition est vérifiée pour tous les $x,y,z\in X$ et un point fixé $w_0$, elle l'est pour tous les quadruples avec une nouvelle constante $2\delta$ ; pour cette raison, on omet souvent l'indice $w$ en écrivant cette condition).

Avec des triangles

Si $X$ est un espace de longueur, c'est-à-dire si deux points quelconques $x,y\in X$ sont les extrémités d'un segment géodésique $[x,y]$ (une image isométrique d'un intervalle $[a,b]$ de $ℝ$Modèle:Note), une définition équivalente n'utilise que les propriétés des triangles de $X$Modèle:SfnModèle:,Modèle:SfnModèle:,Modèle:Sfn. Modèle:Annotated image Soit $x,y,z\in X$ ; un triangle géodésique de sommets $x,y,z$ est la réunion de trois segments géodésiques $[x,y],[y,z],[z,x]$. Si alors pour tout point $m\in [x,y]$ il existe un point $p\in [y,z]\cup [z,x]$ tel que $d(m,p)\le \delta$, et s'il en est de même pour les deux autres côtés, on dit que le triangle est $\delta$-mince . Un espace de longueur est alors $\delta$-hyperbolique si tous ses triangles géodésiques sont $\delta$-minces ; cette définition est généralement attribuée à Eliyahu Rips.

Une autre définition utilise la notion de centre $C$-approximatif (ou $C$-centre) d'un triangle géodésique : il s'agit d'un point situé à une distance inférieure ou égale à $C$ de tous les côtés du triangle. Un espace de longueur est $\delta$-hyperbolique si tout triangle géodésique possède un $\delta$-centre.

Ces deux définitions ne coïncident pas exactement, mais il existe un $k>1$ tel qu'un espace $\delta$-hyperbolique au premier sens soit $k\cdot \delta$-hyperbolique au second, et réciproquementModèle:Sfn ; la notion d'espace hyperbolique ne dépend donc pas de la définition choisie.

Exemples

Le plan hyperbolique est un espace hyperbolique à ce sens ; en fait, le cercle inscrit d'un triangle géodésique (le plus grand cercle contenu dans le triangle) a un diamètre inférieur à celui d'un triangle idéal (dont tous les sommets sont à l'infini) et ceux-ci, tous isométriques entre eux, ont un cercle inscrit de rayon Modèle:Math. Pour la même raison, le plan euclidien n'est pas hyperbolique, les cercles inscrits pouvant être de rayon arbitrairement grand.

Deux exemples « dégénérés » sont les espaces bornés, et la droite réelle (pour laquelle les triangles sont tous triviaux).

Les arbres sont les plus simples exemples d'espaces hyperboliques, et même 0-hyperboliques (tous les triangles sont homéomorphes à des tripodes, c'est-à-dire qu'il existe un point commun à leurs trois côtés).

Le 1-squelette d'une triangulation du plan ${ℝ}^2$ est hyperbolique si chaque sommet est de degré au moins égal à 7.

Hyperbolicité et courbure

Le plan hyperbolique de courbure de Gauss égale à -1 est 2-hyperbolique. Si on multiplie les distances d'un espace $\delta$-hyperbolique par un facteur $\lambda >0$, on obtient un espace $\lambda \cdot \delta$-hyperbolique ; la courbure est divisée par $\lambda$ et on voit que « plus un espace est courbé, plus sa constante d'hyperbolicité $\delta$ est petite ».

Le même résultat est vrai dans les espaces CAT de courbure négative. Toutefois, la courbure est une propriété essentiellement locale, alors que l'hyperbolicité ne « voit » pas ce qui se passe dans une région bornée : la réunion d'un espace hyperbolique et d'un compact reste hyperbolique, alors que la courbure peut changer de signe par endroits.

Propriétés

Invariance par quasi-isométries

Une façon de préciser le sens de « propriété globale » est de demander qu'elle soit invariante par Modèle:Lien, c'est-à-dire par applications respectant les distances à transformation affine près. C'est vrai en particulier de l'hyperbolicité : si un espace de longueur $Y$ est quasi-isométrique à un espace $\delta$-hyperbolique $X$, il existe ${\delta }^{\prime }$ tel que $Y$ soit ${\delta }^{\prime }$-hyperboliqueModèle:Sfn.

Arbres d'approximation dans un espace hyperbolique

La définition par le produit de Gromov revient à dire que les relations métriques entre quatre points quelconques sont les mêmes qu'elles le seraient dans un arbre, à la constante additive $\delta$ près. Plus généralement, tout sous-ensemble fini d'un espace hyperbolique ressemble à un arbre fini : si $x_1,\dots ,x_n$ sont des points d'un espace $\delta$-hyperbolique $X$, il existe un arbre fini $T$ et un plongement $f:T\to X$ tel que $x_i\in f(T)$ pour tous les $i=1,\dots ,n$, et $\mathrm{\forall }i,j:d(f^{-1}(x_i),f^{-1}(x_j))\le d(x_i,x_j)\le d(f^{-1}(x_i),f^{-1}(x_j))+C$, où $C$ est une constante qu'on peut prendre égale à $\delta \cdot h(n)$ avec $h(n)=O(\log n)$, cette valeur étant la meilleure possibleModèle:Sfn. Ce résultat a pour conséquence que si l’on se déplace aléatoirement en ligne brisée dans un espace hyperbolique, on ne peut le plus souvent faire beaucoup mieux, pour retourner à son point de départ, que de revenir sur ses pasModèle:Note.

Croissance exponentielle des distances et inégalités isopérimétriques

Dans tout espace hyperbolique $X$, on a la propriété suivante Modèle:Sfn :

De façon non rigoureuse, cela signifie que le périmètre d'un « cercle » de rayon $r$ grandit exponentiellement avec $r$. Ce résultat rappelle le théorème isopérimétrique dans le plan euclidien ; le résultat suivant est plus précis :

L'aire d'un 2-complexe est le nombre de ses 2-cellules, et la longueur d'un 1-complexe est le nombre de ses 1-cellules. Cet énoncé est une inégalité isopérimétrique linéaire ; l'existence d'une telle inégalité caractérise les espaces hyperboliques au sens de GromovModèle:Sfn. Ces inégalités furent découvertes en s'inspirant de conditions venues de la théorie combinatoire des groupes.

Sous-espaces quasi-convexes

Un sous-espace $Y$ d'un espace de longueur $X$ est dit quasi-convexe s'il existe une constante $C$ telle que toute géodésique de $X$ entre deux points de $Y$ reste à une distance de $Y$ inférieure à $C$. Tout sous-espace quasi-convexe d'un espace hyperbolique est également hyperbolique.

Cônes asymptotiques

Tous les cônes asymptotiques d'un espace hyperbolique sont des arbres réels, et cette propriété est caractéristique des espaces hyperboliques.

Frontière d'un espace hyperbolique

Généralisant la construction des bouts d'un arbre simplicial, on peut définir une notion de points à l'infini d'un espace hyperbolique, qui joue un rôle important dans l'étude des actions de groupe.

On suppose dans cette section que $X$ est un espace de longueur hyperbolique.

Définition à l'aide du produit de Gromov

Une suite $(x_n)\in X^{\mathbb{N}}$ est dite convergente vers l'infini si pour un certain point $p$ (et alors pour tous) on a $(x_n,x_m{)}_p\to \mathrm{\infty }$ quand $n$ et $m$ tendent vers l'infini. Deux suites $(x_n),(y_n)$ convergentes vers l'infini sont équivalentes si$\underset{n\to +\mathrm{\infty }}{\lim }(x_n,y_n{)}_p=+\mathrm{\infty }$. La frontière de $X$, notée $\partial X$, est l'ensemble des classes d'équivalence des suites qui convergent vers l'infiniModèle:Sfn.

Si $\xi ,\eta$ sont deux points de la frontière, leur produit de Gromov est défini par $(\xi ,\eta {)}_p=\underset{(x_n)=\xi ,(y_n)=\eta }{\sup }(\underset{n,m\to +\mathrm{\infty }}{\mathrm{lim\; inf}}(x_n,y_m{)}_p)$; il est fini si $\xi \ne \eta$. On peut alors définir une topologie métrisable sur $\partial X$ à partir des fonctions $(\cdot ,\xi )$Modèle:SfnModèle:,Modèle:Sfn.

Définition à l'aide de rayons

Soit $\alpha ,\beta$ deux plongements Modèle:Lien de $[0,+\mathrm{\infty }[$ dans $X$ (on dit que ce sont des rayons quasi-géodésiques). Ils sont dits équivalents si la fonction $t\mapsto d(\alpha (t),\beta (t))$ est bornée sur $[0,+\mathrm{\infty }[$. Si l'espace $X$ est propre (c'-est-à-dire si toutes les boules fermées sont compactes) alors l'ensemble des classes d'équivalence de ces plongements est homéomorphe à $\partial X$Modèle:Sfn.

Exemples

Si $X=T$ est un arbre, sa frontière est son espace des bouts, lequel est un ensemble de Cantor. Fixant un point $x\in T$, on définit une distance naturelle sur $\partial T$ : deux points representés par les rayonss $\alpha ,\beta$ d'origine $x$ sont à la distance $\exp (-\mathrm{longueur}(\alpha \cap \beta ))$.

Si $X$ est le disque de Poincaré, sa métrique hyperbolique est $d{s}^2=\frac{4|dz{|}^2}{(1-|z{|}^2{)}^2}$, et sa frontière est le cercle unité.

Classification des isométries selon leur action sur la frontière

Une quasi-isométrie entre deux espaces hyperboliques $X,Y$ induit un homéomorphisme entre leurs frontières.

En particuier, le groupe des isométries de $X$ agit par homéomorphismes sur $\partial X$. Cette action peut être utilisée pour classifier les isométries en fonction de leur comportement dynamique sur la frontière, généralisant le cas classique de la géométrie hyperboliqueModèle:Sfn. Si $g$ est une isométrie de $X$, l'un des trois cas suivants se produit :

1. $g$ a une orbite bornée sur $X$ (si $X$ est propre, cela implique que $g$ a un point fixe dans $X$). On dit que $g$ est une isométrie elliptique ;
2. $g$ a exactement deux points fixes ${\xi }_{+},{\xi }_{-}$ sur $\partial X$ , et toutes les orbites $\{g^n\xi :n\ge 0\},\xi ={\xi }_{-}$s'accumulent seulement sur ${\xi }_{+}$. On dit que $g$ est une isométrie hyperbolique ;
3. $g$ a exactement un point fixe sur $\partial X$, et toutes les orbites s'y accumulent. On dit que $g$ est une isométrie parabolique.

Autres exemples

La théorie des groupes hyperboliques fournit d’autres exemples d’espaces hyperboliques ; ainsi, on sait que les graphes de Cayley de certains modèles de graphes aléatoires sont très souvent hyperboliques.

Il est parfois difficile de montrer que certains espaces sont hyperboliques ; ces démonstrations ont cependant permis de découvrir de nouveaux résultats. Ainsi :

• L'hyperbolicité du Modèle:Lien a conduit à de nouveaux résultats sur le groupe des classes d'applications.
• De même, l'hyperbolicité de certains graphes associés au groupe des automorphismes extérieurs (le quotient du groupe des automorphismes par le groupe des automorphismes intérieurs) a amené à de nouveaux résultats sur ce groupe.

Articles connexes

• Groupe hyperbolique

Bibliographie

• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Article.