Gomtriser l'espace : de Gauss Perelman - Images des mathmatiques

Page 1 of 13

17 novembre 2007

6 commentaires commenter cet article

Echos de la recherche

Gomtriser lespace : de Gauss Perelman

le thorme duniformisation a cent ans !
tienne Ghys
Directeur de recherche CNRS, cole Normale Suprieure de Lyon (page web) Il y a exactement cent ans, Henri Poincar publiait la preuve du thorme duniformisation. Il concluait ainsi une longue srie de travaux, stalant sur tout le dix-neuvime sicle, et remontant au moins Gauss. Il y a quatre ans, Grigori Perelman publiait sur internet trois articles majeurs qui mnent la preuve de la conjecture de gomtrisation de Thurston, elle-mme directement issue du thorme duniformisation. Cela lui a valu la mdaille Fields en 2006. Je voudrais esquisser lhistoire de cette aventure en tentant dviter tout aspect technique. Evidemment, je serai oblig de simplifier lextrme et de passer sous silence un grand nombre daspects importants.

Hipparque et Ptolme
Commenons au deuxime sicle... avant Jsus-Christ.Hipparque, et son successeur Ptolme, trois sicles plus tard, sont semble-t-il, parmi les premiers stre pos la question de la reprsentation la plus prcise possible du ciel toil ou de la surface de la terre sur un plan. Voici (une copie dune copie de) la carte du monde par Ptolme.

http://images.math.cnrs.fr/Geometriser-l-espace-de-Gauss-a.html

03/06/2013

Gomtriser l'espace : de Gauss Perelman - Images des mathmatiques

Page 2 of 13

Cest le dbut de la cartographie scientifique. Parmi les mthodes introduites cette poque, il faut mentionner la projection strographique.Ci-dessous, vous voyez une sphre jaune : la terre ; le ple nord, en rouge ; et le plan tangent au ple sud, en bleu. Tout point sur la terre, lexception du ple nord, peut tre joint au ple nord par une droite qui coupe le plan bleu en un autre point quon appelle sa projection.Ceci permet de reprsenter toute la sphre, lexception du ple nord, sur la surface dun plan : cest la projection strographique.

Evidemment, cette projection ne respecte pas les distances, cest--dire la gomtrie, la mtrique. Vous voyez ici que lAmrique du Sud parat bien plus petite que lAmrique du Nord par exemple.

http://images.math.cnrs.fr/Geometriser-l-espace-de-Gauss-a.html

03/06/2013

Gomtriser l'espace : de Gauss Perelman - Images des mathmatiques

Page 3 of 13

Par contre, si on se concentre sur de petites zones, la forme est respecte : on dit aujourdhui que la projection est conforme. Prcisment, cela signifie quune zone infiniment petite de la sphre peut tre dilate ou comprime mais elle lest de la mme manire dans toutes les directions ; la projection se comporte comme une similitude au niveau infinitsimal. Un cercle par exemple est projet sur un cercle et non pas sur une ellipse allonge.

Gauss
Sautons maintenant une vingtaine de sicles ! Il aurait fallu parler de lvolution de la cartographie, indissociable de lvolution de la gomtrie. Faut-il rappeler que, tymologiquement, la go-graphie se propose de dessiner la terre et la go-mtrie se propose de la mesurer ?

http://images.math.cnrs.fr/Geometriser-l-espace-de-Gauss-a.html

03/06/2013

Gomtriser l'espace : de Gauss Perelman - Images des mathmatiques

Page 4 of 13

Venons-en donc Gauss... En 1818, il se voit confier la mission de cartographier le royaume de Hanovre. Cest loccasion pour lui de rflchir aux erreurs de mesure en physique et de dcouvrir la fameuse courbe en cloche (vous la voyez en haut, au dessus du nombre 10, sur cet ancien billet de banque allemand), dinventer la mthode des moindres carrs, de perfectionner la mthode des triangulations (en bas droite, la triangulation du royaume de Hanovre), dinventer de nouveaux instruments de mesures topographiques (en bas, vous voyez lhliotrope), mais aussi de mditer sur la gomtrie, sur lespace, de deviner lexistence des gomtries non euclidiennes, dutiliser pour la premire fois les nombres complexes dans un contexte gomtrique. Et tout cela, alors quil chevauche la campagne, recrute des ouvriers, cherche de largent. Un travail incroyable. Je ne citerai quun thorme de Gauss, quon appelle aujourdhui le thorme de reprsentation conforme local. Supposons maintenant une terre dont la forme nest pas sphrique mais a priori quelconque. Faut-il rappeler quau dbut du dix-neuvime sicle, on sait bien que la terre nest pas exactement sphrique ? Et sur cette surface de forme patatodale, considrons un tout petit pays, la France, par exemple.

Gauss dmontre quil est toujours possible de reprsenter ce pays dans un plan de manire conforme. Pour une terre sphrique, la projection strographique fait laffaire mais pour une terre quelconque, cest un tour de force ! Ce thorme de reprsentation conforme local reste aujourdhui un thorme difficile.

http://images.math.cnrs.fr/Geometriser-l-espace-de-Gauss-a.html

03/06/2013

Gomtriser l'espace : de Gauss Perelman - Images des mathmatiques

Page 5 of 13

Lune des grandes ides dans la preuve est dutiliser les nombres complexes gomtriquement pour dcrire un point du plan. Cest une vidence aujourdhui (en principe pour tous les bacheliers scientifiques) : on peut reprer un point du plan, de coordonnes [Math Processing Error] par un seul nombre complexe, [Math Processing Error] . Mais au dbut du dix-neuvime sicle, les nombres complexes taient encore mystrieux, imaginaires comme on dit encore parfois aujourdhui, quasi mystiques, en tous les cas bien loigns du rel. Sil fallait rsumer ce thorme local de Gauss, on peut dire quil permet de reprer localement un point sur une surface quelconque par un nombre complexe.

Ainsi, la surface qui est de dimension deux, peut tre dcrite par un seul nombre, certes complexe, mais un seul nombre quand mme ! La dimension deux relle a t ramene la dimension un complexe. Les surfaces deviennent de dimension un et ce sont donc des courbes complexes. En effet, les courbes sont prcisment les objets qui sont localement paramtrs par un seul nombre.

Riemann
Ne vous affolez pas lorsque vous verrez un gomtre face une sphre et qui vous parle dune droite ! Il faut le pardonner. Sa droite est une droite complexe, de dimension un complexe, donc de dimension deux relle. Elle est dautre part projective ce qui signifie quon a ajout au plan complexe un point dit linfini, qui nest autre que le ple nord. Ce point de vue sur la sphre est traditionnellement attribu au hros suivant de notre histoire : le grand Bernhard Riemann. On parle souvent en effet de la sphre de Riemann.

http://images.math.cnrs.fr/Geometriser-l-espace-de-Gauss-a.html

03/06/2013

Gomtriser l'espace : de Gauss Perelman - Images des mathmatiques

Page 6 of 13

Un mot sur Riemann, lui qui en mriterait des millions. Lune de ses contributions, qui a vritablement rvolutionn la gomtrie algbrique, a t en quelque sorte de faire fonctionner la machine lenvers : de considrer les courbes comme des surfaces. Une courbe algbrique, cest une courbe du plan qui est dfinie par une quation polynomiale. Vous voyez ici la courbe dquation x3 y + y 3 + x = 0 . Pas trs intressant nest-ce pas ?

Mais si on fait comme Riemann, et si on pense x et y comme des nombres complexes, chacun avec sa partie relle et imaginaire, le plan x, y devient de dimension quatre et la courbe devient de dimension deux, cest--dire une surface. La voil.

Cette surface est beaucoup plus intressante, elle a en particulier une topologie trs riche. Toute une structure apparat : dans ce cas par exemple, elle possde 168 symtries (l, il faut que vous me croyiez sur paroles). Les courbes algbriques, ou plus prcisment les surfaces de Riemann, sont parmi les plus beaux objets mathmatiques. Quel plaisir de pouvoir les considrer la fois comme des courbes et comme des surfaces !

Gauss ... encore !

Il est temps dnoncer le thorme duniformisation de Poincar de Poincar-Koebe pour tre un peu plus proche de la ralit historique. Mais il faut dabord revenir au grand Gauss. Dans ses mditations sur la gomtrie de la sphre, Gauss savait bien entendu que dans un triangle sphrique la somme des trois angles ne vaut pas 180 degrs, comme dans le cas dun triangle du plan usuel, mais que cette somme surpasse 180 degrs dune quantit qui nest rien dautre que laire du triangle.

http://images.math.cnrs.fr/Geometriser-l-espace-de-Gauss-a.html

03/06/2013

Gomtriser l'espace : de Gauss Perelman - Images des mathmatiques

Page 7 of 13

Par une intuition gniale, Gauss devine lexistence dune surface, en quelque sorte duale de la sphre, dans laquelle la somme des angles dun triangle est cette fois infrieure 180 degrs, et pour laquelle lcart 180 degrs est gal laire du triangle.

Cest le plan quon appelle aujourdhui non-euclidien, ou hyperbolique, qui a dabord t imagin comme un tre mathmatique abstrait, puis qui a pris une existence concrte grce Riemann et Klein. Lhistoire, souvent injuste, appelle cette espace le plan de Poincar. Ainsi donc, la fin du dix-neuvime sicle, on dispose de trois modles gomtriques : le plan dEuclide bien sr, mais aussi la gomtrie sphrique, et la gomtrie hyperbolique. Voici une manire de paver ce plan un peu bizarre.

http://images.math.cnrs.fr/Geometriser-l-espace-de-Gauss-a.html

03/06/2013

Gomtriser l'espace : de Gauss Perelman - Images des mathmatiques

Page 8 of 13

Poincar
Cest Poincar qui a montr que ces trois gomtries sont omniprsentes et quelles permettent de comprendre toutes les surfaces. Voici enfin un nonc trs simplifi du thorme duniformisation de Poincar. Thorme : Toute surface peut tre uniformise par lune des trois gomtries : euclidienne, sphrique, ou hyperbolique. Bien sr, il faut expliquer ce que signifie uniformiser. Un exemple dabord : on peut dire que lorsquon paramtre un cercle avec sinus et cosinus, cest--dire en embobinant une droite autour dun cercle, on a uniformis le cerclepar la droite.

De la mme manire, voici une surface qui a la topologie dun tore et qui est uniformise par un plan euclidien.

http://images.math.cnrs.fr/Geometriser-l-espace-de-Gauss-a.html

03/06/2013

Gomtriser l'espace : de Gauss Perelman - Images des mathmatiques

Page 9 of 13

En gnral, uniformiser une surface munie dune mtrique, cest trouver une projection, un revtement en termes techniques, qui part soit de la sphre, soit du plan euclidien, soit du plan hyperbolique, qui va vers la surface donne, et qui est localement conforme, tout comme la projection strographique est conforme : les formes infinitsimales sont respectes. Et voici un exemple dune surface plus complique, la courbe algbrique que nous avonsvue prcdemment, qui est uniformise par un plan hyperbolique.

Ici, vous voyez une surface qui a la topologie dune sphre, mais qui nen a pas la gomtrie, qui est uniformise par une sphre parfaite. En particulier, le thorme duniformisation va plus loin que le thorme local de Gauss. Toute terre de forme patatodale peut trecartographie globalement par une sphre parfaite.

Si cet nonc ne vous parle pas, retenez simplement que le thorme duniformisation de Poincar permet de comprendre la gomtrie de toutes les surfaces laide de trois modles seulement : sphrique, euclidien et hyperbolique. Si vous prfrez, grce ce thorme, toutes les surfaces ont t gomtrises. De mme que tout le dix-neuvime sicle a t ncessaire pour comprendre les surfaces, cest--dire les objets de dimension deux, il a fallu tout le vingtime sicle pour comprendre les objets de dimension trois : cest ce sommet que Grigori Perelman vient datteindre. L encore, je vais devoir tronquer, dformer, et simplifier lextrme.

http://images.math.cnrs.fr/Geometriser-l-espace-de-Gauss-a.html

03/06/2013

Gomtriser l'espace : de Gauss Perelman - Images des mathmatiques

Page 10 of 13

Thurston
Dans les annes 1970-1980, cest W. Thurston qui prend conscience que beaucoup despaces de dimension trois peuvent tre gomtriss, tout comme les surfaces.

De mme que la gomtrie euclidienne plane a deux soeurs : la gomtrie sphrique et la gomtrie hyperbolique, la gomtrie euclidienne en dimension 3, la vnrable gomtrie dans lespace, comme on disait jadis, a galement des soeurs, mais la famille est plus nombreuse. Il y a la gomtrie sphrique et la gomtrie hyperbolique, analogues aux gomtries sphriques et hyperboliques en dimension 2, mais il y a aussi cinq autres soeurs bien moins connues, quon appelle les gomtries de Thurston, et qui portent des 2 2 noms peu attirants, comme [Math Processing Error] , SL2 , Sol ou encore D R et S R . Thurston commence par tudier un grand nombre dexemples despaces de dimension trois et il constate que tous ces exemples peuvent tre dcrits par ces huit gomtries. Il compile des atlas, encourage ses tudiants tablir des banques de donnes informatiques. Son approche est trs concrte, presque exprimentale, en utilisant un mot qui nest pas souvent utilis en mathmatiques. En 1976, il formule sa conjecture de gomtrisation : Tout espace (***) de dimension 3 peut-tre muni dune mtrique qui est localement isomtrique lune des huit gomtries de Thurston. Il faudrait tre plus prcis. Les toiles signifient varits compactes, asphriques et atorodales, mais il faut simplifier :-( Il faut simplement retenir que cette conjecture exprime que les espaces de dimension trois peuvent tre gomtriss. La topologie des espaces, sen trouve ainsi rduite la gomtrie. Mais Thurston ne sen tient pas conjecturer. Il dmontre sa conjecture dans de nombreux cas significatifs, et cela lui vaut la mdaille Fields en 1983. Thurston est avant tout un gomtre/topologue ; ses mthodes sont celles du topologue : il aime ce quon appelle la chirurgie : couper les espaces en morceaux et le recoller. Tout semblait indiquer que la preuve de la conjecture allait utiliser ces mthodes topologiques ; couper, coller.

http://images.math.cnrs.fr/Geometriser-l-espace-de-Gauss-a.html

03/06/2013

Gomtriser l'espace : de Gauss Perelman - Images des mathmatiques

Page 11 of 13

Perelman
2003 : Coup de tonnerre dans le monde de la topologie. Grigori Perelman, comme un hrtique, est un analyste, un spcialiste des quations aux drives partielles, sujet que beaucoup de topologues avaient lhabitude de regarder de loin. Avaient ! car depuis Perelman ils ont chang davis :-)

Que fait Perelman ? Difficile expliquer en quelques mots. Il faudra se contenter de quelques phrases extrmement vagues, et dun exemple simple qui illustre la mthode quil a suivie. Prenez un espace de dimension trois, et choisissez une mtrique sur cette espace. Bien sr cette mtrique na aucune raison dtre lune des huit de Thurston. Ce qui lempche dtre une telle mtrique, grosso modo, cest quelle nest pas ncessairement homogne ; elle peut tre plus courbe en certains endroits que dautres par exemple. Alors, encore une fois grosso modo, on fait chauffer lespace et on laisse diffuser la mtrique, jusqu ce quelle atteigne une espce de position dquilibre thermique qui, on lespre, sera homogne : ce sera une des huit mtriques de Thurston. Cette explication est vague, trop vague, et nindique pas les difficults techniques considrables de la preuve de Perelman. Lquation dvolution aux drives partielles quil utilise sappelle le flot de Ricci ; analogue non linaire de la fameuse quation de la chaleur.

g = Ricci(gt ) t t
Voici un thorme rcent, d Gage, Grayson et Hamilton, bien plus simple que le thorme de Perelman, et qui peut illustrer la mthode. Voici une courbe dans le plan. Comment peut-on larrondir ?Une ide trs simple est de la pousser dans le sens de sa courbure. Vous poussez tous les points dans le sens de la convexit, peu si cest peu courb et beaucoup si cest beaucoup courb. Et vous faites tout cela en continu, au fur et mesure que la courbe se dforme. Regardez le rsultat si je pars dune courbe sinueuse. La courbe devient ronde, sa courbure squilibre, et tend devenir un cercle.

http://images.math.cnrs.fr/Geometriser-l-espace-de-Gauss-a.html

03/06/2013

Gomtriser l'espace : de Gauss Perelman - Images des mathmatiques

Page 12 of 13

00:00

00:00

Le flot de Ricci (en dimension 1)

Cest le thorme de Gage-Grayson-Hamilton, qui nest pas facile du tout. Ni mme intuitif. Pourquoi par exemple la courbe ne dvelopperait-elle pas des points doubles ? Le thorme de Perelman est dans le mme esprit ; vous prenez une mtrique sur un espace de dimension 3, et vous poussez dans le sens de la courbure. Et a converge vers une mtrique de Thurston. Lessentiel de la difficult du thorme consiste en une analyse prcise de lapparition de singularits.

Une dernire remarque et une conclusion

La remarque, cest que la conjecture de Thurston entrane la fameuse conjecture de Poincar, qui date de 1905, et qui est donc aujourdhui un thorme. Encore un exemple qui montre que pour rsoudre un problme, il est parfois utile den rsoudre un plus difficile encore. La conclusion, cest que les mathmatiques sont vivantes et saines. Cette histoire illustre une fois de plus cette unit des mathmatiques qui na pas fini de surprendre les mathmaticiens.

Pour en savoir :
plus : La conjecture de Poincar : Comment Grigori Perelman a rsolu lune des plus grandes nigmes mathmatiques, par de George Szpiro.

http://images.math.cnrs.fr/Geometriser-l-espace-de-Gauss-a.html

03/06/2013

Gomtriser l'espace : de Gauss Perelman - Images des mathmatiques

Page 13 of 13

encore plus : un article dans Images des Mathmatiques 2006, encore encore plus : un expos au sminaire Bourbaki, par G. Besson, beaucoup, beaucoup plus : groupe de travail sur les travaux de Perelman (Grenoble), et bien sr ! les articles de Perelman. P.S. : Merci Jos Leys qui je dois quelques unes des (plus belles) figures.

Affiliation de l'auteur
Pour citer cet article : tienne Ghys, Gomtriser lespace : de Gauss Perelman Images des Mathmatiques, CNRS, 2007. En ligne, a.html URL : http://images.math.cnrs.fr/Geometriser-l-espace-de-Gauss-

Si vous avez aim cet article, voici quelques suggestions automatiques qui pourraient vous intresser : Triangulations : de la terre au nud de trfle., par Julien March Les triangles dEuclide, de Gauss et de Gromov, par tienne Ghys La conjecture de Poincar, par Patrick Massot

http://images.math.cnrs.fr/Geometriser-l-espace-de-Gauss-a.html

03/06/2013