Beruflich Dokumente
Kultur Dokumente
De gauche droite :
Felix Klein, Frank Loray, Carl Gauss, Hermann Schwarz, Antonin Guilloux, Bertrand
Deroin, Patrick Popescu-Pampu, Christophe Bavard, Alfred Clebsch, Aurlien Alva
rez, Sorin Dumitrescu, Franois Bguin, Lazarus Fuchs, Pierre Py, Charles Frances,
Bernhard Riemann, Jean-Claude Sikorav, Maxime Bourrigan, mile Picard, Henri
Poincar, tienne Ghys, Nicolas Bergeron, Carl Jacobi, Paul Koebe, Bruno Svennec,
Niels Abel, Karl Weierstrass
Uniformisation des
surfaces de Riemann
ENS DITIONS
2010
Cet ouvrage est publi avec le concours de
lUnit de mathmatiques pures et appliques
de lENS de Lyon, UMR 5669 du CNRS
ENSDITIONS 2010
cole normale suprieure de Lyon
15 parvis Ren Descartes
BP 7000
69342 Lyon cedex 07
ISBN 978-2-84788-233-9
Les Auteurs 8
Avant-propos 9
Introduction gnrale 13
I Travaux prcurseurs 35
I.1 propos du dveloppement des nombres complexes 36
I.2 La cartographie 37
I.3 Un survol du dveloppement des fonctions elliptiques 50
II Riemann 59
II.1 Prliminaires : fonctions holomorphes et surfaces de
Riemann 60
II.2 Principe de Dirichlet et consquences 80
II.3 Varit jacobienne et espaces de modules 101
Intermezzo 155
Intermezzo 337
pilogue 447
Appendices 453
Bibliographie 517
Index 541
Les auteurs
Aurlien Alvarez
Universit dOrlans, UFR Sciences, Btiment de mathmatiques - Route de Chartres, B.P. 6759, 45067 Orlans
Cedex 2.
Christophe Bavard
Institut de Mathmatiques de Bordeaux, Universit Bordeaux 1, 351 cours de la Libration, 33405 Talence Cedex.
Franois Bguin
Laboratoire de Mathmatiques dOrsay, UMR 8628 CNRS-Universit Paris-Sud 11, 91405 Orsay.
Nicolas Bergeron
Institut de Mathmatiques de Jussieu, UMR CNRS 7586, Universit Pierre et Marie Curie, 4 place Jussieu, 75252
Paris Cedex 05.
Maxime Bourrigan
Unit de Mathmatiques Pures et Appliques, UMR 5669 CNRS-ENS de Lyon, 46 alle dItalie, 69007 Lyon.
Bertrand Deroin
Laboratoire de Mathmatiques dOrsay, UMR 8628 CNRS-Universit Paris-Sud 11, 91405 Orsay.
Sorin Dumitrescu
Laboratoire de Mathmatiques dOrsay, UMR 8628 CNRS-Universit Paris-Sud 11, 91405 Orsay.
Charles Frances
Laboratoire de Mathmatiques dOrsay, UMR 8628 CNRS-Universit Paris-Sud 11, 91405 Orsay.
tienne Ghys
Unit de Mathmatiques Pures et Appliques, UMR 5669 CNRS-ENS de Lyon, 46 alle dItalie, 69007 Lyon.
Antonin Guilloux
Institut de Mathmatiques de Jussieu, UMR CNRS 7586, Universit Pierre et Marie Curie, 4 place Jussieu, 75252
Paris Cedex 05.
Frank Loray
Institut de Recherche Mathmatique de Rennes, Campus de Beaulieu, 35042 Rennes Cedex.
Patrick Popescu-Pampu
Institut de Mathmatiques de Jussieu, UMR CNRS 7586, Universit Paris 7 Denis Diderot, Site Chevaleret, Case
7012, 75205 Paris Cedex 13.
Pierre Py
Department of Mathematics, University of Chicago, 5734 S. University Avenue, Chicago, IL, 60637, tats-Unis.
Bruno Svennec
Unit de Mathmatiques Pures et Appliques, UMR 5669 CNRS-ENS de Lyon, 46 alle dItalie, 69007 Lyon.
Jean-Claude Sikorav
Unit de Mathmatiques Pures et Appliques, UMR 5669 CNRS-ENS de Lyon, 46 alle dItalie, 69007 Lyon.
Avant-propos
Le thorme duniformisation
Ltude des courbes du plan est lun des sujets de proccupation prin-
cipaux des mathmaticiens. Les Grecs anciens avaient dj tudi en
dtail les droites, les cercles, mais aussi les coniques, et mme quelques
courbes plus labores comme les spirales dArchimde. Ltude syst-
matique des courbes na pu commencer srieusement quaprs lintro-
duction des coordonnes cartsiennes, par Descartes et Fermat au cours
de la premire moiti du dix-septime sicle [Desc1637, Fer1636] : cest le
dbut de la gomtrie algbrique. propos de la prhistoire de la gom-
trie algbrique, le lecteur pourra consulter [BrKn1981, Cha1837, Die1974,
Weil1981].
Une courbe plane peut tre dfinie de deux manires, en quelque sorte
duales :
par une quation implicite F (x , y ) = 0 o F : R2 R est une fonction
numrique ;
comme une courbe paramtre, cest--dire comme limage dune
application : R R2 .
Nous allons voir que le thorme duniformisation permet de passer du
premier point de vue au second. Lorsque F est un polynme, on dit que
la courbe est algbrique (on parlait autrefois de courbes gomtriques) ;
dans le cas contraire, on dit quelle est transcendante (les Anciens par-
laient de courbes mcaniques). Une partie importante de ce livre est
consacre aux courbes algbriques mais nous verrons galement que
14 INTRODUCTION GNRALE
des Grecs ne sont autres que les courbes de degr 2. Dans un travail
clbre, Newton se lance dans la description qualitative des courbes
algbriques de degr 3 et il en distingue 72 types (2) . lvidence, il est
difficile, sinon impossible, de continuer de cette manire, puisque le
nombre de cas possibles crot trs vite et la situation devient rapidement
inextricable.
Trois innovations
Trs naturellement, leffort sest dabord port sur les cubiques. Nous
avons vu que Newton lui-mme en a commenc une classification qui
ntait ni projective ni complexe, mme si on y trouvait en germe un cer-
tain nombre dingrdients de cette nature. Il stait attach comprendre
en quelque sorte la nature topologique de la figure dans le plan : position
des asymptotes, points singuliers, etc. Nous avons vu galement que les
cubiques singulires sont rationnelles. Les cubiques non singulires ne
sont quant elles jamais rationnelles. Nous recommandons au lecteur
de le dmontrer de manire lmentaire.
Nous allons ici nous limiter une description rapide des rsultats.
Tout dabord, toutes les cubiques lisses sont projectivement quiva-
lentes une forme normale, dite de Weierstrass (quon devrait appeler
de Newton ) :
y 2 = x3 +ax +b
o a ,b sont des nombres complexes. Lorsque 4a 3 + 27b 2 6= 0, la cubique
est lisse. Ds le dbut de la thorie, pour des raisons essentiellement pra-
tiques, les mathmaticiens essayent dvaluer les intgrales dfinies du
genre
Z Z
dx dx
f (x ) = = p .
y x3 +ax +b
On appelle ces intgrales elliptiques puisque le calcul de la longueur
dun arc dellipse mne ce genre de formule. Plusieurs difficults se pr-
sentent ds quon tente de donner un sens ces intgrales lorsque x et y
sont des nombres complexes. La premire est que la valeur de lintgrale
dpend du choix dune dtermination du radical au dnominateur. La
seconde, lie la premire, est que la valeur de lintgrale dpend du che-
min dintgration choisi. La conclusion est quil faut se rsigner consi-
drer f comme une fonction multiforme . En clair, cela signifie que
chaque point x a plusieurs images, toutes notes f (x ) (ce qui nest pas
sans gner un mathmaticien contemporain, nourri de la dfinition en-
sembliste moderne de fonction).
Lide gniale de Gauss, Abel et Jacobi (dcrite au chapitre I) a t de
comprendre que la fonction intressante nest pas f mais sa rciproque.
Ils taient probablement guids par lanalogie avec le cercle
x2 +y 2 = 1
22 INTRODUCTION GNRALE
, (z ) = (z + ).
Nous voyons ainsi que toutes les cubiques lisses, vues comme surfaces
relles (dans le plan projectif complexe), sont homomorphes un tore.
Par contre, ces tores, considrs comme surfaces de Riemann, ne sont
pas holomorphiquement quivalents les uns aux autres. tant donns
deux rseaux 1 , 2 dans C, il ny a en gnral pas de bijection holo-
morphe entre C/1 et C/2 (cela ne se produit que si 2 = k 1 pour
un certain k non nul). Ainsi, contrairement aux courbes rationnelles
qui sont toutes paramtres par la droite projective complexe (la sphre
de Riemann), les cubiques lisses ne sont pas toutes paramtres par le
mme tore complexe C/ ; elles dpendent dun paramtre complexe
(les rseaux homothtie prs) quon appelle un module. Le lecteur
peut mesurer le progrs accompli depuis la tentative de Newton. Les
classes dquivalence birationnelles de cubiques lisses dpendent dun
seul paramtre complexe.
Mme si la source C/ du paramtrage dune cubique lisse dpend
de la cubique, il faut observer que le revtement universel de C/ est la
droite complexe C et ne dpend pas de la cubique. Prcisons ce point qui
nest pas du tout vident a priori, quitte faire un anachronisme puisque
le concept de revtement universel nest apparu que progressivement au
cours du dix-neuvime sicle, et na t solidement tabli quau ving-
time (il est dailleurs noter que le dveloppement de la topologie a t
en partie motiv par ltude des courbes). Un espace topologique X est
dit simplement connexe si chaque lacet c : R/Z X peut tre contract
sur un point, cest--dire quil existe une famille continue de lacets c t
avec t [0, 1] telle que c 0 = c et c 1 est un lacet constant. Il se trouve que
si X est un espace raisonnable (ce qui est certainement le cas sil sagit
dune varit), il existe un espace simplement connexe X et une projec-
tion X X telle que les fibres de sont les orbites de laction dun groupe
discret qui agit sur X de manire libre et propre. On dit que X est le
revtement universel de X et que est son groupe fondamental. Dans le
cas du tore C/, sa description mme indique que son revtement uni-
versel est C, et que son groupe fondamental est , groupe isomorphe
Z2 . Dans le cas o X est une surface de Riemann, son revtement uni-
versel est naturellement muni dune structure de surface de Riemann, le
plus souvent non compacte, et nous venons dobserver que les revte-
ments universels de toutes les cubiques lisses sont tous isomorphes la
24 INTRODUCTION GNRALE
(d 1)(d 2)
g= k.
2
Ainsi, une droite ou une conique sont de genre nul, une cubique lisse de
genre 1, une cubique singulire de genre nul et une quartique lisse de
genre 3.
Luvre de Riemann gnralise le cas des courbes elliptiques de ma-
nire magistrale. Par exemple, si lon fixe le genre g 2, on peut cher-
cher dcrire lespace des modules des courbes de genre g , cest--dire
lespace des courbes algbriques de genre g transformation biration-
nelle prs. Riemann montre que cet espace des modules est de dimen-
sion complexe 3g 3. Parmi les rsultats de Riemann, il faut galement
citer celui qui affirme quun ouvert non trivial simplement connexe de C
est biholomorphiquement quivalent au disque. Il sagit l dun rsultat
fondamental mme si la preuve propose par Riemann laisse un peu
dsirer (voir chapitre II). Aujourdhui, il arrive quon confonde le grand
thorme duniformisation qui est le thme de ce livre, avec ce cas par-
ticulier, certes fondamental, mais dune porte bien moins impression-
nante que le thorme qui traite de toutes les surfaces de Riemann, qui
ne sont pas ncessairement des ouverts de C.
Le travail de Riemann a eu une influence considrable sur ses
successeurs immdiats. Nous dcrirons dans le chapitre IV les efforts
de Schwarz pour dmontrer explicitement des cas particuliers du tho-
rme de reprsentation conforme en vitant les difficults techniques
auxquelles la preuve de Riemann se heurtait.
Parmi ceux qui ont le mieux expliqu les ides de Riemann, il faut
citer Felix Klein, un autre hros de notre livre. En 1881, il rdige son point
de vue sur les travaux de Riemann, quil pense proche de lintuition de
Riemann, mme si ses articles ne le mentionnent pas. Nous ne saurons
jamais si tel tait bien le cas, mais cette nouvelle approche, plus proche
du contexte des mtriques riemanniennes, nous semble particulire-
ment lumineuse. Elle consiste en une interprtation lectrostatique ou
28 INTRODUCTION GNRALE
pied une preuve suivant lapproche de Klein (3) ; pour obtenir une preuve
rigoureuse, nous devons cependant utiliser des outils modernes, pro-
venant de techniques quasiconformes, dont Klein et Poincar ne dis-
posaient bien sr pas. Dans le chapitre VIII, nous tentons de restituer
au moins partiellement lapproche de Poincar, qui nest pas direc-
tement inspire par luniformisation mais par la rsolution des qua-
tions diffrentielles linaires. Le lecteur y verra lmergence dun grand
nombre de concepts qui nous sont aujourdhui familiers. Le chapitre IX
reprend quelques exemples explicites duniformisation de surfaces de
genre suprieur.
En 1882, Klein et Poincar tiennent pour acquis le thorme dunifor-
misation suivant :
3. La ralit est en fait plus complexe : en effet, certaines parties de la preuve du cha-
pitre VII sont plus proches de certains arguments de Poincar que de ceux de Klein.
AU-DEL DES COURBES ALGBRIQUES 31
Notre livre sarrte en 1907, mme si, bien sr, lhistoire du thorme
duniformisation continue. Parmi les dveloppements ultrieurs, on
pourrait citer des travaux de Teichmller sur lespace des modules, ou
ceux dAhlfors et Bers dans les annes 1960 autour du concept dappli-
cations quasiconformes (voir par exemple [Hub2006]). On pourrait aussi
discuter de la situation en dimension suprieure, et de la classification
de Kodaira des surfaces complexes (de dimension complexe 2). Mais
ceci est une autre histoire !
PARTIE A
Travaux prcurseurs
2. Pour montrer que le polynme non constant P sannule dans le plan complexe, il
tudie le comportement linfini des courbes Re P = 0 et Im P = 0. Il en dduit quelles
se coupent ncessairement [Sti2002].
I.2. LA CARTOGRAPHIE 37
I.2. La cartographie
d x 2 + d y 2 = n (s , )2 (d s 2 + q (s )2 d 2 ).
Ici n est une fonction qui ne sannule pas et qui reprsente le facteur de
dilatation des distances au point considr.
6. Mentionnons que, pour Gauss, les surfaces sont plonges dans lespace et munies
de la mtrique induite.
I.2. LA CARTOGRAPHIE 47
g = a (x , y ) d x 2 + 2b (x , y ) d x d y + c (x , y ) d y 2 , a c > b 2 .
I.2. LA CARTOGRAPHIE 49
1
p p
g = a d x + (b + i a c b 2 ) d y a d x + (b i a c b 2 ) d y
a
1
= .
a
Ici est ce que nous appelons aujourdhui une 1-forme holomorphe
des variables complexes (x , y ). Lquation = 0 peut tre considre
comme une quation diffrentielle dont les solutions prennent locale-
ment la forme f (x , y ) = cste pour une certaine fonction f localement
dfinie au voisinage de lorigine. Autrement dit, prend la forme h d f
pour une certaine fonction h. En dcomposant f en parties relle et ima-
ginaire u + i v , il vient
do finalement
hh
g= du2 +dv2 .
a
Les coordonnes (u , v ) obtenues sont relles, par construction ; le coeffi-
ff
cient de dilatation m := a est visiblement une fonction analytique relle
de (x , y ). Le thorme I.2.1 est donc tabli.
Nous dirons bientt que toute mtrique riemannienne sur une surface
oriente dfinit une surface de Riemann.
Le thorme de Gauss que nous avons tabli dans le cas des mtri-
ques analytiques relles reste vrai pour des mtriques C ou mme
mesurables, mais il est alors bien plus difficile. Il sera dmontr par Korn
en 1914 et Lichtenschtein en 1916 dans le cadre C , et finalement par
Ahlfors et Bers en 1960 dans le cadre mesurable (voir [Ahl2006]).
Gauss ne sen tient pas l et illustre sa mthode par de nombreux
exemples : il commence par reprsenter la surface dun plan, puis celle
dun cne et dune sphre sur un plan. Mais Gauss ne perd pas de
vue le problme concret qui a soulev cette question de lAcadmie
et cest pourquoi il termine son mmoire en dveloppant le cas dun
ellipsode de rvolution. La dtermination des cartes conformes sur un
ellipsode qui nest pas de rvolution ncessite lutilisation des intgrales
elliptiques qui sont le thme du paragraphe suivant.
I.3.1. Euler
La premire tude est un calcul un peu magique fait par Euler alors
quil commentait un article de Fagnano. Il sagit dtudier lune des pre-
mires primitives quon ne pouvait exprimer par des fonctions lmen-
taires : Z
dx
p ,
1x4
qui entre dans le cadre prcdent avec y 2 = 1 x 4 et R(x , y ) = 1/y . Cette
primitive intervient lorsque lon veut calculer la longueur dun arc de
lemniscate dont lquation en coordonnes polaires est r 2 = sin(2 )
(cest la dernire courbe de la figure 2, page 14).
52 CHAPITRE I. TRAVAUX PRCURSEURS
avec
p p
z = (x 1y4 +y 1 x 4 )/(1 + x 2 y 2 ).
Sa motivation provient sans aucun doute de lintgrale analogue
Zx
dt
p = arcsin(x ).
0 1t2
Si bien que la formule
I.3.2. Gauss
Gauss na rien publi de son vivant sur le sujet mais ses lettres attestent
quil avait compris la question, partir de 1796. Sa premire ide est
dinverser la fonction
Zx
dt
a= p
0 1t4
et de considrer x comme une fonction de a , quil note x = sin lemn(a ).
L encore, on peut penser lanalogie avec le cercle ; il est agrable de
paramtrer le cercle par longueur darc, en sinus et cosinus. Suivant
Euler, il peut tablir une formule daddition pour sin lemn(a + b ) mais il
ne sarrte pas l.
I.3. UN SURVOL DU DVELOPPEMENT DES FONCTIONS ELLIPTIQUES 53
On est donc amen poser sin lemn(i b ) = i sin lemn(b ). Puisque lon dis-
pose dune formule daddition, cela permet de dfinir sin lemn(a + i b )
en fonction de sin lemn(a ) et sin lemn(b ). La fonction elliptique sin lemn
dune variable complexe a + i b venait de natre.
Gauss continue alors ltude de cette fonction par analogie avec la
fonction sinus. partir de la formule daddition, convenablement ten-
due sur tout R, on montre que la fonction sin lemn est priodique de
priode
Z1
dt
2$ = 4 p .
0 1t4
Q0
o dsigne le produit sur tous les couples (m , n ) dans Z2 \ {(0, 0)} et
m ,n = (m + i n)$ et m ,n = ((2m 1) + i (2n 1))$/2. On notera lappa-
rition des fameux entiers de Gauss .
X
(1)n p 2n1q (n1/2) ,
2
1 (z ) = 1 (z |) = i
X
p 2n1q (n1/2) ,
2
2 (z ) = 2 (z |) = i
X 2
3 (z ) = 3 (z |) = i p 2n q n ,
X 2
4 (z ) = 4 (z |) = i (1)n p 2n q n .
1 (z + ) = p 2q 1 1 (z ).
z C/ 7 ((z ), 0 (z )) C .
Le rsultat de cette discussion est que toute courbe lisse de degr 3 dans
le plan (projectif complexe) est isomorphe un tore C/ et que cet isomor-
phisme est donn par une fonction elliptique.
Riemann
d w z : C ' R2 C ' R2
f (z )d z = (u + i v )(d x + i d y )
df
est ferme. On peut montrer que dans ce cas la fonction f 0 (z ) := d z est
bien dfinie et nouveau holomorphe : f est alors indfiniment diff-
rentiable.
Si la fonction f = u + i v est holomorphe, la double diffrentiabilit
de f et les quations de CauchyRiemann impliquent que les fonctions u
et v vrifient
u = v = 0,
du idu i.
S2 := {(X , Y,Z ) R3 ; X 2 + Y 2 + Z 2 = 1}
N : S2 \ N R2 ' C
X +i Y
P = (X , Y,Z ) 7 1Z
et
S : S2 \ S R2 ' C
i Y
P = (X , Y,Z ) 7 X1+Z .
Pour un point P de la sphre diffrent des ples, on vrifie lquation
N (P) = 1/S (P) ; puisque z 7 1/z est une fonction holomorphe sur C ,
cela munit la sphre dune structure de surface de Riemann, note C, que
lon peut penser comme la compactification naturelle de C par un point
linfini, ou de manire quivalente comme la droite projective CP1 . Les
deux notations cohabitent dailleurs dans tout ce livre.
Comme le rappelle [Cho2007, page 98], la construction de la sphre
de Riemann par projection strographique est parue pour la premire
fois par crit dans [Neum1865], qui est le premier manuel consacr
la thorie des surfaces de Riemann. Dans lintroduction de son livre,
Neumann mentionne que Riemann enseignait cette construction, qui
ne sest transmise quoralement.
Le disque, le plan, la sphre et leurs automorphismes. Avec le disque D
et le plan C, cette sphre de Riemann C constitue le dernier modle au-
quel le thorme duniformisation ramne toute surface de Riemann
simplement connexe. Dcrivons les groupes dautomorphismes de ces
exemples.
Tout dabord, si
D := {z C ; |z | < 1}
alors lapplication
1+z
z 7 w = i (II.2)
1z
est un isomorphisme holomorphe de D sur le demi-plan suprieur
H := {w C ; Im w > 0}.
II.1. FONCTIONS HOLOMORPHES ET SURFACES DE RIEMANN 65
aw +b
a b
w = .
c d cw +d
Le groupe des automorphismes de C est simplement le groupe Aff(C)
des transformations affines complexes de C :
(a ,b ) z = a z + b,
avec a C et b C.
Quant au groupe des automorphismes de C, il sagit de PSL(2, C), agis-
sant gauche par :
az +b
a b
z = .
c d cz +d
Ces transformations sappellent homographies.
Ces trois groupes dautomorphismes sont diversement transitifs :
1. Aut(D) est 1-transitif et un lment de ce groupe est compltement
dtermin par limage dun point de D et dun point de D (auquel
laction du groupe se prolonge par continuit).
2. Aut(C) est 2-transitif et un lment de ce groupe est compltement
dtermin par les images de deux points distincts de C.
3. Aut(C) est 3-transitif et un lment de ce groupe est compltement
dtermin par les images de trois points distincts de C.
Fonctions multiformes et surfaces de Riemann. Notre dfinition de
surface de Riemann est un anachronisme : pour Riemann ces surfaces
apparaissent comme une manire de traiter les fonctions multiformes.
En partant dune fonction holomorphe dfinie sur un ouvert du plan
complexe, on cherche la prolonger analytiquement. La premire
phrase de la citation qui suit nonce le principe du prolongement ana-
lytique et la deuxime explique comment on peut tomber ainsi sur un
problme de multiformit. Ceci motive prcisment lintroduction du
terme de fonction multiforme , qui nest bien sr pas une fonction au
sens ensembliste moderne.
66 CHAPITRE II. RIEMANN
Aprs ces mises au point sur les types de fonctions quil va consid-
rer, il introduit les surfaces qui depuis portent son nom, en reprenant l
aussi une construction faite dans sa thse [Rie1851]. Ce qui est nouveau
ce sont les images intuitives quil propose, du corps infiniment mince
et de lhlicode de pas de vis infiniment petit :
Concevons une surface tendue sur le plan des (x , y ) et concidant avec lui
(ou si lon veut un corps infiniment mince tendu sur ce plan), qui stend
autant et seulement autant que la fonction y est donne. Lorsque la fonc-
tion sera prolonge, cette surface sera donc galement tendue davantage.
En une rgion du plan o se prsentent deux ou plusieurs prolongements de
la fonction, la surface sera double ou multiple. Elle se composera alors de
deux ou de plusieurs feuillets dont chacun correspond une branche de la
fonction. Autour dun point de ramification de la fonction, un feuillet de la
surface se prolongera en un autre feuillet, et de telle sorte que, dans le voisi-
nage de ce point, la surface pourra tre regarde comme un hlicode dont
laxe est perpendiculaire au plan des (x , y ) en ce point et dont le pas de vis
est infiniment petit. Mais lorsque la fonction, aprs que z a dcrit plusieurs
tours autour de la valeur de ramification, reprend sa valeur initiale (comme,
m
par exemple, (z a ) n , m , n tant premiers entre eux, aprs n tours dcrits
II.1. FONCTIONS HOLOMORPHES ET SURFACES DE RIEMANN 67
S 1 (z ) = w 1 (z ) + + w d (z ),
S 2 (z ) = w 1 (z )w 2 (z ) + + w d 1 (z )w d (z ),
..
.
S d (z ) = w 1 (z ) w d (z ).
z 7 (1 : f 1 (z ) : f 2 (z ) : : f n (z ))
Une surface multiplement connexe peut tre transforme, par leffet de cou-
pures, en une surface simplement connexe. [...]
Quand sur une surface F lon peut mener n courbes fermes a 1 , a 2 , ..., a n
qui, soit quon les considre sparment, soit quon les considre runies, ne
forment pas un contour dencadrement complet dune partie de cette sur-
face, mais qui, jointes toute autre courbe ferme, forment alors le contour
dencadrement complet dune partie de la surface, la surface sera dite (n +1)
fois connexe.
grandeur finie constante le long de la ligne qui mne dun nud du rseau
de sections un autre nud.
Concevons [...] que lon ait dcompos cette surface en une surface sim-
plement connexe T 0 . Comme la courbe dencadrement dune surface sim-
plement connexe est forme par un contour unique, mais quune surface
ferme prend, par leffet dun nombre impair de sections, un nombre pair
de portions dencadrement, et, par leffet dun nombre pair de sections un
nombre impair de portions dencadrement, pour effectuer cette dcompo-
sition de la surface, il sera donc ncessaire de pratiquer un nombre pair de
sections. Soit 2p le nombre de ces sections transverses.
Ici Riemann utilise subrepticement le fait que les surfaces quil consi-
dre sont orientables. En effet, dans le cas dune surface non orientable,
si on fait une section suivant une courbe le long de laquelle lorientation
locale est renverse, on introduit une seule portion dencadrement .
Une telle courbe admet un voisinage qui est une bande de Mbius, que
ce dernier nallait dcrire que quelques annes plus tard, dans [Mb1886]
(voir aussi Pont [Pont1974, page 108]). Dans larticle de Riemann nappa-
rat aucun moment lopposition orientable/non orientable (ou bila-
tre/unilatre, comme on allait dire pendant un certain temps).
(n 1)(n 2)
g= r. (II.3)
2
On ne peut tre certain a priori quil existe une fonction u satisfaisant aux
conditions de continuit, pour laquelle lintgrale atteigne effectivement sa
limite infrieure. Cest l une objection capitale et M. Weierstrass a montr
sur un exemple trs simple le danger de ce mode de raisonnement.
alors J (y " ) tend vers 0 avec ". La borne infrieure de J est donc 0, qui nest
atteint pour aucune fonction de notre espace puisque nous avons sup-
pos a 6= b . Ceci est possible car lespace C 1 ([1, 1]) nest pas complet.
De mme, lespace de travail pour Riemann est lensemble des fonctions
continues sur U et lisses lintrieur, qui nest pas complet.
Remarquons quil existe au plus une telle fonction : la preuve est ana-
logue celle de lunicit dans le problme de Dirichlet. Un raisonnement
semblable assure quune fonction de Green u est strictement positive
sur U . En effet, si u prenait une valeur ngative ou nulle en un point
z 1 de U , en utilisant le fait que limz z 0 u (z ) = + et limz U u (z ) = 0,
on obtiendrait que u atteint son minimum sur U \ {z 0 } ; u serait donc
constante, ce qui est absurde, puisquelle a un ple logarithmique en z 0 .
Construisons maintenant une fonction de Green par rapport un
point z 0 U en admettant que lon sait rsoudre le principe de Dirichlet.
Soit la fonction v : U R dfinie par v (z ) = log |z z 0 |. Puisque
le problme de Dirichlet est rsolu sur U , on dispose de son extension
harmonique v : U R. Posons u U (z , z 0 ) = v (z ) log |z z 0 | pour z dans
U \ {z 0 }. Puisque v est continue sur U , la fonction u U (, z 0 ) tend vers 0
au bord de U . Ainsi u U (, z 0 ) est la fonction de Green de U par rapport au
point z 0 .
u D (z , 0) = log|z |.
(z ) = e(u U (z ,z 0 )+i u U (z ,z 0 ) ) ,
u U (z , z 0 ) 0
z U
assure que est propre. Elle est donc surjective (son image est ouverte et
ferme) et le cardinal (avec multiplicit) des fibres est constant. La fibre
II.2. PRINCIPE DE DIRICHLET ET CONSQUENCES 85
Lorsque sur une surface connexe T , dcompose par des sections trans-
verses en une surface T 0 simplement connexe, lon donne une fonction com-
plexe + i de x , y , pour laquelle lintgrale
2 2
Z
+ + dT (II.5)
x y y x
tendue toute la surface, possde une valeur finie, cette fonction peut tou-
jours, et cela dune manire unique, tre transforme en une fonction de
x +y i par la soustraction dune fonction + i de x , y , qui satisfait aux condi-
tions suivantes :
1. Sur le contour = 0, ou du moins diffre de zro seulement en des
points isols ; en un point, est donne dune manire arbitraire ;
2. Les variations de sur T , celles de sur T 0 ne sont discontinues quen
des points isols, et cela seulement de telle sorte que les intgrales
2 2 2 2
Z Z
+ d T et + dT (II.6)
x y x y
D[a + b ] est finie. On choisit alors une forme exacte m , dont la res-
triction au bord sannule, et telle que sa distance en norme a + b est
minimale.
On rencontre ici des difficults pour dmontrer lexistence de cette
forme m , analogues celles que nous avons dj rencontres dans la sec-
tion II.2.1 lors de la preuve par minimisation du principe de Dirichlet. Ici
aussi, il faut pour contourner ces difficults travailler dans de meilleurs
espaces fonctionnels inaccessibles Riemann.
Lexistence de m est quivalente lexistence dune dcomposition
orthogonale a + b = m + n , avec m exacte et n ferme, de laquelle
il sensuit que a m = n b est la fois ferme et co-ferme, donc
harmonique.
Sensuit le thorme dexistence : il existe une forme diffrentielle har-
monique a m ayant des valeurs au bord, des priodes et des singularits
fixes (celles de a ). Si u := a m et v := b n , alors u + i v est une forme
holomorphe dont les intgrales sont les fonctions de x + y i sur T de
lnonc de Riemann.
Riemann utilise ce thorme dexistence de formes harmoniques pour
construire des formes mromorphes. Il part dune surface de Riemann
ferme T . Il se donne un nombre fini de points P1 , ..., Pm sur T , et des
parties principales de la forme :
(A i z i1 + B i z i2 + C i z i3 + )d z i (II.7)
dx
P(x , y ) (II.8)
Fy0
F
o Fy0 = y
.
H 1 (T, Z) H 1 (T, Z) Z.
a i a j = 0, b i b j = 0, a i b j = i j
1
principale (x x p )2
, nayant aucun autre ple, et dont lintgrale le long de
chacun des lacets 1 , . . . , g est nulle.
Il semble que cette fois encore, Riemann nait pas explicitement crit
ce rsultat, mme sil lavait trs probablement en tte.
moins
(n 2)(n + 1)
N (n 3) = 1.
2
Considrons z 1 et z 2 deux points distincts dans C . Par chacun de ces
points il passe une courbe de E . Quitte remplacer E par la droite joi-
gnant ces deux points on peut supposer que E est de dimension 1.
Par le thorme de Bzout, chaque courbe de degr n 2 rencontre C
en n (n 2) points compts avec multiplicits. Les courbes de E ren-
contrent donc C , outre les x i et les y i , en
n (n 2) 2N (n 3) = 1
points. Nous avons donc une application rationnelle de E vers C . Elle
est non constante car z 1 et z 2 appartiennent son image. Elle est mme
birationnelle car la primage dun point est un sous-espace projectif
strict, donc rduit un point.
Courbes de genre 1. Supposons maintenant que le genre de S soit
gal 1. La courbe C a alors N = (n 1)(n 2)/2 1 points doubles
x 1 , x 2 , ..., x N . Fixons par ailleurs n 3 autres points y 1 , ..., y n3 dans C .
Lespace E des courbes de degr n 2 qui passent par les N points x i
et par les y i est de dimension projective au moins :
(n 2)(n + 1)
N (n 3) = 2.
2
Comme prcdemment, si E se trouve tre de dimension suprieure
2, on le remplace par un sous-espace de dimension 2 gnrique. Par
le thorme de Bzout, les courbes de E rencontrent C , outre les x i et
les y i en
n (n 2) 2N (n 3) = 3
points.
Pour chaque point gnrique x de C , il existe une seule courbe de E
qui passe par les x i , les y i et qui est tangente C en x . Cela envoie
rationnellement la courbe C dans le plan projectif E . Nous allons voir
que son image est une cubique. Pour sen assurer il faut prendre un
pinceau de courbes dtermin par deux lments de E et compter le
nombre de courbes de ce pinceau qui sont tangentes C . Lquation est
bien sr du troisime degr : il sagit dcrire que le discriminant dun
polynme du troisime degr sannule. La cubique obtenue est non sin-
gulire car nous savons quune cubique singulire est de genre nul. Nous
avons donc bien tabli une quivalence birationnelle entre la courbe C
II.3. VARIT JACOBIENNE ET ESPACES DE MODULES 101
et une cubique lisse, qui peut son tour tre mise projectivement sous
forme normale de Weierstrass.
De nos jours on parle despace des modules, mais ici on voit Riemann
ne parler que du nombre de paramtres ncessaires pour se locali-
ser dans cet espace, cest--dire de sa dimension complexe, sans faire
rfrence la possibilit de construire globalement un tel espace .
Pourtant il y pensait, comme le montre lextrait suivant de son discours
dhabilitation [Rie1854, pages 282 et 283], prononc trois ans plus tt :
Les concepts de grandeur ne sont possibles que l o il existe un concept
gnral qui permette diffrents modes de dtermination. Suivant quil est,
ou non, possible de passer de lun de ces modes de dtermination un
autre, dune manire continue, ils forment une varit continue ou une
varit discrte [...] les occasions qui peuvent faire natre les concepts dont
les modes de dtermination forment une varit continue sont si rares dans
la vie ordinaire, que les lieux des objets sensibles et les couleurs sont peu
prs les seuls concepts simples dont les modes de dtermination forment
une varit de plusieurs dimensions. Cest seulement dans les hautes
Mathmatiques que les occasions pour la formation et le dveloppement de
ces concepts deviennent plus frquentes.
De telles recherches sont devenues ncessaires dans plusieurs parties
des Mathmatiques, notamment pour ltude des fonctions analytiques
plusieurs valeurs, et cest surtout cause de leur imperfection que le clbre
thorme dAbel, ainsi que les travaux de Lagrange, de Pfaff, de Jacobi sur
la thorie gnrale des quations diffrentielles, sont rests si longtemps
striles.
Alors quEuler et Gauss ajoutaient des points sur une lemniscate (pour
laquelle = 1), Abel ajoute des ensembles lments.
II.3. VARIT JACOBIENNE ET ESPACES DE MODULES 107
Tout cela restait assez mystrieux et ntait dailleurs pas tout fait
correct. En particulier la signification de cet entier restait cache.
Lorsque lintgrale ablienne est de premire espce, est le genre g de
la surface de Riemann associe y . Lorsque lintgrale est de seconde
espce, comme dans lexemple du logarithme, est gal g +1. Il faudra
dabord attendre le travail de Jacobi et surtout celui de Riemann pour
comprendre cela. Il ne faut pas oublier qu cette poque, Abel et Jacobi
ne pensaient pas une courbe algbrique comme une surface dote
dune topologie.
Pour une description du thorme dAbel de son point de vue, on
pourra consulter [Cat2004, Kleim2004]. On verra quAbel en a en fait
donn plusieurs versions assez diffrentes.
Les fonctions hyperelliptiques et le problme dinversion de Jacobi.
Lune des premires familles dintgrales abliennes qui dpassent le cas
des intgrales elliptiques est la suivante :
x
( + x ) d x
Z
u= p ,
0 P
5. Dans une lettre reste clbre adresse Legendre et date du 2 juillet 1830, Jacobi
crit : Mais M. Poisson naurait pas d reproduire dans son rapport une phrase peu
adroite de feu M. Fourier, o ce dernier nous fait des reproches, Abel et moi, de ne pas
nous tre occups de prfrence du mouvement de la chaleur. Il est vrai que M. Fourier
avait lopinion que le but principal des mathmatiques tait lutilit publique et lexpli-
cation des phnomnes naturels ; mais un philosophe comme lui aurait d savoir que
le but unique de la science, cest lhonneur de lesprit humain, et que sous ce titre, une
question de nombres vaut autant quune question du systme du monde.
CHAPITRE III
Un sujet qui intressera le lecteur du tome III est lattitude de Klein vis--
vis de Riemann. Quoique Klein nait jamais vu Riemann, nous la comparons
volontiers celle de Platon vis--vis de Socrate. Maint philologue prtend
que le Socrate de Platon nest pas historique. Pour ma part, je mexprimerais
autrement. Ce que Platon nous raconte de Socrate, cest ce quil a cru voir
dans son matre, et, pour le voir, il a fallu le grand front de Platon. Ce que
Klein nous raconte de Riemann, cest ce quil a cru voir du matre dans ses
crits, et, joserais dire, que cest lintuition qui a fait voir Klein des points
de vue de Riemann quaucun des disciples de ce dernier navait souponns.
On na qu regarder le portrait de Riemann pour voir quil tait modeste. Je
crois volontiers quil avait beaucoup dides latentes dont il navait lui-mme
pas conscience.
Il faut lire ce que Klein nous raconte la page 479 au sujet de sa brochure
Algebraische Funktionen und ihere Intergrale (1882), o il prtendait
rvler la vraie pense de Riemann qui serait la base de sa conception de
la thorie des fonctions, une base essentiellement concrte et physique de
ces notions abstraites et mtaphysiques. Comme les valeurs relles dune
fonction algbrique se reprsentaient couramment par les points dune
courbe, Riemann avait introduit ses surfaces planes avec leur pluralit de
feuillets superposs qui nadhrent quen leurs points de ramification, pour
faire la rpartition des valeurs complexes dune fonction algbrique f(x+iy).
Klein prtendait que cest en considrant des phnomnes physiques que
Riemann est parvenu cette conception, et que la surface primitive de
116 CHAPITRE III. SURFACES DE RIEMANN ET SURFACES RIEMANNIENNES
Riemann ntait pas aussi abstraite et complique, mais tait tout naturelle-
ment une surface courbe approprie dans lespace, tel le tore.
Sur une telle surface, les phnomnes du mouvement stable dun fluide,
de la chaleur ou de llectricit, se reprsentent mathmatiquement par une
fonction, le potentiel, qui satisfait lquation diffrentielle fondamentale
2 f / x 2 + 2 f / y 2 = 0 de la thorie des fonctions complexes f (x + i y ).
Dune manire fort satisfaisante Klein dveloppe cette ide dans sa brochure
et montre que de ce point de vue la plupart des thormes de la thorie des
fonctions deviennent intuitifs. Daprs Klein, Riemann naurait introduit les
surfaces qui portent son nom quultrieurement, pour lucider son expo-
sition arithmtise. ce propos Klein avait cit comme source de sa pen-
se une phrase de Prym, lve de Riemann, que les surfaces de Riemann
ntaient pas ncessairement dans leurs origines des surfaces plusieurs
feuillets superposs au plan. On pourrait tudier les fonctions complexes de
position sur nimporte quelle surface courbe aussi bien que sur les surfaces
planes .
Mais Klein a reconnu quil avait mal traduit la pense de Prym. Celui-ci
niait formellement (8 avril 1882) quil avait pu vouloir dire que Riemann lui-
mme et conu lide de rpartir les valeurs dune fonction complexe sur
une surface courbe comme le fait Klein dans sa brochure.
Dans les sections qui suivent nous allons dabord expliquer ces intui-
tions propos des formes et des fonctions mromorphes sur une surface
de Riemann, dveloppes par Klein. Nous donnerons ensuite une preuve
moderne du thorme II.2.5 dexistence de formes mromorphes, beau-
coup moins intuitive physiquement, ce qui illustrera les propos prc-
dents de Klein.
La base des explications physiques de Klein est de considrer sur
une surface de Riemann une mtrique riemannienne compatible avec
la structure complexe. Cette mtrique permet de regarder les formes
relles par dualit comme des champs de vecteurs. Lorsque la forme est
la partie relle dune 1-forme mromorphe, le champ dual associ hrite
de proprits dynamiques particulires que lon peut formuler dans le
langage de la gomtrie riemannienne et interprter en termes hydro-
dynamiques ou lectrostatiques (lappellation courant lectrique
tmoigne encore des analogies observes au dix-neuvime sicle entre
ces branches de la physique).
Pour plus de dtails sur ces interprtations physiques et leur histoire,
on pourra consulter [Coh1967].
tion lisse. Avec des outils modernes, il est trs simple de construire une
telle mtrique. Il suffit de recouvrir S par des ouverts Ui munis de cartes
holomorphes z i : Ui C et de considrer une partition de lunit (i )
subordonne au recouvrement (Ui ). On peut alors utiliser la mtrique
X p
g= i z i ( d x 2 + d y 2 ).
i
v ), si v~ TS,
v := J (~
~
(III.12)
:= J , si T S.
() = ~
v , .
u := div grad u
v ) = div v~
rot(~ et v ) = rot v~ .
div(~
d (Y, ) = vol(rot Y, , ).
Dans lespace R3 , les champs lectrostatique E et magntique B en
rgime stationnaire sont donns par les quations de Maxwell :
div E = , rot E = 0,
"0
div B = 0, rot B = 0 j ,
= h + d F + d G ,
G d (d G ) + d G d G
qui est nulle par lhypothse sur les rsidus des parties principales don-
nes.
Comme d 0 est une forme lisse dintgrale nulle, elle admet une pri-
mitive . Considrons maintenant la 1-forme ferme 1 = 0 sur
S \ {P1 , ..., Pm }. De mme que prcdemment, la 2-forme d (1 ) stend
en une 2-forme lisse et dintgrale nulle sur S. Notons une primitive
lisse de la 2-forme d (1 ) sur S et appliquons-lui le thorme III.2.1 :
= h + d F + d G . De lgalit d = d (1 ), nous dduisons
d (d G ) = d (1 ).
La 1-forme 2 = 1 d G est ferme (comme 1 ) et co-ferme daprs
lquation prcdente. Elle est donc harmonique en dehors de ses ples.
Cest la partie relle de la forme mromorphe cherche, ce qui conclut la
preuve du thorme II.2.5.
130 CHAPITRE III. SURFACES DE RIEMANN ET SURFACES RIEMANNIENNES
1L 2 (S) = H E E .
M = (M x )d x + (M y )d y .
(v) Pour tout 0 < r < 1, les fonctions M f convergent vers f dans
L 2 (D r ) lorsque tend vers 0.
(vi) Si u est une fonction harmonique sur D alors M u = u sur D 1 .
Le dernier point, crucial, provient de la proprit de la moyenne pour
les fonctions harmoniques et du choix de K invariant par rotation.
Les proprits (ii) et (iii) montrent que si est orthogonale toutes
les formes lisses exactes et co-exactes support compact, alors M
est orthogonale toutes les formes exactes et co-exactes dont le support
est contenu dans D 1 . Mais comme M est lisse sur D 1 daprs la
proprit (i), on a vu que cela implique quelle est en fait harmonique
dans D 1 .
Pour conclure, il nous reste dmontrer que M est presque partout
gale sur D 1 . Observons pour cela que les proprits (ii) et (vi)
montrent que, pour tous , 0 avec 0 < , 0 < 1, on a
M 0 M = M 0 (d u ) = d M 0 u = d u = M
= d F + d G .
d ( d G ) = ( G )d x d y .
Z
1 p
G (x , y ) = log (x 0 x )2 + (y 0 y )2 (x 0 , y 0 )d x 0 d y 0 .
2 D
h + a d F = d G b.
Le travail de Schwarz
Dem von Riemann ausgesprochenen Satze, dass es stets mglich sei, einen
einfach zusammenhngenden Bereich zusammenhngend und in den
kleinsten Theilen hnlich auf die Flche eines Kreises abzubilden, kann der
folgende Satz zur Seite gestellt werden :
Es ist stets mglich, einen einfach zusammenhngenden und geschlos-
senen Bereich zusammenhngend und in den kleisten Theilen hnlich auf
die Flche einer Kugel abzubilden und zwar nur auf eine Weise so, dass drei
beliebig vorgeschriebenen Punkten jenes Bereiches drei ebenfalls vorges-
chriebene Punkte der Kugelflche entsprechen.
IV.1. STRUCTURE CONFORME SUR LA SPHRE 139
s (z ) = (z a ) H (z ). (IV.1)
1. Dans [Schw1869], Schwarz commence par considrer le problme dun carr, mais
son approche est compltement gnrale.
146 CHAPITRE IV. LE TRAVAIL DE SCHWARZ
1
s (z ) = z H (IV.2)
z
o H est une fonction holomorphe au voisinage de 0, dont le dveloppe-
ment en srie entire au voisinage de 0 admet des coefficients rels.
Revenons notre problme initial, et supposons quil existe un
homomorphisme s : H P, tel que s soit holomorphe sur H. Pour
dterminer s , on va montrer quil satisfait une quation diffrentielle
naturelle. On remarque que notre problme est invariant par action (au
but) du groupe affine. On appelle a 1 , ..., a n les antcdents de w 1 , ..., w n
par s . Quitte composer la source par une homographie, on suppose
que a n est le point linfini.
On cherche donc une quantit qui soit invariante par le groupe affine.
La fonction z 7 ddz log dd zs (z ) convient : elle est holomorphe sur H et
invariante par une transformation affine sur s . Le principe de symtrie
accompagn de ltude locale mene prcdemment permet de montrer
le lemme suivant :
d ds i 1
log (z ) = + d 1 + d 2 (z a i ) + d 3 (z a i )2 + ... (IV.3)
dz dz z ai
o les coefficients d j sont rels. On obtient que lapplication
n1
X 1
d ds i
z 7 log (z )
dz dz i =1
z ai
est holomorphe sur H, et se prolonge en une application continue sur
H \ {}. Elle prend de plus des valeurs relles pour des valeurs relles de
son argument. On veut montrer que cette diffrence est nulle.
Pour cela, on peut appliquer nouveau le principe de symtrie et pro-
longer cette fonction en une fonction entire. Maintenant, au voisinage
du point linfini, la formule (IV.2) donne s (z ) = w n + (z )n H ( z1 ) et on
vrifie qualors
d ds
lim log (z ) = 0 .
z d z dz
La fonction entire ddz log dd zs (z ) i =1 za
P n1 i 1
tend vers 0 linfini, donc
i
elle est nulle.
d2 ds 2
ds 1 d
{s , z } = log log .
dz2 dz 2 dz dz
dg 2
{f g ,x} = { f , x } g + {g , x }. (IV.5)
dx
2
dg
Le terme d x montre quil est avantageux dinterprter la dri-
ve schwarzienne comme une diffrentielle quadratique { f , x }d x 2 .
Cela permet de prsenter la formule prcdente comme un cocy-
cle
{ f g , x }d x 2 = g ({ f , x }d x 2 ) + {g , x }d x 2 .
que
1 {f ,x} x x2
m (x ) d m (x ) = dx.
2 1 x
Notons que pour les mmes raisons la drive schwarzienne est
galement un outil fondamental pour la gomtrie projective relle,
en relation avec ltude des diffomorphismes du cercle : voir le
livre [OvTa2005].
s 0 (z ) = (z a i )i H i (z ),
1 1 2i i
{s , z } = {s 0 , z } = + + d 2i + d 3i (z a i ) + ... (IV.8)
2 (z a i )2 z a i
Les coefficients intervenant dans le dveloppement sont rels et
dtermins par les coefficients du dveloppement en srie entire de H i .
On en conclut que si lon pose
n
X 1 1 2i i
F (z ) = + ,
i =1
2 (z a i )2 z ai
1 2 1 2 2 2 + 2 1
{s , z } = + . (IV.9)
2z 2 2(1 z )2 2z (1 z )
Nous avons donc trouv une quation diffrentielle coefficients
rationnels dfinie sur H \ {0, 1, }. Dans le cas o le triangle est convexe,
toute solution de cette quation diffrentielle sera une uniformisante
dun triangle ayant les bons angles. En envoyant les sommets sur w 1 , w 2
et w 3 par une homographie au but, on uniformise bien notre triangle de
dpart. Autrement dit, nous avons montr le thorme suivant :
La quartique de Klein
lensemble des rseaux marqus. On remarque que M est stable par lac-
tion naturelle de SL(2, Z) sur C2 (et que SL(2, Z)\M sidentifie lensem-
ble des rseaux de C, voir [Ser1970]). Cette action induit une action de
SL(2, Z) sur H par homographies :
a+b
a b
= .
c d c+d
j :HC
1. Cest--dire tels quil existe un C tel que 1 = 2 , ce qui est quivalent au fait
que C/1 et C/2 sont isomorphes.
158 CHAPITRE V. LA QUARTIQUE DE KLEIN
N (j 0 , j ) = 0. (V.1)
cos(N x ) = TN (cos x ),
1 1
(21m 2 +25m +8)
q 2 (21m +31m +12) ]
2
m Z (1) [q
P
m
y 4/7
2
= q 1
(V.3)
x n+1 q 2 (21n 2 +7n)
nZ (1)
P
1 1
(21m 2 +m )
+ q 2 (21m +13m +2) ]
2
m Z (1) [q
P
m
z 2/7
2
= q 1
, (V.4)
y n+1 q 2 (21n 2 +7n)
nZ (1)
P
o q = e 2i .
5. Klein montre que le morphisme X (5) X (1) est isomorphe celui qui quotiente la
sphre unit de R3 par le groupe de rotation de licosadre rgulier.
160 CHAPITRE V. LA QUARTIQUE DE KLEIN
6. Un pavage de H par des triangles est de type (a ,b, c ) sil est ralis par des triangles
hyperboliques (a ,b, c ), cest--dire dangles ( 2
a
, 2
b
, 2
c
).
V.1. FORMES MODULAIRES, INVARIANT j 161
B a = { H : Im a } (a > 0)
i
j j 2
1
1 12 0 2
1
w = e 2i /m = q 1/m . (V.6)
a+b
a b
f (c + d )2k = f () H, . (V.7)
c+d c d
On appelle k le poids de f .
Parmi les formes automorphes, il convient de distinguer plusieurs
sous-ensembles. Tout dabord, on note K () lensemble des formes
de poids k = 0, qui sidentifie au corps des fonctions mromorphes
de X . Ensuite, on considre lensemble M k () des formes de poids k
holomorphes sur H et holomorphes en la variable w en chaque pointe
de : les formes modulaires. Munie du produit, la somme directe
M () = k Z M k () est une C-algbre gradue.
L
Considrons maintenant le cas de (1) = SL(2, Z). Soit k > 2. Pour tout
(1 , 2 ) M posons
X0 1
G k (1 , 2 ) = , (V.8)
2k
N (j 0 , j ) = 0. (V.12)
N C[j ][X ] est K ((N )). De plus (1) agit par automorphismes de
K ((N )) en permutant transitivement les racines de ce polynme qui est
donc irrductible, en particulier K (0 (N )) = C(j , j 0 ) (voir aussi [Shi1971,
Quand N = p est
p. 34]). p 0premier,
on voit facilement que les matrices
1k
0p (0 k < p ) et 0 1
forment un systme de reprsentants de
Op = (1)\p ; lindice de 0 (p ) vaut donc d p = p + 1.
Un calcul lmentaire montre que 0 (N ) est normalis par la matrice
0 N 1/2
(V.13)
N 1/2 0
t : 7 + 1
est un lment de 0 (7). Grce aux rotations r1 = 27 13 et r 2 =
2 1
7 3 ,
lensemble D 0 se ramne au domaine fondamental D de la figure V.2.
Celui-ci est pav par huit translats de D(1) par (1) et limage 0 (7) de
0 (7) dans PSL(2, Z) est un sous-groupe dindice 8, donc D et D 0 sont des
domaines fondamentaux pour 0 (7). On voit enfin (fig. V.2) que X 0 (7) est
de genre 0 avec 2 pointes (0 et ) et que 0 (7) est engendr par r1 , r2 et la
translation t qui ralisent les identifications permettant dobtenir X 0 (7).
7. Il utilise en fait les a b
c d SL(2, Z) avec b 0 (mod N ), ce qui revient au mme.
V.1. FORMES MODULAIRES, INVARIANT j 167
r2 r1
!1/2 0 1/2
Proposition V.1.4.
1 2
j= ( + 13 + 49)(2 + 245 + 2401)3 .
7
1 q 7n 2
Y
1/2
w = 7q , (V.20)
1 qn
n=1
2
4k 1/14
Y 1 nk q n/7
wk = q (k = 0, . . . , 6). (V.21)
n=1
1 qn
do la suite exacte
8. Ceci provient du fait que le triangle (2, 3, 7) est daire hyperbolique minimale parmi
les triangles hyperboliques de types (a ,b, c ). Par le thorme de Gauss-Bonnet, ce qui
revient au fait que la plus grande valeur infrieure 1 de la somme a1 + b1 + c1 se ralise
uniquement pour (2, 3, 7).
V.2. COMMENT KLEIN PARAMTRE SA QUARTIQUE 171
puisque G est transitif sur les B-points. De manire analogue, on voit que
les 48 lments dordre 7 sont rpartis en 8 sous-groupes tous conjugus
et fixant chacun trois A-points.
Quelques remarques additionnelles faciliteront la dtermination dun
modle gomtrique de X (7). Puisque laction par conjugaison de G sur
les 8 sous-groupes dordre 7 est transitive, le normalisateur dun tel sous-
groupe est dordre 21 et non ablien car G na pas dlment dordre 21.
0
Soit G 21 (notation de [Kle1878c]) lun de ces normalisateurs : il sagit dun
produit semi-direct engendr par deux lments h et r vrifiant (quitte
changer r en r 1 )
h7 = r 3 = 1 et r hr 1 = h 4 . (V.24)
Les 3 A-points fixs par h, dont le stabilisateur est cyclique, sont permu-
ts cycliquement par r . Par un raisonnement analogue, le normalisateur
de r est un sous-groupe G 60 isomorphe au groupe symtrique S 3 , engen-
dr par r et une involution s permutant les deux B-points fixes de r .
V.2.2. Quartique C4
Dans ce paragraphe nous dterminons une quation algbrique explicite
de la surface de Riemann X (7). Rappelons qutant donne une surface
de Riemann compacte X et V = (X ) le dual de lespace des 1-formes
holomorphes sur X , la surface X senvoie naturellement dans lespace
projectif P(V ). Cette application se dfinit en associant chaque point x
de X le projectifi de lespace des 1-formes holomorphes qui sannulent
en x . On montre que cet espace est toujours un hyperplan vectoriel de
V.2. COMMENT KLEIN PARAMTRE SA QUARTIQUE 173
9. Rappelons quune surface de Riemann X est dite hyperelliptique sil existe un re-
vtement ramifi de degr 2 de X sur CP1 . On appelle alors involution hyperelliptique
lunique automorphisme de revtement non trivial.
10. ou encore de la simplicit de G , puisquune involution hyperelliptique est toujours
centrale.
174 CHAPITRE V. LA QUARTIQUE DE KLEIN
x 3 y + y 3 z + z 3 x = 0. (V.26)
f = a x 3 y + b y 3 z + c z 3 x + x y z (u x + v y + w z ). (V.27)
0
fx x0 C x0
1
et K = f0 0y C y0 , (V.31)
14 y
f0 0z C z0
z
k = x y z + k (x 2 y z 3 ) + 4k (y 2 z x 3 ) + 2k (z 2 x y 3 )
+ 2k z 2 y + 24k x 2 z + 22k y 2 x (k = 0, . . . , 6)
P = 8 + a 6 6 + a 4 2 4 + a 2 3 2 + a 1 K + a 0 4 = 0 (mod f ) (V.41)
o les a j sont des constantes. Klein indique que lon peut dterminer les
coefficients a j par identification.
Pour allger un peu les calculs, on peut aussi les trouver en valuant
(V.41) en des points bien choisis. Les coefficients de P correspondent aux
fonctions symtriques des polynmes (V.2.4), donc sont coefficients
rels ; le coefficient de 6 est proportionnel (unique polynme inva-
riant de degr 6 constante prs), les autres sont de la forme (V.41) seule-
ment modulo f . En prenant (x , y , z ) gal (1, 1, 1) puis (1, , 2 ) (avec
= e 2i /3 ), a 6 = 14 et a 0 = 7. Avec le point dinflexion (1, 0, 0) et
= 0 , on a immdiatement a 1 = 1 car K (1, 0, 0) = 0 (1, 0, 0) = 1.
On voit que les valeurs de (V.2.4) sur les inflexions vrifient 8 + = 0.
Enfin, sachant que les a j sont rels, on obtient a 2 = 70 et a 4 = 63
avec = et (x , y , z ) = (1, , 2 ) (la valeur K (1, , 2 ) se calcule grce
180 CHAPITRE V. LA QUARTIQUE DE KLEIN
V.2.5. Conclusion
Lquation modulaire (V.42), ou rsolvante de degr 8, possde une pro-
prit remarquable mise en vidence par Jacobi [Jac1828, p. 308] : les
racines carres de ses 8 solutions, avec des dterminations convenables,
dpendent linairement de 4 paramtres.
Il est facile de le retrouver partir des expressions (V.2.4). En suivant
Klein, posons pour [x , y , z ] C4
p p p p
A 0 = x y z , A 1 = y 3 z 2 x , A 2 = z 3 x 2 y et A 3 = x 3 y 2 z .
(V.43)
Alors, quitte changer les signes de A 1 , A 2 ou A 3 , on aura A 0 A 1 = x 2 y ,
A 0 A 2 = y 2 z et A 0 A 3 = z 2 x . Puis A 1 A 2 = x y 2 , A 2 A 3 = y z 2 , A 3 A 1 = z x 2 et
les quations (V.2.4) des triangles dinflexion se mettent sous la forme (11)
p p
= 7A 0 , (V.44)
p
k = A 0 + k A 1 + 4k A 2 + 2k A 3 , (k = 0, . . . , 6). (V.45)
p p
Rappelons que / et k / sont solutions de (V.19). Il ne reste
plus qu exprimer les rapports p Ap 1 /A 0 = x /z , A 2 /A 0 = y /x et A 3 /A 0 = z /y
en fonction des rapports k / , cest--dire en fonction des solu-
tions w et w k (k = 0, . . . , 6) de lquation (V.19), pour obtenir un para-
mtrage de C4 au moyen de la seule variable q . Le choix des signes pour
11. Klein donne galement une interprtation de ces formules laide dune famille 4
paramtres de cubiques de contacts qui contient les triangles dinflexion, [Kle1878c,
9].
V.2. COMMENT KLEIN PARAMTRE SA QUARTIQUE 181
Y 1 q 7n
p p
w / 7 = q 1/4 , (V.46)
n=1
1 qn
p Y 1 nk q n/7
wk = 2k q 1/28 (k = 0, . . . , 6). (V.47)
n=1
1 qn
Q P6 Q
7n ) A 1
n=1 (1 q = k =0 n=1 (1 q
7q 2/7 k nk n/7 )
A0
n (3n+1) P6 n (3n+1)
1
= nZ (1) )k . k =0 (
P
nq 14 2
(V.49)
La somme sur k est nulle sauf si n (3n + 1)/2 1 est divisible par 7 (elle
vaut alors 7). Cest le cas seulement si n est de la forme 7m +3 ou 7m +6 et
si n (3n +1)/14 vaut 1/7+(21m 2 +19m +4)/2 ou 1/7+(21m 2 +37m +16)/2.
Par un calcul analogue pour A j /A 0 (j = 2, 3), on obtient finalement les
formules du thorme V.0.6.
permutation prs des variables x , y , z et en remplaant q 1/2
par la valeur q = e i , ce sont les formules donnes par Klein (12)
dans [Kle1878c, 9].
On pourra galement consulter avec intrt [Elk1999, p. 84] qui dcrit
un paramtrage direct (via le plongement canonique, voir V.2.2) par des
12. Il reprend la question dans [Kle1880b] pour obtenir des formules plus agrables,
exprimes au moyen des valeurs partielles des fonctions thta et permettant de plus un
traitement unifi pour les transformations dordre 5, 7 et 11.
182 CHAPITRE V. LA QUARTIQUE DE KLEIN
Mthode de continuit
Les annes 18801882 sont cruciales pour notre sujet. Klein et
Poincar noncent puis dmontrent que toutes les courbes algbriques
de genre au moins 2 peuvent tre uniformises par le disque. Cest une
grande surprise pour les mathmaticiens de lpoque. On connaissait
des exemples nous en avons vu quelques-uns mais la gnralit du
rsultat semble incroyable. Aujourdhui encore cela reste un fait majeur
et hautement non trivial de la gomtrie des courbes algbriques, au
point quun grand nombre de mathmaticiens le connaissent si bien
quils en oublient le caractre non trivial et le confondent trop souvent
avec deux autres thormes certes importants, mais bien plus anciens
(et bien plus simples) : le thorme de Riemann (dont nous verrons que la
premire preuve convaincante est due Osgood) selon lequel un ouvert
(non trivial) simplement connexe du plan est conformment quivalent
au disque et le thorme de Gauss (souvent pens tort comme d
Riemann) selon lequel une surface (analytique relle) est localement
conforme un ouvert du plan.
Mme si cet ouvrage nest pas un livre dhistoire, une brve prsenta-
tion des protagonistes nest pas inutile.
En 1880, Poincar est un jeune matre de confrences de 26 ans. Il
a soutenu sa thse deux ans auparavant et son thme de recherche
est celui des quations diffrentielles. Il est indiscutable que ce sont
les quations diffrentielles qui ont t lorigine de presque toutes
ses dcouvertes ultrieures. En 1878 lAcadmie des sciences de Paris
propose justement comme sujet de concours, pour le Grand prix des
sciences mathmatiques dcerner en 1880, la question suivante :
186
13. cette occasion Poincar ressent dailleurs le besoin de dvelopper une thorie
autonome de la topologie (ce quil fera plus tard, comme on le sait).
14. Le lendemain de lenvoi de son mmoire lAcadmie, Poincar envoie dailleurs
Fuchs la premire dune srie de lettres o le jeune matre de confrences tente sans
succs dexpliquer au professeur Fuchs quun diffomorphisme local nest pas nces-
sairement un revtement. Notons dailleurs que, tout au long de son travail sur lunifor-
misation, laisance de Poincar avec ce qui nest pas encore la thorie des revtements est
certainement un atout essentiel. Au point que certains ont voulu voir dans la construc-
tion du revtement universel le principal apport de Poincar au problme. Nous verrons
cependant que cette dernire assertion est largement exagre.
15. Partie constitue du mmoire envoy lAcadmie mais aussi des trois suppl-
ments dcouverts par Gray en 1979 puis publis et analyss dans [Poin1997].
187
Klein a six ans de plus que Poincar. Il est professeur depuis dj dix
ans. Il est probablement le mathmaticien le plus en vue de son poque
et sa culture mathmatique est immense. Il est certainement lun des
plus fins connaisseur des travaux de Riemann et il connat parfaitement
la thorie des fonctions elliptiques. Il est lun des propagateurs les plus
influents de lide de groupe en mathmatiques : son programme
dErlangen de 1872 loccasion de sa nomination comme professeur
( 23 ans) montre une lucidit tonnante. Il a publi des articles majeurs
sur luniformisation de quelques exemples de courbes algbriques,
dorigine arithmtique. Il est aussi celui qui a tabli le caractre projectif
(rel) de la gomtrie non euclidienne. Lorsque le professeur Klein
prend connaissance des premires notes de Poincar sur les groupes
fuchsiens (dates de fvrier 1881), il est visiblement stupfait la fois par
la gnralit des constructions de Poincar et par sa mconnaissance
de la littrature sur le sujet, allemande en particulier. Le 12 juin 1881, il
commence une correspondance passionnante avec son jeune collgue
de lautre ct du Rhin, qui se droulera jusquau 22 septembre 1882.
Nous reproduisons en appendice cette correspondance clbre et
nous en recommandons vivement la lecture. On peut y voir laffronte-
ment (scientifique !) entre un dbutant et un professeur tabli, teint
de connotations politiques sous-jacentes. On peut y voir galement le
respect mutuel croissant au fil des lettres. Mais on peut surtout y voir
la gense de ce thorme duniformisation, qui se prcise presque au
jour le jour. On ne peut que constater que le gnie de Poincar force le
respect de Klein qui le reconnatra bien volontiers plus tard.
Les premires fonctions fuchsiennes que Poincar construit (note
du 23 mai 1881, [Poin1951], t. II, p. 1215) uniformisent les surfaces
obtenues en privant une sphre dun nombre fini de points rels (Poin-
car autorise aussi les singularits orbifoldes). Comme Klein lui fera
remarquer, il retrouve ainsi les fonctions construites par Schwarz (voir le
chapitre IV). La mthode suivie par Poincar est toutefois fort diffrente.
Poincar considre les groupes (fuchsiens) engendrs par les rflexions
par rapport aux cts de polygones hyperboliques idaux n cts.
Ces groupes dpendent de n 3 paramtres rels 1 < x 1 < . . . < x n3
et Poincar identifie lespace de ces groupes avec lespace des modules
des sphres prives de n points rels. Cest une premire apparition de
188
16. La mthode de continuit, telle que pense par Poincar, est explicitement dcrite
dans le cas des sphres prives de 4 points dans le chapitre IX. Nous laissons au lecteur
lexercice de vrifier que la mthode se simplifie considrablement lorsque les 4 points
sont rels.
189
Dans [Kle1921a, p. 577-586, vol. 3], il ajoute par ailleurs quil considre
que ni lui ni Poincar navaient obtenu de preuve complte et que la
preuve par la mthode de continuit na t solidement tablie quen
1912 par Koebe [Koe1912]. Il dcrit galement cet pisode de sa vie
191
18. Leipzig seemed to be a superb outpost for building the kind of school he now had
in mind : one that would draw heavily on the abundant riches offered by Riemanns geo-
metric approach to function theory. But unforeseen events and his always delicate health
conspired against this plan. [In him were] two souls [...] one longing for the tranquil scho-
lars life, the other for the active life of an editor, teacher, and scientific organiser. [...] It
was during the autumn of 1882 that the first of these two worlds came crashing down
upon him [...] his health collapsed completely, and throughout the years 1883-1884 he
was plagued by depression [Row1989].
192
19. Disons simplement que son approche de la fermeture ne nous parat pas convain-
cante.
193
Groupes fuchsiens
P 1 (P)
1 2 4 2 1
= 1 2 11 2 1
1 = 41
1 4
2 = 31
2 3 1 2 (P)
Dans le cas o z et z 0 sont des points lisses de P (i.e. pas des som-
mets), est unique et conjugue les germes darcs (i , z ) et (1 j ,z )
0
P0 = P, P1 , P2 , . . . , PN = (P).
s i , s (i
), s
2 (i ) , . . . , s
l (i )
l +1 (i ) = i .
o l N est le plus petit entier tel que
11 2
s2 s3
s1
2
2 2
FIGURE VI.3. Deux cycles dangles 3
et 2
pour PSL(2, Z)
P1 = i1 (P),
1
P2 = ((i
) i ) (P),
VI.1. GROUPES FUCHSIENS, POLYGONE FONDAMENTAL ET PAVAGE 203
1
P3 = ( 2 (i ) (i
) i ) (P) . . .
(z , g ) (z 0 , g 0 ) lorsquil existe 1 i 2n , z 0 = i (z ) et g = g 0 a i .
(z , g 0 ) g : H 7 (z , g g 0 ) H .
Cette action est propre (2) et libre et P {id} en est un domaine fonda-
mental. Laction de G sur H passe au quotient en une action sur H ,
galement propre car la projection : H H est propre. Par ailleurs,
si (z , g ) H est quivalent (z , g 0 ), z est ncessairement un sommet s i ,
2
) a i , o 0 k < (l s i + 1)q s i , o q est langle
et on a g 0 = g a k (i ) , . . . , a (i
si
du cycle associ s i et l s i + 1 le nombre de sommets de ce cycle. Comme
surjective.
Nous allons prsent montrer que les fibres de p sont exactement les
orbites de N sur H . Il est clair que les orbites de N sont incluses dans les
fibres. Maintenant, si p (z , g ) = p (z 0 , g 0 ), alors (g )(z ) = (g 0 )(z 0 ), ce qui
implique (z , g ) (z 0 , g a ), avec a = g 1 g 0 . Ainsi, (g a )(z 0 ) = (g 0 )(z 0 ).
Si z 0 nest pas un sommet de P, on obtient directement lexistence de
N tel que g a = g 0 . Autrement dit, (z , g ) = (z 0 , g 0 ), et (z , g ) est
bien dans la mme N -orbite que (z 0 , g 0 ). Si z 0 est le sommet s i , alors il
va exister 0 k < qs i tel que g a = g 0 (a l s i (i ) .....a (i ) a i ) . Comme (z , g )
k 0 0
: H S := H/.
5. On prendra garde au fait que H/, muni de la topologie quotient, nest pas spar
si est infini.
VI.1. GROUPES FUCHSIENS, POLYGONE FONDAMENTAL ET PAVAGE 209
1
1
s1 S
2 2
s2
s1
s2
( + + ),
aire(P) = (2n 2) ,
6. Cette classification est postrieure au travail de Poincar qui nous occupe ici, voir
lintroduction de la dernire partie.
VI.1. GROUPES FUCHSIENS, POLYGONE FONDAMENTAL ET PAVAGE 211
Pi ,j = i ,j i ,1 (P), j = 1, , k i
P
V
VI.2. Exemples
s1
s1
s4
k1
P
S
k2 k3
s3 s3
{s 2 , s 4 }
s2
i = i +1 i +2 , i = 1, 2, 3 mod 3
1 (1 ) = 4 , 3 (3 ) = 2 et 1 2 3 = id.
{s 1 }, {s 2 , s 4 }, {s 3 }
dangles respectifs
2 2 2
, , ,
k1 k2 k3
et de groupes disotropie engendrs respectivement par
1 , 2 = (3 1 )1 , 3 .
k
i i = id.
2 2 2
aire(T ) = + + >0;
k1 k2 k3
s1
s2
s2
2
{s 1 , s 3 , s 5 }
6 s4
s6 s6
s3
4
s4 s5
s1
s2 s8
s7
s3 P
s6
s4
s5
sur D pour " suffisamment petit. Tout dabord, les (D), sont deux
P
deux disjoints de sorte que laire (euclidienne) totale aire((D))
est finie.
Nous affirmons quil existe une constante K (") > 0 telle que tout
satisfait
aire((D))
Maxz D | 0 (z )|2 < K 2 .
aire(D)
On en dduit
X K2 X
| 0 (z )|2 aire((D)) <
aire(D)
1 1 1
| 0 (z )| = = 2
|c z + d | 2 |c | dist(z , d )2
c
220 CHAPITRE VI. GROUPES FUCHSIENS
S = S cycles elliptiques.
+
2C X 1
2 2
|z 0 |
k =0 1 + k
|z |
0
o f i := f i (i0 ) ,
i I . Daprs le thorme VI.3.1, cette somme
converge uniformment sur tout compact de H, et en particulier sur la
couronne {r |w | r 0 } dfinie autour de w = 0 par PM \ PM +1 . Chaque
fonction f i est rationnelle et sannule lordre 2 au point ; par
suite, chaque srie i (w ) est holomorphe et sannule au point w = 0. La
srie (w ) est donc limite uniforme sur la couronne {r |w | r 0 } de
fonctions holomorphes sur le disque {|w | r 0 } sannulant en w = 0. La
limite estdonc holomorphe, sannulant en 0, et la forme diffrentielle
= (w ) dww , mromorphe dordre 1 .
VI.3. ALGBRISATION DAPRS POINCAR 223
f (z ) = f (z ), z D,
H X = {F (x , y ) = 0} ; z 7 (x (z ), y (z ))
y d 1 (x )y d 1 + + (1)d 1 d 1 (x )y + (1)d d (x ) = 0.
t 7 Pt H
VI.4. Appendice
eR 1
D(0, R) := {z D ; dist(0, z ) < R} = D(0, R )
e +1
et son aire (hyperbolique) crot exponentiellement en R :
e R + e R
aire(D(0, R)) = 2(cosh(R) 1), cosh(R) = .
2
Considrons maintenant un groupe fuchsien agissant sur le disque D.
Lemme VI.4.1. Pour tout rayon R > 0, il existe k N et " > 0 tels que
pour tout z 0 D(0, R), le disque D(z 0 , ") contient au plus k autres points
de lorbite (z 0 ). Si est de type fini, alors on peut choisir k indpendam-
0
ment de R avec "(R) = c e c R , c , c 0 > 0.
C n := D(0, n + 1) D(0, n )
La mthode de continuit
VII.1. Prliminaires
VII.1.1. Introduction
Passons aux dfinitions de ces diffrents objets. Soit S une surface fer-
me connexe oriente de genre g 2 munie dune structure lisse et soit
MetS lespace des mtriques riemanniennes sur S, muni de la conver-
gence uniforme. Nous dirons que deux mtriques m 1 et m 2 sont qui-
valentes (m 1 m 2 ) sil existe Diff0 (S) (groupe des diffomorphismes
isotopes lidentit) tel que m 1 soit conforme m 2 . Notons
T g = MetS /
1. Le fait que ce dernier est une varit topologique (en fait lisse) de dimension
relle 6g 6 peut se prouver avec les mthodes de Riemann. Lespace quil consid-
rait implicitement, soit lespace modulaire M g des structures complexes modulo dif-
fomorphismes, est lui singulier (orbifold) aux points correspondant aux surfaces ayant
des automorphismes non triviaux (comme la surface de Klein !), mais on peut liminer
ce problme en considrant les structures de niveau (on fixe une base de H 1 (S, Z/n Z)
pour n 3), voir la discussion qui suit la proposition II.3.1. On obtient ainsi un espace
intermdiaire entre T g et M g et les mthodes de Riemann permettent de prouver que
cest une varit complexe lisse de dimension 3g 3, donc a fortiori une varit relle
lisse de dimension 6g 6. Pour tout ceci, voir par exemple [HaMo1998].
Sinon, ltude de lespace de Teichmller lui-mme, qui donne en particulier quil
est diffomorphe R6g 6 , est faite dans de nombreux ouvrages. On peut conseiller
[ImTa1992], qui contient aussi dapprciables considrations historiques.
VII.1. PRLIMINAIRES 231
(, z ) = (, () z ) (, z ) X H.
f1 0 () = () f1 ( ). (VII.1)
2. Il est connu que X est homomorphe R6g 6 , mais nous nutiliserons pas ce fait.
232 CHAPITRE VII. LA MTHODE DE CONTINUIT
([]) = [ f 1 m ] T g ([] X ).
fd
Thorme VII.1.2. Soit X une composante connexe de RR (g ). Alors
lapplication : X T g est un homomorphisme.
g
Y
f (1 , . . . , 2g ) = [i , i +g ].
i =1
g Y
X i 1
[ j , j +g ] (1 i i +g i1 ) i + (i [i , i +g ]) i +g .
i =1 j =1
(1 i i +g ) i + (i [i , i +g ]) i +g
= i (1 i +g i )i1 i + (1 i +g i1 i1
+g )i +g ,
XN2
= tr( j ( j )X ) = 0.
j =1
Il dcoule du lemme VII.2.7 (et du fait que la trace dfinit une forme bi-
PN 2
linaire non dgnre sur M N (C)) que j =1 j 0 ( j ) = 0. Lendomor-
PN 2
phisme de M N (C) qui une combinaison linaire j =1 j ( j ) associe
PN 2
la matrice j =1 j 0 ( j ) M N (C) est donc bien dfini. Cest un mor-
phisme dalgbre et le lemme VII.2.8 conclut la dmonstration de la pro-
position VII.2.6.
= i r 1 2 T0
ir ir
p
En particulier, si ||A I || et ||B I || < 2 3, alors ||[A, B ] I || < ||B I ||.
Le lemme classique ci-dessous, qui dans une bien plus grande gn-
ralit est d Zassenhaus, est galement connu sous le nom de lemme
de Margulis en rfrence sa gnralisation non linaire (voir par
exemple [Kap2001, 4.12]).
[A,C ] = [B,C ] = I
fd
Il rsulte des propositions VII.3.1 et VII.3.2 que RR (g ) est une
runion de composantes de la varit des reprsentations irrductibles
RR (g ). Soit G un revtement de PSL(2, R). Les composantes connexes de
lespace Hom(,G )/G ont t dcrites par Goldman dans [GolW1988].
Dabord, pour G = PSL(2, R), elles concident avec les fibres de la classe
dEuler (4)
fd
Soit [k ] une suite de points de RR (g ) telle que ([k ]) converge
dans T g . Toujours en suivant le point de vue de Klein (voir section III.1),
cette convergence signifie quil existe des mtriques riemanniennes d s k2 ,
pour k = 1, . . . , , sur S telles que d s k2 converge vers d s
2 , chaque d s 2
k
(k N) tant conformment quivalente la mtrique hyperbolique
sur S associe k (bien dfinie isotopie prs, voir VII.1.2). Il sagit
de montrer que, quitte extraire, la suite ([k ]) converge vers une limite
[ ]. Si tel est le cas, la reprsentation sera fidle et discrte (pro-
position VII.3.2) et la mtrique d s 2 (ou la structure complexe associe)
6. Les traces sont bien dtermines par les longueurs car leurs signes sont fixs dans
la composante X .
VII.4. PREUVE DE LUNIFORMISATION 247
limk E d s 2 () E d s 2 ().
k
quations diffrentielles et
uniformisation
deux inconnues
d u1 u1
= A(x ) (VIII.1)
dx u2 u2
o A(x ) est une matrice 2 2 qui dpend rationnellement de x , le quo-
tient y = u 1 /u 2 vrifie une quation de Riccati et, rciproquement, une
quation de Riccati provient dune telle quation linaire.
En effet, on peut transformer lquation de Riccati en une quation
linaire scalaire mais du second ordre. Plus prcisment, le changement
w 0 (x )
de variable y (x ) = a (x )w (x ) implique que w est solution de lquation
linaire dordre deux, de la forme
d 2w dw
+ p (x ) + q (x )w (x ) = 0,
dx dx
avec p = a 0 /a b et q = a c .
Inversement, si w est une solution de lquation linaire dordre deux
prcdente, la fonction y = w 0 /w vrifie lquation de Riccati
dy
= y (x )2 p (x )y (x ) + q (x ).
dx
Rappelons galement que lquation linaire dordre deux une
inconnue w se ramne une quation linaire dordre un en les deux
inconnues (w, w 0 ).
Une proprit importante (et lmentaire) des quations diffren-
tielles linaires est que le domaine de dfinition des solutions concide
avec celui de lquation. Si lon reprend par exemple lquation deux
inconnues ci-dessus associe une matrice A(x ) on peut prolonger
toute solution locale au voisinage dun point le long de nimporte quel
chemin qui vite les ples de A. Bien sr, on constate des phnomnes
de monodromie qui seront au cur de ce chapitre, mais les solutions
de lquation de Riccati associe ne prsentent que des ples comme
singularits en dehors des ples des coefficients a ,b, c . Le plus int-
ressant est peut-tre que cette proprit les caractrise. Voici un nonc
allant dans ce sens.
dY 1 dy dy
= =Y2
dx y2 dx dx
b (x )
2 1
= Y a (x ) 2 + + c (x )
Y Y
= c (x )Y 2 b (x )Y a (x ).
La forme diffrentielle
dy
= p
(y )(y )(y )
est bien dfinie et non singulire sur le revtement double de la droite
projective CP1 , ramifi au-dessus des points , , , . Autrement dit,
la cubique projective lisse C dquation affine z 2 = (y )(y )(y )
hrite dune forme volume holomorphe non singulire. En effet, la
coordonne locale v de la cubique C au voisinage de y = est telle que
y = v 2 . Par consquent, d y = 2v d v et ' 2d v . Un calcul simi-
laire au voisinage de linfini (o la variable locale v satisfait la relation
1/y = v 2 ) montre que est galement holomorphe et non singulire
linfini.
De manire duale, C hrite dun champ de vecteurs holomorphe non
singulier X , dfini par (X ) = 1. Comme C est compacte, le flot (com-
plexe) de X est complet et son action (transitive) paramtre C comme
quotient de C par le stabilisateur dun point. La cubique lisse vient
dtre uniformise par C. La relation (X ) = 1 montre que le param-
trage dune orbite donne de X (application uniformisante) est la rci-
proque de la primitive x correspondante. Cette rciproque est donc une
fonction elliptique -priodique et par construction elle vrifie lqua-
tion diffrentielle
dy 2
= (y )(y )(y ),
dx
dont les solutions sont la fonction de Weierstrass ainsi que tous ses
translats y = (x + cte).
On peut dailleurs fonder toute la thorie des fonctions elliptiques en
partant de cette quation diffrentielle :
dy
Thorme VIII.1.4. Une quation du type d x = F (x , y ), o F est une
fraction rationnelle en y dont les coefficients sont des fonctions alg-
briques de la variable x nadmet que des singularits mobiles de type
algbrique.
1. Cette quation est appele par Poincar fuchsienne (sic). Nous lui prfrons la ter-
minologie dquation uniformisante.
VIII.2. LAPPROCHE DE POINCAR 259
Je me souviens quinvit par moi dner chez mes parents le 31 dcembre 1879, il
passa la soire se promener de long en large, nentendant pas ce quon lui disait
ou rpondant peine par des monosyllabes, et oubliant lheure tel point que pass
minuit, je pris le parti de lui rappeler doucement que nous tions en 1880. Il parut,
ce moment redescendre sur terre, et se dcida prendre cong de nous. Quelques
jours aprs, mayant rencontr sur le quai du port de Caen, il me dit ngligemment :
je sais intgrer toutes les quations diffrentielles. Les fonctions fuchsiennes venaient
de natre, et je devinais alors quoi il songeait en passant de 1879 1880.
sur U
e , mais le langage des fonctions multivalues est parfois pratique et
nous ne nous en priverons pas.
d 2v dy 2
1
2
+ H v = 0, avec h = H + {y , x }. (E y )
dy dx 2
X := {(x , y ) C2 | F (x , y ) = 0}
10. Attention, nous reprenons les notations utilises dans le chapitre VII pour SL(2, C) ;
mais il sagit maintenant de PSL(2, C).
280 CHAPITRE VIII. QUATIONS DIFFRENTIELLES ET UNIFORMISATION
11. Par contre, il existe des quations normales, monodromie dans RR (S) (et mme
monodromie fuchsienne), mais qui ne sont pas uniformisantes ; voir [GolW1987].
VIII.5. MONODROMIE ET UNIFORMISATION 281
EU0 = {(F, E ) | F U0 , E E (X F )}
12. Il faut noter que Klein et Poincar affirment quun dterminant fonctionnel est
non nul, ce qui signifie bien la transversalit, mais ils nen donnent aucune preuve.
VIII.5. MONODROMIE ET UNIFORMISATION 283
13. Est-ce parce que le dterminant fonctionnel des coordonnes par rapport
celles de sannuleraient ? Mais cela narrivera jamais puisque le lemme du paragraphe
VII montre qu tout point ne peut correspondre quun seul point [Poin1884b] page
370.
VIII.5. MONODROMIE ET UNIFORMISATION 285
14. en utilisant lidentit Isom+ (H) = PSL(2, R), dduite de PSL(2, R) = Aut(H) qui vi-
demment rsout dj la question dunicit !
286 CHAPITRE VIII. QUATIONS DIFFRENTIELLES ET UNIFORMISATION
un O(" 2 ). Pour sen convaincre, on constate dabord que limage par w "
dun rayon joignant lorigine un point du cercle C 1/2 = D1/2 est une
courbe dont la longueur hyperbolique est gale celle du rayon O(" 2 )
prs. Il en rsulte que limage par w " (D1/2 ) est contenue dans un disque
de rayon 1/2 + O(" 2 ). En observant que pour " petit la restriction de w "
D1/2 est un diffomorphisme sur son image et en raisonnant comme
nous venons de le faire avec linverse de w " , nous obtenons que w " (D1/2 )
est compris entre deux disques de rayons 1/2 O(" 2 ) et 1/2 + O(" 2 ). Le
lemme de Schwarz classique montre alors que w "0 (0) a un module qui est
gal 1 +O(" 2 ).
Considrons maintenant la restriction de w " au cercle C 1/2 . Son image
est une courbe contenue dans un anneau dpaisseur O(" 2 ) autour de
C 1/2 . La projection radiale sur le cercle C 1/2 fournit alors, pour " assez
petit, un diffomorphisme du cercle dont la drive est majore par
1 +O(" 2 ). Ce diffomorphisme diffre donc dune rotation par O(" 2 ).
Nous avons bien montr que w " diffre dune rotation de O(" 2 ) sur le
bord du disque D1/2 et donc sur tout ce disque par principe du maxi-
mum. La formule de Cauchy montre alors que les drives secondes et
troisimes de w " lorigine sont des O(" 2 ). La drive schwarzienne de
{w " , z } lorigine est donc galement un O(" 2 ).
Revenant au demi-plan suprieur, on voit que la drive par rapport
", en " = 0, de la drive schwarzienne {w " , z } est nulle en tout point
z 0 du demi-plan. Nous avons vu que ceci est quivalent au fait que la
diffrentielle quadratique holomorphe q est identiquement nulle, ce quil
fallait dmontrer.
CHAPITRE IX
Exemples et dveloppements
projectives singulires. Cest par exemple le cas lorsque lon veut expri-
mer lquation uniformisante dune courbe dquation F (x , y ) = 0 dans
la variable x . Par ailleurs, on se doit dvoquer le rsultat suivant de Fuchs
qui inspira Poincar jusqu justifier ses yeux lappellation de fonc-
tions fuchsiennes et groupes fuchsiens . Ce rsultat fut redmontr
un peu plus tard par Schwarz.
On dira quune quation diffrentielle linaire
d 2v dv
+f +gv =0 (E)
dx2 dx
coefficients mromorphes est fuchsienne en un point x = x 0 lorsque
f et g ne prsentent au plus en ce point que des ples dordre 1 et 2
respectivement. Ceci quivaut dire que lquation rduite associe
d 2v
+ hv = 0, (E)
dx2
df
dfinie par h = g 21 d x 14 f 2 , ne prsente au plus quun ple double
en x 0 . On dira alors que la structure projective induite autour de x 0 pos-
sde une singularit fuchsienne en x 0 . Notons que lquivalence projec-
tive entre (E ) et (E 0 ) nest valide, telle que nous lavons dfinie dans la
section VIII.3.2, que sur un voisinage point puisquen x 0 , ni (E ) ni (E 0 )
ne possde de solution. Un rsultat bien connu de Fuchs affirme que les
quations singularits fuchsiennes sont caractrises parmi les qua-
tions mromorphes du second ordre par le fait que leurs solutions sont
croissance modre au voisinage des points singuliers (sur des secteurs).
Mais cest un autre rsultat de Fuchs que nous nous intressons ici.
Nous voulons dcrire le type de singularits que prsentent les
cartes w de la structure projectives induite autour de x 0 , ainsi que leur
monodromie autour de x 0 . Comme dans la proposition VIII.3.5, une
telle carte est donne par le quotient w = v 1 /v 2 de deux solutions ind-
pendantes de (E ) autour de x 0 , ou encore comme solution de lquation
schwarzienne {w, x } = 2h, o h est le coefficient de lquation rduite
associe (E 0 ). Autrement dit, nous cherchons rsoudre lquation
schwarzienne {w, x } = 2h au voisinage dun ple double x 0 de h.
Si y (x ) est une autre coordonne envoyant le point x 0 sur le point
y 0 = y (x 0 ), alors la nouvelle quation schwarzienne {w, y } = 2H donne
par la formule de changement de coordonnes (voir lencadr IV.1) pr-
sentera encore un ple double en y 0 . De plus, le coefficient dominant
IX.1. THORIE DE FUCHS LOCALE 291
dfini par
{w, x } = + +O(1)
(x x 0 )2 x x0
restera inchang :
{w, y } = + +O(1).
(y y 0 )2 y y0
Cest le rsidu de la structure projective au point singulier. On le calcule
partir de lquation diffrentielle
d 2v 1 2
dv 1
+ +O(1) + + +O(1) v = 0 (E)
dx2 x x0 d x 2 (x x 0 )2 x x 0
par la formule
1 (1 1)2
= 2 + .
2
On dfinit alors lindice au signe prs par
12
= .
2
Notons au passage que lorsque le coefficient g de lquation (E) na
quun ple simple, lindice = 1 1 est directement donn par le
rsidu usuel de f . Le rsultat de Fuchs-Schwarz snonce alors :
d 2v dv
x (x 1) 2
+ ( + + 1)x + v = 0 (IX.1)
dx dx
est une famille dquations fuchsiennes sur CP1 trois paramtres , ,
(rels ou complexes) dont les ples sont situs en 0, 1 et . Par fuch-
sienne linfini, on entend quelle se prolonge, dans la variable x = x1 ,
mromorphiquement en x = 0 avec singularit fuchsienne. Les indices
i aux points i = 0, 1, sont donns par
0 = 1, 1 = + et = . (IX.2)
Toute quation fuchsienne sur CP1 avec ples sur 0, 1 et est projecti-
vement quivalente une quation de la famille prcdente. En effet, on
vrifie que lquation rduite associe ne peut tre que de la forme
d 2v 0 1 0 1
+ + + v =0 (IX.3)
dx2 x 2 (x 1)2 x (x 1)
1 2
o i = 4 i est le rsidu (1) au point i = 0, 1, . Autrement dit, une
structure projective fuchsienne avec 3 singularits sur CP1 est compl-
tement dtermine par la position de ses points singuliers et leur rsidu
(ou indice).
Dans [Schw1873], Schwarz va revenir sur ses travaux antrieurs
[Schw1869] sur la reprsentation conforme (voir section IV.2.2) pour
rpondre la question suivante de Gauss : pour quels paramtres (, , )
1. On prendra garde quil sagit ici des rsidus du coefficient de lquation rduite qui
diffre dun facteur 2 du second membre de lquation schwarzienne associe que nous
avions pralablement considr dans la section IX.1.
IX.2. LQUATION HYPERGOMTRIQUE 295
dw v 2 ddvx1 v 1 ddvx2
= .
dx v 22
Mais le wronskien de deux solutions v 1 et v 2 satisfait :
d v1 d v2 R
v2 v1 = Ce f dx.
dx dx
On en dduit donc que
1
dw R
v 22 = C e f dx
.
dx
Puisque lquation (E) est fuchsienne (y compris linfini), f est de la
forme
X
i
f (x ) = ;
i
x xi
IX.2. LQUATION HYPERGOMTRIQUE 297
IX.2.3. Symtries
On observe dores et dj que plusieurs quations hypergomtriques
vont donner lieu une mme quation rduite et par suite dfinir la
mme structure projective. Prcisment, les coefficients , et de
lquation hypergomtrique sont en bijection via la formule (IX.2) avec
les indices i qui, quant eux, ne sont dfinis quau signe prs par la
structure projective. Par exemple, lquation de paramtres
(0 , 0 , 0 ) = (1 + , 1 + , 2 )
298 CHAPITRE IX. EXEMPLES ET DVELOPPEMENTS
(00 , 10 ,
0
) = (0 , 1 , ).
(00 , 10 ,
0
) = (1 , 0 , ) et ( , 1 , 0 ).
(00 , 10 ,
0
) = (0 1, 1 1, ).
0 = {(0 +n 0 , 1 +n 1 , +n ) ; (n 0 , n 1 , n ) Z3 , n 0 +n 1 +n 2Z}.
IX.2. LQUATION HYPERGOMTRIQUE 299
PSU(2, C) = { PSL(2, C) ; = }.
3. On inclut ici la possibilit quun sommet soit linfini avec la restriction que les
deux cts adjacents soient parallles. Autrement dit, on autorise les triangles euclidiens
non borns dangles (0, , (1 )), 0 1, le cas (0, 0, 1) dgnrant sur la bande.
302 CHAPITRE IX. EXEMPLES ET DVELOPPEMENTS
trois gomtries, on prendra garde que le triangle nest pas pour autant
dun des trois types prcdents. Par exemple, dans le cas hyperbolique,
plusieurs triangles sont bords par les mmes cercles C 0 , C 1 et C , un
seul est contenu dans H. Le mme phnomne se produit dans le cas
euclidien. Mais le groupe de transformations engendr par les symtries
par rapport aux cts ne dpendent que des trois cercles et non du
triangle choisi. Alors Schwarz dmontre que le triangle minimisant la
somme des angles 0 +1 + est hyperbolique, euclidien ou sphrique.
Notons que Schwarz ne pose mme pas la question de savoir pour quels
0 i 2 il existe un triangle dangles i . Nous allons contourner les
arguments de Schwarz et les difficults techniques pour les justifier en
nous ramenant laide du groupe de symtries la :
de sorte que le triangle est bien dtermin, modulo laction de PSL(2, C),
par ses angles. Il nous reste exprimer les contraintes (IX.6) sur les angles
du triangle :
20 1, 21 1, 2 1 0 + 1 + 20 + 3, 21 + 3, 2 + 3. (IX.10)
Lorsque 0 1 , ces contraintes se rduisent (IX.4).
Venons-en la deuxime partie de lnonc. Lensemble des para-
mtres (0 , 1 , ) dfinis par les ingalits (IX.5) et (IX.10) est un
convexe T de R3 , lespace des triangles. La proposition IX.2.5 permet de
partitionner T selon la configuration des 3 cercles bordant le triangle
correspondant. Lensemble E des configurations euclidiennes, caract-
rises par le fait que les trois cercles sintersectent en un mme point,
est ferm et spare les composantes (ouvertes) de type hyperbolique et
sphrique. Donnons des quations pour E . Si le lieu dintersection des
trois cercles intersecte le bord du triangle, alors il intersecte un des som-
mets ; ceci arrive prcisment lorsque un des i sannule, cest--dire
0 + 1 + = 20 + 1, 21 + 1 ou 2 + 1.
Sinon, les 3 cercles ne sintersectent quen un point, ou bien lintrieur,
ou bien lextrieur du triangle. Dans le second cas, il sagit dun tri-
angle euclidien et on a 0 + 1 + = 1 ; dans le premier cas, le com-
plmentaire du triangle (dangles 2 i ) est euclidien et on a donc
0 + 1 + = 5. Cest un fait classique (et facile que nous ne dtaillerons
304 CHAPITRE IX. EXEMPLES ET DVELOPPEMENTS
IX.2.5. Monodromie
Le lemme crucial qui suit va nous permettre de ramener nimporte
quelle quation hypergomtrique une quation uniformisant un
triangle hyperbolique, euclidien ou sphrique.
minimisant la somme
00 + 10 +
0
00 + 10 +
0
1 + 200
(1 0 , 1 1 , ), (1 0 , 1 , 1 ) et (0 , 1 1 , 1 )
00 + 10 +
0
1
de sorte que, par minimalit de la somme, les deux prcdentes inga-
lits sont des galits et 0 = 0.
d 2v dv
x (x 1) + (2x 1) + 4v = 0 (IX.11)
dx2 dx
0 + 1 + = 1,
0 < 0 1 1
avec
1 < 0 + 1 + < 20 + 1,
la monodromie est engendre, modulo conjugaison par PSL(2, C), par les
rflexions par rapport aux cts dun triangle sphrique dangles i .
Dans ce cas, le groupe de monodromie projective de lquation est un
sous-groupe de SO(3), le groupe des rotations de la sphre S2 R3 . Rap-
pelons quels en sont les sous-groupes finis.
2i
Les groupes finis cycliques. La rotation w 7 e n w engendre un groupe
cyclique dordre n pour tout n N dont le quotient x (w ) = w n est, vu
comme espace mtrique, une sphre avec deux points coniques dangle
2
n
.
Les groupes didraux. Le groupe D n (n N, n 2) engendr par
2i
linvolution w 7 w1 et la rotation w 7 e n w , est dordre 2n , iso-
morphe comme groupe abstrait au produit semi-direct Z/n Z o Z/2Z.
Il est sous-groupe dindice 2 du groupe engendr par les rflexions
dun triangle sphrique dangles 2 , 2 , n . Le quotient, donn par
(1w n )2
x (w ) = 4w n , est une sphre avec 3 points coniques dangles , , 2n
.
La fonction inverse w (x ) est quotient
de deux solutions de lquation
hypergomtrique dindices 12 , 12 , n1 .
Le groupe ttradral. Lorsquon pave la sphre avec 4 triangles
dangles tous gaux 2 3
, on obtient un ttradre sphrique. Le groupe
de rotations qui prserve ce pavage est dordre 12, isomorphe en tant
que groupe abstrait au groupe altern A 4 . Si lon ajoute les rflexions,
on obtient un groupe
dordre 24 dont un domaine fondamental est le
triangle dangles 2 , 3 , 3 qui dfinit un sous-pavage du prcdent. Le
groupe A 4 peut donc tre vu comme sous-groupe dindice 2 du groupe
de rflexions engendr par ce dernier triangle. Le passage au quotient
par A 4 est par exemple (4) donn par
p w 2 (w 4 1)2
x (w ) = 12i 3 p .
(w 4 2i 3w 2 + 1)3
4. Les formules donnes par Klein pour ce quotient par ce groupe et les deux suivants
correspondent x = 1 x (w ).
IX.2. LQUATION HYPERGOMTRIQUE 309
Ici, on utilise que les quotients ont 3 points coniques, ce qui est vrai
pour tous les groupes finis except les groupes cycliques qui doivent tre
limins par un autre argument.
IX.2. LQUATION HYPERGOMTRIQUE 311
univalu qui, daprs ltude locale aux singularits faite dans la sec-
tion IX.1, stend par continuit sur Sing(E ) : on obtient une application
rationnelle : CP1 CP1 /G ' CP1 . La structure projective induite sur
CP1 \ Sing(E ) par lquation (E) est le relev par w (x ) de la structure
projective standard sur CP1 et par suite, le relev par (x ) de la structure
projective orbifolde sur le quotient CP1 /G ; pour chacun des groupes
finis ci-dessus, la structure quotient a prcisment 3 points coniques et
est dfinie par une quation hypergomtrique dont les indices ont t
dcrits dans la section IX.2.8.
X CP1 ; (x , y ) 7 x
IX.3. EXEMPLES DE FAMILLES DQUATIONS NORMALES 315
y 2 = x 2g +1 x et y 2 = x 2g +1 1,
Dans le cas
y 2 = x 2g +1 x ,
la projection p : x 7 x 2g induit un revtement ramifi (de degr 4g )
de la courbe hyperelliptique de genre g vers la sphre avec trois points
coniques en 0, 1 et dangles respectifs 2g , g et 2g . Lunique quation
uniformisante de type (IX.15) sur la courbe
y 2 = x 2g +1 x
y m = x n (1 x p )q (IX.16)
6. Par abus de notation, X dsigne ici la runion disjointe des surfaces de Riemann
associes aux composantes irrductibles de la courbe singulire.
318 CHAPITRE IX. EXEMPLES ET DVELOPPEMENTS
sur la fibre ds lors que (n,q ) est premier avec m . La partie lisse de la
courbe X est alors connexe et, par suite, X est irrductible.
En composant avec 0 : x 7 x p , on obtient un revtement ramifi
: X CP1 de degr m p ramifiant prcisment au-dessus des points
0, 1 et . Au-dessus de x = 0, la courbe X possde exactement (m , n )
branches dont un paramtrage local est donn par
m n
t 7 t (m ,n ) , t (m ,n ) u (t )
X 3 Y + Y 3Z + Z 3 X = 0
(X : Y : Z ) 7 (X 3 Y : Y 3Z : Z 3 X )
F (x , y ) = y 7 x 2 (x 1) = 0.
x 0 z 1 y
w (1 + s )w s
0 (w ) = , 1 (w ) = et (w ) = w t
1+rw s w + (1 s )
avec respectivement
1 1 1 1
r= , s= et t = x y .
x z z 1 y 1
Le groupe est donc dtermin, dans ce cas, par le polygone. Le sous-
groupe disotropie du point x est engendr par 0 1 ; cette trans-
formation est parabolique si et seulement si
x (1 z ) = z (1 y ). (IX.17)
Les paramtres x , y et z sont rels, astreints aux conditions
x < 0 < z < 1 < y.
En fait, pour tout point (x , y ) appartenant lespace des paramtres
T := {(x , y ) ; x < 0 et 1 < y },
le point z = 1+xx y (dfini par la condition (IX.17)) satisfait automatique-
ment 0 < z < 1 : le quart de plan T est prcisment lespace des poly-
gones de la forme prcdente (o lon a fix 0, 1 et l).
Le quotient de H par le groupe est la sphre de Riemann prive de
4 points, images respectives des cycles prcdents, disons 0, 1, et .
IX.4. UNIFORMISATION DES SPHRES PRIVES DE 4 POINTS 321
0 1
IX.4.2. Ouverture
Nous lavons dmontre dans la section VIII.5.2 dans le cas dune courbe
lisse et complte de genre g > 1. Plutt que de ladapter au cas non
compact qui nous intresse ici, nous allons reprendre largument de
Poincar.
Le prix payer est lutilisation du thorme dinvariance du domaine
qui sera dmontr par Brouwer (7) bien aprs les travaux de Poincar,
IX.4.3. Fermeture
Pour terminer la dmonstration du thorme IX.4.1, il nous reste
dmontrer la fermeture de lapplication . Considrons pour cela une
suite de points n dans limage convergeant vers CP1 \ {0, 1, } et
dmontrons que ce dernier est encore dans limage de lapplication. Par
hypothse, il existe une suite de polygones Pn T tels que (Pn ) = n .
Si la suite Pn possde une valeur dadhrence P intrieure T , alors
on en dduira immdiatement, par continuit de , quune sous-suite
de la suite n convergera vers (P ) ; dans ce cas, = (P ) est dans
limage. Nous devons donc nous concentrer sur le cas o la suite Pn tend
vers le bord de T .
Supposons par exemple que la coordonne x correspondante tende
vers 0 ; alors z tendra lui aussi vers 0 ou encore y tendra vers 1 (les deux
cas ntant pas exclusifs). Examinons en dtail le premier cas. Supposons
en outre, pour le moment, que y ait une valeur dadhrence 1 < y < .
Alors le polygone P va tendre vers un polygone P plus simple, nayant
plus que pour sommets 0, 1, y et . Les transformations 1 et vont
tendre vers les transformations
(1 + s)w s
1 (w ) =
(w ) = w t
et
sw + (1 s)
IX.4. UNIFORMISATION DES SPHRES PRIVES DE 4 POINTS 323
avec respectivement
y
s = et t =
y.
y 1
y
Par contre, r = x
1 va diverger et la transformation 0 aussi ;
oublions-la.
x 0 z 1 y
0 1 y0
f (z ) ( 0 (z )) et (z ) =
X X
(z ) = f (z ) ( 0 (z ))
x
0 1
z y
P
P
z
0
y x
1
1 : T T ; (x , y , z ) 7 (1 y , 1 x , 1 z )
et
z y x
2 : T T ; (x , y , z ) 7 , , .
z 1 y 1 x 1
Le lieu des points fixes de 1 est la demi-droite x + y = 1. La rflexion de
Schwarz qui conjugue P (P) va commuter aux groupes fuchsiens cor-
respondants et va descendre pour conjuguer les quotients. Puisquelle
fixe et permute 0 et 1, il sagit de la rflexion
2 : CP1 \ {0, 1, } CP1 \ {0, 1, } ; 7
1
IX.4. UNIFORMISATION DES SPHRES PRIVES DE 4 POINTS 327
2
y =2
T 1
x = 1 (x , y ) = (0, 1)
2
1
0 1
3
En fait, le pav hachur en haut dont les points prcdents sont deux
sommets (voir figure IX.7) est envoy sur le pav hachur en bas. En effet,
les points fixes de i sont envoys sur des points fixes de i , i = 1, 2, 3 ;
il suffit donc de vrifier que lorsquon tend vers le troisime sommet
(0, 2, 0) T dans le pav du haut, alors limage par tend vers 1 en bas.
Mais cest prcisment largument que nous avons dvelopp ci-dessus.
Nous en dduisons que lapplication : T CP1 \ {0, 1, } est un rev-
tement galoisien de groupe G .
IX.5. Postrit
Citons Griffiths :
all known complete proofs of [the uniformisation theorem] seem to be
potential-theoretic and offer very little insight in just how to explicitly locate
the Fuchsian D.E.,
et Griffiths de proposer alors de considrer une famille analytique
: U B de courbes algbriques (de telle manire que chaque pr-
image 1 (b ) soit une courbe algbrique C b ). Au-dessus de B on peut
former le fibr affine holomorphe
EB
dont la fibre Eb est lespace E (C b ) des quations normales sur la courbe
C b . Lquation fuchsienne donne une section
f :B E
de ce fibr. Cette section est localement dfinie comme la primage
de la sous-varit analytique relle RR (S) de la varit complexe RC (S)
lespace des classes de conjugaisons de reprsentation du groupe
fondamental 1 (S) de la surface topologique sous-jacente C b par
lapplication holomorphe MonS : E RC (S) de monodromie (voir
section VIII.5). Par suite, lapplication f est analytique relle et Griffiths
pose le problme de caractriser f comme solution dune quation
diffrentielle explicite. Une solution satisfaisante semble apporte par
Hitchin dans [Hit1987].
Pour des raisons analogues le point de vue de Poincar sur luniformi-
sation a plus gnralement veill de lintrt en gomtrie algbrique
abstraite, notamment depuis les annes 70 et les premiers travaux
dIhara [Iha1974] sur luniformisation p -adique jusquau travaux rcents
Thorme IX.5.2. Pour toute courbe X sur C, il existe une unique fonc-
tion h C(X ) telle que le quotient de deux solutions de lquation diffren-
tielle
v 00 + hv = 0 (IX.18)
soit lapplication dveloppante dune structure hyperbolique sur X .
Lquation (IX.18) est fuchsienne.
par O ; il est en particulier dfini sur Q. La courbe X est donc dfinie sur
Q. Il reste tudier lquation uniformisante.
Soit g un lment rationnel et de norme 1 dans A. Les groupes
et g g 1 sont commensurables, notons X 0 = (g g 1 )\H, X 1 = X ,
X 2 = g g 1 \H et considrons le diagramme de revtements galoisiens
finis :
X0
p1 . & p2 (IX.19)
X1 X 2.
i 1 2 3 4 5 6 7 8
g (x i ) x8 ? x5 ? x3 x7 x6 x1
(IX.21)
ni 1 2 1 2 1 1 1 3
p 1 (x i ) y1 y1 y2 y2 y3 y3 y3 y4
334 CHAPITRE IX. EXEMPLES ET DVELOPPEMENTS
2u 2u
u = + = 2k e u
x2 y 2
domaine donn, avec des valeurs au bord et des singularits dun certain
type prescrites, sous lhypothse que la constante k a une valeur ngative.
En particulier, la Socit royale souhaite voir trait la question ci-dessus
dans le cas o le domaine plan considr est une surface de Riemann ferme
plusieurs feuillets, et o la fonction u ne doit admettre que des singularits
logarithmiques (1) .
1. Die Aufgabe der conformen Abbildung eines ebenen Bereiches auf ein Stck einer
krummen Flche, deren Krmmungmass berall den constanten Werth k besitz, hngt
zusammen mit der Aufgabe, die partielle Differentialgleichung
2u 2u
u = + = 2k e u
x2 y2
2. Picard affirme que le cas dune surface de Riemann ferme ne prsente pas de dif-
ficult supplmentaire, mais comme il le reconnatra plus tard cest trs largement
exagr.
3. Dans son mmoire, Poincar dit clairement que la question a t rsolue par Picard
en 1890... puis fait comme si la solution de Picard nexistait pas.
342 CHAPITRE X. LQUATION g u = 2e u
4. Citons lanalyse que Poincar fera de ses propres travaux la demande de Mittag-
Leffler [Poin1921] :
M. Picard la intgre le premier [Poincar parle de lquation u = k e u ]. La
mthode que jai propose est entirement diffrente [...]. Ce qui caractrise ma mthode
et la distingue de celle de M. Picard, cest quelle embrasse tout de suite la totalit de la
surface de Riemann, tandis que M. Picard considre dabord un domaine limit, et tend
ensuite ses rsultats de proche en proche jusqu ce quils soient tablis pour la surface
entire.
X.1. LUNIFORMISATION DES SURFACES ET LQUATION g u = 2e u 343
Nous allons commencer par dtailler les diffrents liens entre lquation
g u = 2e u et luniformisation des surfaces.
d f 1 2
dz
g hyp = 4 dzdz
(1 |f 1 |2 )2
z u = 2e u (X.1)
d z d z = e z g
et donc
e z 1 z 1 = e z 2 z 2 .
Par consquent, il existe un oprateur g : C 2 (S, R) C 0 (S, R) tel que,
sur le domaine de toute carte locale holomorphe z de S, on a :
g = e z z .
Loprateur g est bien sr loprateur de Laplace-Beltrami associ la
mtrique riemannienne g .
Par ailleurs, les mtriques riemanniennes g hyp et g sont conform-
ment quivalentes. Autrement dit, il existe une fonction u g : S R telle
que
g hyp = e u g g .
Pour toute coordonne holomorphe locale z , on a les deux relations
g hyp = e u z d z d z = e u g g et d z d z = e z g . Par consquent,
u g = u z + z
sur le domaine de dfinition de la coordonne z .
Pour toute coordonne holomorphe locale z , il vient alors :
g u g = g u z + g z
= e z z u z + g z
= 2e z e u z + g z
= 2e u g + g z .
Ce calcul montre que la quantit g z ne dpend pas du choix de la
coordonne holomorphe locale z . Autrement dit, il existe une fonction
g : S R telle que, sur le domaine de toute carte holomorphe locale z
de S, on a :
1 1
g = g z = e z z z
2 2
(la raison du facteur 21 apparatra plus tard). Surtout, le calcul ci-dessus
montre que la fonction u g : S R est solution de lquation
g u = 2e u 2 g . (X.3)
En rsum, Poincar a montr :
346 CHAPITRE X. LQUATION g u = 2e u
La premire dmonstration qui ait t donne est fonde sur ce quon appelle la
mthode de continuit. Nous y avons t conduits, M. Klein et moi, dune faon ind-
pendante. Dans mon Mmoire sur les groupes des quations linaires [...] jai donn
[...] un expos complet de la mthode ; je nai plus y revenir. Je crois tre arriv
donner cette mthode une forme parfaitement rigoureuse.
X.1. LUNIFORMISATION DES SURFACES ET LQUATION g u = 2e u 349
10. Rappelons que toute surface de Riemann compacte est algbrique. Lalgbricit
de S permet cependant de construire explicitement des 1-formes mromorphes ples
prescrits sur S, que Poincar utilise dans sa preuve.
X.2. COMMENT POINCAR RSOUT LQUATION g u = e u 351
(c) Des deux points prcdents, on dduit que lon peut intgrer
lquation g u = e u ds lors que la fonction est par-
tout positive.
Tout cela peut sembler quelque peu laborieux ; mais il ne faut pas
oublier que Poincar navait pas sa disposition la belle machinerie
moderne des distributions, des injections de Sobolev, de la compacit
faible, de la rgularit elliptique, etc. En fait, pour chaque quation quil
envisage, Poincar exhibe une solution, soit sous la forme dun produit
de convolution avec une fonction de Green, soit sous la forme dune
srie convergente dont chaque terme est solution dune quation plus
simple (i.e. que lon savait intgrer auparavant). Larticle de Poincar
ayant t oubli, il faudra attendre 1971 pour que M. S. Berger russisse
prouver par des mthodes modernes (cest--dire coups de distri-
butions, dinjections de Sobolev, de compacit faible, et de rgularit
elliptique) lexistence dune solution lquation g u = e u sur
une surface compacte ! (voir lencadr la fin de ce chapitre).
g u = .
o H est dfinie par lgalit (X.7). Le premier terme est une fonc-
tion analytique et harmonique de la variable p . En effet, la fonc-
tion (p,q ) 7 G p 0 ,q0 (p,q ) est analytique en ses deux variables et
harmonique
R en la variable p sur U (S \ U ). Par suite, la fonction
p 7 S\U G p 0 ,q0 (p,q )(q ) d v g (q ) est analytique sur U , et pour tout p U ,
on a :
Z ! Z
g G p 0 ,q0 (p,q )(q ) d v g (q ) = g G p 0 ,q0 (p,q )(q ) d v g (q ) = 0.
S\U S\U
356 CHAPITRE X. LQUATION g u = 2e u
Z
1
z log |p q |(q ) d z d z (q ) = (p )
2 U
2 d vg
pour tout p U , o z = z z
= dzdz
g . Par suite, on a, pour tout p D,
Z
1
g log |p q |(q ) d v g (q ) = (p ).
2 U
g u p 0 (p ) = (p ) (X.9)
q0 ,q = q0 ,q + q0 ,q0 .
ku p 0 , k kk et ~ g u p 0 , k kk
k
, on a pour tout p 6= q0
Z
u p 0 , (p ) := G p 0 ,q0 (p,q )(q ) d v g (q ).
S
En particulier, on a pour tout p 6= q0
Z
|u p 0 , (p )| G p ,q (p,q ) d v g (q ) kk .
0 0
S
R
Lintgrale S G p 0 ,q0 (p,q ) d v g (q ) est finie pour tout p S\{q0 } et dpend
continment de p . Par suite, la quantit
Z
0 := sup G p ,q (p,q ) d v g (q )
0 0
p S\U0 S
|u p 0 , (p )| 0 kk .
o Z
b0 := sup G p ,q (p,q ) d v g (q ).
0 0
p S\U
b0 S
ku p 0 , k = sup |u p 0 , (p )| kk
p (S\U0 )(S\U
b0 )
~ g u p 0 , k sobtient en rempla-
avec := max(0 , b0 ). La majoration de k
ant dans le raisonnement ci-dessus la fonction G p 0 ,q0 (resp. G p 0 ,q0 ) par
son gradient par rapport la variable p .
g u = u
g (u v )(p ) 0 et g (u v )(p + ) 0.
(u v )(p ) 0 et (u v )(p + ) 0.
1
ku k
.
(p ) (p + )
u (p ) et u (p + ) .
(p ) (p + )
(p ) (p + )
u (p )
(p ) (p + )
expression intgrale nous est donne par la proposition X.2.2). Une fois
u 0 connue, on peut alors choisir la constante c 0 de manire ce que
la fonction (u 0 + c 0 ) 1 soit dintgrale nulle. La fonction u 0 et la
constante c 0 tant alors connues, lquation g u 1 = (u 0 + c 0 ) 1
peut tre vue comme une quation de Poisson dinconnue u 1 . Comme
(u 0 + c 0 ) 1 est de classe C 1 et dintgrale nulle, cette quation admet
une unique solution u 1 de classe C 2 (remarque X.2.3) qui sannule en
p 0 . On peut alors choisir la constante c 1 de manire ce que la fonction
(u 1 + c 1 ) soit dintgrale nulle. Comme (u 1 + c 1 ) est connue et de
classe C 1 , lquation g u 2 = (u 1 + c 1 ) admet une unique solution u 2
de classe C 2 qui sannule en p 0 . De proche en proche, on trouve ainsi
des fonctions u i et des constantes c i telles que les quations ci-dessus
soient satisfaites. Ces fonctions u i et ces constantes c i sont uniques. Les
fonctions u i sont de classe C 2 .
Deuxime tape. Convergence de (u 0 + c 0 ) + (u 1 + c 1 ) + 2 (u 2 + c 2 ) + .
On cherche maintenant dterminer pour quelles valeurs du paramtre
la srie (u 0 + c 0 ) + (u 1 + c 1 ) + 2 (u 2 + c 2 ) + est convergente. Pour
ce faire, on utilise laddendum X.2.4 qui va nous fournir des estimes des
fonctions u i et des constantes c i . On note tout dabord que, la fonction
(u i + c i ) tant dintgrale nulle, on a, pour tout i 1,
|c i | ku i k .
ku i +1 k kk (ku i k + c i ) 2 kk ku i k .
(u 0 + c 0 ) + (u 1 + c 1 ) + 2 (u 2 + c 2 ) +
De lquation g u = 0 u lquation g u = (0 + )u .
Ds quil a montr quon peut intgrer lquation g u = 0 u pour
certaines valeurs de 0 , Poincar tente de perturber cette quation afin
dlargir un peu le champ des quations quil sait rsoudre :
g u = 0 u (X.12)
g u = (0 + )u (X.13)
u = u 0 + u 1 + 2 u 2 +
Si on injecte dans lquation (X.13) et que lon regroupe les termes selon
les puissances de , on trouve les quations suivantes :
g u 0 = 0 u 0
g u 1 = 0 u 1 + u 0
g u 2 = 0 u 2 + u 1
...
X.2. COMMENT POINCAR RSOUT LQUATION g u = e u 365
la fonction
Z
= G p 0 ,q0 (p,q ) (0 u 0 ) + (0 u 1 + u 0 ) + (q ) d v g (q )
v
S
Z
= G p 0 ,q0 (p,q ) (0 + )u (q ) d v g (q ).
S
g v 0 = 0 u 0 = g u 0
g v 1 = 0 u 1 + u 0 = g u 1
g v 2 = 0 u 2 + u 1 = g u 2
...
g v = (0 + )u .
g u = g v.
g u = u (X.14)
g u = e u
g (u v )(p ) 0 et g (u v )(p + ) 0.
g u = e u
De lquation g u = e u 0 g u = e u (0 + ). Poincar
montre un dernier rsultat de type si on sait intgrer telle quation,
alors on sait aussi... .
g u = e u 0 (X.16)
g u = e u (0 + ) (X.17)
e u = e u 0 (1 + u 1 + 2 (u 2 + w 2 ) + 3 (u 3 + w 3 ) + 4 (u 4 + w 4 ) + )
u 12 u 13 u 14 u 22 u 12 u 2
o w 2 = 2
, w3 = 6
+ u 1u 2, w 4 = 24
+ u 1u 3 + 2
+ 2
et plus gnra-
lement
w i = Pi (u 1 , u 2 , . . . , u i 1 )
o Pi est un polynme en i 1 variables coefficients positifs.
En reportant dans lquation (X.17), et en regroupant les termes selon
les puissances de , on obtient les quations
g u 0 = e u 0 0
g u 1 = e u0 u 1
370 CHAPITRE X. LQUATION g u = 2e u
g u 2 = e u 0 (u 2 + w 2 )
g u 3 = e u 0 (u 3 + w 3 )
...
Nous avons fait lhypothse que nous savons intgrer la premire qua-
tion. On peut donc supposer connue une fonction u 0 : S R vrifiant
cette quation. Une fois la fonction u 0 connue, la deuxime quation
devient une quation du type (X.10) (dinconnue u 1 ). Daprs la propo-
sition X.2.11, on sait intgrer cette quation. On obtient ainsi la fonction
u 1 . La fonction u 1 tant connue, on peut calculer w 2 = P2 (u 1 ). La fonc-
tion w 2 tant connue, la troisime quation devient une quation du
type (X.10) (dinconnue u 2 ). Daprs la proposition X.2.11, on sait int-
grer cette quation. On obtient ainsi la fonction u 2 . Les fonctions u 1 et
u 2 tant connues, on peut calculer w 3 = P3 (u 1 , u 2 ). On peut ainsi intgrer
toutes les quations ci-dessus, et trouver lune aprs lautre les fonctions
u 0, u 1, u 2, . . . .
Deuxime tape. Convergence de la srie u 0 + u 1 + 2 u 2 + .
Il nous faut maintenant dterminer pour quelles valeurs du paramtre
(sil en existe) la srie u 0 + u 1 + 2 u 2 + converge.
Commenons par majorer la norme uniforme de u 1 . Lquation
g u 1 = e u 0 .u 1 est une quation (dinconnue u 1 ) du type (X.10) ; la
proposition X.2.8 implique donc que lon a
1
ku 1 k
u
u
.
e 0 e 0
On est donc ramen majorer la norme uniforme de la fonction 1/e u 0 .
Soit p un point de S tel que u 0 atteint son minimum en p . La fonction
1/e u 0 atteint son maximum en p . Par ailleurs, on a g u 0 (p ) 0, et donc
( e u 0 )(p ) 0. Par consquent, on a
1 (p )
0
1
(p )
.
e u0
e u 0 (p )
En rassemblant les ingalits ci-dessus, on obtient la majoration souhai-
te de la norme de u 1 :
0
ku 1 k
.
(X.18)
A N := a 1 + 2 a 2 + + N a N .
Z
v 1 (p ) := G p 0 ,q0 (p,q )( e u 0 .u 1 )(q )d v g (q )
S
Z
v 2 (p ) := G p 0 ,q0 (p,q )( e u 0 (u 2 + w 2 ))(q )d v g (q )
S
Z
v 3 (p ) := G p 0 ,q0 (p,q )( e u 0 (u 3 + w 3 ))(q )d v g (q )
S
...
o (p,q ) 7 G p 0 ,q0 (p,q ) est la fonction utilise dans la preuve de la pro-
position X.2.2. Par les mmes arguments que dans la preuve de la propo-
sition X.2.10, les fonctions v 0 , v 1 , v 2 . . . se prolongent alors en q0 , sont de
classe C 2 , et la srie de fonctions v 0 + v 1 + 2 v 2 + converge normale-
ment vers
Z
v = G p 0 ,q0 (p,q )( e u 0 (1 + u 1 + ) 0 )(q )d v g (q )
S
Z
= G p 0 ,q0 (p,q )( e u 0 )(q )d v g (q ).
S
g v = e u 0 .
X.2. COMMENT POINCAR RSOUT LQUATION g u = e u 373
g u = e u .
g u = e u ( + ) (X.20)
g u = e u g (X.21)
11. Bien sr, linterprtation de lquation (X.21) en termes de courbure napparat ja-
mais dans le mmoire de Poincar.
12. En fait, la fonctionnelle considre par Berger est lgrement diffrente de celle
considre par Poincar.
376 CHAPITRE X. LQUATION g u = 2e u
Vers le thorme
duniformisation gnral
La dernire partie de ce livre est consacre au chemin qui, de 1882
1907, mne de luniformisation des surfaces de Riemann algbriques,
par la mthode de continuit, au thorme duniformisation gnral
tel que nous le connaissons aujourdhui. Gray a ralis une tude trs
fouille [Gra1994] consacre au thorme de reprsentation de Riemann,
laquelle on pourra se rfrer. Citons galement des rfrences plus
anciennes dans lEncyklopdie der mathematischen Wissenschaften :
[OsgW1901, Bie1921].
En 1882, Klein et Poincar ont acquis la conviction que toute surface
de Riemann algbrique peut tre uniformise par la sphre, le plan ou
le disque unit. Les dtails de la preuve de ce fabuleux rsultat restent
mettre au point, mais Poincar qui laudace mathmatique na
jamais manqu est dj parti la conqute dun monde beaucoup
plus vaste : il tente duniformiser les surfaces de Riemann associes des
germes de fonctions analytiques quelconques, pas ncessairement alg-
briques.
Le mmoire [Poin1883b] que Poincar publie en 1883 souvre sur
lnonc du thorme duniformisation des fonctions quil se propose de
dmontrer :
Soit y une fonction analytique quelconque de x , non uniforme. On peut tou-
jours trouver une variable z telle que x et y soient fonctions uniformes de z .
13. Rappelons quune fonction de Green sur est une fonction positive, harmonique
avec un ple logarithmique, qui tend vers 0 au voisinage du bord de .
384
14. On lira avec intrt la prsentation quOsgood fait du rsultat de Poincar et de ses
insuffisances dans une srie de confrences Cambridge en 1898 [OsgW1898].
385
15. lpoque, les surfaces de Riemann sont toujours penses comme tales au-
dessus du plan. La preuve de Koebe stend cependant aux surfaces de Riemann abs-
traites.
16. Souvenons-nous que [Koe1907a] est une communication la Socit de sciences
de Gttingen, dont le contenu est souvent destin tre dtaill dans un article publi
dans un vrai journal mathmatique. Koebe ne cessera dailleurs, tout au long de sa
vie, de reprendre les diffrentes preuves du thorme duniformisation pour les popula-
riser, les prciser, les gnraliser, en amliorer la rdaction. Voir entre autres [Koe1907a,
Koe1907b, Koe1908a, Koe1909a, Koe1909b, Koe1909c, Koe1909d, Koe1910b, Koe1911].
386
Six mois plus tard, parat dans Acta Mathematica un article [Poin1907]
dans lequel Poincar propose lui aussi une preuve du thorme duni-
formisation gnral, trs diffrente de celle de Koebe (17) . tant donne
une surface de Riemann simplement connexe non compacte S, Poincar
considre lanneau A obtenu en tant S un petit disque. Il remarque
que la surface S sera biholomorphe au plan complexe ou au disque unit
ds lors que lanneau A admettra une majorante de Green, cest--dire
une fonction harmonique positive avec au moins un ple logarithmique.
Reste construire une telle fonction. Pour ce faire, Poincar gnralise
nouveau le procd alternant, invent par Schwarz. Poincar donne
une interprtation physique du procd obtenu, quil nomme mthode
du balayage . Supposons quon veuille construire une fonction u sur
une surface de Riemann A, avec un ple logarithmique en un point p 0 ,
harmonique sur A \ {p 0 }, et qui tend vers zro linfini. Une telle fonc-
tion peut tre pense comme le potentiel lectrique associ une charge
ponctuelle ngative situe au point p 0 . Pour la construire, Poincar ima-
gine alors :
de partir dune fonction quelconque u 0 : A R avec un ple loga-
rithmique en p 0 et qui tend vers zro linfini, quil voit comme le
potentiel associ une distribution de charge 0 := u 0 ;
de rendre petit petit chaque rgion de la surface A conductrice
, afin de balayer les charges (sauf celle situe en p 0 , maintenue
artificiellement en place) vers le bord de ces rgions. On espre ainsi
qu lissue du processus, toutes les charges (sauf celle situe en
p 0 ) auront t balayes linfini ; le potentiel associ sera alors
la fonction recherche. Mathmatiquement, on recouvre A par des
disques holomorphes, et on construit une suite de fonctions conti-
nues (u n )n0 , o u n+1 concide avec u n partout sauf sur un des
disques et est harmonique sur ce disque.
Bien sr, tout le travail consiste montrer que la suite (u n )n0 converge.
Comme souvent, la preuve de Poincar contient des intuitions lumi-
neuses, mais nest pas un modle de rigueur. En particulier, Poincar
utilise un argument physique (la conservation de la charge lectrique
totale lorsquon rend conducteur un disque dans la surface de
17. Poincar navait pas connaissance de la preuve de Koebe lorsquil a rdig son
article : celui-ci a t soumis en mars 1907.
387
18. Jusquaux travaux de Weyl dans les annes 1910, une surface de Riemann est par
dfinition tale au-dessus du plan.
388
que F est surjective. Il nous reste vrifier que F est injective. Puisque
F : S D est propre et holomorphe, la fibre F 1 (w ) dun point w de D
est de cardinal fini, et ce cardinal est localement constant, en comptant
les multiplicits. Comme F 1 (0) = {p 0 } et que F 0 (p 0 ) 6= 0, chaque fibre a
un unique lment : lapplication F est bien injective.
En particulier :
B (w 0 , D) w B (w, D) w 0.
Lemme XI.1.7. Soit v 0 une fonction continue sur , nulle sur le bord
de , et (v n ) la suite dfinie par v n+1 = B (v n , D n+1 ). Alors il existe une
constante 0 q < 1 telle que pour tout entier k , on ait
kv (k +1)r k q kv k r k . (XI.1)
v k r +1 = B (v k r , D 1 ) B (f 0 kv k r k , D 1 ) = f 1 kv k r k .
v (k +1)r f r kv k r k q kv k r k .
402 CHAPITRE XI. LUNIFORMISATION DES FONCTIONS
Pour dmontrer (XI.1), il nous suffit de voir que q < 1. Comme cela a t
prouv pour les fonctions u n , n r , la fonction f r est continue sur .
La fonction f r atteint alors son maximum en un point p 0 de . Comme
le lecteur pourra le constater, f r nest pas identiquement nulle et, par
consquent, p 0 appartient lintrieur de , donc lintrieur dun cer-
tain disque D j . Remarquons que si une fonction continue par morceaux
est comprise entre 0 et 1 sur le bord dun domaine D R et est stricte-
ment infrieure 1 sur un ouvert non vide de ce bord, alors son extension
harmonique, obtenue par la formule de Poisson, est strictement inf-
rieure 1 sur lintrieur du domaine. On voit alors que la fonction f 1
prend des valeurs strictement infrieures 1 sur lintrieur de D 1 et donc
sur un ouvert non vide de D 2 . Alors, f 2 prend des valeurs strictement
infrieures 1 sur lintrieur de D 2 ; en particulier sur un ouvert non vide
de D 3 . De proche en proche, on voit que f j prend des valeurs stric-
tement infrieures 1 dans lintrieur de D j . Comme la suite (f k ) est
dcroissante (avec une dmonstration similaire celle quon a faite pour
la croissance de la suite (u n )), on a q = f r (p 0 ) f j (p 0 ) < 1. Lingalit
(XI.1) est donc tablie.
On en dduit un corollaire.
o R est une fraction rationnelle nayant pas de ple sur le cercle unit.
Rappelons que F est invariante par et sobtient donc comme com-
position du revtement D \D avec une fonction mromorphe non
constante sur \D. Ceci dcoule de la surjectivit de F et du fait quelle
a la proprit de relvement des chemins : pour tout chemin continu
: [0, 1] CP1 dorigine un point (0) = x 0 de la sphre de Riemann et
XI.3. PARAMTRAGE PAR UN OUVERT SIMPLEMENT CONNEXE 409
3. On notera cependant que la proprit dunicit nest pas vrifie ici puisque F
admet des points de ramification.
4. Des points critiques apparatraient si, au lieu de la surface de Riemann de la fonc-
tion, on lui ajoutait les points correspondant aux singularits algbriques . La dmons-
tration fonctionnerait aussi dans ce cas mais nous nous autorisons cette petite simplifi-
cation.
410 CHAPITRE XI. LUNIFORMISATION DES FONCTIONS
En particulier :
Supposons que g ne tende pas vers 0 linfini. Il existe alors une suite
(qn ) de points de S qui tend vers linfini et un nombre " > 0 tels que
g (qn ) ". Considrons la fonction G = e (g +i g ) , obtenue comme limite
des fonctions G k = e (g k +i g k ) . Nous avons vu la section prcdente
que G est injective. La suite G (qn ) vrifie |G (qn )| e " < 1. Quitte
extraire, on peut donc supposer que G (qn ) converge vers un point q de D.
Ce point ne peut pas appartenir limage de G . En effet, si tel tait le
cas, on choisirait une pr-image p de q par G et un voisinage relative-
ment compact U de p tel que G (U ) soit un voisinage de q (lapplication
holomorphe non constante G est ouverte). Presque tous les termes de la
suite G (qn ) appartiendraient alors G (U ) et linjectivit de G garantirait
que presque tous les (qn ) sont dans U , ce qui contredirait le fait que (qn )
sort de tout compact.
Nous pouvons considrer maintenant le revtement universel du
disque point (5) : D D \ {q }. Puisque S est simplement connexe,
lapplication G : S G (S) D \ {q } se relve en une application Ge : S D
telle que G = Ge . La suite Ge (qn ) sort ncessairement de tout compact,
cest--dire que |Ge (qn )| 1.
Si F est la fonction de Green du disque dont la singularit logarith-
mique est en Ge (p 0 ), lapplication Fe = F Ge est une nouvelle majorante
de Green sur S, admettant une singularit logarithmique simple en p 0 et
vrifiant Fe(qn ) 0. Puisque g est infrieure toute majorante de Green
sur S, cela contredit lhypothse g (qn ) " et achve la preuve du tho-
rme XI.4.5.
D D \ {0}
+1
z 7 exp zz 1
zwei Variabeln geht jedoch noch nicht hervor, ob es mglich ist, die eindeu-
tigen Functionen der neuen Variabeln so zu whlen, da, whrend diese
Variabele das regulre Gebiet jener Functionen durchluft, auch wirklich die
Gesamtheit aller regulren Stellen des vorgelegten, analytischen Gebildes
zur Darstellung gelangt. Vielmehr scheinen in Poincars Untersuchungen,
abgesehen von den Verzweigungspunkten, noch gewisse andere im Allge-
meinen unendlichviele diskrete Stellen vorgelegten analytischen Gebildes
ausgenommen zu sein, zu denen man nur gelangt, indem man die neue
Variable gewissen Grenzstellen der Functionen nhert. Eine Klrung und
Lsung dieser Schwierigkeit scheint mir in Anbetracht der fundamentalen
Bedeutung der Poincarschen Fragestellung uerst wnschenswert.
On suppose ici que c k tend vers un rel c . Nous venons de voir que sur
tout ouvert D relativement compact dans S, la suite (g k ) est, partir dun
certain rang, dfinie sur D \ {p 0 }, harmonique et strictement croissante.
Sur notre ouvert de carteU0autour de p 0 , on peut considrer la suite de
fonctions u k := g k log |z1| . Il sagit dune suite croissante de fonctions
harmoniques et u k (p 0 ) = c k est une suite convergente. On va alors pou-
voir appliquer le principe de Harnack, dont nous rappelons ci-dessous
lnonc et la preuve.
(x , y ) K 2 u (x ) C K u (y ). (XII.1)
ce qui montre que la fonction u est borne sur tout compact de D. Par le
thorme de convergence domine, u vrifie la proprit de la moyenne :
Z 2
1
u (z ) = u (z + r e i )d
2 0
pour tout z dans D et tout 0 < r < 1 |z |. Il en rsulte que u est har-
monique sur D. Il suffit en effet dutiliser un noyau rgularisant n : la
rgularise n ? u est lisse et a la proprit de la moyenne, donc est har-
monique. Mais u n = u par la proprit de la moyenne. La fonction u est
en particulier continue et le lemme de Dini permet de conclure que (u k )
converge uniformment vers u sur tout compact de D.
R C | 0 (0)|,
|k 0 (i )||h 0 (0)| 1.
|(Fk +m G k1 )0 (0)| = e c k .
|Uk +m Uk | 2e c k . (XII.2)
426 CHAPITRE XII. LA PREUVE DE KOEBE
|Vk | e c k .
|Vm +k Vk | 2e c k .
:= {p S ; |z (p )| < r } et A := S \ .
0 := {p S ; |z (p )| < r 0 }.
1. Comme nous lavons signal dans lintroduction de cette partie, Poincar et Koebe
considrent comme vident que S est homomorphe au plan, donc que A = S \ est
homomorphe un anneau.
XIII.2. EXISTENCE DUNE MAJORANTE DE GREEN SUR LANNEAU A 431
u n+1 := B (u n , D n+1 ).
peut crire
d d c u = u d a d b.
De plus, cette 2-forme admet une interprtation lectrostatique :
tant donne une distribution de charges ngatives dfinie par une
2-forme , le potentiel associ cette distribution de charges est
une fonction u telle que d d c u = . On retiendra donc quune
fonction lisse u est sous-harmonique si et seulement si d d c u est
une 2-forme positive.
Dans le processus de balayage qui nous intresse ici, nous
aurons considrer des fonctions sous-harmoniques qui ne sont
pas diffrentiables. Lexemple typique que lon rencontrera sera le
maximum de deux fonctions harmoniques. Pour de telles fonc-
tions, on aimerait dfinir la rpartition de charges correspon-
dante ; on cherche donc dfinir d d c u pour toute fonction conti-
nue u . Il nous faut pour cela faire appel la thorie des distribu-
tions.
Soit C c (U ) lespace des fonctions lisses support compact sur
U . Si u est une fonction continue sur U , on dfinit d d c u au sens
des distributions : cest la forme linaire sur C c (U ) donne par
Z
d d c u , := u d d c .
U
Si u est lisse, d d c u au sens des distributions concide avec d d c u
au sens usuel, en interprtant ce dernier comme une forme linaire
sur C c (U ) par intgration.
assez petit,
Z
c
d d u " , = u" d d c
U
Z
= u d d c ( " )
U
= d d c u , " 0.
Ceci montre que d d c u " (au sens des distributions) est une forme
linaire positive. Comme u " est lisse, d d c u " est bien dfini au sens
usuel et positif (en tant que 2-forme). Par suite, u " vrifie linga-
lit (XIII.5). Comme u " tend vers u uniformment sur tout compact
quand " tend vers 0, on en dduit que u vrifie galement (XIII.5),
cest--dire est sous-harmonique.
Rciproquement, supposons que u soit sous-harmonique, cest-
-dire vrifie lingalit (XIII.5). Linvariance par rotation de "
permet alors de montrer que u " vrifie galement cette ingalit.
Comme u " est lisse, on en dduit que d d c u " est positif. En utili-
sant la convergence uniforme de u " vers u , on a alors, pour toute
fonction C c (U ) avec 0 :
Z
d d c u , = uddc
U
Z
= lim u"d d c
"0
U
Z
= lim d d c u " 0.
"0
U
Ceci montre que ddcu au sens des distributions est une forme
linaire positive.
S \ A = = {p S ; |z (p )| r }.
Lemme XIII.2.5. Soient r et r 0 tels que 0 < r < r 0 < 1. Pour tout s ,
notons D(0, s ) le disque ouvert de rayon s centr lorigine dans C. Si
u : D(0, 1) R est une fonction continue, sous-harmonique et qui sannule
sur le disque D(0, r ), alors
Z 2 Z
1 0 i r0
u (r e )d log ddcu. (XIII.6)
2 0 r D(0,r 0 )
R 2
Preuve. Pour 0 < s < 1, notons J (s ) = 2 1
0
u (s e i )d . Commen-
ons par le cas o u est une fonction lisse ; on va alors majorer J (r 0 ) en
intgrant sa drive. Pour 0 s < 1, on a
Z 2
du d
0
s J (s ) = (s e i )s .
0
ds 2
Daprs la formule de Green, le membre de droite ci-dessus sinterprte
comme lintgrale du laplacien de u sur le disque D(0, s ) : on a donc, pour
0 < s < r 0, Z Z
0 1 c 1
J (s ) = dd u ddcu.
s D(0,s ) s D(0,r 0 )
En intgrant cette ingalit, on obtient
Z
0 r0
J (r ) J (r ) log ddcu.
r D(0,r 0 )
R
balayage , autrement dit que A\{p } d d c u n est indpendante de n et,
R 0
que ceci signifie que u n est une fonction dfinie et harmonique sur
A n \ {p 0 }, qui possde une singularit logarithmique simple en p 0 (voir
dfinition XI.1.1) et qui tend vers 0 quand on sort de tout compact de
A n . On tend la fonction u n sur lanneau A en posant u n = 0 sur A \ A n ;
la fonction ainsi obtenue est continue.
La preuve de Koebe consiste montrer que la suite des fonctions
(u n )n0 converge (uniformment sur tout compact de A \ {p 0 }) vers une
majorante de Green sur A. Pour tout n 0, la fonction u n est harmo-
nique sur A n \ {p 0 }, nulle sur A \ A n , tend vers + au voisinage de p 0 ;
le principe du maximum entrane donc que u n est positive ou nulle.
Ceci implique que la fonction u n+1 u n est positive ou nulle sur A \ A n
(en effet, u n+1 est positive ou nulle et u n est nulle sur A \ A n ) ; comme
u n+1 u n est harmonique sur A n (y compris en p 0 ), on en dduit, en
utilisant nouveau le principe du maximum, que u n+1 u n est positive
ou nulle sur tout A. Ainsi, (u n )n0 est une suite croissante de fonctions
positives ou nulles. Daprs le principe de Harnack XII.2.1, pour montrer
que la suite (u n )n0 converge uniformment sur tout compact de A
vers une fonction u : A \ {p 0 } R (qui sera alors automatiquement une
majorante de Green), il suffit de trouver un point p A \ {p 0 } tel que la
suite (u n (p ))n0 soit borne.
Largument cl est une majoration de lintgrale, le long de A, de
la drive partielle de u n dans la direction normale A. Pour " > 0
assez petit, notons B " le disque ouvert de centre p 0 de rayon ", dans une
coordonne holomorphe locale dfinie au voisinage de p 0 , puis notons
A n," := A n \ B " . Le bord de A n," (dans S) est constitu de trois compo-
santes A, D n et B " . Si p est un point du bord A n," , on note un (p )
la drive partielle de la fonction u n dans la direction de la normale ren-
trante au bord de A n," , value au point p . La formule de Green scrit :
un un un
Z Z Z Z
= u n . (XIII.7)
A
A B
D
n ," " n
un
Z
2. (XIII.8)
A
0
dans . Pour tout n 0, on note m n le minimum de la fonction u n sur
le cercle 0 = {p S ; |z (p )| = r 0 } et on considre la fonction h n dfinie
sur louvert U par
|z (q )|
log r
h n (q ) := m n 0 .
log rr
Sur le cercle = A = {p S ; |z (p )| = r }, les fonctions u n et h n sont
toutes deux nulles. Sur le cercle 0 = {p S ; |z (p )| = r 0 }, on a
u n hn = mn .
Comme les fonctions u n et h n sont toutes deux harmoniques sur 0 \ ,
on en dduit que u n majore h n sur 0 \ . Comme u n et h n concident
sur , ceci entrane que
un hn
(q ) (q )
un
en tout point q de = A. Daprs la majoration de lintgrale de
obtenue ci-dessus, on a donc
hn
Z
2.
A
Mais un calcul direct ( partir de la formule dfinissant h n ) donne
hn
Z
= 2r m n .
A
Ceci montre que la suite relle (m n )n0 est majore. On fixe maintenant
un point p sur 0 . Lingalit de Harnack (XII.1) implique quil existe
une constante K telle que
u n (p ) K m n
pour tout n . On conclut donc, comme souhait, que la suite (u n (p ))n0
est borne. Comme nous lavons expliqu plus haut, cela entrane que la
suite (u n )n0 converge (uniformment sur tout compact de A \{p 0 }) vers
une majorante de Green de lanneau A.
Le thorme duniformisation de
1907 2007
lui devons en premier lieu que la thorie de luniformisation, qui peut bien sr revendi-
quer un rle central dans lanalyse complexe, dresse devant nous sa structure mathma-
tique dune harmonie et dune grandeur particulire.
2. Ce que tu hrites de tes parents, il faut le conqurir pour le possder.
PILOGUE 449
3. Thus we are faced with the unique situation that the less restrictive idea of Riemann
surface is due to some unknown comment made by Prym and misunderstood by Klein,
selon la recension par Sario du livre de Weyl.
450 PILOGUE
Pour conclure, il faut encore expliquer que le cas particulier des sur-
faces compactes a connu un regain dintrt rcent suite aux mthodes
la Hamilton-Perelman pour dmontrer la conjecture de Poincar. Il tait
naturel de chercher dmontrer que toute mtrique riemannienne sur
une surface compacte est conformment quivalente une mtrique
courbure constante en suivant le flot de Ricci . La preuve que ce
procd fonctionne effectivement nest malheureusement pas aussi l-
mentaire que ce quon aurait pu esprer : elle date de 2006 [CLT2006].
Appendices
Correspondance entre Klein
et Poincar
I
Leipzig, le 12 juin 1881
Monsieur,
Vos trois Notes dans les Comptes rendus : Sur les fonctions
fuchsiennes [Poin1881b], dont jai dabord pris connaissance hier et
aussi alors seulement rapidement, sont en relation si troite avec les
rflexions et les efforts qui mont occup au cours des dernires annes,
que je me sens oblig de vous crire. Je voudrais, en premier lieu, me
rapporter aux diffrents travaux que jai publis dans les tomes XIV
[Kle1878b, Kle1878a, Kle1878c], XV [Kle1879a, Kle1879b] et XVII
[Kle1880a] des Mathematische Annalen sur les fonctions elliptiques. Il
ne sagit, avec les fonctions elliptiques modulaires, que dun cas
particulier du rapport de dpendance que vous avez considr ; mais un
examen plus pouss vous montrera quen effet javais un point de vue
gnral. cet gard, je voudrais attirer votre attention sur certains
points particuliers :
p. 128 du tome XIV [Kle1878b] traite des fonctions gnrales qui
peuvent tre reprsentes par des fonctions modulaires, sans tre
rattaches aux fonctions doublement priodiques. Il en rsulte,
dabord comme un cas particulier, limportante thorie du
polygone fondamental ;
p. 159-160 du tome XIV [Kle1878b], il est expos quon peut
reprsenter toutes les sries hypergomtriques par des fonctions
uniformes des fonctions modulaires convenables ;
les pages 428 et suivantes du tome XIV [Kle1878c] contiennent un
tableau qui illustre la disposition mutuelle des triangles darcs
circulaires avec les angles 7 , 3 , 2 (ce qui est aussi un exemple des
classes de fonctions particulires tudies par Halphen), propos
de quoi je dois remarquer maintenant que M. Schwarz avait dj
expliqu les cas 2 , 4 , 4 dans le tome LXXV du Journal de Crelle
[Schw1873].
Dans le tome XVII [Kle1880a], p. 62 et suivantes, je prsente ensuite
une vue densemble rapide des conceptions approfondies, que, dans
lintervalle, jai prpares avec la thorie des fonctions modulaires
elliptiques. Je nai rien publi sur ces conceptions, mais je les ai
prsentes, pendant lt 1879, dans un cours lcole denseignement
technique gnral de Munich. Mon fil des ides, qui se rapproche sur
CORRESPONDANCE ENTRE KLEIN ET POINCAR 457
4. La dnomination de ces fonctions fera lobjet dun vif dbat entre Klein et Poincar,
qui les appelle fuchsiennes. Ces fonctions sappellent aujourdhui automorphes.
458 CORRESPONDANCE ENTRE KLEIN ET POINCAR
depuis longtemps et je ne doute pas pour mon plus grand profit sil
ny avait pas le problme de la langue. Comme vous le savez peut-tre,
je suis rest suffisamment longtemps Paris pour parler et crire le
franais ; mais, entre-temps, cette disposition, faute de pratique, sest
fortement appauvrie.
Veuillez agrer lassurance de ma considration distingue.
Prof. Dr. F. Klein
Adresse : Leipzig, Sophienstrae 10/II.
II
[Caen, le] 15 juin [1881]
Monsieur,
Votre lettre me prouve que vous aviez aperu avant moi
quelques-uns des rsultats que jai obtenus dans la thorie des
fonctions fuchsiennes. Je nen suis nullement tonn ; car je sais
combien vous tes vers dans la connaissance de la gomtrie non
euclidienne qui est la clef vritable du problme qui nous occupe.
Je vous rendrai justice cet gard quand je publierai mes rsultats ;
jespre pouvoir me procurer dici l les tomes 14, 15 et 17 des
Mathematische Annalen qui nexistent pas la bibliothque
universitaire de Caen. Quant la communication que vous avez faite au
Polytechnicum de Munich, je vous demanderai de vouloir bien me
donner quelques dtails ce sujet, afin que je puisse ajouter mon
mmoire une note vous rendant pleine justice ; car sans doute, je ne
pourrai me procurer directement votre travail.
Comme je ne pourrai sans doute me procurer immdiatement les
Mathematische Annalen, je vous prierais aussi de vouloir bien me
donner quelques explications sur quelques points de votre lettre. Vous
parlez de les fonctions modulaires elliptiques (5) .
Pourquoi ce pluriel ? Si la fonction modulaire est le carr du module
exprim en fonction du rapport des priodes, il ny en a quune ; il faut
donc entendre autrement lexpression fonctions modulaires .
Que voulez-vous dire par ces fonctions algbriques qui sont
susceptibles dtre reprsentes par des fonctions modulaires ?
Quest-ce aussi que la thorie du polygone fondamental ?
5. Les expressions en italique suivies dun astrisque dans les lettres de Poincar sont
en allemand dans le texte original.
CORRESPONDANCE ENTRE KLEIN ET POINCAR 459
III
Leipzig, le 19 juin 1881
Monsieur,
Au reu, hier, de votre lettre, je vous ai envoy immdiatement les
tirs part, dans la mesure o jen possdais encore, des travaux se
rapportant notre sujet. Permettez-moi dy ajouter, aujourdhui,
quelques lignes dexplications. dire vrai, la question ne sera pas
puise en une seule lettre, mais il nous faudra en changer plusieurs,
jusqu ce que nous ayons, mutuellement, un bon contact. Je voudrais
faire ressortir, aujourdhui, les points suivants :
1. Parmi les travaux envoys il manque les trois les plus importants :
celui du tome XIV des Annalen [Kle1878b, Kle1878c, Kle1878a], de
mme mes recherches sur licosadre dans les tomes IX et XII
[Kle1875, Kle1877b], ainsi que mon deuxime mmoire sur les
quations diffrentielles linaires (qui semble galement inconnu
M. Picard) aussi dans le tome XII [Kle1877a]. Je vous prie de vous les
procurer quelque part. Jai envoy divers tirs part Paris, par exemple
Hermite.
2. Les travaux de mes lves Dyck et Gierster compltent les miens.
Je leur demande lun et lautre de vous envoyer leurs tirs part. Une
thse de doctorat de M. Hurwitz , en relation avec ces mmes thories,
va tre imprime et elle vous parviendra dici quelques semaines.
3. Un de vos compatriotes, dont le nom vous est sans doute connu,
puisquil a tudi avec Picard et Appell : M. Brunei (adresse :
Liebigstrae 4/II) est ici depuis lautomne dernier. Peut-tre seriez-vous
460 CORRESPONDANCE ENTRE KLEIN ET POINCAR
IV
Caen, le 22 juin 1881
Monsieur,
Je nai pas encore reu les envois que vous mannoncez et que je ne
tarderai sans doute pas voir arriver leur adresse. Mais je ne veux pas
attendre ce moment pour vous remercier de vos promesses, ainsi que
de votre lettre que jai lue avec le plus grand intrt. Aussitt aprs
6. Voir la figure 1.
462 CORRESPONDANCE ENTRE KLEIN ET POINCAR
V
Leipzig, le 25 juin 1881
Cher Monsieur,
Envoyez-moi je vous prie, sans tarder une carte postale pour me dire
si mon envoi des tirs part ne vous est pas encore parvenu ; je lai port
moi-mme la poste il y a aujourdhui huit jours. Vous vous exprimerez
diffremment sur F. (7) quand vous connatrez toute la bibliographie. La
thorie sur lapplication des polygones arcs circulaires est absolument
indpendante du mmoire de F. dans le tome 66 [Fuc1866] ; leur seul
point commun est davoir t inspirs par Riemann.
7. Fuchs
CORRESPONDANCE ENTRE KLEIN ET POINCAR 463
VI
Caen, le 27 juin 1881
Monsieur,
Au moment o jai reu votre carte, jallais prcisment vous crire
pour vous remercier de votre envoi et vous en annoncer larrive. Sil a
t retard cest par suite dune erreur de la poste qui la envoy dabord
la Sorbonne, puis au Collge de France, bien que ladresse et t
parfaitement bien mise.
En ce qui concerne M. Fuchs et la dnomination de fonctions
fuchsiennes, il est clair que jaurais pris une autre dnomination si
javais connu le travail de M. Schwarz ; mais je ne lai connu que par
votre lettre, aprs la publication de mes rsultats de sorte que je ne peux
plus changer maintenant le nom que jai donn ces fonctions sans
manquer dgards M. Fuchs. Jai commenc la lecture de vos
brochures qui mont vivement intress, principalement celle qui a pour
titre Uber elliptische Modulfunktionen [Kle1880a]. Cest au sujet de cette
dernire que je vous demanderai la permission de vous adresser
quelques questions.
1 Avez-vous dtermin les polygones fondamentaux de tous les
sous-groupes que vous appelez groupes de congruence et en particulier
de ceux-ci :
= = 1 , = = 0 mod n .
2 Dans mon mmoire sur les fonctions fuchsiennes, jai partag les
groupes fuchsiens daprs divers principes de classification et entre
autres daprs un nombre que jappelle leur genre. De mme vous
partagez les sous-groupes daprs un nombre que vous appelez leur
Geschlecht (8) . Le genre (tel que je lentends) et le Geschlecht sont-ils un
seul et mme nombre ? Je nai pu le savoir, parce que je ne sais pas ce
que cest que le Geschlecht im Sinne der Analysis Situs (9) . Je vois
seulement que ces nombres sannulent la fois. Auriez-vous donc
lobligeance de me dire ce que cest que ce Geschlecht im Sinne der
8. Genre . Nous ne traduisons pas, car cest lobjet dune discussion entre Klein et
Poincar.
9. Genre au sens de lAnalysis Situs .
464 CORRESPONDANCE ENTRE KLEIN ET POINCAR
Analysis Situs ou, si cette dfinition est trop longue pour tre donne
dans une lettre, dans quel ouvrage je pourrais la trouver ? Dans votre
dernire lettre, vous me demandiez si je me suis renferm dans le cas
particulier o le groupe des transformations linaires est alors
caractris par le fait quil est contenu dans un groupe doprations deux
fois plus grand, qui, ct des transformations linaires, contient aussi
les rflexions . Je ne me suis pas renferm dans ce cas, mais jai
suppos que toutes les transformations linaires conservaient un
certain cercle fondamental. Je pense dailleurs pouvoir aborder par une
mthode analogue le cas le plus gnral.
ce propos, il me semble que tous les sous-groupes relatifs aux
fonctions modulaires ne rentrent pas dans ce cas spcial.
Au sujet de ce groupe discontinu dont vous me parlez et que lon
obtient par des rflexions et par lengendrement par symtries dun
polygone limit par des arcs de cercles se touchant deux deux il me
semble quil y a une condition supplmentaire dont vous navez pas
parl bien quelle ne vous ait sans doute pas chapp : deux arcs de
cercle quelconques prolongs ne doivent pas se couper. Serait-ce
abuser de votre complaisance que de vous poser encore une question ?
Vous dites : dans ce cas, lexistence de la fonction a t tablie
rigoureusement par les travaux de longue date de Schwarz et de
Weierstrass , et vous ajoutez si lon ne veut pas faire appel aux
principes gnraux de Riemann . Quentendez-vous par l ?
Jai crit dernirement M. Hermite ; je lui ai fait part succinctement
du contenu de vos lettres, et je lui ai envoy les compliments dont vous
maviez charg pour lui.
Veuillez agrer, Monsieur, lassurance de ma reconnaissance et de
mon respect.
Poincar
VII
Leipzig, le 2 juillet 1881
Cher Monsieur,
Laissez-moi, sans tarder, rpondre aux diffrentes questions que
vous me posez dans votre lettre, qui arrive propos, du 27 juin.
1. Jai dcrit en dtail, dans le tome 14 [Kle1878b, Kle1878c], les
polygones fondamentaux des groupes de congruence = = 1 ,
= = 0 (mod n ) pour n = 5 (o par dformation simultane des artes
CORRESPONDANCE ENTRE KLEIN ET POINCAR 465
Supposons maintenant que I, II, III, IV, V, ... soient des points de
ramification dune fonction algbrique w (z ) ; et que cette fonction
algbrique ne possde aucun autre point de ramification. Alors il est
vident que w et z sont des fonctions uniformes du type considr des
variables auxiliaires dans le plan desquelles se trouve le polygone. Si
donc tous les points de ramification dune fonction algbrique w (z ) sont
situs sur un cercle du plan des z , alors, indubitablement, la rponse est
positive. Et si, maintenant, ce nest pas le cas ? Alors jarrive, en fait, des
polygones que je vous citais la dernire fois. Si la figure ne prsente
aucune symtrie, jarrive au moins (en tablissant des quations
000 00
diffrentielles appartenant au type que jai trait : 0 32 0 = R(z ))
un espace fondamental form dune manire analogue, dont les artes
pour des angles nuls se rencontrent, et qui, de plus, se groupent
ensemble deux deux par des substitutions linaires. Mais je ne peux
pas dmontrer que cet espace fondamental ensemble avec ses rptitions
recouvre seulement une partie du plan complexe. Et cette difficult
marrte dj depuis longtemps.
5. De plus, on obtient dautres cas remarquables des groupes
discontinus si on prend un nombre quelconque de cercles deux deux
disjoints et on les rflchit par des rayons rciproques. Pour plus de
clart, jai hachur la partie du plan extrieure tous les cercles et qui
donc reprsente le demi-polygone fondamental (11) . Schottky (Journal
de Borchardt, t. 83, p. 300-351 [Schot1877]) a tudi, occasionnellement,
ces groupes, sans que l ait t souleve leur signification fondamentale.
a donc tendance les considrer comme peu srs, bien que lon puisse
tre certain que les rsultats qui en dcoulent soient exacts. Par contre,
au sujet du problme que javais mentionn de lapplication des
polygones arcs circulaires, Weierstrass et Schwarz ont une
dtermination effective des constantes considres par des procds
convergents. Si lon veut utiliser les principes de Riemann, alors on peut
tablir le thorme trs gnral suivant. Soit donn un polygone ayant
un ou aussi plusieurs contours spars. Le polygone peut tre
plusieurs feuillets, dont les feuillets sont relis par des points de
ramification. Chaque contour est compos de plusieurs morceaux ;
chaque morceau se transforme en un autre par une substitution linaire
dtermine. On peut, alors, toujours construire une fonction, qui
possde lintrieur du polygone des discontinuits arbitraires, et dont
la partie relle prend certains modules de priodicit donns, lorsquon
passe dun morceau de la frontire au morceau correspondant en
traversant lintrieur du polygone. ces fonctions appartiennent, en
particulier, celles qui, lintrieur du polygone, sont constamment
uniformes et qui prennent la mme valeur pour deux points
correspondants quelconques de la frontire. La dmonstration est
exactement semblable celle donne par Riemann dans le 12 de la
premire partie de ses Fonctions abliennes [Rie1857] pour le
polygone particulier constitu par p paralllogrammes empils les uns
sur les autres, relis par 2p 2 points de ramification. Ce thorme, que
je nai dailleurs mis en forme quau cours des derniers jours, englobe,
me semble-t-il, toutes les preuves dexistence, dont vous parlez dans vos
notes, comme des cas particuliers ou dductions faciles. Du reste, mon
thorme, comme bon nombre de ceux que jcris aujourdhui, nest pas
encore formul dune faon prcise ; il me faudrait tre beaucoup plus
complet si je voulais lviter ; vous discernerez facilement ma pense.
7. Laissez-moi encore ajouter une remarque sur une autre de vos
publications [Poin1881a]. Vous mentionnez que les fonctions , qui
rsultent de linversion des intgrales algbriques sur les courbes de
genre p , ne sont pas les fonctions gnrales. Vous ne pouvez pas
savoir que justement ces raisonnements sont gnralement connus : un
grand nombre de jeunes mathmaticiens travaillent sur ce sujet, pour
trouver les conditions permettant de distinguer les fonctions dites de
Riemann des fonctions gnrales. Par contre, je suis tonn que vous
indiquiez que le nombre des modules des fonctions de Riemann soit
468 CORRESPONDANCE ENTRE KLEIN ET POINCAR
VIII
Caen, le 5 juillet 1881
Monsieur,
Jai reu votre lettre que jai lue avec le plus vif intrt. Je vous
demande mille pardons de la question que je vous ai pose au sujet du
Geschlecht im Sinne der Analysis Situs. Jaurais pu vous viter la peine de
my rpondre, puisque je trouvais lexplication la page suivante de
votre mmoire. Vous vous rappelez sans doute que, dans une de mes
dernires lettres, je vous demandais lautorisation den citer une phrase
dans une communication o je me proposais de gnraliser vos
rsultats. Vous ne mavez pas rpondu ce sujet et jai pris votre silence
pour un acquiescement. Jai fait cette communication en deux fois,
dans les sances du 27 juin et du 4 juillet [Poin1881d, Poin1881e].
Vous trouverez que nous nous sommes rencontrs sur quelques
points. Mais la citation que jai faite de votre phrase vous sera, je pense,
une garantie suffisante.
Permettez-moi, Monsieur, encore une question ; o trouverai-je les
travaux de MM. Schwarz et Weierstrass dont vous me parlez ; dabord au
sujet de ce thorme que : on peut toujours appliquer le demi-plan sur
un polygone arcs circulaires de faon que les points I, II, III, IV, V qui
correspondent aux points 1, 2, 3, 4, 5 de la frontire du demi-plan aient
une position quelconque . Ce thorme ne mtait pas inconnu, car je
lai dmontr dans ma communication du 23 mai [Poin1881c]. Mais o
le trouverai-je dans les travaux de mes devanciers ? Est-ce au tome 70 de
Crelle ? O trouverai-je aussi les dveloppements dont vous parlez dans
la phrase suivante : Par contre, au sujet du problme que javais
mentionn de lapplication des polygones arcs circulaires, Weierstrass et
Schwarz ont une dtermination effective des constantes considres par
des procds convergents.
CORRESPONDANCE ENTRE KLEIN ET POINCAR 469
IX
Leipzig, le 9 juillet 1881
Cher Monsieur,
Dans une rponse rapide votre lettre, jai dire, peu prs, les
choses suivantes :
1. Il me convient que vous ayez cit ce passage de ma lettre. Jusqu
prsent, je ne suis en possession que de votre Note du 27 juin
[Poin1881d]. En ce qui concerne le nom que vous avez donn cette
classe de fonctions, jai t passablement tonn ; car je nai, en ralit,
fait rien dautre que de reconnatre lexistence de ces groupes. Pour ma
part, je nutiliserai ni fuchsiennes ni kleinennes, mais men tiendrai
mes fonctions transformations linaires .
2. Ce que jai dit des principes de Riemann ntait pas assez prcis. Il
ne fait aucun doute que le principe de Dirichlet doit tre abandonn,
parce que nullement concluant. Mais on peut le remplacer
compltement par des mthodes de dmonstration plus rigoureuses.
Vous trouverez cela expos plus en dtail dans un travail de Schwarz,
470 CORRESPONDANCE ENTRE KLEIN ET POINCAR
que jai examin justement ces jours-ci (en vue de mon cours) et dans
lequel vous trouverez des informations sur la dtermination des
constantes, qui taient seulement indiques dans le Journal de
Borchardt [Schw1873] (toutefois, il vous faudra examiner les mmoires
publis dans les tomes 70, 74 et 75 du Journal de Borchardt) ; ce travail
de Schwarz se trouve dans les Berliner Monatsberichten 1870, p. 767-795
[Schw1870a].
3. La dmonstration gnrale dexistence, que jai mentionne la
dernire fois, reste, naturellement, valable pour les groupes forms de
substitutions analytiques quelconques (non ncessairement linaires).
Il est remarquable que, dans ce sens, tout groupe doprations dfinisse
des fonctions qui restent inchanges par lui. Les groupes discontinus
ont seulement lavantage quils engendrent des fonctions uniformes, ce
qui est dailleurs tout fait fondamental. Pourra-t-on matriser les cas
plus difficiles par des fonctions uniformes de plusieurs variables,
comme on a coutume de le faire, en particulier, dans le cas trait par
Riemann dans le 12 [Rie1857] grce au problme dinversion de
Jacobi ?
Voil pour aujourdhui. Entre-temps, jai parcouru avec Monsieur
Brunei mes travaux, notamment aussi les cahiers des cours de
1877-1878 et 1878-1879 (que, lpoque, javais fait remanier), et
M. Brunei vous en crira prochainement.
Veuillez agrer lassurance de ma considration distingue et de mes
sentiments dvous.
Prof. Dr. F. Klein
X
Leipzig, le 4 dcembre 1881
Sophienstrae 10/II
Monsieur,
Aprs avoir longtemps rflchi seulement de temps en temps aux
problmes auxquels nous nous intressons tous les deux, jai saisi
loccasion ce matin de lire lensemble de diffrentes communications
que vous avez publies la suite dans les Comptes rendus. Je vois que
maintenant vous avez rellement dmontr (8 aot) : que toute quation
diffrentielle linaire coefficients algbriques sintgre par les fonctions
ztafuchsiennes et que les coordonnes des points dune courbe
algbrique quelconque sexpriment par des fonctions fuchsiennes dune
CORRESPONDANCE ENTRE KLEIN ET POINCAR 471
variable auxiliaire (12) . Tout en vous flicitant pour les rsultats que vous
avez obtenus, je voudrais vous faire une proposition qui respecte, la
fois, votre intrt et le mien. Je vous demande de menvoyer, pour les
Mathematische Annalen, un article, plus ou moins long, ou, si vous ne
trouvez pas le temps de le rdiger, une lettre dans laquelle vous
exposerez, grands traits, vos points de vue et vos rsultats.
Jaccompagnerai alors cette lettre avec une note dans laquelle
jexposerai comment je vois la question, et comment justement le
programme, que vous accomplissez en ce moment, a servi de
fondement du principe dorientation de mes travaux sur les fonctions
modulaires. Naturellement, cette note vous sera soumise, pour avis,
avant lenvoi limprimeur. Par une telle publication nous obtiendrons
un double effet : dune part, ce que probablement vous souhaitez,
lattention des lecteurs des Math. Annalen serait attire dfinitivement
sur vos travaux ; dautre part, vos travaux seraient prsents au grand
public, en lui montrant ainsi les liens qui existent rellement avec les
miens. Vous avez lintention, comme vous me lavez crit, danalyser ces
relations dans votre mmoire dtaill ; mais sa rdaction demandera du
temps, et je tiens que ce soit dit aussi dans les Annalen.
Pour ma part, jai, entre-temps, rdig un petit trait sur la thorie
de Riemann [Kle1882c], qui pourrait vous intresser, car il prsente une
conception de la surface de Riemann avec laquelle, daprs moi,
Riemann lui-mme avait rellement travaill. Peut-tre M. Brunei vous
a-t-il inform ce sujet. Je me suis occup de plus, ces derniers temps,
de diffrentes preuves dexistence que lon avait labores pour
remplacer le principe de Dirichlet, et je suis convaincu que les
mthodes exposes par Schwarz dans les Berliner Monatsberichten,
1870, p. 767 et suivantes [Schw1870a], suffisent en effet compltement
pour dmontrer, par exemple, le thorme gnral, sur lequel jai crit,
occasionnellement, cet t.
Veuillez agrer lassurance de ma considration distingue.
F. Klein
XI
8 dcembre 1881
Paris, rue Gay-Lussac 66
Monsieur,
Je vous remercie infiniment de loffre obligeante que vous voulez
bien me faire et je suis tout dispos en profiter. Je vous enverrai
prochainement la lettre que vous me demandez ; je vous prierai
pourtant de me dire quelle place vous pouvez lui consacrer dans les
Annales. Je sais que la clientle de votre journal est nombreuse et que
ltendue que vous pouvez permettre chaque travail est forcement
limite et je ne voudrais pas abuser de votre bienveillance. Quand je
saurai quelle longueur je puis donner ma lettre, je vous lcrirai
immdiatement.
Jaurai prochainement lhonneur de vous envoyer diverses notes
relatives la thorie gnrale des fonctions, si vous voulez bien les
accepter.
Jai lu dernirement le mmoire de Schwarz dans les
Monatsberichten [Schw1870a] et ses dmonstrations mont paru
rigoureuses.
Veuillez agrer, Monsieur, mes remerciements et lexpression de ma
grande considration.
Poincar
XII
Leipzig, le 10 dcembre 1881
Monsieur,
Que ma proposition vous ait t agrable, voil qui me rjouit : voil
une loi de rciprocit. En ce qui concerne la question que vous me
posez, je voudrais vous rpondre, avant tout, que votre article sera
dautant plus propos quil me parviendra rapidement. Si je le reois
avant le 20 courant, je linclurai dans le fascicule 4 du tome 19 des
Annalen qui est en train de paratre ; il sera donc publi au dbut de
mars (au plus tard). En ce qui concerne son tendue, je peux prvoir, si
vous le souhaitez, environ un placard (16 pages). Cela est assez pour que
vous puissiez exprimer nettement lessentiel, et sans tre aussi trop long
pour un lecteur rapide. Je voudrais, de plus, vous demander de donner
notamment aussi des indications ncessaires sur les mthodes de vos
dmonstrations, cest--dire comment vous construisez rellement les
CORRESPONDANCE ENTRE KLEIN ET POINCAR 473
XIII
Paris, le 17 dcembre 1881
rue Gay-Lussac 66
Monsieur,
Jai lhonneur de vous adresser le petit travail en question
[Poin1882c] ; je nai pas, comme vous me le demandiez, expos
succinctement mes mthodes de dmonstration. Je naurais pu le faire
sans dpasser de beaucoup les limites que vous maviez fixes. Je sais
que ces limites navaient rien dabsolu. Mais dun autre ct je ne crois
pas quune dmonstration puisse tre rsume ; on ne peut en
retrancher sans lui enlever sa rigueur et une dmonstration sans rigueur
nest pas une dmonstration. Je prfrerais donc vous adresser de temps
en temps une srie de courtes lettres o je dmontrerais
successivement les rsultats noncs ou du moins les principaux. Ces
lettres, vous en feriez ce que bon vous semblerait. Jhabite en effet Paris,
je suis matre de confrences la Facult des Sciences.
Voici ladresse de Picard : Professeur Supplant la Facult des
Sciences, rue Michelet 13, Paris.
Je vous donne par la mme occasion celle dAppell : Matre de
Confrences lcole Normale Suprieure, rue Soufflot 22, Paris.
Veuillez agrer, Monsieur, lassurance de ma considration la plus
distingue.
Poincar
474 CORRESPONDANCE ENTRE KLEIN ET POINCAR
XIV
Leipzig, le 13 janvier 1882
Monsieur,
Je ne vous ai pas encore remerci personnellement pour lenvoi de
votre article, pour lequel je me sens en effet votre oblig. Nous allons
pouvoir limprimer dans quelques jours. Vous en recevrez des preuves,
que je vous demanderai de renvoyer, aprs correction, limprimerie
Teubner Leipzig. Voulez-vous examiner cette occasion, en
particulier, le court commentaire que jai joint votre article, dans le
sens prcdemment spcifi, et dans lequel je proteste, autant que je
peux, contre les deux dnominations : fuchsiennes et kleinennes en
citant Schottky en ce qui concerne cette dernire et dsignant, au
demeurant, Riemann comme tant celui qui est lorigine de toutes ces
recherches ? Je me suis efforc de conserver ce commentaire un
caractre aussi mesur que possible, mais je vous prie de mcrire
immdiatement si vous souhaitez encore y apporter des modifications.
Je nai voulu aucunement diminuer le mrite de vos travaux. En outre,
jai rdig maintenant encore un petit article [Kle1882a] qui doit tre
imprim la suite du vtre. Il expose, galement sans dmonstration,
quelques-uns des rsultats appartenant au domaine concern, avant
tout celui-ci : que toute quation algbrique f (w, z ) = 0 peut tre rsolue
dune manire et dune seule par w = () , z = (), du moment quont
t traces sur la surface de Riemann correspondante p coupures de
rebroussement indpendantes, o est un groupe discontinu, tels ceux
dont vous mavez entretenu la suite de ma lettre. Ce thorme est
dautant plus beau que ce groupe a exactement 3p 3 paramtres
essentiels, cest--dire autant que les quations du p donn possdent
de modules. Ici se greffent quelques rflexions supplmentaires qui me
paraissent intressantes. Afin de vous en faire part, aussi compltement
que possible, jai donn des ordres limprimerie de vous envoyer
galement les preuves de mon article, que vous pouvez ensuite
conserver.
En ce qui concerne la dmonstration, elle est difficile. Jopre
toujours avec des ides de Riemann, respectivement avec la geometria
situs. Cest trs difficile rdiger clairement. Je vais mefforcer de le faire
ultrieurement. En attendant, je souhaite trs vivement correspondre
avec vous ce sujet et aussi au sujet de vos dmonstrations. Soyez
persuad que jtudierai avec le plus grand intrt les lettres ce sujet
CORRESPONDANCE ENTRE KLEIN ET POINCAR 475
XV
[Paris, janvier 1882]
Monsieur,
Jai reu les preuves de Teubner, et je vais les lui renvoyer. Jai lu
votre note et je ne vois pas quil y ait lieu dy changer quoi que ce soit.
Vous me permettrez cependant de vous adresser quelques lignes pour
chercher justifier mes dnominations. Jattends avec impatience le
thorme que vous mannoncez et qui me parat des plus intressants.
Veuillez agrer, Monsieur, lassurance de ma considration la plus
distingue.
Poincar
XVI
Paris, 28 mars 1882
Monsieur,
Vous avez ajout mon travail : Sur les fonctions uniformes qui se
reproduisent par des substitutions linaires [Poin1882c], une note o
vous exposez les raisons qui vous ont fait rejeter mes dnominations.
Vous avez eu la bont de men envoyer les preuves imprimes en me
demandant si jy dsirais quelque changement. Je vous remercie de la
dlicatesse de votre procd, mais je ne pouvais en abuser pour vous
demander de taire la moiti de votre pense.
Vous comprenez cependant que je ne puis laisser les lecteurs des
Annales sous cette impression que jai commis une injustice. Cest
pourquoi je vous ai crit, vous vous le rappelez peut-tre, que je ne vous
demandais aucun changement votre note, mais que je vous
demanderais la permission de vous adresser quelques lignes pour
justifier mes dnominations.
Voici ces lignes ; peut-tre jugerez-vous convenable de les insrer.
mon tour, je vous demanderai si vous dsirez que je fasse quelque
476 CORRESPONDANCE ENTRE KLEIN ET POINCAR
XVIII
Dsseldorf, le 3 avril 1882
Adresse : Bahnstrae 15
Monsieur,
Votre envoi, qui ma t retransmis de Leipzig, mest parvenu hier au
moment o jallais vous crire afin daccompagner de quelques mots
ma dernire note des Annalen [Kle1882a], dont une preuve doit tre
dj entre vos mains. Entre-temps, jai reu la note du Prof. Fuchs des
Gttingen Nachrichten. Si je devais dire deux mots de cette dernire, ce
serait que je la juge compltement manque. Jai simplement indiqu
que Fuchs navait jamais rien publi sur les fonctions fuchsiennes. Il en
478 CORRESPONDANCE ENTRE KLEIN ET POINCAR
Mais assez sur ce sujet. Jai envoy, sans tarder, votre note
limprimerie, en y joignant seulement une remarque : jen reste, pour
ma part, ma prsentation prcdente (et cette occasion jattire
expressment lattention du public sur la note de M. Fuchs). Vous allez
recevoir, incessamment, les preuves et je vous prie donc de me les
retourner rapidement ici (o je passe les vacances de Pques), aprs
quoi je ferai le ncessaire avec limprimerie. (Votre note paratra
immdiatement aprs la mienne.) En ce qui concerne le passage sur
Schottky, je voudrais attirer votre attention sur un mmoire posthume
dans les uvres de Riemann, p. 413, o sont dveloppes exactement
les mme ides. Il est vrai, il est difficile de dterminer lapport ventuel
de lditeur M. le Prof. Weber. Les uvres de Riemann sont parues en
1876, la thse de Schottky en 1875, puis en 1877 sous la forme dun
mmoire dans le Journal de Borchardt [Schot1877]. Mais la thse de
1875 ne reprsente quune partie du mmoire de 1877 et je ne me
souviens pas si la figure concerne se trouvait dj dans le texte de 1875.
Je dois ajouter que, pour ma part, je nai pas lintention de prolonger
le dbat au sujet de la dnomination (aprs avoir joint la note dont il a
t question ci-dessus votre explication). Pourtant, si jtais conduit
intervenir nouveau, je donnerai, cest sr, une prsentation trs
complte et franche de ltat des choses. Laissez-nous plutt rivaliser
pour savoir lequel de nous sera le mieux mme de faire avancer la
thorie en question ! Je pense, pour ma part, avoir ralis un certain
progrs par ma nouvelle note. Toute une suite de thormes sur les
fonctions algbriques se dmontre immdiatement grce la nouvelle
fonction , par exemple le thorme, que jai seulement dabord indiqu
comme vraisemblable dans mon livre sur Riemann, quune surface de
genre p > 0 ne peut jamais possder une infinit de transformations en
soi uniformes discrtes (car elle pourrait alors se dcomposer en un
nombre de polygones fondamentaux quivalents ). Mais aussi le
thorme que les diffrents thormes donns par Picard pour p = 0
peuvent tre gnraliss pour p quelconque, etc.
En ce qui concerne les mthodes, par lesquelles je dmontre mes
thormes, je vous en crirai ds que je les aurai un peu plus clarifies.
Entre-temps, pourriez-vous mexposer les ides que vous poursuivez
actuellement ? Je nai pas besoin de vous prciser que nous aurons
plaisir publier dans les Mathematische Annalen tout article que vous
voudrez nous adresser. Il me tient cur de rester en liaison active avec
480 CORRESPONDANCE ENTRE KLEIN ET POINCAR
XIX
Paris, le 4 avril 1882
Monsieur,
Je viens de recevoir votre lettre et je mempresse de vous rpondre.
Vous me dites que vous dsirez clore un dbat strile pour la Science et
je ne puis que vous fliciter de votre rsolution. Je sais quelle ne doit
pas vous coter beaucoup puisque, dans votre note ajoute ma
dernire lettre, cest vous qui dites le dernier mot, mais je vous en sais
gr cependant. Quant moi, je nai ouvert ce dbat et je ny suis entr
que pour dire une fois et une seule mon opinion quil mtait impossible
de taire. Ce nest pas moi qui le prolongerai, et je ne prendrais de
nouveau la parole que si jy tais forc ; dailleurs je ne vois pas trop ce
qui pourrait my forcer.
Si jai donn votre nom aux fonctions kleinennes, cest pour les
raisons que jai dites et non pas, comme vous linsinuez, titre de
ddommagement ; car je nai vous ddommager de rien ; je ne
reconnatrai un droit de proprit antrieur au mien que quand vous
maurez montr que lon a avant moi tudi la discontinuit des
groupes et luniformit des fonctions dans un cas tant soit peu gnral
et quon a donn de ces fonctions des dveloppements en sries. Je
rponds une interrogation que je trouve en note la fin dune page de
votre lettre. Parlant des fonctions dfinies par M. Fuchs au tome 89 de
Crelle, vous dites : Sont-elles rellement uniformes ? Je comprends
seulement que, dans tout ensemble de valeurs quelles prennent, elles sont
sans ramification . Voici ma rponse, les fonctions tudies par
M. Fuchs se partagent en trois grandes classes ; celles des deux
premires sont effectivement uniformes ; celles de la troisime ne sont
en gnral que sans ramification ; elles ne sont uniformes que si on
ajoute une condition celles nonces par M. Fuchs. Ces distinctions
CORRESPONDANCE ENTRE KLEIN ET POINCAR 481
XX
Paris, 7 avril 1882
Monsieur,
Jai lhonneur de vous renvoyer corrige lpreuve de ma lettre.
Maintenant que ce petit dbat est termin et je lespre pour ne plus se
renouveler, permettez-moi de vous remercier de la courtoisie dont vous
navez cess de faire preuve pendant tout le temps quil a dur. Veuillez
agrer, Monsieur, lassurance de ma considration la plus distingue.
Poincar
13. Le nom nest que bruit et fume , traduction par Nerval du Faust de Goethe.
482 CORRESPONDANCE ENTRE KLEIN ET POINCAR
XXI
Leipzig, le 7 mai 1882
Sophienstrae 10
Monsieur,
Il y a peu, jai lu votre note dans les Comptes rendus du 10 avril
[Poin1882a]. Elle ma dautant plus intress que, je crois, vos
considrations actuelles se rapprochent des miennes, mme quant la
mthode. Je dmontre mes thormes laide de la continuit en
mappuyant sur les deux lemmes suivants : 1) tout groupe discontinu
appartient une surface de Riemann et 2) une surface de Riemann
convenablement dcoupe ne peut appartenir quun seul de ces
groupes (dans la mesure mme o elle appartient un groupe). Jusqu
prsent, je nai pas encore pris du tout en considration les
dveloppements en sries tels que vous les tablissez. Comment
dmontrez-vous en effet lexistence du nombre m pour lequel
1
P
(i +i )m
converge absolument ? Et avez-vous pour celui-ci une borne
infrieure exacte ou seulement approximative ?
Moi-mme, jai, entre-temps, donn une forme encore plus gnrale
aux thormes considrs, et je vous cris de nouveau ce sujet, car la
rdaction dune note pour les Annalen se fera attendre ; pour le
moment, jai trop peu de temps pour la faire. Dans le cas de mon
premier thorme, toute la sphre , lexception dune infinit de
points, sera recouverte par des images du recouvrement du domaine
fondamental. Dans le cas du second thorme, lintrieur dune surface
circulaire (14) , et dune seule, nest pas recouvert. Maintenant jai tabli
lexistence des reprsentations (qui existent toujours aussi, pour les
surfaces de Riemann dtermines, de faon unique) qui excluent une
infinit de surfaces circulaires. Dans cette direction, je formule ici
seulement le thorme le plus simple (dans lequel je suppose
essentiellement une reprsentation sans ramification de la surface de
Riemann). Soit p = 1 + 2 + . . . + m , o dabord aucun des nest gal
1. Prenons sur la surface de Riemann m points O1 , . . . ,Om , et
effectuons partir de O1 , de la manire connue, 21 coupures
transversales A 1 , B 1 ; A 2 , B 2 ; . . . ; A m , B m ; partir de O2 , 22 coupures
transversales, etc. Dautre part, on construit sur la sphre m cercles
disjoints et lintrieur de lespace limit par ces derniers un polygone
arcs circulaires qui est limit par 41 cercles normaux au premier cercle
fondamental, puis ensuite 42 cercles qui sont normaux au deuxime
cercle fondamental, etc. (ainsi un polygone arcs circulaires est m -fois
connexe). Les cercles limites seront ordonns ensemble par couples
dans lordre connu A 1 , B 1 , A 1 1
1 , B 1 , A 2 , B 2 . . . savoir par des
substitutions linaires de , qui laissent chaque fois invariant le cercle
fondamental. Supposons, en outre, que le produit des substitutions
linaires correspondantes, savoir par exemple A 1 B 1 A 1 1 1 1
1 B 1 . . . A 1 B 1 ,
soit toujours gal lidentit. Alors il existe toujours une fonction
analytique, et une seule, qui applique la surface de Riemann dcoupe
sur un polygone arcs circulaires engendr de cette faon. Le cas o un
des est gal 1 ne diffre que par le fait que le cercle fondamental
correspondant se rduit un point et que les substitutions linaires
correspondantes se transforment en paraboliques , qui laissent fixe ce
point. Donc assez pour aujourdhui. Serait-il possible dobtenir une
collection complte des tirs part de vos travaux ce sujet ? Je dois
commencer, aprs Pentecte, dans mon sminaire, une srie de
confrences sur les fonctions uniformes transformations linaires en
soi et je souhaiterais pouvoir, si cela est possible, mettre la disposition
de mes auditeurs une telle collection.
Veuillez agrer lassurance de ma considration distingue et
dvoue.
F. Klein
XXII
Paris, 12 mai 1882
Monsieur,
Jai bien tard vous rpondre et je vous prie de men excuser, car jai
t forc de faire une petite absence. Je crois comme vous que nos
mthodes se rapprochent beaucoup et diffrent moins par le principe
gnral que par les dtails. Pour les lemmes dont vous me parlez, le
premier, je lai tabli par les considrations des dveloppements en
sries et vous, ce que je pense, laide du thorme dont vous mavez
parl dans une de vos lettres de lanne dernire. Pour le second lemme,
il ne prsente pas de difficult et il est probable que nous ltablissons
de la mme manire. Une fois ces deux lemmes tablis, et cest en effet
par l que je commence, ainsi que vous le faites vous-mme, jemploie
comme vous la continuit, mais il y a bien des manires de lemployer et
484 CORRESPONDANCE ENTRE KLEIN ET POINCAR
XXIII
Leipzig, le 14 mai 1882
Monsieur,
En rponse votre lettre, que je viens de recevoir, je voudrais, en
deux mots, vous expliquer comment jutilise la continuit . En
principe, bien sr ; car lexpos en dtail, dont la rdaction coterait de
gros efforts, peut de toute faon tre modifi de bien des manires. Je
veux me limiter au cas des fonctions de deuxime espce sans
ramification, comme je les ai appeles dans ma note. Il sagit ici, avant
tout, de dmontrer que les deux varits que lon compare : lensemble
des systmes de substitutions considrs et, dautre part, lensemble des
surfaces de Riemann effectivement existantes, possdent non
seulement le mme nombre de dimensions (6p 6 dimensions relles),
mais quils sont des ensembles analytiques avec des frontires
analytiques (au sens de la terminologie introduite par Weierstrass). Ces
deux ensembles sont lis maintenant lun lautre de faon
(1-x )-forme, en raison du premier lemme nonc dans ma prcdente
lettre, o x ne peut prendre que les valeurs 0 ou 1 pour les diffrentes
parties du second ensemble, en vertu du second lemme. Mais
maintenant cette relation savre tre une relation analytique et mme,
comme il ressort des deux propositions, une relation analytique dont le
dterminant fonctionnel ne sannule nulle part. Jen dduis que x doit
avoir toujours la valeur 1. Sil existait, en effet, un passage dun domaine
avec x = 0 un domaine avec x = 1, alors aux points du domaine de
passage devraient correspondre, cause du caractre analytique de la
correspondance, des points dtermins (effectivement atteints) de
lautre ensemble et pour ceux-ci, contrairement ce qui a t not, le
dterminant fonctionnel de la relation devrait sannuler. Telle est ma
dmonstration. M. Schwarz ma communiqu une autre toute
486 CORRESPONDANCE ENTRE KLEIN ET POINCAR
XXIV
Paris, 18 mai 1882
Monsieur,
Je nai pas besoin de vous dire combien votre dernire lettre ma
intress. Je vois clairement maintenant que votre dmonstration et la
mienne ne peuvent diffrer que par la terminologie et par des dtails ;
ainsi il est probable que nous ntablissons pas de la mme manire le
caractre analytique de la relation qui lie les deux varits dont vous
parlez ; pour moi, je relie ce fait la convergence de mes sries, mais il
est vident quon peut arriver au mme rsultat sans passer par cette
considration.
Les ides de M. Schwarz ont une porte bien plus grande ; il est clair
que le thorme gnral en question, sil tait dmontr, aurait son
application dans la thorie dun trs grand nombre de fonctions et en
particulier dans celle des fonctions dfinies par des quations
diffrentielles non linaires. Cest en tudiant de pareilles quations que
javais t conduit de mon ct chercher si une surface de Riemann
une infinit de feuillets pouvait tre tendue sur un cercle, et javais t
amen au problme suivant, qui permettrait de dmontrer la possibilit
de cette extension :
XXV
Leipzig, le 19 septembre 1882
Sophienstrae 10/11
Monsieur,
Pour ma part, sur le point de terminer un travail assez long sur les
nouvelles fonctions, jai relu justement encore une fois votre article
dans le tome 19 des Annalen [Poin1882c]. Il y a l un point que je ne
comprends pas. Vous mentionnez, en deux endroits (au milieu de la
page 558 et en bas de la page 560), les fonctions fuchsiennes qui
nexistent que dans un espace limit par une infinit de cercles
normaux au cercle principal. Je connais en effet trs bien ces fonctions
(ainsi que je vous lai crit il y a trois mois) qui ont comme frontire
naturelle une infinit de cercles. Mais au groupe correspondant
appartiennent toujours les substitutions qui laissant invariant
seulement un seul cercle limite, choisi au hasard. Vous dsignez
maintenant par fuchsiennes les fonctions dont toutes les substitutions
sont relles (p. 554), et cette dfinition ne se trouve pas sensiblement
modifie par la gnralisation la page 557, o vous remplacez laxe rel
par un cercle quelconque. Les fonctions que je connais ne rentrent pas
CORRESPONDANCE ENTRE KLEIN ET POINCAR 489
XXVI
Nancy, le 22 septembre 1882
Monsieur,
Voici quelques dtails sur ces fonctions dont jai parl dans ma note
des Annalen et dont la limite naturelle est forme dune infinit de
cercles. Pour plus de simplicit dans lexposition, je prendrai pour
exemple un cas trs particulier. Supposons quatre points a , b , c , d sur le
cercle fondamental et quatre cercles coupant orthogonalement
celui-ci : le 1er en a et en b , le 2e en b et en c ; le 3e en c et en d ; le 4e en
d et en a . On obtient ainsi un quadrilatre curviligne. Considrons deux
substitutions (hyperboliques ou paraboliques) la 1re changeant le
490 CORRESPONDANCE ENTRE KLEIN ET POINCAR
Gauss (1777-1855)
Cauchy (1789-1857)
Abel (1802-1829)
Jacobi (1804-1851)
Weierstrass (1815-1897)
Riemann (1826-1866)
Schwarz (1843-1921)
Klein (1849-1925)
Poincar (1854-1912)
Hilbert (1862-1943)
Osgood (1864-1943)
Koebe (1882-1945)
Quelques repres historiques
Dans les pages qui suivent, nous proposons quelques repres chrono-
logiques au fil de l aventure de luniformisation . Pour chaque dcen-
nie, de 1800 1910, nous indiquons quelques vnements marquants de
lpoque, regroups dans les rubriques suivantes :
Il va de soi que les choix qui ont t faits sont extrmement subjectifs,
en particulier pour les dernires rubriques. Nous esprons cependant
que ces clins dil chronologiques aideront le lecteur mieux placer le
thorme duniformisation dans son contexte scientifique, culturel, so-
cial et historique.
1800-1809
Uniformisation
1806 : La reprsentation gomtrique des nombres complexes, esquisse par Euler, est for-
malise par Argand et Bue.
Mathmatiques
1801 : Gauss publie Disquisitiones arithmeticae . Ce livre reste un modle de rigueur.
Il fait le point sur la thorie des nombres mais contient surtout des joyaux comme
la rciprocit quadratique ou les critres de construction des polygones rguliers la
rgle et au compas, prfigurant la thorie de Galois.
1803 : L. Carnot publie son livre Gomtrie de position dans lequel il attribue syst-
matiquement des signes des grandeurs gomtriques orientes.
1806 : Legendre introduit la mthode des moindres carrs qui permet dajuster au mieux
une courbe thorique des donnes exprimentales, entaches derreurs. Cette m-
thode jouera un rle important dans le dveloppement des sciences exprimentales.
1806 : Poinsot dcouvre les deux derniers polydres rguliers (toils) de Kepler-Poinsot.
1807 : Fourier soumet son premier mmoire important Sur la propagation de la cha-
leur dans les corps solides , dans lequel il dcompose une fonction priodique en
une somme infinie dharmoniques : lanalyse harmonique tait ne.
Sciences
1800-1805 : Cuvier publie les cinq volumes de ses Leons danatomie compare .
1801 : Dans On the theory of light and colours , Young met en vidence le caractre
ondulatoire de la lumire.
1801 : Pinel publie son Trait mdico-philosophique sur lalination mentale : la pre-
mire classification des maladies mentales.
1802 : Publication de la loi de Dalton sur la pression des gaz.
1804 : Dans ses Recherches chimiques sur la vgtation , de Saussure prouve quil y a
consommation deau lors de la photosynthse.
1807 : Davy isole le sodium et le potassium.
1808 : Dalton, dans New system of chemical philosophy , propose une thorie ato-
mique dans laquelle tous les corps se dcrivent partir dun (petit) nombre dl-
ments.
1808 : Malus dcouvre la polarisation de la lumire.
1809 : Lamarck publie Philosophie zoologique qui propose la thorie du transfor-
misme : premire tentative dexplication matrialiste et mcaniste de lvolution des
tres vivants.
QUELQUES REPRES HISTORIQUES 495
Avances technologiques
1801 : Jacquard dveloppe le mtier tisser.
1801 : Volta met au point la pile lectrique.
1803 : Fulton rend oprationnel le premier bateau vapeur sur la Seine.
1804 : Trevithick fabrique la premire locomotive.
1805 : Appert dveloppe la premire technique de conserve efficace pour aliments.
1806 : La morphine est isole par Setrner.
1806 : Lingnieur britannique William Murdoch installe lclairage au gaz dans une fi-
lature cotonnire de Manchester, au Royaume-Uni. Premire usine gaz ouverte
Salford.
Histoire franco-allemande
1804 : Napolon promulgue le code civil franais qui dfinit de nouveaux droits et obli-
gations pour les Franais.
1804 : Napolon Bonaparte se fait proclamer empereur des Franais par le Snat en mai,
puis sacrer Notre-Dame le 2 dcembre. Toute la symbolique impriale cherche
poser Napolon Ier en hritier de lempire romain et de Charlemagne.
1806 : Le 6 aot, le dernier empereur du Saint-Empire romain germanique, se soumet-
tant un ultimatum de Napolon, renonce sa couronne. La Prusse ragit et entre en
guerre contre Napolon. En octobre, les batailles dIna et dAuerstaedt se terminent
par une victoire totale de la Grande Arme de Napolon sur larme prussienne. Na-
polon entre Berlin et fait dfiler ses troupes sur Unter den Linden. Le traumatisme
conscutif cette humiliation sera le dclencheur du violent nationalisme allemand
qui se dveloppera au cours du dix-neuvime sicle et conduira lunification de la
nation allemande.
496 QUELQUES REPRES HISTORIQUES
1810-1819
Uniformisation
1811 : Dans une lettre Bessel, Gauss explique lintgration des fonctions holomorphes
le long de chemins.
1814 : Premier article de Cauchy sur la thorie des rsidus.
Mathmatiques
1810 : Gergonne publie le premier volume des Annales de mathmatiques pures et ap-
pliques qui jouera un rle important dans la diffusion des mathmatiques.
1811 : Poisson publie son Trait de mcanique contenant des applications llectri-
cit, au magntisme et bien sr la mcanique.
1812 : Les deux volumes de la Thorie analytique des probabilits de Laplace ins-
tallent dfinitivement les probabilits au cur des mathmatiques.
1814 : Publication des Tables de Barlow qui contiennent les carrs, les cubes, les ra-
cines carres, les logarithmes, etc. des nombres entiers de 1 10 000.
1815 : Pfaff publie un article sur les systmes dquations aux drives partielles qui in-
fluencera plus tard Jacobi et Lie.
1817 : Bolzano publie Rein analytischer Beweis . On y trouve en particulier la d-
finition des fonctions continues sans utiliser les infinitsimaux et le thorme de
Bolzano-Weierstrass.
1817 : Bessel dcouvre une nouvelle classe de transcendantes, aujourdhui appeles
fonctions de Bessel, qui vrifient une quation diffrentielle algbrique du second
ordre.
Sciences
1811 : Avogadro avance lide que des volumes gaux de gaz la mme temprature et
la mme pression contiennent le mme nombre de molcules.
1813 : Von Fraunhofer invente un spectroscope qui lui permettra de reprer les raies du
spectre solaire (1814) puis de classer les toiles selon leur spectre lumineux (1822).
1815 : Prout affirme que les poids atomiques des lments sont des multiples de celui de
lhydrogne.
1815 : Ampre tablit la distinction entre latome et la molcule.
1816 : Fresnel montre que les interfrences et la diffraction peuvent sexpliquer par la
thorie ondulatoire de la lumire.
1817 : Pelletier et Caventou isolent la chlorophylle.
QUELQUES REPRES HISTORIQUES 497
Avances technologiques
1816 : Laennec invente le stthoscope.
1816 : La lampe de Davy est une lampe de sret permettant aux mineurs de travailler
en prsence de gaz inflammables comme le grisou.
1817 : Drais invente la draisienne (ou vlocipde).
1819 : Le navire vapeur Savannah traverse locan Atlantique (mme si une partie du
voyage est la voile).
1819 : Pelletier invente la quinine.
Histoire franco-allemande
1812 : La campagne de Russie, marque par lincendie de Moscou par les Russes ds le
lendemain de lentre des Franais dans la ville, se termine par une retraite catas-
trophique de larme napolonienne travers la Pologne et lAllemagne. Le froid, la
neige et les attaques des cosaques conduisent des pertes considrables ; la Grande
Arme est dtruite.
1813 : Napolon russit reconstituer une arme de 200 000 hommes mais la Bataille
des Nations Leipzig se solde par une dfaite dcisive de larme franaise face une
coalition regroupant presque toute lEurope.
1814 : Napolon doit abdiquer et sexiler lle dElbe. La royaut est restaure en
France et les coaliss installent Louis XVIII sur le trne. Le dfunt Saint-Empire
romain germanique est remplac par la Confdration germanique qui regroupe
trente-neuf tats sous la direction honorifique des Habsbourg.
1815 : Napolon rentre en France la tte dune petite arme et russit reprendre le
pouvoir. Mais les allis nacceptent pas ce retour et reprennent les armes contre la
France ; larme napolonienne est finalement dfaite la bataille de Waterloo. Na-
polon est exil Sainte-Hlne. Il laisse une France exsangue.
498 QUELQUES REPRES HISTORIQUES
1820-1829
Uniformisation
1825 : Gauss dmontre son thorme duniformisation locale : toute surface est locale-
ment conformment quivalente au plan euclidien. Ce rsultat permettra plus tard
de voir toute surface riemannienne comme une surface de Riemann.
1827-1829 : Abel et Jacobi comprennent que les rciproques des intgrales elliptiques
sont des fonctions uniformes doublement priodiques ; la voie est ouverte pour luni-
formisation des courbes elliptiques.
Mathmatiques
1821 : Cauchy publie son Cours danalyse qui prsente lanalyse mathmatique le
plus rigoureusement possible.
1824 : Abel dmontre que lquation gnrale de degr 5 nest pas rsoluble par radi-
caux.
1825 : Le thorme de Fermat est dmontr pour n = 5 par Dirichlet et Legendre.
1826 : Lobachevsky annonce quil a dvelopp une gomtrie dans laquelle le 5e postu-
lat dEuclide nest pas vrifi : par un point pris hors dune droite on peut mener une
infinit de parallles cette droite.
1826 : Fondation de la Journal fr die reine und angewandte Mathematik par Crelle.
1828 : Dans Disquisitiones generales circa superficies , Gauss dmontre son Theo-
rema Egregium qui ouvre la voie au concept de courbure associe une surface abs-
traite, indpendamment dun plongement dans lespace.
1829 : Dmonstration du thorme de Sturm qui permet de calculer le nombre de ra-
cines relles distinctes dun polynme comprises dans un intervalle.
Sciences
1820 : Oersted observe quun courant lectrique produit un champ magntique, initiant
ainsi ltude de llectromagntisme.
1821 : Arago et Gay-Lussac inventent llectroaimant.
1822 : Grce ltude de la pierre de Rosette, Champollion parvient dchiffrer lgyp-
tien hiroglyphique.
1824 : Carnot publie ses Rflexions sur la puissance motrice du feu et sur les machines
propres dvelopper cette puissance . Elles contiennent la thorie du cycle de Car-
not qui sera fondamentale pour le dveloppement des machines vapeur et plus g-
nralement de la thermodynamique.
1827 : Le botaniste Brown observe les mouvements erratiques de particules de pollen
en suspension dans un liquide ; cest le mouvement brownien.
1829 : Lyell publie ses Principles of Geology dans lesquels il affirme en particulier
que la surface de la Terre change trs lentement mais continment ; ce sera une ide
importante pour la thorie de lvolution.
QUELQUES REPRES HISTORIQUES 499
Avances technologiques
1820 : Fabian von Bellingshausen dcouvre le continent antarctique.
1821 : Mary Anning dcouvre le premier squelette complet de plsiosaure.
1821 : Faraday met au point le moteur lectrique.
1822 : Mantell dcouvre les premiers fossiles de dinosaure : des dents dun iguanodon.
1823 : Macintosh dpose son brevet de vtement impermable.
1825 : Chevreul et Gay-Lussac fabriquent des bougies la statite.
1825 : Inauguration de la premire ligne ferroviaire marchande Stockton-Darlington ;
premier train de voyageurs tir par une locomotive vapeur invente par Stephen-
son.
1826 : Moray construit le premier moteur combustion interne qui fonctionne avec un
mlange dthanol et de trbenthine.
1826 : La premire photographie, Point de vue du Gras , est ralise par Niepce.
Histoire franco-allemande
1824 : la mort de Louis XVIII, son frre monte sur le trne, sous le nom de Charles X,
lge de 66 ans. Charles X renoue avec la tradition du sacre, Reims, le 29 mai 1825,
dans un faste qui rappelle les grands jours de lAncien Rgime. Son rgne sera mar-
qu par la domination des ultra-royalistes, et il salinera lopinion par ses conces-
sions dindemnits aux migrs, sa loi punissant de mort toute personne coupable
de sacrilge et son rtablissement de la censure.
500 QUELQUES REPRES HISTORIQUES
1830-1839
Uniformisation
1830 : Publication des trois volumes du Trait des fonctions elliptiques de Legendre.
Ce monument, qui fait rfrence pour la manipulation et le calcul des intgrales ellip-
tiques, est cependant dpass dun point de vue thorique par les travaux de Gauss,
Abel et Jacobi.
1835 : Jacobi invente les fonctions qui fournissent un procd trs gnral de construc-
tion de fonctions elliptiques.
Mathmatiques
1831 : Cauchy dmontre que les fonctions holomorphes peuvent se dvelopper en s-
ries.
1832 : Le travail de Bolyai sur la gomtrie non euclidienne est publi.
1832 : Galois meurt la suite dun duel. Dans la nuit prcdant sa mort, il esquisse
la hte la thorie qui porte aujourdhui son nom et qui influencera en profondeur
presque toutes les mathmatiques.
1834 : Hamilton publie On a general Method in Dynamics .
1835 : Qutelet publie Sur lhomme et le dveloppement de ses facults, essai de phy-
sique sociale .
1837 : Dans son livre Recherches sur la probabilit des jugements , Poisson introduit
la loi de probabilit qui porte son nom et lapplique des problmes concrets lis au
fonctionnement des tribunaux.
1837 : Dirichlet publie la premire version du thorme de la progression arithmtique
fondant la thorie analytique des nombres.
Sciences
1833 : Dans On a general method of expressing the paths of light and of the planets by
the coefficients of a characteristic function , Hamilton fonde la dynamique hamilto-
nienne, centre sur le concept daction. Le principe que cette action est stationnaire
gnralise le principe de moindre action et reste encore aujourdhui lun des piliers
de la science.
1834 : Payen et Persoz isolent le premier enzyme : la diastase.
1834 : Babbage imagine une machine calculer mcanique et programmable utilisant
des cartes perfores.
1838 : Schleiden constate que les plantes sont constitues de cellules et montre limpor-
tance de leurs noyaux.
QUELQUES REPRES HISTORIQUES 501
Avances technologiques
1831 : La dcouverte de linduction lectromagntique par Faraday permet de produire
des courants alternatifs. Pixii construit le premier alternateur qui sera bientt am-
lior.
1833 : Gauss et Weber dveloppent le tlgraphe lectromagntique.
1835 : Colt invente le revolver.
1835 : Invention du code Morse.
1836 : Madersperger invente la machine coudre.
Histoire franco-allemande
1830 : Le 11 mai, prenant prtexte dune altercation entre le Dey dAlger et le consul
de France, Charles X lance la campagne dAlgrie. Cette date marque le dbut de la
conqute du second espace colonial franais (le premier ayant t entirement dissous
la chute du premier Empire).
1830 : En juillet, une tentative de Charles X de dissoudre la Chambre des dputs, de
changer la loi lectorale et dabolir la libert de la presse, dclenche une meute qui
se transforme vite en rvolution populaire. Paris se couvre de barricades, les forces
armes sont prises en tau et Charles X doit fuir. Les dputs libraux, majoritaire-
ment monarchistes, russissent rcuprer cette rvolution et conservent une mo-
narchie constitutionnelle au prix dun changement de dynastie. Louis-Philippe Ier est
proclam roi des Franais . Il sera le Roi bourgeois ; son rgne sera caractris
par le dveloppement et lenrichissement rapide de la bourgeoisie manufacturire et
financire.
502 QUELQUES REPRES HISTORIQUES
1840-1849
Uniformisation
1844 : Dans son mmoire sur la godsie suprieure, Gauss introduit le mot conforme.
1847-51 : Publication des travaux dEisenstein sur les fonctions elliptiques : les sries
quil introduit permettent de relier les coefficients du polynme qui apparat dans
une intgrale elliptique aux priodes de la fonction rciproque.
1847 : Gttingen, Riemann suit les cours dEisenstein sur les fonctions elliptiques.
Mathmatiques
1841 : Qutelet ouvre le premier bureau statistique. Les statistiques se dveloppent et
deviennent un domaine part entire des mathmatiques.
1843-1845 : Le concept despace vectoriel n dimensions est indpendamment dgag
par Cayley et Grassmann.
1843 : Hamilton dcouvre les quaternions.
1844 : Liouville explicite les premiers nombres transcendants.
1845 : Cayley tudie la composition des applications linaires dans Theory of linear
transformations .
1847 : Boole montre quon peut algbriser la logique dans The Mathematical Analysis
of Logic .
1847 : Kummer publie ber die Zerlegung der aus Wurzeln der Einheit gebildeten
complexen Zahlen in ihre Primfactoren . Il parvient rsoudre le grand thorme de
Fermat pour tout entier n plus petit que 100 et diffrent de 37, 59 et 67.
1847 : Von Staudt publie Geometrie der Lage , le premier trait de gomtrie projec-
tive sans notion mtrique.
Sciences
1843 : Joule et Mayer montrent indpendamment lquivalence entre la chaleur et lner-
gie mcanique.
1843 : Schwabe dcouvre le cycle des taches solaires.
1844 : Darwin crit, mais ne publie pas, un essai qui prfigure sa thorie de lvolution
des espces.
1847 : Helmholz formule le principe de conservation de lnergie dans ber die Erhal-
tung der Kraft .
1848 : Kelvin propose une chelle absolue des tempratures qui portera son nom.
1849 : Fizeau mesure la vitesse de la lumire en utilisant des roues dentes en rotation.
QUELQUES REPRES HISTORIQUES 503
Avances technologiques
1841 : Le marteau-pilon est une machine-outil de forge mise au point par Bourdon. Il a
fait faire un bond lindustrie mtallurgique alors en plein dveloppement.
1842 : Long est le crateur de lanesthsie lther. Il persuada un de ses patients, James
Venable, quil pourrait lui enlever une tumeur sans douleur.
1844 : Manzetti suggre la possibilit dun tlgraphe parlant, le futur tlphone, qui sera
progressivement amlior.
1846 : Hoe invente la presse rotative qui permet dimprimer plus rapidement.
1847 : Krupp produit ses premiers canons en acier.
1848 : Lambot et Joseph Monier inventent le bton arm.
Histoire franco-allemande
1848 : Le 23 juillet, sous limpulsion des rpublicains, Paris se soulve. Louis-Philippe,
refusant de lancer lassaut contre les Parisiens, est contraint dabdiquer. Les rvo-
lutionnaires mettent en place un gouvernement provisoire rpublicain, supprimant
la monarchie de Juillet et crant la deuxime Rpublique, le 25 fvrier 1848. Louis-
Napolon Bonaparte, neveu de Napolon Ier, sera lu prsident de la Rpublique fran-
aise au suffrage universel masculin en dcembre.
1848 : En mars 1848, la nouvelle des rvolutions parisiennes et viennoises, lAllemagne
sembrase son tour. Les rvolutionnaires veulent crer une Allemagne unifie et d-
mocratique. Ils se heurteront au roi Frdric-Guillaume IV de Prusse qui convoquera
dans un premier temps une assemble constituante mais la dissoudra bientt, quand
le rapport de force sera invers. Les rvolutions de 1848 choueront faire lunit al-
lemande mais la plupart des tats allemands concderont des constitutions donnant
satisfaction la bourgeoisie librale.
504 QUELQUES REPRES HISTORIQUES
1850-1859
Uniformisation
1851 : Dans sa thse, Riemann dveloppe une thorie systmatique des fonctions holo-
morphes ; il invente les surfaces qui portent son nom, explique comment les manipu-
ler, comment y construire des fonctions mromorphes ; il dmontre son thorme
de reprsentation conforme.
1854 : Weierstrass publie un article dans lequel il expose son point de vue sur les fonc-
tions elliptiques dveloppes en sries de fonctions normalement convergentes.
1857 : Dans un article au journal de Crelle, Riemann construit une thorie gnrale des
fonctions algbriques et des intgrales abliennes. Il y explique en particulier com-
ment voir les courbes algbriques comme des surfaces de Riemann compactes abs-
traites et dcrit la topologie, la gomtrie analytique de ces surfaces, les espaces de
modules, etc.
Mathmatiques
1852 : Chasles introduit les concepts de birapports, de pinceaux de coniques et
dinvolutions, dans son Trait de Gomtrie .
1854 : Dans son habilitation intitule ber die Hypothesen welche der Geometrie zu
Grunde liegen , Riemann jette les bases de la gomtrie diffrentielle, introduisant en
particulier le concept de varit n dimensions.
1854 : Cayley dfinit la notion de groupe abstrait de permutations.
1858 : Dedekind propose une construction rigoureuse des nombres rels, laide des
coupures de Dedekind.
1859 : Riemann publie un mmoire intitul ber die Anzahl der Primzahlen unter ei-
ner gegebenen Grsse , dans lequel il utilise entre autres la fonction zta pour estimer
le nombre de nombres premiers plus petits quune quantit donne.
1859 : Mannheim invente la rgle calculer moderne avec sa rglette et son curseur.
Sciences
1850 : Clausius introduit le concept dentropie et formule le second principe de la ther-
modynamique qui gnralise le principe de Carnot.
1851 : Le pendule de Foucault dmontre exprimentalement la rotation de la Terre.
1859 : Darwin publie On the Origin of Species by Means of Natural Selection or the
Preservation of Favored Races in the Struggle for Life .
QUELQUES REPRES HISTORIQUES 505
Avances technologiques
1850 : Un cble commercial sous-marin tlgraphique entre la France et lAngleterre
fonctionnera pendant plus de 40 ans.
1852 : Giffard construit le premier ballon dirigeable qui, grce une machine vapeur
place dans la nacelle, peut modifier sa direction par rapport au vent.
1853 : Otis cre la compagnie Otis Elevator Company et vend les premiers ascenseurs
scuriss, ouvrant ainsi la voie la construction de gratte-ciel.
1859 : Le colonel Drake fore le premier puits de ptrole en Pennsylvanie.
Histoire franco-allemande
1850 : Cette anne marque le dbut dune priode de dveloppement industriel trs im-
portant en Allemagne. Ce dveloppement, qui touche tous les tats, aboutit une
union conomique autour de la Prusse qui prcdera lunion politique.
1851-1852 : Le coup dtat du 2 dcembre, organis par Louis-Napolon Bonaparte, met
fin la deuxime Rpublique. LAssemble nationale est dissoute et le mandat du
prince-prsident prolong dix ans. Les dputs dmocrates-socialistes et rpubli-
cains sont massivement condamns lexil, seule la presse conservatrice est autori-
se paratre. Quelques mois plus tard, la dignit impriale est rtablie par rf-
rendum. Louis-Napolon Bonaparte devient officiellement Napolon III, Empereur
des Franais le 2 dcembre 1852. Le rgime prendra une tournure nettement plus
librale partir de 1859.
1853 : Napolon III nomme Haussmann prfet de la Seine. Jusquen 1870, il conduira
une transformation radicale de Paris, symbole de lre de dveloppement cono-
mique et dexplosion du capitalisme que sera le second Empire.
506 QUELQUES REPRES HISTORIQUES
1860-1869
Uniformisation
1865 : Clebsch dmontre que toute surface de Riemann compacte de genre nul est bi-
holomorphe la sphre de Riemann et que toute surface de Riemann compacte de
genre 1 est biholomorphe au quotient du plan par un rseau.
1866 : Fuchs publie les travaux sur les quations diffrentielles linaires dordre 2 qui
seront la base de ceux de Poincar.
1869 : Schwarz publie des exemples duniformisation explicites douverts du plan
bords polygonaux. Le lien quil dcouvre entre la drive schwarzienne et le problme
de luniformisation est lanctre direct de lapproche de Poincar de luniformisation
via les quations diffrentielles.
Mathmatiques
1861 : Weierstrass construit une courbe continue qui nest drivable en aucun point.
1863 : Construction de lensembles des nombre rels par Weierstrass.
1865 : Plcker introduit les coordonnes qui portent son nom pour dcrire les droites
dans lespace (projectif complexe) de dimension 3. Cest lune des premires fois que
lon considre un espace dont les lments ne sont pas ncessairement des points.
1868 : Beltrami construit le premier modle concret pour la gomtrie non euclidienne
de Lobachevsky et Bolyai.
Sciences
1861 : Bunsen et Kirchhoff jettent les bases de la spectrographie.
1861 : Pasteur rfute la thorie de la gnration spontane.
1862 : Pasteur publie sa thorie des germes : les infections sont produites par des micro-
organismes qui se reproduisent.
1862 : Foucault mesure avec prcision la vitesse de la lumire.
1865 : Les quations de Maxwell, crites pour la premire fois dans A Dynamical theory
of the electromagnetic field , unifient les champs lectriques et magntiques en un
seul champ lectromagntique.
1866 : Dans Versuche ber Pflantenhybriden , Mendel interprte lhrdit en termes
de paires de caractres dominants ou rcessifs.
1869 : Mendelev et Meyer formulent indpendamment la classification priodique des
lments, laissant en particulier des cases vides pour les lments qui navaient pas
encore t dcouverts.
QUELQUES REPRES HISTORIQUES 507
Avances technologiques
1860 : Fowler contribue construire le premier mtro Londres, la ligne Metropoli-
tan , une courte ligne construite par la mthode de tranche couverte.
1862 : Gatling dpose un brevet protgeant une mitrailleuse fonde sur le principe de
six dix canons rotatifs, ce qui permet de parallliser les oprations ncessaires au tir
et daugmenter le temps de refroidissement sans rduire la cadence.
1866 : La machine crire Sholes et Glidden (connue plus tard sous le nom de Reming-
ton No 1 ) est la premire connatre un succs commercial.
1867 : Nobel dpose un brevet pour linvention de la dynamite : le premier explosif puis-
sant, peu coteux et stable.
1867 : Lingnieur Eiffel cre ses ateliers.
Histoire franco-allemande
1864 : En France, une loi abroge le dlit de coalition et donne le droit aux employs
dexiger de meilleures conditions de travail en organisant des grves.
1867 : La Confdration de lAllemagne du Nord, regroupant vingt-deux tats allemands
situs au nord de la ligne du Main, est cre sur initiative du ministre-prsident de
Prusse von Bismarck, la suite de la victoire prussienne sur lAutriche et de la dis-
solution de la Confdration germanique. De fait, le Royaume de Prusse annexe les
tats ayant soutenu lAutriche. Si von Bismarck ninclut pas les tats du Sud de lAl-
lemagne pour ne pas heurter Napolon III, ces derniers signent avec la Prusse des
traits dalliance militaire.
508 QUELQUES REPRES HISTORIQUES
1870-1879
Uniformisation
1870 : Schwarz invente sa mthode alternante qui permet de montrer que les ouverts
simplement connexes, relativement compacts et bords polygonaux dune surface
de Riemann sont biholomorphes au disque.
1878-79 : Klein publie une srie darticles sur les quations modulaires. Ces articles
contiennent en particulier le premier exemple duniformisation explicite dune
surface de Riemann de genre suprieur (priv dun nombre fini de points).
Mathmatiques
1871 : Dedekind introduit les notions de corps, anneau, module, idal.
1872 : Dans son Programme dErlangen, Klein voit une gomtrie comme lensemble
des structures laisses invariantes par un groupe de transformations.
1872 : Fondation de la Socit mathmatique de France.
1872 : Sylow dmontre ses thormes sur les groupes finis dans Thormes sur les
groupes de substitutions .
1873 : Hermite dmontre la transcendance du nombre e .
1874 : Cantor jette les bases de la thorie des ensembles, introduisant en particulier la
notion de dnombrabilit.
1878 : Sylvester fonde l American Journal of Mathematics .
Sciences
1872 : Bolzmann explique que laugmentation de lentropie et le second principe de la
thermodynamique ne peuvent tre compris quen termes de grandes populations de
particules, et non pas en termes de trajectoires individuelles ; ce sont les dbuts de la
physique statistique.
1873 : Schneider dcrit les chromosomes pendant la mitose.
1873 : Dans Statique exprimentale et thorique des liquides soumis aux seules forces
molculaires , Plateau montre exprimentalement que, sans forces extrieures, les
surfaces des liquides minimisent laire.
1878 : Gibbs dveloppe le concept gnral dquilibre thermodynamique dans On the
equilibrium of heterogenous substances .
QUELQUES REPRES HISTORIQUES 509
Avances technologiques
1873 : Premire automobile produite en srie des fins de commercialisation : LObis-
sante dAmde Bolle.
1877 : Edison invente le phonographe et le teste en enregistrant Mary had a little
lamb .
1879 : Edison prsente sa premire ampoule lectrique incandescence. Une centrale
hydraulique de 7 kW est construite la mme anne Saint-Moritz.
1879 : Dbut de lexploitation commerciale du tlphone en France.
Histoire franco-allemande
1870 : La France dclare la guerre la Prusse le 19 juillet 1870. Limprparation franaise
la conduit au dsastre : Napolon III est fait prisonnier, le sige de Paris commence le
19 septembre.
1871 : Le 18 janvier, lEmpire allemand est proclam, trs symboliquement Versailles.
La constitution prvoit que le Reichstag vote les lois, mais le pouvoir rel est entre les
mains de Guillaume Ier et de son chancelier von Bismarck.
1871 : La France capitule officiellement le 28 janvier. LAlsace et une partie de la Lorraine
(re-)deviennent allemandes. La Garde nationale et les ouvriers de Paris, qui refusent
daccepter la dfaite, prennent le contrle de la capitale et mettent en place un gou-
vernement insurrectionnel : cest la Commune de Paris. Avec laccord tacite des Prus-
siens, celle-ci est crase lors de la Semaine sanglante par le gouvernement de Thiers
rfugi Versailles.
1871-1880 : En Allemagne, cest la priode du Kulturkampf mene par von Bismarck
contre lglise catholique qui lui apparat comme un lment tranger menaant
lunit du nouvel Empire allemand.
510 QUELQUES REPRES HISTORIQUES
1880-1889
Uniformisation
1881 : Klein prsente sa vision des travaux de Riemann ; il dveloppe des interprta-
tions hydrodynamiques et lectrostatiques des rsultats dexistence de formes m-
romorphes.
1881 : Ses recherches sur les quations linaires dordre 2 amnent Poincar inven-
ter les groupes fuchsiens.
1882 : la suite des travaux de Poincar sur les groupes fuchsiens, Klein et Poincar d-
montrent le thorme duniformisation pour les surfaces de Riemann algbriques,
via la mthode de continuit.
1883 : Poincar dmontre son thorme duniformisation des fonctions : la surface de
Riemann associe un germe de fonction analytique quelconque peut tre param-
tre par un ouvert du plan (avec dventuels points de ramification).
Mathmatiques
1882 : Lindemann dmontre la transcendance de , montrant ainsi limpossibilit de la
quadrature du cercle la rgle et au compas.
1884 : Volterra publie ses travaux sur les quations intgrales.
1885 : Dans son mmoire Sur les courbes dfinies par les quations diffrentielles ,
Poincar invente la thorie des systmes dynamiques.
1888 : Engel et Lie publient le premier volume de Theorie der Transformationsgrup-
pen qui pose les fondements de la thorie des groupes de Lie.
1889 : Dans son mmoire sur le problme des trois corps, Poincar dcouvre la possibi-
lit du chaos dterministe.
1890 : Peano exhibe une courbe continue qui recouvre compltement un carr.
Sciences
1882 : Tesla invente le moteur induction sur le principe dun champ magntique en
rotation.
1883 : Roux suggre que les filaments visibles dans les noyaux des cellules sont les vec-
teurs de lhrdit.
1885 : Pasteur vaccine le jeune Joseph Meister, mordu par un chien enrag.
1886 : Hertz met en vidence exprimentalement les ondes radio.
1887 : Michelson et Morley dmontrent exprimentalement linexistence de lther en
comparant la vitesse de la lumire dans diverses directions.
QUELQUES REPRES HISTORIQUES 511
Avances technologiques
1885 : Benz dveloppe le Benz Patent Motorwagen en installant un monocylindre de
cinq cent soixante watts sur un tricycle.
1886 : La Linotype de Mergenthaler imprime le New York Tribune : cest une machine
qui utilise un clavier alphanumrique permettant de composer une ligne de texte
complte en un seul bloc de plomb.
1887 : Berliner propose une machine disque de zinc et gravure horizontale du son.
Le procd Edison utilise lui un cylindre et une gravure verticale.
1888 : Le nom Kodak apparat pour la premire fois en 1888 au lancement des pre-
miers appareils photo pellicule photographique.
Histoire franco-allemande
1880-1887 : Guillaume Ier, affaibli, laisse de plus en plus le pouvoir von Bismarck.
Celui-ci signe la Triple Alliance avec lAutriche-Hongrie et le Royaume dItalie en
1882.
1879-1885 : En France, Jules Ferry est la personnalit dominante des premiers gouver-
nements rpublicains. Il tablit la gratuit de lenseignement primaire, son caractre
obligatoire et laque. Il fait voter des lois assurant la libert de la presse et la libert
syndicale. Cest aussi un partisan trs actif de lexpansion coloniale franaise. Il sop-
pose sur ce point Clmenceau qui considre que les aventures colonialistes d-
tournent lattention des provinces perdues dAlsace et de Lorraine ; pour la mme
raison, il bnficie de la bienveillance de von Bismarck.
1888 : la mort de Guillaume Ier et aprs un trs court rgne de Frdric III, Guillaume II
est proclam empereur.
512 QUELQUES REPRES HISTORIQUES
1890-1899
Uniformisation
1890 : La Socit royale des sciences de Gttingen propose une nouvelle approche du
thorme duniformisation, via ltude de lquation u = k .e u . Cette suggestion
permettra bientt Picard et Poincar de donner une nouvelle preuve du thorme
duniformisation pour les surfaces de Riemann compactes.
Mathmatiques
1894 : Dans sa thse, . Cartan classifie les algbres de Lie semi-simples complexes.
1895 : Poincar publie son premier article sur l Analysis Situs , dans lequel il fonde la
topologie algbrique.
1895 : Weber publie son livre clbre Lehrbuch der Algebra .
1895 : Leons de Stockholm : Painlev remplace Poincar (sous les conseil de Mittag-
Leffler) pour prsenter devant le roi Oscar II de Sude les derniers dveloppements
de la thorie analytique des quations diffrentielles.
1896 : Hadamard et de la Valle Poussin dmontrent indpendamment le thorme des
nombres premiers, donnant ainsi une estimation du nombre de nombres premiers
infrieurs une quantit donne.
1896 : Frobenius apporte une contribution majeure sur la reprsentation des groupes et
la thorie des corps finis dans sa publication ber die Gruppencharactere .
1897 : Burnside publie The Theory of Groups of Finite Order .
1898 : Larticle de Hadamard sur les godsiques des surfaces courbure ngative pose
les fondations de la dynamique symbolique.
Sciences
1891 : Dubois dcouvre les premiers restes dHomo erectus Trinil, lest de lle de Java
en Indonsie. Il le nomme pithcanthrope (Pithecanthropus erectus) dans une tude
publie en 1894.
1895 : Rntgen dcouvre les rayons X.
1896 : Becquerel dcouvre la radioactivit de luranium.
1897 : Thomson dcouvre llectron.
1898 : P. et M. Curie dcouvrent le radium et le polonium et montrent que la radioactivit
est une proprit atomique.
QUELQUES REPRES HISTORIQUES 513
Avances technologiques
1890 : bord de son aronef ole, Ader dcolle et rase le sol sur prs de cinquante
mtres.
1895 : Les frres Lumire organisent les premires projections de cinma.
1895 : Diesel met au point un moteur combustion interne dont lallumage nest pas
command mais spontan, par phnomne dauto-inflammation.
1899 : Hoffmann dpose le brevet de laspirine.
Histoire franco-allemande
1890 : Von Bismarck est contraint de dmissionner. La Realpolitik fait place la Weltpo-
litik dont le but est de trouver pour lAllemagne une place au soleil proportionnelle
sa puissance industrielle. La politique coloniale est relance et la construction dune
marine capable de rivaliser avec la Royal Navy rige en priorit nationale.
1891 : Cration de la Ligue pangermaniste qui aura un rapide succs et existera jusquen
1939. Son but est de rassembler tous les germanophones, germaniser les allognes du
Reich, rcuprer les provinces perdues et semparer des terres ncessaires au dve-
loppement de la race allemande .
1893 : LAlliance franco-russe, signe fin dcembre, stipule que ces pays doivent se sou-
tenir mutuellement sils sont attaqus par un pays de la Triple Alliance.
1894 : Le capitaine Dreyfus, accus despionnage au profit de lAllemagne, est
condamn la dportation en Guyane. Plusieurs personnalits tentent en vain
de dmontrer son innocence. Laffaire Dreyfus clatera rellement en 1898, avec la
publication de larticle Jaccuse de Zola. La France se dchirera alors entre dreyfu-
sards, pour lesquels la vrit doit lemporter quelles quen soient les consquences,
et antidreyfusards pour lesquels, le prestige de larme instrument de la revanche
exige de ne pas revenir sur la chose juge.
514 QUELQUES REPRES HISTORIQUES
1900-1909
Uniformisation
1900 : Luniformisation des surfaces de Riemann est lun des vingt-trois problmes mis
en avant par Hilbert au Congrs international des mathmaticiens.
1900 : Osgood montre que tout ouvert simplement connexe born du plan est biholo-
morphe au disque unit.
1907 : Poincar et Koebe dmontrent simultanment le thorme duniformisation.
Mathmatiques
1900 : Hilbert publie Grundlagen der Geometrie qui propose une axiomatisation
complte de la gomtrie.
1902 : Dans sa thse, Lebesgue donne naissance la thorie de lintgration.
1906 : Markov introduit les processus alatoires qui portent son nom et qui resteront un
outil fondamental dans la thorie des probabilits.
1907 : La thse de Brouwer sur les fondements des mathmatiques marque le dbut de
lcole intuitioniste.
Sciences
1900 : Freud publie Die traumdeutung (LInterprtation des rves). Ida Bauer com-
mence une cure avec lui : la psychanalyse est ne !
1900 : Planck pose les fondements de la mcanique quantique dans Zur Theorie des
Gesetzes der Enieverteilung im Normalspektrum : son quantum daction permet de
rendre compte des donnes exprimentales sur le rayonnement du corps noir.
1904 : Dans Electromagnetic phenomena in a system moving with any velocity less
than that of light , Lorentz explicite le groupe de transformations qui portent son
nom et qui sera au cur de la thorie de la relativit restreinte.
1904-1905 : Weber publie sous forme darticles Die protestantische Ethik und der Geist
des Kapitalismus (Lthique protestante et lesprit du capitalisme). Louvrage, cen-
tr sur les motivations des individus agir, aura une influence considrable sur la
sociologie.
1905 : Dans Drei Abhandlungen zur Sexualtheorie , Freud rassemble ses hypothses
sur la place de la sexualit et son devenir dans le dveloppement de la personnalit.
1905 : Quatre articles fondamentaux dEinstein rvolutionnent la physique et ouvrent
une nouvelle re. Ils concernent leffet photolectrique, le mouvement brownien, la
thorie de la relativit restreinte et lquivalence masse-nergie.
1906 : De Saussure commence son tude des principes structuraux de la linguistique.
QUELQUES REPRES HISTORIQUES 515
Avances technologiques
1904 : Fleming, de la socit Marconi, invente la diode vide.
1907 : Premier vrai dcollage au monde dun hlicoptre, un engin invent et pilot par
Cornu.
1907 : La baklite est lune des premires matires plastiques, dveloppe par le chi-
miste Baekeland.
1908 : Painlev senvole comme passager dun des frres Wright sur leur biplan.
1910 : Claude invente les lampes au non.
Histoire franco-allemande
1902 : En France, les lections lgislatives donnent le pouvoir une alliance de radicaux
et de socialistes : cest le Bloc des gauches. Le programme du gouvernement dmile
Combes est essentiellement de lutter contre linfluence de lglise. Il aboutira la loi
de sparation de lglise et de ltat de 1905 et la nationalisation des biens de lglise.
1904 : La France et le Royaume-Uni signent un trait, lEntente cordiale, qui marque un
rapprochement diplomatique entre les deux pays, face la Triple Alliance. LEntente
cordiale, lAlliance franco-russe et la Convention anglo-russe qui sera signe en 1907,
constitueront la Triple Entente.
1905 : En Allemagne, von Schlieffen prsente son plan de stratgie offensive sur les deux
fronts, franais et russe.
Bibliographie
[Abe1826] N. H. ABEL Mmoire sur une proprit gnrale dune classe trs ten-
due de fonctions transcendantes , prsent lAcadmie des sciences
Paris le 30 octobre 1826. = [Abe1881], p. 145211.
[AhSa1960] L.V. AHLFORS & L. SARIO Riemann Surfaces, Princeton Univ. Press, 1960.
[ApGo1929] P. APPELL & . GOURSAT Thorie des fonctions algbriques et de leurs in-
tgrales. I tude des fonctions analytiques sur une surface de Riemann,
Deuxime dition, Gauthier-Villars, Paris, 1929. Volume II : [Fat1930].
[Arg1806] J.-R. ARGAND Essai sur une manire de reprsenter les quantits ima-
ginaires par des constructions gomtriques, Veuve Blanc, Paris, 1806.
Deuxime dition : Gauthier-Villars, Paris, 1874.
[Bea1983] A. F. BEARDON The geometry of discrete groups, Grad. Texts in Math. 91,
Springer, New York, 1983.
[Bea1984] , A primer on Riemann surfaces, London Math. Soc. Lect. Note Se-
ries 78, Cambridge Univ. Press, Cambridge, 1984.
[Bert1882] E. BERTINI Sui sistemi lineari , Istit. Lombardo Accad. Sci. Lett. Rend. A
Istituto (II) 15 (1882), p. 2428.
[BrNo1874] A. BRILL & M. NTHER ber die algebraischen Functionen und ihre
Anwendung in der Geometrie , Math. Ann. 7 (1874), p. 269316.
[BrBo1859] C. BRIOT & J.C. BOUQUET Thorie des fonctions doublement priodiques
et, en particulier, des fonctions elliptiques, Mallet-Bachelier, Paris, 1859.
[Bu1806] A.-Q. BUE Mmoire sur les quantits imaginaires , Philos. Trans. Roy.
Soc. London 96 (1806), p. 2388.
[Car1906] C. CARATHEODORY ber die starken Maxima und Minima bei einfachen
Integralen , Math. Ann. 62 (1906), p. 449503.
[Car1913b] , ber die gegenseitige Beziehung der Rnder bei der konformen
Abbildung des Inneren einer Jordanschen Kurve auf einen Kreis , Math.
Ann. 73 (1913), p. 305320.
[DoTi1978] M. DOSTAL & R. TINDELL The Jordan curve theorem revisited , Jahres-
ber. Deutschen Math.-Vereinigung 80 (1978), p. 11128.
[DoDo1977] R. & A. DOUADY Algbre et thories galoisiennes, CEDIC, Paris, 1977. Nou-
velle dition augmente, Cassini, Paris, 2005.
[Dyc1888] W. DYCK Beytrge zur Analysis Situs , Math. Ann. 32 (1888), p. 457
512.
[FrKl1897] R. FRICKE & F. KLEIN Vorlesungen ber die Theorie der automorphen
Funktionen, deux tomes (le second en 3 parties), Teubner, Leipzig, 1897
1912.
[Fub1906] , Sul principio di Dirichlet (Da una lettera al Prof. Beppo Levi) ,
Rend. mat. Palermo 22 (1906), p. 383386.
[Fuc1881] , Auszug aus einem Schreiben des Herrn L. Fuchs an C.W. Bor-
chardt , J. Reine Angew. Math. 90 (1881), p. 7173.
[Gau1825] C. F. GAUSS Allgemeine Auflsung der Aufgabe die Theile einer gegebe-
nen Flche so auszubilden , in Astronomische Abhandlungen [tome 3],
d. par H.C. Schumacher, Altona, 1825. = [Gau1863], vol. 4, p. 189216.
Traduit dans : Solution gnrale de ce problme : reprsenter les parties
dune surface donne sur une autre surface donne , Hermann, Paris,
1915.
[Gra1986] J. GRAY Linear differential equations and group theory from Riemann to
Poincar, Birkhuser, Boston, 1986. Seconde dition, 2000.
524 BIBLIOGRAPHIE
[HaMo1998] J. HARRIS & I. MORRISON Moduli of curves, Grad. Texts in Math. 187,
Springer, New York, 1998.
[Haw2000] T. HAWKINS Emergence of the theory of Lie groups, An essay in the History
of Mathematics, 1869-1926, Springer, 2000.
BIBLIOGRAPHIE 525
[Hil1909] , Zur Theorie der konformen Abbildung , Nachr. Ges. Wiss. Gt-
tingen (1909), p. 314323.
[Iha1974] Y. IHARA Schwarzian equations , J. Fac. Sci. Univ. Tokyo Sect. IA Math.
21 (1974), p. 97118.
[Jac1828] C. G. JACOBI Suite des notices sur les fonctions elliptiques , J. Reine
Angew. Math. 3 (1828), p. 303310 ; in [Jac1969], vol. I, p. 255263.
[Joh1906a] S. JOHANSSON Ein Satz ber die konforme Abbildung einfach zusam-
menhngender Riemannscher Flchen auf den Einheitskreis. , Math.
Ann. 62 (1906), p. 177183.
[Jor1866] C. JORDAN Sur la dformation des surfaces , J. Math. Pures Appl. (2e
srie) 11 (1866), p. 105109.
[Kle1884] , Vorlesungen ber das Ikosaeder und die Auflsung der Gleichun-
gen vom fnften Grade, Teubner, Leipzig, 1884. Traduction anglaise (di-
tion rvise) : Lectures on the icosahedron and the solution of equations of
the fifth degree, Dover, Mineola (NY), 2003.
[Lan2002] S. L ANG Algebra. Revised third edition, Grad. Texts in Math. 211, Sprin-
ger, New York, 2002.
[LaPi2004] O. A. L AUDAL & R. PIENE The legacy of Niels Hendrik Abel. Papers from the
bicentennial conference at the University of Oslo, June 3-8 2002, Springer,
New York, 2004.
[Leb1907a] H. LEBESGUE Sur le problme de Dirichlet , C.R. Acad. Sci. Paris 144
(1907), p. 316318 et 622623.
[Levi1906b] , Sul principio di Dirichlet (Da una lettera al Prof. Guido Fubini) ,
Rend. mat. Palermo 22 (1906), p. 387394.
[Levy1999b] (d), The eightfold way. The beauty of Kleins quartic curve, Math.
Sci. Res. Inst. Publ. 35, Cambridge Univ. Press, 1999. Chapitres tl-
chargeables ladresse : http://www.msri.org/communications/books/
Book35/index.html.
BIBLIOGRAPHIE 531
[Mas1988] , Kleinian groups, Grund. Math. Wiss. 287, Springer, New York,
1988.
[McKMo1997] H. MCKEAN & V. MOLL Elliptic curves. Function theory, geometry, arith-
metic, Cambridge Univ. Press, 1997.
[Mil1965] J. MILNOR Topology from the differentiable viewpoint, The Univ. Press of
Virginia, Charlottesville, 1965.
[Mb1865] , ber die Bestimmung des Inhaltes eines Polyeders , Ber. Verh.
Kn. Schs. Ges. Wiss., Math.-phys. Klasse 17, p. 3168. In [Mb1886],
p. 433471.
[Mon1907] P. MONTEL Sur les suites infinies de fonctions , Ann. Sci. cole Norm.
Sup. 24 (1907), p. 233334.
[Mum1975] D. MUMFORD Curves and their Jacobians, The Univ. of Michigan Press,
Ann Arbor, 1975.
[Mum1999] , The red book of varieties and schemes, seconde dition. Contient
[Mum1975]. Lecture Notes in Mathematics, 1358. Springer, Berlin, 1999.
[OsgW1900] W. OSGOOD On the existence of the Greens function for the most ge-
neral simply connected plane region , Trans. Amer. Math. Soc. 1 (1900),
p. 310314.
[OvTa2005] V. OVSIENKO & S. TABACHNIKOV Projective geometry, old and new. From
the Schwarzian derivative to the cohomology of diffeomorphism groups,
Cambridge Univ. Press, 2005.
[PaSe2004] I. PAN & M. SEBASTIANI Les quations diffrentielles algbriques et les sin-
gularits mobiles, Ensaios Matemticos, vol. 8, Sociedade Brasileira de
Matemtica, Rio de Janeiro, 2004.
[Pic1890] . PICARD Mmoire sur la thorie des quations aux drives partielles
et la mthode des approximations successives , J. Math. Pures Appl. (4e
srie) 6 (1890), p. 145210. = [Pic1979], p. 384450.
[Pic1893b] , Sur lquation u = e u , C.R. Ac. Sci. Paris 116 (1893), p. 1015
1017. = [Pic1979], p. 521523.
[Pic1893c] , Sur une quation aux drives partielles , C.R. Ac. Sci. 116
(1893), p. 454456. = [Pic1979], p. 517519.
[Poin1881a] H. POINCAR Sur les fonctions abliennes , C.R. Acad. Sci. Paris 92
(1881), p. 958959. = [Poin1951], t. IV, p. 299301.
[Poin1881b] , Sur les fonctions fuchsiennes , C.R. Acad. Sci. Paris 92 (1881),
p. 333335 (14 fvrier) ; p. 395396 (21 fvrier) ; p. 859861 (4 avril). =
[Poin1951], t. II, p. 110.
[Poin1881c] , Sur les fonctions fuchsiennes , C.R. Acad. Sci. Paris 92 (1881),
p. 11981200. = [Poin1951], t. II, p. 1922.
[Poin1881d] , Sur les fonctions fuchsiennes , C.R. Acad. Sci. Paris 92 (1881),
p. 14841487. = [Poin1951], t. II, p. 1215.
[Poin1881e] , Sur les groupes kleinens , C.R. Acad. Sci. Paris 93 (1881), p. 44
46. = [Poin1951], t. II, p. 2325.
BIBLIOGRAPHIE 535
[Poin1882b] , Sur les fonctions fuchsiennes , C.R. Acad. Sci. Paris 94 (1882),
p. 10381040. = [Poin1951], t. II, p. 4143.
[Poin1882c] , Sur les fonctions uniformes qui se reproduisent par des substi-
tutions linaires , Math. Ann. 19 (1882), p. 565568. = [Poin1951], t. II,
p. 92105.
[Poin1884b] , Sur les groupes des quations linaires , Acta Math. 4 (1884),
p. 201312. = [Poin1951], t. II, p. 300401.
[Poin1888] , Sur une proprit des fonctions analytiques , Rend. mat. Pa-
lermo 2 (1888), p. 197200. = [Poin1951], t. IV, p. 1113.
[Pois1820] S. D. POISSON Mmoire sur la manire dexprimer les fonctions par des
sries de quantits priodiques , J. c. Polytechnique 11 (1820) p. 417
489.
[Ponc1822] J.-V. PONCELET Trait des proprits projectives des figures, Bachelier, Pa-
ris, 1822.
[Pont1974] J.-C. PONT La topologie algbrique des origines Poincar, Presses Univ.
France, Paris, 1974.
2u 2u
[Pry1871] F. E. PRYM Zur Integration der Differentialgleichung x2
+ y2
= 0 ,
J. Reine Angew. Math. 73, (1871) p. 340364.
[Rad1925] T. RAD ber den Begriffe der Riemannsche Flche , Acta Litt. Sci.
Szeged 2 (1925), p. 101121.
[Rey1989] . REYSSAT Quelques aspects des surfaces de Riemann, Progr. Math. 77,
Birkhuser, Boston, 1989.
BIBLIOGRAPHIE 537
[Rit1908] W. RITZ ber eine neue Methode zur Lsung gewisser Variationspro-
bleme der mathematischen Physik. , J. fr Math. 135 (1908), p. 161.
[Schoe1896] A. SCHOENFLIES ber einen Satz auf der Analysis Situs , Nachr. Ges.
Wiss. Gttingen (1899), p. 7989.
2u
[Schw1870a] , ber die Integration der partiellen Differentialgleichung x2
+
2u
y2
= 0 unter vorgeschriebenen Grenz- und Unstetigkeitbedingungen ,
Monatsber. der Kniglichen Akademie der Wissenschaft zu Berlin (1870),
p. 767795.
[Ser1970] J.-P. SERRE Cours darithmtique, Presses Univ. France, Paris, 1970.
[Sny1993] J. SNYDER Flattening the Earth : Two Thousand Years of Map Projections,
Univ. of Chicago Press, 1993.
[Viv1888a] G. VIVANTI Sulle functioni ad infiniti valori , Rend. Circ. Mat. Palermo
2 (1888), p. 135138.
[Viv1888b] , Ancora sulle functioni ad infiniti valori , Rend. Circ. Mat. Pa-
lermo 2 (1888), p. 150151.
[Wey1913] H. WEYL Die Idee der Riemannschen Flche, Teubner, Leipzig, 1913. R-
impression avec commentaires en anglais, Teubner, Stuttgart, 1997.
[Wey1955] , Die Idee der Riemannschen Flche [3e dition], Teubner, Stutt-
gart, 1955. Traduction anglaise : The concept of a Riemann surface,
Addison-Wesley, Reading (Mass.), 1964.
[Wil1949] R. L. WILDER Topology of Manifolds, Amer. Math. Soc. Coll. Publ., vol.
32, Amer. Math. Soc., New York, 1949.
[ZVC1970] H. ZIESCHANG, E. VOGT & H.-D. COLDEWEY Flchen und ebene diskon-
tinuierliche Gruppen. Lect. Notes in Math. 122, Springer, Berlin, 1970.
Traduit par J. Stillwell : Surfaces and planar discontinuous groups, Lect.
Notes in Math. 835, ibid., 1980.
Index
quation diffrentielle linaire, 459, Fonction uniforme, 22, 66, 456, 457,
470, 476, 478, 484, 491 460, 475, 476, 480, 483
quation diffrentielle, 330 Fonction ztafuchsienne, 470, 484, 491
quation diffrentielle linaire, 28, 262 Forme automorphe, 163, 218
quation fuchsienne, 252, 290, 330 Forme harmonique, 127
quation globalisable, 268 Forme modulaire, 160, 163
quation hypergomtrique, 294 Formule de Poisson, 80, 81
quation modulaire, 158, 164, 465 Formule de Schwarz-Christoffel, 147
quation normale, 271 Fuchsienne, 330
quation rduite, 262 Gomtrie birationnelle, 17
quation uniformisante, 331 Gomtrie projective, 15
quations de CauchyRiemann, 61 Gauss, 19, 21, 38, 46
quations de Cauchy-Riemann, 49 Genre, 76, 77, 463, 465, 490
quations de Maxwell, 126 Groupe des transformations linaires,
quivalence birationnelle, 102, 224 460
quivalence projective, 264, 330 Groupe discontinu, 459, 461, 464, 466,
470, 474, 476, 480, 482, 490
ratosthne, 38
Groupe fondamental, 75
Espce dune forme, 88
Groupe fuchsien, 28, 197, 463, 491
Espace de Teichmller, 230
Groupe kleinnen, 491
Espace des modules grossier, 105
Halley, 42
tale, 263
Hipparque, 38
Euler, 38
Homographie, 65
Famille gnratrice standard, 233
Horoboule, 161
Fermat, 13
Icosadre, 457, 459
Flux, 119
Ingalit de Harnack, 421
Fonction , 55, 467
Ingalit de Riemann, 96
Fonction de Weierstrass, 56 Indice de ramification, 79
Fonction transformations linaires en Intgrale ablienne, 59
soi, 457, 460, 469, 483 Intgrale de deuxime espce, 88
Fonction ablienne, 467, 469 Intgrale de troisime espce, 88
Fonction algbrique, 51, 59 Intgrale elliptique, 21
Fonction conjugue, 61 Integrale ablienne, 51
Fonction de Green, 83, 397 Invariant modulaire, 157, 160, 164
Fonction doublement priodique, 457 Invariants fondamentaux, 237, 239
Fonction elliptique, 56, 456 Involution de Fricke, 165, 168
Fonction fuchsienne, 30, 224, 460, 462, Irrotationnel, 119
463, 469, 470, 474, 477, 478, 488, Jacobi, 21
491 Jacobienne, 108, 109
Fonction harmonique, 61 Klein, 27, 28
Fonction kleinenne, 469, 474, 477, 478, Koebe, 31
480, 491 Lagrange, 38, 43
Fonction modulaire, 456, 458, 461, 465, Lambert, 38, 43
471, 477, 478, 490 Laplacien, 345
Fonction modulaire elliptique, 456, laplacien, 61
458, 460 Lemme de Margulis, 242
Fonction multiforme, 21, 65, 66 Lemme de Weyl, 130
Fonction priodique, 457 Lemniscate, 51
Fonction sous-harmonique, 435 Longueur extrmale, 247
Index 543
Troisime espce, 88
Transformation hyperbolique, 196 Uniformisante locale, 69
Transformation parabolique, 196 Varit des reprsentations, 232
Triangle dinflexion, 174, 179 Weierstrass, 82