Lemme de Margulis

Le lemme de Margulis est un résultat de géométrie riemannienne, branche de la géométrie qui étudie les espaces courbes munis d'une métrique. Il est nommé en l'honneur du mathématicien russe Gregori Margulis qui en établit une version de référence en 1975, mais celle-ci s'inscrit dans une succession de nombreux résultats apparentés.

Le lemme porte sur les sous-groupes du groupe des isométries d'une variété à courbure négative mais bornée ; il s'applique donc notamment au cadre de la géométrie hyperbolique. L'idée générale de l'énoncé est que, quand on limite l'écart entre les points et les images en dessous d'une certaine valeur (la constante de Margulis), les orbites d'un tel groupe ont nécessairement une structure simple. Dans une formulation plus géométrique, cela conduit à une décomposition entre les parties "mince" et "épaisse" de la variété, les parties dites minces ayant une structure simple.

Formulation algébrique pour les variétés à courbure négative[modifier | modifier le code]

Énoncé[modifier | modifier le code]

Un des énoncés classiques du lemme de Margulis est le suivant

Lemme de Margulis^[1] — Soit $X$ une variété riemannienne, simplement connexe, à courbure sectionnelle négative et bornée. On note d la distance induite par la métrique riemannienne. Il existe des constantes $C,\varepsilon >0$ telles qu'on ait la propriété suivante : pour tout sous-groupe discret $\Gamma$ du groupe des isométries de $X$ , pour tout $x\in X$ , en notant

F_{x}=\{g\in \Gamma :d(x,g\cdot x)<\varepsilon \}

alors le sous-groupe engendré par $F_{x}$ contient un sous-groupe nilpotent d'indice inférieur à $C$ .

On peut en donner une reformulation équivalente : pour toute partie $F$ du groupe d'isométries qui vérifie les propriétés

il existe $x\in X$ tel que $\forall g\in F:d(x,g\cdot x)<\varepsilon$ ;
le groupe $\langle F\rangle$ engendré par $F$ est discret ;

on a : $\langle F\rangle$ contient un sous-groupe nilpotent d'indice inférieur à $\leq C$ .

Constante de Margulis[modifier | modifier le code]

La recherche de la valeur optimale du $\varepsilon$ figurant dans le théorème précédent est alors un problème intéressant ; on lui donne le nom de constante de Margulis.

Plus précisément, on peut chercher une valeur optimale ne dépendant en fait que de la dimension et de la borne inférieure sur la courbure. Quitte à normaliser cette borne inférieure à la valeur -1, on obtient une quantité qui ne dépend que de la dimension et est appelée la constante de Margulis en dimension $n$ .

Un autre type de problème intéressant est la recherche de la constante de Margulis de certains espaces particuliers, par exemple les espaces hyperboliques (de courbure constante -1). Ainsi :

la constante de Margulis du plan hyperbolique vaut $2\operatorname {arsinh} \left({\sqrt {\frac {2\cos(2\pi /7)-1}{8\cos(\pi /7)+7}}}\right)\simeq 0.2629$ ^[2];
plus généralement la constante de Margulis $\varepsilon _{n}$ de l'espace hyperbolique de dimension $n$ vérifie^[3] :

c^{-n^{2}}<\varepsilon _{n}<K/{\sqrt {n}}

pour des valeurs

0<c<1,K>0

.

Cas particulier des espaces symétriques, voisinages de Zassenhaus[modifier | modifier le code]

Parmi les exemples de variétés à courbure négative particulièrement étudiés figurent les espaces symétriques associés à des groupes de Lie semi-simples. Dans ce cadre, le lemme de Margulis admet un énoncé très algébrique qui avait en fait été établi auparavant par Hans Zassenhaus.^[4]

Si $G$ est un groupe de Lie semi-simple il existe $\Omega$ , voisinage de l'identité dans $G$ et une valeur $C>0$ telle que tout sous-groupe discret $\Gamma$ engendré par $\Gamma \cap \Omega$ contient un sous-groupe nilpotent d'indice $\leq C$ .

Un tel voisinage $\Omega$ est qualifié de voisinage de Zassenhaus de $G$ . Si $G$ est compact ce théorème est équivalent au théorème de Jordan-Schur.

Conséquence géométrique : décomposition en parties mince et épaisse[modifier | modifier le code]

Soit $M$ une variété riemannienne et soit $\varepsilon >0$ . La partie mince de $M$ est formée par les points $x\in M$ tels que le rayon d'injectivité de $M$ en $x$ est inférieur à $\varepsilon$ ; on la note ordinairement $M_{<\varepsilon }$ . La partie épaisse, notée ordinairement $M_{\geq \varepsilon }$ , est le complémentaire. Ainsi on a la partition $M=M_{<\varepsilon }\cup M_{\geq \varepsilon }$ .

Lorsque $M$ est à courbure négative et $\varepsilon$ est inférieure à la constante de Margulis du revêtement universel ${\widetilde {M}}$ de $M$ , les composantes de la partie mince ont une structure très simple.

Si on considère de façon plus spécifique le cas des variétés hyperboliques de volume fini, en prenant $\varepsilon$ inférieur à la constante de Margulis de $\mathbb {H} ^{n}$ et $M$ un espace hyperbolique de dimension $n$ , alors il y a deux sortes de composantes dans la partie mince^[5] :

les cusps, composantes non bornées, qui sont difféomorphes au produit d'un cercle et d'un espace plat de dimension $(n-1)$ ;
les tubes de Margulis , qui sont des voisinages de géodésiques fermées de $M$ de longueur $<\varepsilon$ on $M$ . Ces composantes sont bornées, et si $M$ est orientable, elles sont difféomorphes au produit d'un cercle et d'une boule de dimension $(n-1)$ .

Notamment, une variété hyperbolique de volume finie est difféomorphe à l'intérieur d'une variété compacte à bord (bord éventuellemnt vide).

Autres applications[modifier | modifier le code]

Le lemme de Margulis joue un rôle important dans l'étude des variétés à courbure négative. Outre la décomposition en parties mince et épaisse, on peut citer les applications suivantes

Le lemme du collier décrit de façon plus précise les composantes de la partie mince of the thin parts. Il énonce que toute géodésique fermée de longueur $\ell <\varepsilon$ sur une surface hyperbolique est contenu dans un cylindre plongé de diamètre de l'ordre de $\ell ^{-1}$ .
Le lemme de Margulis fournit directement une réponse existentielle au problème de la recherche du covolume minimal parmi les variétés hyperboliques : comme le volume d'un tube de Margulis peut être borné par dessous à l'aide de la seule dimension, il y a une bonré inférieure strictement positive aux volumes des variétés hyperboliques de dimension $n$ , et ce pour tout $n$ ^[6].
L'existence de voisinages de Zassenhaus est un ingrédient clef de la preuve du théorème de Kazhdan–Margulis.
Le théorème de Jordan-Schur peut aussi être vu comme un corollaire de l'existence de ces

voisinages de Zassenhaus.

Notes[modifier | modifier le code]

↑ Ballmann et Gromov Schroeder, Theorem 9.5.
↑ A. Yamada, « On Marden's universal constant of Fuchsian groups », Kodai Math. J., vol. 4, n^o 2,‎ 1981, p. 266–277 (DOI 10.2996/kmj/1138036373, lire en ligne)
↑ Mikhail Belolipetsky, Proceedings of ICM 2014, Kyung Moon SA, 2014 (arXiv 1402.5394), « Hyperbolic orbifolds of small volume »
↑ Raghunatan et 1972 Definition 8.22.
↑ Thurston 1998, Chapter 4.5.
↑ Ratcliffe 2006, p. 666.

Références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Margulis lemma » (voir la liste des auteurs).
Werner Ballmann, Mikhail Gromov et Viktor Schroeder, Manifolds of Nonpositive Curvature, Birkhâuser, 1985
M. S. Raghunathan, Discrete subgroups of Lie groups, Springer-Verlag, coll. « Ergebnisse de Mathematik und ihrer Grenzgebiete », 1972 (MR 0507234)
John Ratcliffe, Foundations of hyperbolic manifolds, Second edition, Springer, 2006, xii+779 (ISBN 978-0387-33197-3)
William Thurston, Three-dimensional geometry and topology. Vol. 1, Princeton University Press, 1997

Portail de la géométrie

[BallmannGromovSchroederTheorem_9.5-1] Ballmann et Gromov Schroeder, Theorem 9.5.

[2] A. Yamada, « On Marden's universal constant of Fuchsian groups », Kodai Math. J., vol. 4, n^o 2,‎ 1981, p. 266–277 (DOI 10.2996/kmj/1138036373, lire en ligne)

[3] Mikhail Belolipetsky, Proceedings of ICM 2014, Kyung Moon SA, 2014 (arXiv 1402.5394), « Hyperbolic orbifolds of small volume »

[Raghunatan1972Definition_8.22-4] Raghunatan et 1972 Definition 8.22.

[Thurston1998Chapter_4.5-5] Thurston 1998, Chapter 4.5.

[Ratcliffe2006666-6] Ratcliffe 2006, p. 666.

[1]

[2]

[3]

[4]

[5]

[6]