Conjecture de géométrisation

En mathématiques, et plus précisément en géométrie, la conjecture de géométrisation de Thurston affirme que les variétés compactes de dimension 3 peuvent être décomposées en sous-variétés admettant l'une des huit structures géométriques appelées géométries de Thurston. Formulée par William Thurston en 1976, cette conjecture fut démontrée par Grigori Perelman en 2003.

Sommaire 1 La conjecture 2 Les huit géométries de Thurston 2.1 Définitions 2.2 La géométrie sphérique S3 2.3 La géométrie euclidienne E3 2.4 La géométrie hyperbolique H3 2.5 La géométrie de S2×R 2.6 La géométrie de H2×R 2.7 La géométrie du revêtement universel de SL2(R) 2.8 La géométrie Nil 2.9 La géométrie Sol 3 Unicité 4 Historique 5 Divers 6 Notes 7 Références 8 Voir aussi 9 Lien externe

La conjecture

On dit qu'une variété est fermée si elle est compacte et sans bord, et qu'elle est indécomposable si elle n'est pas somme connexe de variétés qui ne sont pas des sphères. D'après le théorème de décomposition de Milnor, toute variété fermée orientable de dimension 3 possède une décomposition unique en somme connexe de variétés indécomposables (cette décomposition existe encore, mais n'est plus toujours unique dans le cas de variétés non-orientables). Ceci ramène essentiellement l'étude des variétés de dimension 3 aux variétés irréductibles.

Les surfaces (ou plus précisément les variétés riemanniennes de dimension 2, c'est-à-dire les variétés de dimension 2 possédant une structure métrique) qui sont compactes et simplement connexes peuvent être uniformisées, c'est-à-dire mises en bijection conforme avec l'une des trois surfaces, correspondant aux trois "géométries de référence", que sont la sphère (pour la géométrie sphérique), le plan (pour la géométrie euclidienne) et la pseudo-sphère correspondant à la géométrie hyperbolique : c'est le théorème d'uniformisation de Poincaré (qu'on énonce souvent pour le cas équivalent des surfaces de Riemann). La conjecture de géométrisation, formulée par William Thurston en 1976, et démontrée par Grigori Perelman en 2003, affirme que, de manière analogue :

On remarque que l'énoncé de la conjecture est plus complexe que son analogue 2-dimensionnel (du moins pour des variétés simplement connexes), car dans ce dernier cas, il est possible de "géométriser" globalement la surface. La signification technique de l'adjectif géométrisable, ainsi que la liste des huit géométries possibles, seront détaillées dans la section suivante.

Un énoncé analogue peut être donné dans le cas de variétés non orientables, mais le recollement doit alors se faire selon d'autres surfaces (le plan projectif réel et la bouteille de Klein), et des difficultés techniques supplémentaires apparaissent, aussi on préfère généralement passer par le 2-revêtement orientable de la variété.

Cette conjecture en implique plusieurs autres, la plus célèbre étant la conjecture de Poincaré ; celles-ci sont donc désormais démontrées.

Les huit géométries de Thurston

Définitions

Une géométrie modèle est une variété différentielle simplement connexe X munie d'une action transitive (différentiable) d'un groupe de Lie G sur X, dont les stabilisateurs sont compacts.

On dit qu'une géométrie modèle est maximale si G est le plus grand groupe agissant de cette manière sur X ; cette condition est parfois ajoutée à la définition d'une géométrie modèle.

Une structure géométrique sur une variété M est un difféomorphisme de M vers X/Γ pour une certaine géométrie modèle X, où Γ est un sous-groupe discret de G agissant librement sur X. Si une variété admet une structure géométrique, elle en admet une dont la géométrie modèle est maximale.

Les géométries modèles X à trois dimensions considérées par la conjecture de Thurston sont celles qui sont maximales, et pour lesquelles il existe une variété compacte admettant une structure géométrique ayant X pour modèle ; on dit qu'une variété ayant cette propriété est géométrisable. Thuston montra qu'il existe 8 géométries modèles satisfaisant ces conditions ; elles sont aussi connues sous le nom de géométries de Thurston, et détaillées ci-dessous (il existe également un nombre infini non dénombrable de géométries modèles n'admettant pas de quotients compacts).

La géométrie sphérique S³

Le stabilisateur des points de la variété est O₃(R), et le groupe G est le groupe de Lie O₄(R), de dimension 6, ayant deux composantes connexes ; la géométrie (c'est-à-dire la métrique) correspondante est l'analogue tridimensionnel de la géométrie sphérique usuelle.

Les variétés correspondantes sont précisément les variétés fermées de dimension 3 dont le groupe fondamental est fini. Parmi ces variétés, on trouve par exemple la 3-sphère, la sphère d'homologie de Poincaré (en), et les espaces lenticulaires (en)  ; une liste complète se trouve dans l'article variétés sphériques (en).

Sous l'action du flot de Ricci, les variétés ayant cette géométrie se contractent en un point en un temps fini.

La géométrie euclidienne E³

Le stabilisateur des points de la variété est O₃(R), et le groupe G est le groupe de Lie R³×O₃(R), de dimension 6, ayant 2 composantes connexes. la géométrie correspondante est la géométrie euclidienne usuelle.

Parmi les exemples, on trouve le 3-tore (S₁)³, et plus généralement le tore d'application d'un automorphisme d'ordre fini du 2-tore. Il y a exactement 10 variétés fermées ayant cette géométrie ; 6 sont orientables et 4 non-orientables.

Sous l'action du flot de Ricci, ces variétés restent invariantes globalement.

La géométrie hyperbolique H³

Le stabilisateur des points de la variété est O₃(R), et le groupe G est le groupe de Lie O_1,3(R)⁺, de dimension 6, ayant 2 composantes connexes. La géométrie correspondante est l'analogue tridimensionnel de la géométrie hyperbolique usuelle.

Il y a énormément d'exemples de cette géométrie, et leur classification n'est pas complètement comprise. L'exemple de plus petit volume connu est la variété de Weeks (en). La conjecture de géométrisation implique qu'une variété fermée est hyperbolique si et seulement si elle est irréductible, atoroïdale (en), et que son groupe fondamental est infini.

Sous l'action du flot de Ricci, ces variétés se dilatent.

La géométrie de S²×R

Le stabilisateur des points de la variété est O₂(R)×Z/2Z, et le groupe G est O₃(R)×R.Z/2Z, ayant 4 composantes connexes.

Les quatre variétés de volume fini ayant cette géométrie sont : S²×S¹, le tore de l'application antipodale de S², la somme connexe de deux copies de l'espace projectif (réel) de dimension 3, et le produit de S¹ avec le plan projectif. Les deux premières sont les seuls exemples de 3-variétés qui soient indécomposables, mais non irréductibles (voir le théorème de décomposition de Milnor)  ; la troisième est le seul exemple d'une somme connexe non triviale qui puisse être munie d'une structure géométrique. Cette géométrie modèle est la seule qui ne puisse être réalisée comme métrique invariante à gauche d'un groupe de Lie de dimension 3.

Sous l'action du flot de Ricci, ces variétés convergent vers des variétés de dimension 1, c'est-à-dire des courbes.

La géométrie de H²×R

Le stabilisateur des points de la variété est O₂(R) × Z/2Z, et le groupe G est O_1,2(R)⁺ × R.Z/2Z, ayant 4 composantes connexes.

Parmi les exemples figurent le produit d'une surface hyperbolique et d'un cercle, ou plus généralement le tore d'application d'une isométrie d'une surface hyperbolique. Les variétés orientables de volume fini ayant cette géométrie ont la structure d'un fibré de Seifert (les variétés non orientables, bien que fibrées en cercles, ne sont pas nécessairement des fibrés de Seifert ; leurs voisinages peuvent être des bouteilles de Klein plutôt que des tores pleins^[1]). La classification de ces variétés orientables est donnée dans l'article sur les fibrés de Seifert.

Sous l'action du flot de Ricci normalisé, ces variétés convergent vers des variétés de dimension 2.

La géométrie du revêtement universel de SL₂(R)

On note le revêtement universel de SL₂(R) ; c'est un fibré ayant pour base le plan hyperbolique H₂. Le stabilisateur des points de la variété est O₂(R). Le groupe G possède 2 composantes connexes ; la composante de l'identité a pour structure .

Parmi les exemples, on trouve la variété des vecteurs unité du fibré tangent d'une surface hyperbolique, et plus généralement les sphères d'homologie de Brieskorn (en) (à l'exception de la 3-sphère et de l'espace dodécahédral de Poincaré).

Sous l'action du flot de Ricci normalisé, ces variétés convergent vers des variétés de dimension 2.

La géométrie Nil

C'est un fibré ayant pour base E², dont la géométrie est celle du groupe de Heisenberg. Le stabilisateur des points de la variété est O₂(R). Le groupe G possède 2 composantes connexes, et est le produit semi-direct du groupe de Heisenberg (de dimension 3) par le groupe O₂(R) des isométries du cercle.

Parmi les variétés compactes ayant cette géométrie, on trouve le tore d'application d'un twist de Dehn (en) d'un 2-tore, ainsi que le quotient du groupe de Heisenberg par le réseau de Heisenberg. Les variétés de volume fini ayant cette géométrie sont compactes et orientables, et ont la structure d'un fibré de Seifert.

Sous l'action du flot de Ricci normalisé, ces variétés convergent vers R², muni de la métrique euclidienne.

La géométrie Sol

C'est un fibré en plans ayant pour base la droite R. Le stabilisateur des points de la variété est le groupe diédral d'ordre 8. Le groupe G possède 8 composantes connexes, et est formé des isométries de l'espace de Minkowski, et des "anti-isométries" de cet espace multipliant la métrique par -1. La composante connexe de l'identité possède un sous-groupe normal R² de groupe quotient R, où R agit sur R² en ayant deux sous-espaces propres réels, correspondant à deux valeurs propres réelles distinctes de produit 1.

Toutes les variétés de volume fini ayant cette géométrie sont compactes. Ce sont soit les tores d'un difféomorphisme d'Anosov du 2-tore (d'un automorphisme du 2-tore donné par une matrice 2×2 inversible dont les valeurs propres sont réelles et distinctes, telle que ), soit des quotients de ces tores par des groupes d'ordre 8 au plus.

Sous l'action du flot de Ricci normalisé, ces variétés convergent (assez lentement) vers la droite R¹.

Unicité

Une variété peut avoir de nombreuses structures géométriques du même type, mais distinctes, par exemple une surface de genre 2 au moins possède un continuum de métriques hyperboliques toutes différentes. Cependant, une variété fermée de dimension 3 ne peut avoir au maximum qu'un des 8 types précédents de structure géométrique (mais des variétés non compactes de volume fini peuvent parfois avoir des structures géométriques de plusieurs types différents). Plus précisément, si M est une variété ayant une structure géométrique de volume fini, alors le type de cette structure géométrique est presque déterminé par son groupe fondamental π₁(M) selon les règles suivantes :

• Si π₁(M) est fini, la structure géométrique sur M est sphérique, et M est compacte.
• Si π₁(M) est virtuellement^[2] cyclique, mais non fini, la structure géométrique sur M est S²×R, et M est compacte.
• Si π₁(M) est virtuellement abélien, mais non virtuellement cyclique, la structure géométrique sur M est euclidienne, et M est compacte.
• Si π₁(M) est virtuellement nilpotent, mais non virtuellement abélien, la structure géométrique sur M est la géométrie Nil, et M est compacte.
• Si π₁(M) est virtuellement résoluble, mais non virtuellement nilpotent, la structure géométrique sur M est la géométrie Sol, et M est compacte.
• Si π₁(M) possède un sous-groupe normal infini cyclique, mais n'est pas virtuellement résoluble, la structure géométrique sur M est soit H²×R, soit le revêtement universel de SL₂(R). M peut être compacte ou non compacte. Si M est compacte, les deux cas peuvent être distingués selon que π₁(M) possède ou non un sous-groupe d'indice fini qui se décompose comme un produit semi-direct du sous groupe cyclique normal et d'un autre sous-groupe. Si la variété n'est pas compacte, le groupe fondamental ne permet pas de distinguer les deux géométries, et il y a des exemples (tels que le complémentaire du nœud de trèfle) de variétés admettant une structure géométrique de volume fini des deux types.
• Si π₁(M) ne possède pas de sous-groupe normal infini cyclique et n'est pas virtuellement résoluble, la structure géométrique sur M est hyperbolique, et M peut être compacte ou non compacte.

Des variétés de volume infini peuvent posséder de nombreuses structures géométriques : ainsi, R³ peut être muni de six des huit structures géométriques précédentes. De plus, il existe une infinité d'autres structures géométriques n'ayant pas de modèles compacts ; c'est par exemple le cas de la géométrie de presque tous les groupes de Lie tridimensionnels non unimodulaires.

Par ailleurs, il peut exister plusieurs décomposition de la même variété fermée en morceaux géométrisables, même en éliminant les sommes connexes "triviales" obtenues en ajoutant une 3-sphère. Ainsi :

• La somme connexe de deux espaces projectifs de dimension 3 a une géométrie de type S²×R, et est aussi la somme connexe de deux variétés de géométrie sphérique.
• Le produit d'une surface de courbure négative et d'un cercle est géométrisable, mais peut aussi être coupée le long de tores en morceaux plus petits , eux aussi géométrisables ; il y a beaucoup d'exemples analogues parmi les fibrés de Seifert.

Bien qu'il soit possible de définir pour toute variété une décomposition "canonique" en morceaux géométrisables, par exemple en la décomposant d'abord en somme de variétés indécomposables, puis en découpant ces dernières en utilisant le nombre minimum de tores, cette décomposition n'est pas nécessairement celle qui serait produite par le flot de Ricci ; en fait, on peut obtenir ainsi de nombreux découpages non équivalents, en fonction du choix initial de la métrique.

Historique

Thurston énonça sa conjecture en 1976 ; au début des années 80, il démontra son théorème de géométrisation (en) pour les variétés de Haken (en)^[3], ce qui lui valut la médaille Fields en 1982.

L'analyse du cas des 3-variétés qui "devraient" être sphériques fut plus lente, mais amena Richard Hamilton à développer la technique du flot de Ricci. En 1982, Hamilton montra qu'étant donnée une variété fermée de métrique ayant une courbure de Ricci positive, le flot de Ricci la contractait en un point en un temps fini, ce qui démontrait la conjecture de géométrisation dans ce cas, car la métrique devient "presque sphérique" juste avant la fin de la contraction. Il devait par la suite développer un programme de démonstration de la conjecture dans le cas général, utilisant le flot de Ricci en combinaison avec des techniques de chirurgie topologique (en). Le flot de Ricci produit en général des singularités, mais l'idée est qu'il devrait être possible de les exciser, et de continuer le flot sur la nouvelle variété ainsi obtenue.

En 2003, Grigori Perelman esquissa une preuve de la conjecture en montrant que le flot peut en effet être prolongé, et que le comportement final de la variété est celui qui avait été prédit par Hamilton. La principale difficulté de cette preuve était son usage critique du théorème 7.4 de sa prépublication intitulée Ricci Flow with surgery on three-manifolds ("Flot de Ricci et chirurgie sur les 3-variétés"). Perelman énonçait ce théorème sans démonstration, mais il en existe à présent trois démonstrations distinctes  : ainsi, par exemple, la méthode de Shioya et Yamaguchi^[4], qui utilise entre autres le théorème de stabilité de Perelman^[5],[6]; plus récemment, Morgan (en) et Tian (en) en ont donné une preuve n'utilisant que le flot de Ricci^[7]. Une fois le théorème 7.4 de Perelman prouvé, la conjecture de géométrisation en découle « facilement » .

Divers

Le couturier Issey Miyake a conçu des vêtements féminins inspirés par ce théorème, présentés lors d'un défilé au Carrousel du Louvre en mars 2010^[8].

Notes

Références

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Geometrization conjecture » (voir la liste des auteurs)

• Tentatives de vulgarisation
  • Serge Lang, Serge Lang fait des maths en public, 1983 (la troisième conférence est un exposé vulgarisé pour grand public des premiers travaux de Thurston).
  • Étienne Ghys, « Géométriser l'espace : de Gauss à Perelman », dans Images des mathématiques, 2007 
• Exposés plus rigoureux
  • (en) John W. Morgan (en), « Recent progress on the Poincaré conjecture and the classification of 3-manifolds », dans Bull. Amer. Math. Soc. (en), vol. 42, n^o 1, 2005, p. 57-78  (description de la conjecture, des huit géométries de Thurston, et esquisse de la démonstration de Perelman)
  • (en) Terence Tao, série d'articles sur son blog, classés du plus récent au plus ancien (de la « vulgarisation » pour mathématiciens professionnels, par « le plus brillant des mathématiciens contemporains » Jean-Paul Delahaye, « Terence Tao », dans Pour la Science, avril 2010)
• Publications originales
  • (en) William P. Thurston, « Three-dimensional manifolds, Kleinian groups and hyperbolic geometry », dans Bull. Amer. Math. Soc. (N.S.), vol. 6, n^o 3, 1982, p. 357–381 [texte intégral] . C'est dans cet article que fut énoncée la conjecture.
  • (en) Grigori Perelman, « The entropy formula for the Ricci flow and its geometric applications », 2002, arXiv:math.DG/0211159
  • (en) Grigori Perelman, « Ricci flow with surgery on three-manifolds », 2003, arXiv:math.DG/0303109
  • (en) Grigori Perelman, « Finite extinction time for the solutions to the Ricci flow on certain three-manifolds », 2003, arXiv:math.DG/0307245 ; ces trois articles sont les seuls écrits par Perelman ; la référence suivante donne une démonstration complète à partir d'eux :
  • (en) Huai-Dong Cao (en) et Xi-Ping Zhu (en), « A Complete Proof of the Poincaré and Geometrization Conjectures: Application of the Hamilton-Perelman theory of the Ricci flow », dans Asian Journal of Mathematics, vol. 10, n^o 2, juin 2006, p. 165–498 , arXiv:math.DG/0612069 (version révisée en décembre 2006)

Voir aussi

• Théorème d'uniformisation
• Théorème de décomposition de Milnor

Lien externe

(en) The Geometry of 3-Manifolds(video), une conférence sur les conjectures de Poincaré et de géométrisation, donnée par C. McMullen à Harvard en 2006.

• Portail de la géométrie