Espace de Teichmüller
En mathématiques, l'espace de Teichmüller d'une surface (réelle) topologique (ou différentielle) , est un espace qui paramètre les structures complexes sur à l'action des homéomorphismes isotopes à l'identité près. Les espaces de Teichmüller portent le nom d'Oswald Teichmüller.
Chaque point d'un espace de Teichmüller peut être considérée comme une classe d'isomorphismes de surfaces de Riemann marquées, où un marquage est une classe d'isotopie d'homéomorphismes de sur lui-même. Il peut être vu comme un espace de modules pour une structure hyperbolique marquée sur la surface, ce qui lui confère une topologie naturelle pour laquelle il est homéomorphe à une boule de dimension pour une surface de genre . De cette manière, l'espace de Teichmüller peut être considéré comme l'orbifold de revêtement universel de l'espace des modules de Riemann (en).
L'espace de Teichmüller a une structure de variété complexe canonique et plusieurs métriques naturelles. L'étude des caractéristiques géométriques de ces diverses structures est un champ de recherche actif.
Histoire
[modifier | modifier le code]Les espaces de modules des surfaces de Riemann et des groupes fuschiens (en) apparentés ont été étudiés depuis les travaux de Bernhard Riemann (1826-1866), qui savait que paramètres étaient nécessaires pour décrire les variations de structures complexes sur une surface de genre . Les premières études de l'espace de Teichmüller, à la fin du xixe siècle et au début du XXe siècle, étaient géométriques et fondées sur l'interprétation des surfaces de Riemann comme des surfaces hyperboliques. Parmi les principaux contributeurs figuraient Felix Klein, Henri Poincaré, Paul Koebe, Jakob Nielsen, Robert Fricke et Werner Fenchel.
La principale contribution de Teichmüller à l'étude des modules a été l'introduction d'applications quasi conforme au sujet. Elles permettent de donner beaucoup plus de profondeur à l'étude des espaces de modules en étendant leurs propriétés intrinsèques. Après la Seconde Guerre mondiale, le sujet a été développé davantage dans cette veine analytique, en particulier par Lars Ahlfors et Lipman Bers.
La branche d'étude géométrique de l'espace de Teichmüller a été relancée à la suite des travaux de William Thurston à la fin des années 1970, qui a introduit une compactification géométrique qu'il a utilisée dans son étude de la difféotopie d'une surface. D'autres objets plus combinatoires associés à ce groupe (en particulier la courbe complexe) ont également été liés à l'espace de Teichmüller, et c'est un sujet de recherche très actif en théorie géométrique des groupes.
Définitions
[modifier | modifier le code]Espace de Teichmüller à partir de structures complexes
[modifier | modifier le code]Soit une surface lisse orientable (une variété différentielle de dimension 2). Informellement l'espace Teichmüller de est l'espace des structures surfaces de Riemann sur à l'isotopie près.
Formellement, on dit que deux variétés complexes sur sont équivalentes s'il existe un difféomorphisme tel que:
- f est holomorphe de X dans Y;
- f est isotope à l'identité de (il y a un chemin continue tel que .
On définit alors comme l'espace des classes d'équivalence des structures complexes sur pour cette relation.
Une autre définition équivalente est la suivante : est l'espace des paires où est une surface de Riemann et un difféomorphisme, et deux paires sont considérés comme équivalentes si est isotope à un difféomorphisme holomorphe. Un tel couple est appelé surface de Riemann marquée ; le marquage étant le difféomeorphisme ; une autre définition de marquages est par systèmes de courbes. [1]
Il existe deux exemples simples qui sont immédiatement calculés à partir du théorème d'uniformisation : il existe une structure complexe unique sur la sphère (voir sphère de Riemann) et il y en a deux sur (le plan complexe et le disque unité) et dans chaque cas le groupe des difféomorphismes positifs est contractile. Ainsi l'espace de Teichmüller de est un point unique et celui de contient exactement deux points.
Un autre exemple est l'anneau ouvert, pour lequel l'espace de Teichmüller est l'intervalle (la structure complexe associée à est la surface de Riemann ).
L'espace de Teichmüller du tore
[modifier | modifier le code]L'exemple suivant est le tore Dans ce cas, toute structure complexe peut être réalisée par une surface de Riemann de la forme (une courbe elliptique complexe) pour un nombre complexe où
est le demi-plan supérieur complexe. Alors on a une bijection :[2]
et donc l'espace de Teichmüller de est égal à
Si nous identifions avec le plan euclidien, chaque point de l'espace de Teichmüller peut également être considéré comme une variété plate marquée sur Ainsi l'espace de Teichmüller est en bijection avec l'ensemble des paires où est une surface plate et est un difféomorphisme à isotopie près sur .
Surfaces de type fini
[modifier | modifier le code]Ce sont les surfaces pour lesquelles l'espace de Teichmüller est le plus souvent étudié, qui incluent les surfaces fermées. Une surface est de type fini si elle est difféomorphe à une surface compacte moins un ensemble fini. Si est une surface fermée de genre puis la surface obtenue en enlevant points de est généralement noté et son espace Teichmüller
Espaces de Teichmüller et métriques hyperboliques
[modifier | modifier le code]Toute surface orientable de type fini autre que celles ci-dessus admet une métrique riemannienne complète de courbure constante . Pour une surface donnée de type fini, il existe une bijection entre de telles métriques et des structures complexes comme il résulte du théorème d'uniformisation. Ainsi si l'espace Teichmüller peut être réalisé comme l'ensemble des surfaces hyperboliques marquées de genre avec cuspides, c'est l'ensemble des paires où est une surface hyperbolique et est un difféomorphisme, modulo la relation d'équivalence où et sont identifiés si est isotope à une isométrie.
La topologie sur l'espace de Teichmüller
[modifier | modifier le code]Dans tous les cas calculés ci-dessus, il existe une topologie évidente sur l'espace de Teichmüller. Dans le cas général, il existe de nombreuses façons naturelles de munir d'une topologie. Une façon simple est via des métriques hyperboliques et des fonctions de longueur.
Si est une courbe fermée sur et une surface hyperbolique marquée alors est homotope à une unique géodésique fermée au (à paramétrage près). La valeur à de la fonction de longueur associée à (la classe d'homotopie de) est alors:
Soit l'ensemble des courbes simples fermées sur . Alors l'application
est un plongement. L'espace a la topologie du produit et est doté de la topologie induite. Avec cette topologie est homéomorphe à
En fait on peut obtenir un plongement avec courbes, [3] et même [4]. Dans les deux cas, on peut utiliser le plongement pour donner une preuve géométrique de l'homéomorphisme ci-dessus.
Espace de Teichmüller et structures conformes
[modifier | modifier le code]Au lieu de structures complexes de métriques hyperboliques, on peut définir l'espace de Teichmüller en utilisant des structures conformes. En effet, les structures conformes sont les mêmes que les structures complexes en deux dimensions (réelles).[5] De plus, le théorème d'uniformisation implique également que dans chaque classe conforme de métriques riemanniennes sur une surface, il existe une métrique unique de courbure constante.
Les espaces de Teichmüller comme espaces de représentation
[modifier | modifier le code]Une autre interprétation de l'espace de Teichmüller est comme espace de représentation pour les groupes de surface. Si est hyperbolique, de type fini et le groupe fondamental de alors l'espace de Teichmüller est en bijection naturelle avec l'ensemble des représentations injectives à image discrète, à conjugaison près par un élément de , si est compact ;:
L'application envoie une structure hyperbolique marquée à la composition où est la monodromie de la structure hyperbolique et est l'isomorphisme induit par .
Notez que cela réalise comme un sous-ensemble fermé de qui le dote d'une topologie. Cela peut être utilisé pour voir l'homéomorphisme directement.[6]
Cette interprétation de l'espace de Teichmüller est généralisée par la théorie supérieure de Teichmüller, où le groupe est remplacé par un groupe de Lie semi-simple arbitraire.
Remarque catégorique
[modifier | modifier le code]Toutes les définitions ci-dessus peuvent être faites dans la catégorie topologique au lieu de la catégorie des variétés différentiables, cela sans modifier les objets.
Espaces de Teichmüller de dimension infinie
[modifier | modifier le code]Les surfaces qui ne sont pas de type fini admettent aussi des structures hyperboliques, paramétrables par des espaces de dimension infinie (homéomorphes à ). Un autre exemple d'espace de dimension infinie lié à la théorie de Teichmüller est l'espace de Teichmüller d'une stratification par des surfaces[7],[8].
Théorie analytique
[modifier | modifier le code]Application quasi-conforme
[modifier | modifier le code]Une application quasi-conforme entre deux surfaces de Riemann est un homéomorphisme qui déforme la structure conforme de manière bornée sur la surface. Plus précisément, elle est différentiable presque partout et il existe une constante , appelée la dilatation, telle que
où sont les dérivées en coordonnées conformes et son conjugué .
Il existe des applications quasi-conformes dans chaque classe d'isotopie et donc une définition alternative pour l'espace de Teichmüller est la suivante. Fixer une surface de Riemann difféomorphe à , et l'espace de Teichmüller est en bijection naturelle avec les surfaces marquées où est une application quasi-conforme, à la même relation d'équivalence près que ci-dessus.
Différentiels quadratiques et plongement de Bers
[modifier | modifier le code]![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/71/Bers-Einbettung.png/220px-Bers-Einbettung.png)
Avec la définition ci-dessus, si il existe une application naturelle de l'espace de Teichmüller à l'espace de -solutions équivariantes de l'équation différentielle de Beltrami.[9] Celles-ci donnent lieu, via la dérivée schwarzienne, à des différentielles quadratiques (en) sur .[10] L'espace de ceux-ci est un espace complexe de dimension complexe , et l'image de l'espace de Teichmüller est un ensemble ouvert.[11] Cette application s'appelle le plongement de Bers.
Une différentielle quadratique sur peut être représenté par une surface de translation (en) conforme à .
Applications de Teichmüller
[modifier | modifier le code]Le théorème de Teichmüller[12] stipule qu'entre deux surfaces de Riemann marquées et , il existe toujours une application quasi-conforme unique dans la classe d'isotopie de qui a une dilatation minimale. Cette carte est appelée l'application de Teichmüller.
Géométrie complexe
[modifier | modifier le code]Le plongement de Bers muni d'une structure complexe comme ouvert de
Métriques issues de la structure complexe
[modifier | modifier le code]Puisque l'espace de Teichmüller est une variété complexe, il est muni une métrique de Carathéodory (en). L'espace de Teichmüller est hyperbolique au sens de Kobayashi et sa métrique de Kobayashi (en) coïncide avec la métrique de Teichmüller[13].
Le plongement de Bers réalise l'espace de Teichmüller comme un domaine d'holomorphie et par conséquent il peut également être muni d'une métrique de Bergman (en).
Métriques de Kähler sur l'espace de Teichmüller
[modifier | modifier le code]La métrique de Weil-Petersson est de Kähler mais elle n'est pas complète.
Cheng et Yau ont montré qu'il existe une métrique complète unique de Kähler-Einstein sur l'espace de Teichmüller[14]. Elle a une courbure scalaire négative constante.
Équivalence des métriques
[modifier | modifier le code]À l'exception de la métrique non complète de Weil-Petersson, toutes les métriques sur l'espace de Teichmüller introduites ici sont quasi-isométriques (en) les unes par rapport aux autres[15].
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é « Teichmüller space » (voir la liste des auteurs).
- Imayoshi et Taniguchi 1992, p. 14.
- Imayoshi et Taniguchi 1992, p. 13.
- Imayoshi et Taniguchi 1992, Theorem 3.12.
- Hamenstädt, « Length functions and parameterizations of Teichmüller space for surfaces with cusps », Annales Acad. Scient. Fenn., vol. 28, , p. 75–88
- Imayoshi et Taniguchi 1992, Theorem 1.7.
- Imayoshi et Taniguchi 1992, Theorem 2.25.
- Ghys, « Laminations par surfaces de Riemann », Panor. Synthèses, vol. 8, , p. 49–95 (MR 1760843)
- Deroin, « Nonrigidity of hyperbolic surfaces laminations », Proceedings of the American Mathematical Society, vol. 135, no 3, , p. 873–881 (DOI 10.1090/s0002-9939-06-08579-0, MR 2262885)
- Ahlfors 2006, p. 69.
- Ahlfors 2006, p. 71.
- Ahlfors 2006, Chapter VI.C.
- Ahlfors 2006, p. 96.
- Royden, « Report on the Teichmüller metric », Proc. Natl. Acad. Sci. U.S.A., vol. 65, no 3, , p. 497–499 (PMID 16591819, PMCID 282934, DOI 10.1073/pnas.65.3.497, Bibcode 1970PNAS...65..497R, MR 0259115)
- Cheng et Yau, « On the existence of a complete Kähler metric on noncompact complex manifolds and the regularity of Fefferman's equation », Comm. Pure Appl. Math., vol. 33, no 4, , p. 507–544 (DOI 10.1002/cpa.3160330404, MR 0575736)
- Yeung, « Quasi-isometry of metrics on Teichmüller spaces », Int. Math. Res. Not., vol. 2005, no 4, , p. 239–255 (DOI 10.1155/IMRN.2005.239, MR 2128436)
Notes et références
[modifier | modifier le code]- Lars V. Ahlfors, Lectures on quasiconformal mappings. Second edition. With supplemental chapters by C. J. Earle, I. Kra, M. Shishikura and J. H. Hubbard., American Math. Soc., , viii+162 (ISBN 978-0-8218-3644-6)
- Lipman Bers, On boundaries of Teichmüller spaces and on Kleinian groups. I, vol. 91, coll. « Second Series », , 570–600 p. (DOI 10.2307/1970638, JSTOR 1970638, MR 0297992), chap. 3
- Albert Fathi, François Laudenbach et Valentin Poenaru, Thurston's work on surfaces, Princeton University Press, , xvi+254 (ISBN 978-0-691-14735-2, MR 3053012)
- Frederic P. Gardiner et Howard Masur, Extremal length geometry of Teichmüller space, vol. 16, , 209–237 p. (DOI 10.1080/17476939108814480, MR 1099913), chap. 2–3
- Yôichi Imayoshi et Masahiko Taniguchi, An introduction to Teichmüller spaces, Springer, , xiv+279 (ISBN 978-4-431-70088-3)
- Steven P. Kerckhoff, « The Nielsen realization problem », Annals of Mathematics, vol. 117, no 2, , p. 235–265 (DOI 10.2307/2007076, JSTOR 2007076, MR 0690845, CiteSeerx 10.1.1.353.3593)
- Curtis T. McMullen, The moduli space of Riemann surfaces is Kähler hyperbolic, vol. 151, coll. « Second Series », , 327–357 p. (DOI 10.2307/121120, JSTOR 121120, MR 1745010, arXiv math/0010022, S2CID 8032847), chap. 1
- John Ratcliffe, Foundations of hyperbolic manifolds, Second edition, Springer, , xii+779 (ISBN 978-0387-33197-3)
- William P. Thurston, On the geometry and dynamics of diffeomorphisms of surfaces, vol. 19, coll. « New Series », , 417–431 p. (DOI 10.1090/S0273-0979-1988-15685-6
, MR 956596), chap. 2
Bibliographie
[modifier | modifier le code]- Lipman Bers, Finite-dimensional Teichmüller spaces and generalizations, vol. 5, coll. « New Series », , 131–172 p. (DOI 10.1090/S0273-0979-1981-14933-8
, MR 621883), chap. 2
- Frederick P. Gardiner, Teichmüller theory and quadratic differentials, New York, John Wiley & Sons, coll. « Pure and Applied Mathematics (New York) », (ISBN 978-0-471-84539-3, MR 903027, lire en ligne)
- John Hamal Hubbard, Teichmüller theory and applications to geometry, topology, and dynamics. Vol. 1, Matrix Editions, Ithaca, NY, (ISBN 978-0-9715766-2-9, MR 2245223, lire en ligne)
- Handbook of Teichmüller theory. Vols. I-V, vol. 11, 13, 17, 19, 26, European Mathematical Society (EMS), Zürich, coll. « IRMA Lectures in Mathematics and Theoretical Physics », 2007–2016 (ISBN 978-3-03719-029-6, DOI 10.4171/029, MR 2284826, S2CID 9203341, lire en ligne) The last volume contains translations of several of Teichmüller's papers.
- Oswald Teichmüller, Extremale quasikonforme Abbildungen und quadratische Differentiale, vol. 1939, , 197 p. (MR 0003242, JFM 66.1252.01), chap. 22
- Oswald Teichmüller, Gesammelte Abhandlungen, Berlin, New York, Springer-Verlag, (ISBN 978-3-540-10899-3, MR 649778, lire en ligne)
Articles connexes
[modifier | modifier le code]Liens externes
[modifier | modifier le code]