ees matresses de
luvre de A. Grothendieck
Pierre Deligne
R
esum
e
Cet article tente dexpliquer quatre concepts mathematiques fondamentaux crees par Grothendieck : les schemas, les topos, les
six operations et les motifs.
Abstract
We try to explain four fundamental ideas invented by Grothendieck:
schemes, topos, the six operations and motives.
SOCIET
DE FRANCE 1998
12
P. DELIGNE
1.
Sch
emas
Linvention des schemas est la premi`ere des idees de Grothendieck `a laquelle on pense, peut-etre parce quelle a ete la plus vite acceptee. Lexpose de
Serre a` Stockholm (1962) commence par : Je voudrais exposer ici quelques
uns des developpements recents de la geometrie algebrique. Je dois preciser
que je prends ce dernier terme au sens qui est devenu le sien depuis quelques
annees : celui de la theorie des schemas. Cette acceptation a ete facilitee par
la parution rapide, gr
ace `a la collaboration de Dieudonne, des EGA.
Laudace de la denition de Grothendieck est daccepter que tout anneau
commutatif (`
a unite) A denisse un schema ane Spec(A), i.e. de ne pas
chercher `a se limiter `a une categorie de bons anneaux (int`egres, reduits,
noetheriens, . . .). Ceci a un prix. Les points de Spec(A) (ideaux premiers de A)
nont pas un sens geometrique maniable, et le faisceau structural O nest pas
un faisceau de fonctions. Quand on a a` construire un schema, on ne commence
pas en general par construire lensemble de ses points.
Plus important peut-etre : le parti pris de b
atir une theorie relative, dont
` 3
SEMINAIRES
ET CONGRES
QUELQUES IDEES
MAITRESSES DE LUVRE DE A. GROTHENDIECK
13
temoigne lomnipresent
X
f
S
des exposes de Grothendieck. Le cas classique dune variete denie sur un
corps k devient le cas particulier S = Spec(k). Dans une theorie relative, avec
un S-schema X (= schema X sur S), i.e. avec un morphisme de schemas
f : X S, on consid`ere systematiquement le schema X deduit de X par un
changement de base u : S S, i.e. le produit bre X := S S X et sa
projection f sur S :
X
X
S
S
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
14
P. DELIGNE
` 3
SEMINAIRES
ET CONGRES
QUELQUES IDEES
MAITRESSES DE LUVRE DE A. GROTHENDIECK
2.
15
Topos
SOCIET
DE FRANCE 1998
16
P. DELIGNE
Autres applications :
(A) Cohomologie cristalline. La cohomologie cristalline est celle du topos
cristallin, et cette denition rend claire sa fonctorialite. Le topos cristallin est
toutefois dusage delicat et il est souvent necessaire de passer `a une interpretation en termes de complexes de de Rham.
(B) Espaces rigides analytiques. Les faisceaux rigides analytiques de Tate
sont des faisceaux coherents sur un topos annele convenable, et leur cohomologie la cohomologie correspondante.
(C) Feuilletages. Une variete X munie dun feuilletage F denit un quotient X/F, qui est un topos localement isomorphe a` celui des faisceaux sur
une variete. Ce point de vue semble avoir ete eclipse par celui de Connes qui
associe plutot a` F une C -alg`ebre non commutative.
Jaimerais encore mentionner lusage de gros sites (topos) par Grothendieck, notamment pour interpreter des espaces classiants.
3.
Les six op
erations
` 3
SEMINAIRES
ET CONGRES
QUELQUES IDEES
MAITRESSES DE LUVRE DE A. GROTHENDIECK
17
Les six operations sont des foncteurs entre categories derivees. Il sagit
L
4.
Motifs
i
Het
(X, Z ).
Pour k de caracteristique > 0, il nexiste pas de cohomologie enti`ere fonci (X, Z ) ont,
torielle donnant lieu a` de tels isomorphismes. Neanmoins, les Het
pour variable, un air de famille . Pour i = 1, et X projective et lisse,
1 (X, Z )
ole de linexistante theorie enti`ere : il redonne les Het
Pic0 (X) joue le r
et est un objet sur Z , en ce que les groupes dhomomorphismes entre
schemas abeliens sont de type ni.
La theorie des motifs est dabord une tentative pour trouver un substitut a` linexistante cohomologie enti`ere, expliquant lair de famille entre les
i (X, Z ), sp
ecialement pour X projectif et lisse. On reconnat la patte du
Het
Matre dans lidee que le probl`eme nest pas de denir ce quest un motif :
le probl`eme est de denir la categorie des motifs, et de degager les structures
quelle porte. Ces structures devraient permettre de prouver la conjecture de
Weil sur le mod`ele de Serre [1960]. Voir Grothendieck [1969].
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
18
P. DELIGNE
Bibliographie
Une bibliographie de Grothendieck est donnee au debut de son Festschrift [Cartier
et al. 1990, p. xiiixx].
Autres sources : lintroduction, et larticle de J. Dieudonne : De lanalyse fonctionnelle aux fondements de la geometrie algebrique , dans ce meme Festschrift
(p. 114), les exposes aux congr`es internationaux de mathematiciens de J.-P. Serre
(Stockholm 1962) : Geometrie algebrique (p. 190196), J. Dieudonne (Moscou
1966) : Les travaux de Alexander Grothendieck (p. 2124), et, pour RiemannRoch et les groupes de Grothendieck, celui de H. Cartan (Moscou 1966) : Luvre
de Michael F. Atiyah (p. 914).
Artin (M.)
[1969]
Grothendieck (A.)
[1955]
[1957]
[1963]
[1969]
[1985]
Recoltes et Semailles : R
eexions et temoignage sur un pass
e de mathematicien, Montpellier : Univ. Sci. et Tech. Languedoc et CNRS, 1985.
[EGA]
El
Sci. Publ. Math.
4, 8, 11, 17, 20, 24, 28, 32. En collaboration avec J. Dieudonne.
` 3
SEMINAIRES
ET CONGRES
QUELQUES IDEES
MAITRESSES DE LUVRE DE A. GROTHENDIECK
19
[FGA]
[SGA]
Hartshorne (R.)
[1966]
Residues and duality, vol. 20 des Lecture Notes in Math., BerlinHeidelberg : Springer, 1966.
Illusie (L.)
[1990]
Motives, vol. 55 des Proceedings of Symposia in Pure Mathematics. Providence : Amer. Math. Soc., 1991.
Saavedra (N.)
[1972]
Categories tannakiennes, vol. 265 des Lecture Notes in Math., BerlinHeidelberg : Springer, 1972.
Serre (J.-P.)
[1960]
Analogues k
ahleriens de certaines conjectures de Weil, Ann. of Math., 71
(1960), p. 392-394 ; uvres, vol. II. Berlin-Heidelberg : Springer, 1986,
p. 1-3.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
Naissance des br
es et homotopie
Beno Eckmann
R
esum
e
Il sagit dun episode de lhistoire des mathematiques bien delimite dans son sujet et dans le temps : les origines de la theorie
homotopique des espaces bres, de 1935 a` 1950 environ (les debuts de la theorie des bres vectoriels, avec groupe de structure,
etc. ne sont pas abordes). Durant cette periode, la combinaison
des idees de Hurewicz sur les groupes dhomotopie avec la notion de bre suggeree par les brations de Hopf a livre une
foule de resultats inattendus. Beaucoup de developpements ulterieurs dune importance fondamentale en topologie, en alg`ebre et
au-del`
a, trouvent leur origine dans cet episode.
Abstract
This is about an episode in the history of mathematics, very much
restricted in content and in time: the origins of the homotopy
theory of bre spaces, roughly from 1935 to 1950 (the beginnings
of the theory of vector bundles bre bundles, structure group,
etc. are not treated). During that period, the combination of
Hurewiczs ideas concerning homotopy groups with the concept
of bre space suggested by the Hopf brations has led to a great
SOCIET
DE FRANCE 1998
22
B. ECKMANN
number of unexpected results. Many later developments of fundamental importance in topology, algebra, and mathematics in
general have their origin in this episode.
1.
Fibrations de Hopf et g
en
eralisation
` 3
SEMINAIRES
ET CONGRES
ET HOMOTOPIE
NAISSANCE DES FIBRES
23
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
24
B. ECKMANN
2.
Groupes dhomotopie
En 1935 egalement, puis en 1936, apparaissaient les Notes de Hurewicz
Beitrage zur Topologie der Deformationen . Il fut vite evident quil sagis-
sait dune chose tr`es dierente de ce quon avait fait auparavant en topologie
algebrique (dite combinatoire `a lepoque) a` lexception du groupe fondaur,
mental dont les groupes dhomotopie n (X), n = 1, 2, 3, ... etaient, bien s
` 3
SEMINAIRES
ET CONGRES
ET HOMOTOPIE
NAISSANCE DES FIBRES
25
libre.
2.2. Si X est un H-espace, c.-`a-d. un espace muni dune multiplication
notee x x , continue avec element neutre e `a homotopie pr`es, on constate
sans peine que
(f1 + f2 ) (g1 + g2 ) = f1 g1 + f2 g2 ,
toujours a` homotopie pr`es. Do`
u, e etant lapplication constante,
(f + e) (e + g) = f + g = f g,
(e + g) (f + e) = f + g = g f.
Il sensuit que f +g peut etre donne par la multiplication dans X, et que f +g =
g + f . Ainsi pour un groupe topologique G, 1 (G) est abelien ce qui etait
bien connu avant. Mais de facon generale, pour X arbitraire, les applications
I n , In X, x0 peuvent etre identiees aux applications I n1 , In1 X, x0
o`
u X est lespace des applications I, IX,
x0 (lespace des lacets de X en
x0 ). On a donc n (X) = n1 (X) pour n 2. Mais X est un Hespace
par la composition des lacets.
Les groupes dhomotopie n (X) sont donc abeliens pour tout X et pour
tout n 2. On dit que pour cette raison, lorsque ces groupes furent presentes
par Cech
en 1932, on ne croyait pas quils pourraient etre interessants.
2.3. Deux miracles :
1. Avec surprise nous avions constate que lon pouvait donner une demonstration tr`es simple et transparente du fait que
n (S n ) = Z,
lisomorphisme etant donne en associant `a f : S n S n son degre. En eet,
par les methodes dapproximation simpliciale on voit sans peine que le degre
est un invariant dhomotopie, et que lon a :
a) lapplication degre : n (S n )Z est un homomorphisme, et
b) n (S n ) est engendre par lidentite (degre = 1).
En dautres termes, on retrouve le theor`eme de Hopf [1933] qui dit que
deux applications S n S n ayant meme degre sont homotopes.
2. A laide de la suite exacte des brations, dont il sera question dans la
section suivante, on constate que
3 (S 2 ) = Z,
engendre par la bration de Hopf S 3 S 2 . Donc, en particulier, il existe une
innite dapplications non-homotopes S 3 S 2 . Ce fait avait ete etabli en
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
26
B. ECKMANN
...3 (S 1 )3 (S 3 ) 3 (S 2 )2 (S 1 )...
on voit que 3 (S 3 ) = Z est isomorphe `a 3 (S 2 ) en vertu de la projection
p : S 3 S 2 qui est la bration de Hopf ; et lidentite de S 3 etant le generateur
de 3 (S 3 ), celui de 3 (S 2 ) est la projection p de lidentite, donc simplement p.
3.
n (F )
n (E) n (B),
o`
u p est la bration, et i : F E linclusion dans E de la bre F au-dessus
du point-base de B ; le point-base de E est choisi dans F . Pour denir un
homomorphisme : n (B)n1 (F ), et pour montrer que la longue suite
ainsi obtenue
i
est exacte (`a chaque etape image = noyau) on se sert de la propriete appelee
rel`
evement des homotopies :
Lemme 3.1. Soient f : XE et f = pf : XB. Alors toute homotopie H de f peut se relever en une homotopie H de f telle que H = pH .
En fait les seuls espaces X qui interviennent sont les sph`eres S n et les
cubes I n . Admettons ce Lemme ; je reviens dans 3.3. sur sa demonstration.
Le Lemme est suggere par le cas classique o`
u il sagit dun revetement (bre
discr`ete) et o`
u le rel`evement existe et est meme unique. Notons une consequence immediate :
` 3
SEMINAIRES
ET CONGRES
ET HOMOTOPIE
NAISSANCE DES FIBRES
27
Si f = pf et si f est homotope `
a g, alors il existe g : XE, homotope
a
`
telle que g = pg .
Autrement dit : Toute application dans B homotope a` une projection
est une projection. En particulier, toute application homotope a` zero est une
projection .
f ,
n (E mod F ) = n (B).
Lhomomorphisme est alors deni par le passage de f : In B `a f cidessus suivi de la restriction de f `a S n1 .
Le fait que la suite longue est exacte se verie facilement dans chacune des
trois etapes. Par exemple, si pour f : S n E on a p f = 0 alors lhomotpie
a zero de pf se rel`eve et f est homotope `a une application S n F , donc est
`
une image par i . Je laisse au lecteur le soin dexaminer ce qui ce passe en
petite dimension.
3.3. Tout cela nous paraissait evident, en particulier le Lemme. Mais naturellement il y avait quelque-chose a` demontrer, moyennant une hypoth`ese
a verier dans les exemples interessants.
`
Lhypoth`ese que javais choisie etait celle dune r
etraction. On suppose que
tout b B poss`ede un voisinage U (b) tel quil existe une retraction R(x, b) de
ument de b :
p1 (U (b)) sur Fb dependant contin
R(x, b) Fb pour tout x p1 (U (b)), R(x, b) = x si x Fb .
Dans les exemples tr`es concrets mentionnes en 1.3., E, B et F sont des varietes
dierentiables ; on peut les munir dune metrique riemannienne et construire
facilement une telle retraction a` laide des geodesiques orthogonales `a chaque
bre.
Si une retraction R(x, b) est donnee, on choisit y Fb et on pose, pour
tout b U (b)
t(b ) = R(y, b ).
Alors t est une application de U (b) dans E qui est un homeomorphisme de
U (b) sur un ensemble V (y) transversal aux bres Fb . Ce rel`evement dun
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
28
B. ECKMANN
4.
R
esultats
s+1
s+1
)), n
pour s = impair,
2
2
s+2
s+2
)), n
pour s = pair.
2
2
Cest ce que lon appela plus tard la stabilite des s ((U n)). Pour les premi`eres valeurs de s les groupes stables sobtenaient facilement : 1 (U (n)) =
1 ((U (1)) = Z, engendre par lidentite S 1 U (1). Pour s = 2 on a
s (U (n)) = s (U (
` 3
SEMINAIRES
ET CONGRES
ET HOMOTOPIE
NAISSANCE DES FIBRES
29
Pour s > 3 cela saverait bien plus dicile. En examinant de tr`es pr`es
lhomomorphisme dans la suite exacte de la bration en question jarrivais
[Eckmann 1941-42b] a` determiner 4 = 0 et 5 = Z.
4.4. Le Lemme sapplique, naturellement, non seulement aux groupes
dhomotopie, mais egalement `a toutes sortes de questions dhomotopie pour
les applications de X dans la base B dune bration EB. Considerons
trois exemples :
a) X = I n . Alors toute application f : I n B est une projection pf . Ce
resultat presque trivial dans le cas de la bration 3) dans 1.3. parat etre la
premi`ere consequence du Lemme pour un probl`eme danalyse (theor`eme de
Wazewski, mentionne dans [Eckmann 1941-42a] : completer une matrice reelle
orthogonale n (m 1), m < n, qui est une fonction continue dans I n , par
une ligne supplementaire).
b) X = B et f = identite. Un rel`evement de f sappelle une section
de la bration ; les champs de vecteurs ou de rep`eres tangents a` une variete
en constituent un cas particulier. De la suite exacte on deduit une condition
necessaire pour lexistence dune section : les n (E) se decomposent en somme
directe de n (B) et de n (F ). On arrive ainsi a` etablir des cas interessants
de non-existence de sections. Dans Eckmann [194243a] jai montre, `a laide
darguments plus compliques adaptes `a ce cas, que les sph`eres de dimension
4k + 1, k > 0 nadmettent pas deux champs de vecteurs tangents unite et
orthogonaux.
c) On appelle essentielle une application f : XY telle que toute application homotope `a f est surjective. Dapr`es le Lemme on voit que si lidentite
de E est essentielle alors il en est de meme pour la projection EB. Toutes
les brations dans 1.3. en fournissent des exemples, puisque E est une variete
compacte sans bord et que lapplication identique est de degre 1.
Bien s
ur, non seulement les resultats tombaient du ciel, mais aussi les probl`emes. Les exemples ci-dessus le montrent clairement. Citons simplement que
la determination des groupes dhomotopie stables des groupes unitaires, pour
s > 5, et du nombre maximum de champs de vecteurs tangents orthonormaux
sur une sph`ere restait ouverte.
5.
Equivalence
dhomotopie, espaces asph
eriques
5.1. On ne peut pas citer les Notes de Hurewicz [1935] sans parler des espaces aspheriques. Les espaces consideres etaient des complexes cellulaires
(`
a lepoque simpliciaux) ; X est dit aspherique si n (X) = 0 pour tout
n 2. Pour de tels espaces X et Y , Hurewicz montre par induction sur
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
30
B. ECKMANN
` 3
SEMINAIRES
ET CONGRES
ET HOMOTOPIE
NAISSANCE DES FIBRES
31
des idees de Hurewicz, mais aussi preparer une application typique et concr`ete
aux brations.
6.
Fibrations de sph`
eres en tores
SOCIET
DE FRANCE 1998
32
B. ECKMANN
7.
Et apr`
es ?
On peut tracer linuence de cet episode sur presque toutes les disciplines
mathematiques jusqu`
a nos jours (cela pourrait probablement se dire de toutes
les idees qui etaient nouvelles il y a longtemps). Suivre les relations mutuelles
entre les dierentes tendances, ecoles et modes serait une tache fascinante
mais tr`es dicile. Ny a-t-il pas des idees et des methodes tr`es `a la mode,
importantes pour un cercle de probl`emes, qui disparaissent tout a` coup pour
renatre plus tard dans un autre contexte ? The pattern becomes more and
more complicated of dead and living .
Je me borne `a mentionner ici une liste de developpements directement lies
a ce que je viens de decrire plus haut, et qui ont eu lieu immediatement apr`es
`
ou meme pendant cet episode. Il ne sagit que dallusions sommaires.
7.1. Groupes dhomotopie des sph`eres. Les resultats de 4.1. concernent
u il y a un terme Z. Dautres cas
des cas de n (S m ) avec n = 2m 1 o`
semblables etaient connus. Mais en 1950, Serre [1951] a demontre des resultats
sensationnels sur les n (S m ) pour n > m : Ces groupes sont toujours nis a`
lexception du cas m pair et n = 2m 1 o`
u cest une somme directe de Z et
dun groupe ni. Mais autrement le domaine des n (S m ) est trop vaste pour
etre aborde ici de facon plus generale ( suspension de Freudenthal [1937],
groupes dhomotopie stables des sph`eres).
7.2. Espaces dEilenberg-MacLane K(G, n). Eilenberg et MacLane [1943,
1945b] ont examine des espaces avec i = 0 pour i
= n. Dapr`es 5.2. le type
dhomotopie dun tel espace est determine par n et par n = G, abelien si
n > 1. Ces espaces jouent un r
ole universel pour lhomologie, la cohomologie,
et pour toutes les operations. Lexistence pour un G donne a ete etablie par
Whitehead [1949].
7.3. Homologie et cohomologie des groupes, alg`
ebre homologique. Lhomologie dun espace aspherique etant determinee par son groupe fondamental G
qui peut etre donne arbitrairement des methodes algebriques ont tout de
` 3
SEMINAIRES
ET CONGRES
ET HOMOTOPIE
NAISSANCE DES FIBRES
33
suite ete developpees pour les calculer `a partir de G. Cest ainsi que la (co)homologie des groupes est nee, et avec elle lalg`ebre homologique beaucoup
plus generale.
7.4. Type dhomotopie. D`es les annees 40, J.H.C. Whitehead a montre
quune application f : XY qui induit des isomorphismes de tous les
groupes dhomotopie est une equivalence dhomotopie. Il a ameliore la demonstration plus tard en creant la notion de CW-complexe [Whitehead Works
III, p. 95-105].
7.5. Cat
egories et foncteurs. Eilenberg et MacLane [1942, 1945a] ont realise que les idees generales derri`ere les notions dequivalence dhomotopie,
disomorphismes naturels , etc., ont une signication beaucoup plus profonde. Au debut, leur theorie des categories, foncteurs, et equivalences naturelles semblait etre juste un langage precis, mais on en a degage plus tard la
structure mathematique, aussi fondamentale quutile.
7.6. Sph`eres parall
elisables. Une variete de dimension n, dierentiable (et
munie dune metrique riemannienne) est dite parallelisable si elle admet un
champ continu de n-rep`eres orthonormes tangents. Dapr`es 4.4. les sph`eres
S 4k+1 avec k > 0 ne sont certainement pas parallelisables. Kervaire [1958],
Bott et Milnor [1958] ont demontre que S n est parallelisable (si et) seulement
si n = 1, 3, ou 7. Ce resultat se deduira plus tard tr`es simplement du cel`ebre
theor`eme dAdams [1960]. Adams [1962] a determine le nombre maximum
exact k tel que S n poss`ede un k-rep`ere tangent.
7.7. Groupes dhomotopie stables des groupes unitaires. Les resultats tr`es
incomplets de 4.3. ont ete peu a` peu ameliores. Le probl`eme se trouvait compl`etement resolu par Bott [1956] `a laide de methodes subtiles de geometrie
dierentielle : n (U (m)) = Z pour n impair, m n+1
2 , et = 0 pour n pair
n+2
et m 2 . Cest la periodicite de Bott (resultat analogue mais plus
complique pour les groupes orthogonaux). Cette solution geometrique a eu
des consequences enormes (K-theorie topologique, foncteurs cohomologiques
generaux).
7.8. Une remarque personnelle a` propos du dernier point : javais considere d`es les premiers calculsles applications f lin
eaires de S n dans U (m),
u les Aj sont des matrices m m. Il
c.-`a-d. de la forme f (x) =
xj Aj o`
sensuit que les Aj sont des matrices unitaires de Hurwitz-Radon [Hurwitz 1923, Radon 1922, Eckmann 194243b] ; reciproquement tout syst`eme de
n + 1 matrices de Hurwitz-Radon donne une application lineaire de S n dans
U (m). Javais conjecture que, dans le domaine stable, chaque classe dhomotopie contient une telle application lineaire, et que si une application lineaire
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
34
B. ECKMANN
est homotope `a zero, alors elle lest de facon lineaire, c.-`a-d. en vertu dune
matrice de Hurwitz-Radon supplementaire qui fournit une application lineaire
de S n+1 dans U (m). Dapr`es ce quon sait sur ces matrices cela aurait donne
le theor`eme de Bott. Mais cest seulement apr`es Bott, en utilisant son resultat sous la forme multiplicative de la K-theorie que jai pu demontrer la
conjecture (voir [Eckmann 1994]). Il reste toutefois le probl`eme dune demonstration directe qui reduirait la periodicite de Bott `a la discussion algebrique
des matrices de Hurwitz-Radon.
Bibliographie
Adams (J.F.)
[1960]
[1962]
Bott (R.)
[1956]
Cech
(E.)
[1932]
H
oherdimensionale Homotopiegruppen. In Verhandl. des intern. Math.
Kongresses, Z
urich, 1932, vol. 2, p. 203.
Dieudonn
e (J.)
[1989]
Eckmann (B.)
[1941-42a] Zur Homotopietheorie gefaserter Raumen, Comment. Math. Helv., 14
(1941-42), p. 141192.
[1941-42b] Uber
die Homotopiegruppen von Gruppenraumen, Comment. Math.
Helv., (1941-42), p. 234256.
[194243a] Systeme von Richtungsfeldern auf Spharen und stetige Losungen komplexer linearer Gleichungen, Comment. Math. Helv., 15 (194243), p. 1
26.
[194243b] Gruppentheoretischer Beweis des Satzes von Hurwitz-Radon u
ber die
Komposition quadratischer Formen, Comment. Math. Helv., 15 (1942
43), p. 358366.
` 3
SEMINAIRES
ET CONGRES
ET HOMOTOPIE
NAISSANCE DES FIBRES
[1994]
35
Sur les proprietes dhomotopie des espaces bres, C. R. Acad. Sci. Paris,
212 (1941), p. 945948.
[1943]
Relations between homology and homotopy groups, Proc. Nat. Acad. Sci.
USA, 29 (1943), p. 155158.
[1945a]
[1945b]
Freudenthal (H.)
[1937]
Uber
die Klassen von Spharenabbieldungen, Compositio Math., 5 (1937),
p. 299314.
Hopf (H.)
[1931]
Uber
die Abbildungen der dreidimensionalen Sphare auf die Kugelache,
Math. Ann., 104 (1931), p. 637665.
[1933]
Uber
die Abbildungen von Spharen auf Spharen von niedrigerer Dimension, Fund. Math., 25 (1935), p. 427440.
[1935]
Hurewicz (W.)
[1935]
[1936]
Beitr
age zur Topologie der Deformationen I, II, Proc. Konink. Nederl.
Akad. Wetensch., 38 (1935), p. 112119 et 521528.
Beitr
age zur Topologie der Deformationen III, IV, Proc. Konink. Nederl.
Akad. Wetensch., 39 (1936), p. 117126 et 215224.
Homotopy relations in bre spaces, Proc. Nat. Acad. Sci. USA, 27 (1941),
p. 6064.
Hurwitz (A.)
Uber
die Komposition quadratischer Formen, Math. Ann., 88 (1923), p. 1
25.
[1923]
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
36
B. ECKMANN
Kervaire (M.)
[1958]
Nonparallelizability of the nsphere for n > 7, Proc. Nat. Acad. Sci. USA,
44 (1958), p. 280283.
Radon (J.)
[1922]
Samelson (H.)
[1940]
Uber
die Sph
aren, die als Gruppenmannigfaltigkeiten auftreten, Comment. Math. Helv., 13 (1940), p. 144155.
Seifert (H.)
[1932]
Serre (J.-P.)
[1951]
Whitehead (J.)
[Works III] The Mathematical Works of J.H.C. Whitehead, vol III, London,
New York : Pergamon Press, 1962.
[1949]
` 3
SEMINAIRES
ET CONGRES
Abstract
The subject began with Huygenss theory of wave fronts as
envelopes of smoother waves, and subsequent work by Euler,
dAlembert and Riemann. Singularities at the wave fronts were
not understood before Hadamards theory of partie nie at
the beginning of this century. Contributions by Herglotz and
Petrovsky and the theory of distributions created in the forties by
Laurent Schwartz greatly illuminated the study of singularities
of solutions of hyperbolic PDEs. Solutions of Cauchys problem
given by Hadamard, Schauder, Petrovsky, and the author are discussed. More recently, microlocal analysis, initiated by M. Sato
and L. H
ormander led to important advances in understanding
the propagation of singularities. Functional analysis together
with distributions and microlocal analysis are expected to be
useful well into the next century.
R
esum
e
Le sujet debute avec la theorie de Huygens qui consid`ere les
fronts donde comme des enveloppes dondes plus reguli`eres, et
se poursuit par les travaux de Euler, dAlembert et Riemann.
Les singularites des fronts donde nont pas ete comprises avant
la theorie de la partie nie de Hadamard au debut de ce
si`ecle. Les contributions de Herglotz, Petrovsky et dans les annees quarante, la theorie des distributions de Laurent Schwartz
ont eclaire letude des singularites des solutions des EDP hyperboliques. On passe en revue les solutions au probl`eme de Cauchy
SOCIET
DE FRANCE 1998
L. GARDING
38
donnees par Hadamard, Schauder, Petrovsky et lauteur. Plus recemment, lanalyse microlocale de M. Sato et L. Hormander a
permis de grandes avancees dans la comprehension de la propagation des singularites. Lanalyse fonctionnelle, les distributions
et lanalyse microlocale seront certainement des outils importants
du prochain si`ecle.
1.
Introduction
` 3
SEMINAIRES
ET CONGRES
39
2.
Prehistory
With three space variables the wave equation describes free propagation of
light in physical space with velocity 1. For this equation, Poisson proved what
in modern terms amounts to the fact that the wave operator = t2 has
a fundamental solution
E(t, x) =
1
H(t)(t2 |x|2 )
2
with support on the forward lightcone t = |x|. It was then only too easy to
believe this to be a general phenomenon, for instance that the equations for
the propagation of light in media with double refraction follow the same rule
known under the name of Huygens principle:2 all light from a point-source is
concentrated to the surface given by the rules of geometric optics. Both G.
Lame and Sonya Kovalevski made this mistake till the use of Fourier analysis
proved that the existence of diuse light outside such surfaces is the rule and
the contrary an exception (for a historical review, see [G
arding 1989]).
A fundamental solution of the wave operator for two space variables was
found by Volterra and, at the turn of the century, Tedone tried the general
case, but could only construct what amounts to suciently repeated integrals
with respect to time of purported fundamental solutions. Behind these difculties is the fact that, in contrast to the properties of Laplaces operator,
the fundamental solutions of the wave operator are distributions with singularities outside the pole which get worse as the number n of space variables
increases. Before the theory of distributions, this was a formidable diculty.
3.
Partie nie
SOCIET
DE FRANCE 1998
L. GARDING
40
His operator is the wave operator with smooth, variable coecients and has
the form
ajk (x)j k + lower terms
(3.1)
L(x, x ) =
where the metric form
ajk j k has Lorentz signature +, .... A direction
for which the inverse metric form is positive, zero or negative is said to be
time-like, light-like and space-like respectively. Surfaces with time-like and
space-like normals are said to be space-like and time-like respectively. The
light rays are the geodesics of length zero. A time function t(x) with t (x)
time-like is given.
The light rays with a positive time direction issued from a point y constitute the forward light cone Cy with its vertex at y. Inside this light cone, the
fundamental solution with its pole at y has the same form as in the elliptic
case
f (x, y)d(x, y)2n
(3.2)
4.
The discovery of Friedrichs and Lewy [1928] that 1 uu with u real is the
divergence of a tensor with a positive energy density on space-like surfaces
produced both uniqueness results and a priori energy estimates, decisive for
the later development.
A great step forward was taken by Schauder [1935, 1936a,b] who proved
local existence of solutions of Cauchys problem and also the mixed problem
` 3
SEMINAIRES
ET CONGRES
41
for quasilinear wave operators. The method is to use approximations starting from the case of analytic coecients and analytic data. The success
of these papers depends on stable energy estimates derived from the energy
tensor and the use of the fact that square integrable functions with square
integrable derivatives up to order n form a ring under multiplication.3
Only a year after Schauder, Petrovsky [1937] extended his results for
Cauchys problem to strongly hyperbolic systems, in the simplest case
(4.1)
ut +
n
Ak (t, x)uk + Bu = v,
uk = u/xk ,
and the corresponding quasilinear versions. Here the coecients are square
matrices of order m and the strong hyperbolicity with respect to the time
variable t means that all m velocities c given by
(4.2)
det(cI +
k Ak (t, x)) = 0
are real and separate for all real = 0. The method is that of Schauder
starting from the analytic case, but Petrovsky had to nd his own energy
estimate. For this he used the Fourier transform, but the essential point is to
be found in thirty rather impenetrable pages. Note that if the system (4.1) is
symmetric, i.e., the matrices Ak are Hermitian symmetric, then (4.2) holds
except that the velocities need not be separate. Moreover,
k (Ak u(t, x), u(t, x)) = O(|u(t, x)|2 + |u(t, x)||v(t, x)|)
t |u(t, x)|2 +
under suitable conditions on the coecients. Hence the proper energy density
on t = const is here simply |u(t, x)|2 dx.
Petrovskys paper was followed by a study [Petrovsky 1938] of conditions
for the continuity of Cauchys problem for operators whose coecients depend
only on time.
5.
Herglotz [1926-28] and Petrovsky [1945] used the Fourier transform to construct fundamental solutions E(P, t, x) for constant coecient homogeneous
dierential operators P = P (t , x ) of degree m which are strongly hyperbolic
with respect to t. Every such fundamental solution E is analytic outside a
3
Soon after, Sobolev proved that one gets a ring also when n is replaced by (n + 1)/2
when n is odd and by (n + 2)/2 when n is even.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
L. GARDING
42
wave front surface W (P ), which is the real dual of the real surface P (, ) = 0,
and vanishes for t < 0 and outside the outer sheet of W (P ).4 Petrovsky also
found explicit formulas for derivatives of order > mn of a fundamental solution in terms of Abelian integrals, integrated over cycles c(x) of real dimension
n 3 in the complex projective intersection I of P () = 0 and (x, ) = 0. The
cycles depend on the parity5 of n and the component T of C(P )\W where x
is situated. When (x) is homologous to zero in I, the region T is a lacuna,
i.e., the fundamental solution is a polynomial of degree m n in T and hence
vanishes when m < n. The point of the paper is that the vanishing of the
cycle is necessary when the lacuna is stable under small deformations of the
operator.6
The intriguing paper [1937] by Petrovsky became the starting point for the
development after 1950 of a general theory of hyperbolic dierential operators
by Leray and others and the paper [Petrovsky 1945] was generalized and
claried by Atiyah, Bott and G
arding [1970, 1973].
A decisive factor in the further development was the full use of the distributions of Laurent Schwartz and later by pseudodierential operators and
microlocal analysis.
6.
The real dual is generated by gradP () when P () = 0 and has m sheets. Its intersection
] sheets.
with t 0 has [ m+1
2
5
When n is even, (x) is just the real intersection.
6
In his work, Petrovsky analysed the homology in middle dimension of a general algebraic
hypersurface.
` 3
SEMINAIRES
ET CONGRES
43
negative.7 It follows easily that Pm belongs to the class Hyp(N ) of homogenous elements in hyp(N ), that Pm ()/Pm (N ) is real for real argument and
that the real, homogeneous hypersurface Pm = 0 consists of of m sheets
meeting the lines = tN + const in m points. When these points are always
separate unless all zero, i.e., the real surface Pm () = 0 is non-singular outside
the origin, P is said to be strongly (strictly) hyperbolic. In this case, Pm + R
belongs to hyp(N ) for any polynomial R of degree < m. In the general case,
Pm + R is hyperbolic if and only if R( + iN )/Pm ( + iN ) is bounded for all
real [Svensson 1969].
The hyperbolicity cone (N ), dened as the connected component of
Pm () = 0 that contains N , is open and convex and has the property that
P hyp() for all .
Every P hyp(N ) has a fundamental solution, the distribution
(6.2)
E(P, N, x) = (2)
ei(x,+i)
d
Rn P ( + i)
cN , c > 0, su. large.
The Fourier-Laplace integral on the right does not depend on the choice of .
As a function of x it is supported in a propagation cone C(P, N ), dual to and
consisting of all x such that (x, ) 0. This cone is proper, closed and convex
and has only the origin in common with all hyperplanes (x, ) = 0, .
The existence of such a fundamental solution is equivalent to the condition
(6.1). Note that a square matrix M (D) of partial dierential operators whose
determinant P (D) belongs to hyp(N ) is itself hyperbolic. In fact, there is
a matrix M (D) such that M (D)M (D) = P (D)I with I a unit matrix and
then M (D) has a fundamental solution M (D)E(P, N, x) with support in the
propagation cone of P .8
7.
Lerays Princeton lectures [1953] and the paper by Atiyah et al. [1970] were
both written in an eort to understand [Petrovsky 1945]. The second one
extends his results to arbitrary P Hyp(N ) which are complete, i. e., not
expressible in fewer than n variables. For this, it is important to consider also
the local hyperbolicity cones (P , N ) (P, N ) where P () Hyp(N ) is
7
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
L. GARDING
44
(x, )q P ()1 ()
x E(P, N, x)
when q = m n || 0 and
(7.1)
x E(P, N, x)
tx
(x, )q P ()1 ()
j ...dn
(1)j1 d1 ...d
= 0.
` 3
SEMINAIRES
ET CONGRES
8.
45
In his lectures, Leray [1953] solved Cauchys problem for smooth scalar dierential operators and systems which are strongly hyperbolic in the sense that
the corresponding characteristic polynomials are strongly hyperbolic with respect to some direction. A surface is said to be space-like when the operator
is hyperbolic with respect to its normals.
Assuming uniform hyperbolicity of P (x, D) = D1m + ... with respect to x1
in some band a x1 b, Leray devised a suitable global energy form for
constant coecients which he extended to variable coecients by G
ardings
inequality [1953]. This permitted him to construct solutions of Cauchys
problem with initial data on planes x1 = const. by approximations from the
analytic case. Lerays paper also marks the rst appearance of distributions
in the theory of hyperbolic equations, to be used ever after.
In G
arding [1956, 1958], the energy tensor of Friedrichs and Lewy was
extended to scalar, strongly hyperbolic operators with variable coecients in
the following way, opened up by Leray [1953].
When ||
= m 1, || = m, the product u(x) u(x) with real u is a
divergence k Ck (u, u) where every Ck is a quadratic form in the derivatives
of u of order m 1. It follows that if P (x, D) and Q(x, D) are dierential
operators of degrees m and m 1, then
(8.1)
k Ck (x, u, u) + C0 (x, u, u)
where all Ck are hermitian forms in the derivatives of u of order at most m1,
C0 containing only derivatives of order m 1.
When Pm (x, D) = D1m + lower terms has constant coecients and is
strongly hyperbolic with respect to x1 , and Q(x, D) = Pm (x, D)/D1 , a
Fourier transform in the variables x = (x2 , ..., xn ) shows that
(8.2)
C1 (u, u)dx c
|D u(x)|2 dx ,
c > 0,
||=m1
SOCIET
DE FRANCE 1998
L. GARDING
46
[G
arding 1953]. The result is an inequality for t > 0,11
(8.3)
D
m1
u(t, .) C
P u(x1 , .) dx1
D k u(t, .) 2 =
(8.4)
||k
The inequality (8.3) also has a local version for lens-shaped subsets of B
bounded from below by space-like surfaces. It follows in particular that solutions of P (x, D)u = 0 which vanish at order m 1 on a space-like surface,
vanish identically.
When the left side of (8.3) is nite, the vector T k u = u(t, .), ..., Dtk u(t, .)
belongs to a certain Hilbert space H k . Let C(H k ), L1 (H k ), L (H k ) denote
functions of t such that, as a function of t, T k u(t, .) is continuous, integrable
and essentially bounded respectively with values in H k .
Associated to (8.3) is the following Cauchys problem
(8.5)
Pu = v
u ,0 c sup
v
|(u, P v)|
,
v ,m1
c > 0.
|(u, Av)|
,
v ,0
c > 0,
11
It is proved in [Ivrii and Petkov 1974] that this inequality implies that P (x, D) is strongly
hyperbolic when its coecients are suciently dierentiable.
` 3
SEMINAIRES
ET CONGRES
47
where s is any real number and the right side is dened by the Fourier transform in the varaible x . In this way, also functions with distributional values in
the x direction are taken into account. This inequality permitted Hormander
[1963] to solve the corresponding Cauchys problem very simply by a duality
argument. In particular, when the coecients of P are smooth enough, the
operator P has a fundamental solution E(x, y): P (x, D)E(x, y) = (x y)
which vanishes when x1 < y1 .
Cauchys problem on a manifold. The inequality (8.3) for lens-shaped
regions proves the basic uniqueness theorem for strongly hyperbolic operators
P on a manifold: if P u = 0 in some neighborhood of x0 and the Cauchy data
of u vanish on some smooth space-like surface S : s(x) = s(x0 ), then u = 0
close to x0 .
To deal with more global situations it is convenient to require the existence
of smooth, real time functions t(x) such that P (x, ) hyp(grad t(x)) for all
x.12 The condition grad s(x) (Pm (x, .), tx ) with a xed sign for smooth,
real s(x) denes two opposite classes T of time functions. A region where
some time function is in T+ is positive or negative is called a future and a
past respectively and a surface where some time function is constant is said
to be space-like. The manifold X is said to be complete relative to P if
every compact set is contained in an intersection of a past and a future with
12
By assuming the existence of time functions, Christodoulou and Klainerman [1993] were
able to prove global existence for Einsteins equations with small data.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
L. GARDING
48
u, f (u) Rn ,
where f is smooth and nonlinear and the matrix f (u)/u has real, separate
eigenvalues. Burgers equation for n = 1, ut + uux = 0 is a model case
exhibiting collisions and rarefaction waves depending on initial data for t =
0. The use of weak solutions [Lax 1957b] motivates jump conditions, the
classical Rankine-Hugoniot jump conditions, and existence proofs have to use
various entropy conditions. The case of arbitrary n has a rened existence
proof for initial data of small bounded variation [Glimm 1965] with a recent
amelioration by Young [1993]. When the initial total variation is not small
and n > 2 blow-up may occur (see Young [1995]). A short text cannot do
justice to the complicated nature and history of hyperbolic conservation laws.
There is ample material in [Smoller 1983].
9.
The full Cauchys problem with data on a space-like surface requires this condition.
` 3
SEMINAIRES
ET CONGRES
49
Cauchy data should also be correctly posed. Hence the data F in the reduced
problem ought to propagate away in the positive x1 and x2 directions [Agmon
1962, Hersh 1963]. In particular, if n = 2 and
m
(D1 + ak D2 ),
P (D) =
ak = 0,
SOCIET
DE FRANCE 1998
L. GARDING
50
10.
It is proved in [Ivrii and Petkov 1974] that an inequality (8.3) implies that
P (x, D) is strongly hyperbolic when its coecients are suciently dierentiable. The same paper also oers necessary conditions for the hyperbolicity
for operators with variable coecients as dened by an obvious localization
of (6.1) to a neighbourhood N of a point x0 and its intersection I with a
plane (x x0 , ) = 0. It is required that u tends to zero close to x0 when all
the derivatives tend to zero locally uniformly in I and P u tends to zero in
the same way in N . The verication of this property involves existence and
uniqueness of a suitable Cauchys problem.
By the construction of suitable asymptotic solutions it is shown that
P (x0 , D) must be hyperbolic with respect to . The proofs have been simplied by H
ormander [1985a, pp. 400-403]. Earlier proofs by the same method
due to Lax [1957a] for analytic coecients and Mizohata [1961-62] for rst
order systems supposed that is not characteristic.
In the Cauchys problem for the operator D12 x21 D22 + bD2 , studied by
Oleinik [1970], the regularity of the solution requires more and more regularity of the Cauchy data the smaller b is. This is the motivation in [Ivrii and
Petkov 1974] to dene regular hyperbolicity (eective hyperbolicity according to H
ormander [1977]) as hyperbolicity under addition of arbitrary lower
order terms in the operator. The authors then prove the following interesting
result. For an operator P (x, D) to be eectively hyperbolic in an open set it
is necessary that the fundamental matrix (Hamiltonian map)
p
px
, p = Pm (x, ),
(10.1)
pxx px
skewsymmetric in symplectic structure given by dx d, has a pair of nonvanishing real eigenvalues at every point where dp = 0 but d2 p = 0. When this
condition is not satised, there are conditions on the lower terms, exhibited
in [H
ormander 1977]. Finally, it is proved that the condition that
dPm (x, ) = 0
is both necessary and sucient for hyperbolicity with a xed relation between
the regularity of the data and that of the solution independent of lower order
` 3
SEMINAIRES
ET CONGRES
51
terms. This condition implies strong hyperbolicity in an open set and at most
double zeros of Pm (x, ) on a bounding space-like surface. Tricomis operator
D12 x1 (D22 + ... + Dn2 ) in the region x1 0 is here a classical example (see
[H
ormander 1985b, section 23.4]).
In contrast to this situation, the suciency of eective hyperbolicity for
hyperbolicity is a delicate problem. A positive answer is known only for
equations of order two [Iwasaki 1984, Nishitani 1984a,b]) and under a certain
restriction in the general case Ivrii [1978], removed by Melrose [1983]. The
fact that the condition (10.1) is invariant under canonical maps is used by
all these authors to get suitable normal forms of the operators which then
must involve pseudodierential operators. The canonical maps are realized
by Fourier integral operators, a tool created by Hormander [1971] (see below).
Outside of eective hyperbolicity, there are microlocal conditions at multiple characteristics which make the Cauchys problem correctly set in the
sense given above (see [Kajitani and Wakabayashi 1994] and the literature
quoted there).
Systems. Necessary conditions for hyperbolicity with respect to the time
variable x1 for rst order hyperbolic operators
L(x, D) + B(x),
11.
It was clear from the formulas of Herglotz and Petrovsky that the singularities of the fundamental solutions of homogeneous, strongly hyperbolic operators P (D) Hyp(N ) of degree m lie on the wave front surface, consisting
of [(m + 1)/2] sheets issued from the origin and contained in the dual to
the characteristic surface P () = 0.15 But the abstract existence proofs for
variable coecients did not give this kind of information, nor is it expected
15
SOCIET
DE FRANCE 1998
L. GARDING
52
unless the coecients are smooth. But for the case of innitely dierentiable
coecients, there are very precise results.
The construction of fundamental solutions of strongly hyperbolic operators by means of oscillating integrals [Lax 1957a, Ludwig 1960] gave the
rst answer.16 The oscillatory integrals used have the following general form
introduced by H
ormander [1971],
(11.1)
u(x) =
a(x, )ei(x,) d.
` 3
SEMINAIRES
ET CONGRES
12.
53
All the results above are claried by microlocal analysis which deals with localization in space and frequency of distributions and operators. A beginning
was made by Maslov [1964]. There is also a microlocal analysis for hyperfunctions initiated by Sato [1969] and later developed by his students and others.
However, we shall stick to distributions, following Hormander [1971].17
The setting of microlocal analysis is the cotangent bundle T (X) of a
dierentiable manifold X with local coordinates x, and invariant dierential
form = (dx, ). Let u be a distribution on Rn and let f C0 . Simple
arguments show that the growth at innity of the Fourier transform v() of
f u gets smaller in all directions when f is replaced by a product f g and
g C0 . Hence there is for instance a natural localization H s (x, ) of the
classical space H s at a point x, ( = 0) invariant under multiplication by
smooth functions and consisting of distributions u such that (1 + ||)s v()
belongs to L2 in some conical neighborhood of x, for some f C0 whose
support contains x. Another interesting object is the wave front set WF(u)
of a distribution u, equal to the complement of all x, such that v() has
fast decrease in some conical neighborhood of x, for some f as above. The
wave front set is a closed, conical subset of the cotangent bundle T (X). The
projection of WF(u) on X is the singular support S(u) of u. All these notions
extend to distributions on a manifold.
An important example of wave front set is the following. The wave front
set of the oscillatory integral (11.1) is contained in the set of pairs x, such
that (x, ) = 0. When the phase function is regular, i.e., the dierentials
d are linearly independent, this equation denes a conical Lagrangian manifold, a submanifold of T (Rn ) of maximal dimension were the dierential
form (, dx) vanishes. One important result of Hormander [1971] is that two
oscillatory integrals with regular phase functions with the same Lagrangian
produce the same distributions modulo smooth functions, at least when the
conical support of the amplitudes are small.
When the phase function of (11.1) has the form (x, y, ), x Rn , y
m
R , the integral I(x, y) represents the kernel of what is called a Fourier integral operator [H
ormander 1971]. Generally speaking, the corresponding
operator will map distributions u to distributions v such that
WF(v) C(WF(u))
17
Only the simplest version of microlocal analysis can be given here. For full exposition,
see H
ormanders monumental four volumes [H
ormander 1983a,b, 1985a,b].
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
L. GARDING
54
13.
` 3
SEMINAIRES
ET CONGRES
55
operator P has the characteristic equation p(x, x ) = 0 which in turn has the
characteristic curves
(13.1)
xt = p (x, ), t = px (x, ),
p(x, ) = 0,
SOCIET
DE FRANCE 1998
L. GARDING
56
14.
57
linear systems in two variables t, x with right hand sides which are smooth
functions of t, x, u. The initial value u(0, x) is supposed to be of class H s
in an interval I and smooth outside. In the linear case, the singularities lie
on 2m forward characteristics from the endpoints of I which form a net with
crossings. In the semilinear case, new forward characteristics occur from the
lowest crossing points and so on. The end result is an explicit rule giving the
regularity of u in regions bounded by bicharacteristics. Roughly speaking,
the regularity increases with the distance to the origin. For more than two
variables this process of selfspreading of singularities may result in uniformly
distributed singularity. Beals [1983] constructed solutions u(t, .) H s , with
0 < t < 1, s > (n + 1)/2, of the wave equation in 1 + n > 2 variables with a
suitable nonlinear term f (x)u3 and initial data in H s , H s1 , singular only at
the origin. The singular support of one such solution was shown to contain
the part of the forward light cone where t 1 and the solution is regular
there at least of the order 3s n + 1 + 0.
The method of paradierential calculus by Bony [1981] (see also the review
article [Bony 1989]) has given some very general results about the propagation
of singularities of nonlinear strongly hyperbolic equations. The calculus is
based on smooth functions () supported
annulus Ak : 1/k || k
in some
j ) equals 1 () where is
(2
with k > 1 such that the dyadic sum
0
smooth and supported in || < 1. The action of paramultiplication Tu on a
distribution v is dened by the formula
(2j D)(u(2j D)v)
with () as above and (x) smooth and equal to 1 in Ak with support in
a slightly larger annulus. The crucial property of paramultiplication is that
if u H s , v H t , s + t > 0 then uv = Tu v + Tv u + R(u, v) where R maps
H s H t continuously to H s+tn/2 and similar properties for substitution.
Bony proved that a nonlinear dierential operator of order m, F (u) =
F (x, u, Du, ..., Dm u), has a paralinearization L given by
Lu =
TF/ u u
2s2mn/2
when u H s , F (u)
s > m+n/2.
such that Lu belongs to Hloc
= 0 and
SOCIET
DE FRANCE 1998
L. GARDING
58
15.
The subject of global solutions of semilinear wave equations got new life in
the eighties. The impetus came from Fritz Johns papers about life-time and
blow-up of semilinear wave equations with small initial data [John Papers,
part. IV]. The best studied equations have the form
(15.1)
ajk (u ) j k u f (u ) = 0,
utt
u = gradu,
j = /xj ,
or
(15.2)
u = g(u, u , u ),
= t2
59
ecients are smooth and that the equations deviate little from u = 0 so that
ajk (u ) jk vanishes of order zero and f (u, u , u ) of order 1 for vanishing
arguments. The lifetime T of the solution is the maximal time below which the
solution is reasonably smooth. The work done with these equations is ample
conrmation of Schauders remark that the solution of nonlinear equations
means getting optimal bounds on solutions of linear equations. In particular,
the improvement below of the blow-up time with increasing n depends on the
increasing dispersion of initial data for the linear equation.
John worked with both equations above but mostly with the case n = 3
where has a fundamental solution 0. One of his many results [John 1979]
says that T 2 for the equation u = u2 . Improving on [John 1976],
John and Klainerman [1984] proved for equations (15.2) that T > ec/ when
n = 3. For n > 4 this was improved by Klainerman [1985a] to existence for
all suciently small > 0 when g does not depend on u. The case n = 3
requires an extra condition on the main term, the null condition, found by
Klainerman [1986] and Christodoulou [1986]. For n = 4 and g = g(u , u ),
H
ormander proved [1991] that T ec/ . The same estimate with 2 was
obtained later by Li Ta-Tsien and Zhou Yi [1995]. Corresponding results
for nonlinear pertubations of the Klein-Gordon equation utt u + u =
F (u, u ), where the linear equation has a better energy density, are less delicate
[Klainerman 1985b].
Recent interest has been focussed on the details of the blow-up. Caarelli
and Friedman [1986] found a space-like smooth blow-up surface for the wave
equation with right side F (u) Aup , A > 0, p > 1. Lindblad [1990a] proved
that the rescaled solution U (t, x) = 4 u(t/2 , x/2 ) of (15.2) in 1+3 variables
and f = u2 has a distribution limit v which solves (15.2) with the right side
v 2 + in some interval 0 < t < T . Here is a measure carried by the
forward lightcone. More precise life times T for two space variables are given
in [Alinhac 1994, 1995] where it also conjectured under certain regularity
assumptions that the quotient 1/(T t) describes the growth of the L2
norm of gradu at the point t close to T . Alinhac suggests that singularities
may appear as folds after a suitable change of variables and proposes better
approximations of the quasilinear equation than just the linear part. Such
methods were also used in [Hormander 1989].
16.
Concluding remarks
SOCIET
DE FRANCE 1998
L. GARDING
60
Bibliography
Agmon (S.)
[1962]
Alinhac (S.)
[1994]
[1995]
` 3
SEMINAIRES
ET CONGRES
61
[1973]
Barreto (A.)
[1995]
Beals (M.)
[1983]
Bony (J.M.)
[1981]
Calcul symbolique et propagation des singularites pour les equations partielles non lineaires, Ann. Sci. Ec. Norm. Sup., (IV) 14 (1981), pp. 209
246.
[1989]
The blow-up boundary for nonlinear wave equations, Trans. Amer. Math.
Soc., 297 (1986), pp. 223241.
Mixed problems for hyperbolic partial diferential equations, Proc. London Math. Soc., (III) 5 (1955), pp. 129147.
Chazarain (J.)
[1973]
Chemin (J.Y.)
[1988]
Interaction controlee dans les e.d.p. non lineaires strictement hyperboliques, Bull. Soc. Math. France, 116 (1988), pp. 346383.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
L. GARDING
62
Christodoulou (D.)
[1986]
Dencker (N.)
[1982]
[1995]
Dionne (P.A.)
[1962]
Fourier integral operators II, Acta Math., 128 (1972), pp. 183269.
Eskin (G.)
[1977]
Parametrix and propagation of singularities for the interior mixed hyperbolic problem, J. Anal. Math., 40 (1977), pp. 1762.
[1928]
Uber
die Eindeutigkeit und das Abhangigkeitsgebiet der Losungen
beim Anfangswertproblem linearer hyperbolischer Dierentialgleichungen, Math. Ann., 98 (1928), pp. 192204.
G
arding (L.)
[1950]
[1953]
[1956]
[1958]
[1989]
Glimm (J.)
[1965]
` 3
SEMINAIRES
ET CONGRES
63
Hadamard (J.)
[1932]
Herglotz (G.)
[1926-28] Uber
die Integration linearer partieller Dierentialgleichungen mit konstanten Koezienten I-III, Ber. der S
achsischen Akad. der Wiss., 78
(1926), pp. 93126 and 287318; Ibid., 80 (1928), pp. 69114.
Hersh (R.)
[1963]
[1964]
H
ormander (L.)
[1963]
Linear Partial Dierential Operators, vol. 116 of Grundlehren, BerlinHeidelberg: Springer, 1963.
[1965]
[1970]
Linear dierential operators, in Actes Congr. Int. Math., Nice 1970, vol. 1,
pp. 121133.
[1971]
[1977]
[1983a]
[1983b]
[1985a]
[1985b]
[1988]
[1989]
The fully non-linear Cauchy problem with small data, Bol. Soc. Brasil
Mat., 20 (1989), pp. 127.
[1991]
The fully non-linear Cauchy problem with small data II, in Microlocal Analysis and Nonlinear Waves (edited by M. Beals, R. Melrose and
J. Rauch), vol. 30 of IMA Volumes in Mathematics and its Applications,
Berlin: Springer-Verlag, pp. 5181.
[1993]
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
L. GARDING
64
Iagolnitzer (D.)
[1975]
Ivrii (V.)
[1978]
[1980]
Iwasaki (N.)
[1984]
John (F.)
[Papers]
[1976]
[1979]
Blow-up of solutions of nonlinear wave equations in three space dimensions, Manuscripta Math., 28 (1979), pp. 235268; Papers I, pp. 532565.
[1983]
Lower bounds for the life span of solutions of nonlinear wave equations in
three dimensions, Comm. Pure Appl. Math., 36 (1983), pp. 135; Papers
I, pp. 589623.
Almost global existence to nonlinear wave equations in three space dimensions, Comm. Pure Appl. Math., 37 (1984), pp. 443455.
Microlocal a` priori estimates and the Cauchy problem II, Jap. J. Math.,
20 (1994), pp. 171.
Klainerman (S.)
[1985a]
Uniform decay estimates and the Lorentz invariance of the classical wave
equation, Comm. Pure Appl. Math., 38 (1985), pp. 321332.
[1985b]
Existence of small amplitude solutions to nonlinear Klein-Gordon equations in four space-time dimensions, Comm. Pure Appl. Math., 38 (1985),
pp. 631641.
` 3
SEMINAIRES
ET CONGRES
[1986]
65
Kreiss (H.O.)
[1970]
Lax (P.D.)
[1954]
[1957a]
[1957b]
Lebeau (G.)
[1989]
Equations des ondes semilineaires II, Controle des singularites et caustiques non lineaires, Invent. Math., 95 (1989), pp. 277323.
Leray (J.)
[1933]
Etudes
de diverses equations integrales non-lineaires et de quelques probl`emes que pose lHydrodynamique, J. Math. Pures Appl., (IX) 12 (1933),
pp. 182.
[1953]
Lindblad (H.)
[1990a]
Blow-up for solutions of u = |u|p with small initial data, Comm. Partial
Dierential Equations, 15 (1990), pp. 757821.
[1990b]
Ludwig (D.)
[1960]
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
L. GARDING
66
Maslov (V.P.)
[1964]
Melrose (R.B.)
[1975]
[1981]
[1983]
[1987]
[1982]
Mizohata (S.)
[1961-62]
Nishitani (T.)
[1984a]
A necessary and sucient condition for the hyperbolicity of second order equations with two independent variables, J. Math. Kyoto Univ., 24
(1984), pp. 91104.
[1984b]
[1993]
Necessary conditions for strong hyperbolicity of rst order systems, Journal dAnal. Math., 61 (1993), pp. 181228.
Oleinik (O.A.)
[1970]
` 3
SEMINAIRES
ET CONGRES
67
Petrovsky (I.G.)
[1937]
Uber
das Cauchysche Problem f
ur Systeme von partiellen Dierentialgleichungen, Mat. Sb., 2-44 (1937), pp. 815870.
[1938]
Uber
das Cauchysce Problem f
ur Systeme linearer Dierentialgleichungen
und nichtanalytische Funktionen, Bull. Moscow Univ. Series math. and
mech., 1-7 (1938), pp. 179.
[1945]
On the diusion of waves and lacunas for hyperbolic equations, Mat. Sb.,
17-59 (1945), pp. 289370.
Riemann (B.)
[1860]
Uber
die Fortpanzug ebener Luftwellen von endlicher Schwingungsweite,
Abh. Kgl. Ges. Wiss. G
ottingen, 8 (1860); Gesammelte Mathematische
Werke, Springer/Teubner, 1990, pp. 157175.
Riesz (M.)
[1949]
Sakamoto (R.)
[1974]
Sato (M.)
[1969]
[1970]
Schauder (J.)
[1935]
[1936a]
[1936b]
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
L. GARDING
68
Smoller (J.A.)
[1983]
Svensson (L.)
[1969]
Taylor (M.)
[1976]
Thom
ee (V.)
[1957]
Young (R.)
[1993]
[1995]
` 3
SEMINAIRES
ET CONGRES
Abstract
Hermann Weyls papers on the representation of semisimple Lie
groups (1925-26) stand out as landmarks of twentieth century
mathematics. The following essay focuses on how Weyl came to
write these papers. It oers a reconstruction of his intellectual
journey from intense involvement with the mathematics of general
relativity to that of the representation of groups. In particular
it calls attention to a 1924 paper by Weyl on tensor symmetries
that played a pivotal role in redirecting his research interests. The
picture that emerges illustrates how Weyls broad philosophically
inclined interests inspired and informed his creative work in pure
mathematics.
R
esum
e
Les articles de Hermann Weyl sur la representation des groupes
de Lie semi-simples (1925-26) apparaissent comme des etapes majeures des mathematiques du vingti`eme si`ecle. En analysant ce
qui a amene Weyl `a ecrire ces articles, cet essai presente une reconstruction de sa demarche intellectuelle, depuis les mathematiques de la relativite generale jusqu`a celles des representations
de groupes. Il attire notamment lattention sur larticle de 1924
sur les symetries tensorielles, pivot de la reorientation de ses domaines de recherche. On voit aussi comment les larges interets et
les motivations philosophiques de Weyl ont inspire et enrichi sa
creativite en mathematiques pures.
SOCIET
DE FRANCE 1998
70
T. HAWKINS
` 3
SEMINAIRES
ET CONGRES
71
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
72
T. HAWKINS
Although Weyls geometry was motivated by the above critique of Riemannian geometry, he discovered that he could use its framework to develop
a unied eld theory, that is, a theory embracing both the gravitational and
the electromagnetic eld. Hilbert had been the rst to devise a unied theory within the framework of general relativity in 1915. Weyls theory was
presented in several papers during 191819 and in the third edition (1919)
of Raum, Zeit, Materie. Einstein admired Weyls theory for its mathematical brilliance, but he rejected it as physically impossible. Although Weyl
respected Einsteins profound physical intuition and was accordingly disappointed by the negative reaction to his unied theory, Einsteins arguments
did not convince him that his own approach was wrong. His belief in the correctness of his theory was bolstered by the outcome of his reconsideration, in
publications during 192123, of the space problem rst posed by Helmholtz
in 1866. It was in connection with this problem that Weyl rst began to
appreciate the value of group theory for investigating questions of interest to
him involving the mathematical foundations of physical theories.
In 1866 Helmholtz sought to deduce the geometrical properties of space
from facts about the existence and motion of rigid bodies. He concluded
that the distance between points (x, y, z) and (x + dx, y + dy, z + dz) is
dx2 + dy 2 + dz 2 and that space is indeed Euclidean. He returned to the
matter in 1868, however, after learning from the work of Riemann and Beltrami about geometries of constant curvature. Using the properties of rigid
bodies he had singled out earlier, he argued that Riemanns hypothesis that
metric relations are given locally by a quadratic dierential form is actually
a mathematical consequence of these facts. Later, in 1887, Poincare obtained
Helmoltzs results for two-dimensional space by applying Lies theory of groups
and utilizing, in particular, the consideration of Lie algebras. Lie himself considered the problem in n dimensions by means of the consideration of Lie
groups and algebras in 1892. The Lie-Helmholtz treatment of the space problem, however, was rendered obsolete by the advent of general relativity since,
as Weyl put it:
Now we are ... dealing with a four-dimensional [continuum] with
a metric based not on a positive denite quadratic form but rather
one that is indenite. What is more, we no longer believe in the
metric homogeneity of this medium the very foundation of the
Helmholtzian metric since the metric eld is not something
xed but rather stands in causal dependency on matter [Weyl
1921a, p. 263].
Following the Helmholtz-Lie tradition, Weyl conceived of space (includ
` 3
SEMINAIRES
ET CONGRES
73
SOCIET
DE FRANCE 1998
74
T. HAWKINS
this point, the truth of Theorem 1 would thus imply that his generalization
of quasi-Riemannian geometry, his purely innitesimal geometry, was also
compatible with the conclusions of his analysis of the space problem.
Within a few months of completing the fourth edition of Raum, Zeit,
Materie, Weyl had obtained a proof of Theorem 1, which he submitted for
publication in April 1921 [Weyl 1921b] and announced in a general talk in
September 1921 [Weyl 1922]. With the proof of Theorem 1 his analysis of the
space problem was complete. Weyl saw it as conrmation of the legitimacy
of his geometrical approach to relativity theory his purely innitesimal
geometry with its concomitant unied eld theory. He was also mindful of
the fact that it had been achieved by utilizing the theory of groups: The
establishment by group theory is hence a new support for my conviction that
this geometry, as geometry of the world, is the basis for the interpretation of
physical eld phenomena, rather than, as with Einstein, the more restrictive
Riemannian [geometry] [Weyl 1922, p. 344]. Indeed, Weyl was so taken
up with Theorem 1 that he even likened the conrmation by logic of the
correctness of his approach to the space problem aorded by Theorem 1 to
the factual conrmation of the correctness of Einsteins relativistic approach
to gravitation aorded by the observed advance of the perihelion of mercury
[Weyl 1921b, p. 269].
During the spring of 1922 Weyl lectured on the space problem in Spain,
and a version of his lectures was then published as a monograph [1923a],
which he regarded as a supplement to Raum, Zeit, Materie since the deeper
conception of the space problem using group theory was only sketched there.
In the eighth lecture, which sketches a proof of Theorem 1, Weyl wrote:
While almost all deeper mathematical theories such as, e.g.,
the wonderful theory of algebraic number elds have little to
signify within the great philosophical continuum of knowledge and
while, on the other hand, what mathematics can contribute to
enlighten the general problem of knowledge mostly stems from
the surface of mathematics, here we have the rare case that a
problem which is fundamental to all knowledge of reality, as is
the space problem, gives rise to deeply penetrating mathematical
questions.[Weyl 1923a, p. 61]
Within the context of the space problem Weyl had discovered group theory
as a powerful tool for dealing with fundamental questions inspired by general relativity and leading to deeply penetrating mathematical questions.
Although he described it as a rare occurrence, as we shall see, this was not
` 3
SEMINAIRES
ET CONGRES
75
the last time that his involvement with the fundamentals of general relativity led to important mathematical questions of a group-theoretic nature and,
ultimately, to his papers on the representation of Lie groups.
Before proceeding to consider these further occurrences, however, there
is one additional, historically important, consequence of Weyls involvement
with the space problem that needs to be mentioned. In 1922 the fourth edition
of Raum, Zeit, Materie was translated into French and read by Elie Cartan,
who, since 1921, had become interested in Einsteins theory. Unaware that
Weyl had already proved the conjectured Theorem 1, Cartan provided a proof
of his own [Cartan 1922]. Strictly speaking, Cartan did not prove Theorem 1.
Instead, he reformulated Weyls somewhat vaguely articulated version of the
space problem in terms of his own approach to geometry based on moving
frames and dierential forms. Cartans approach evolved into the modern
theory of G-structures.6 Within that framework, however, Cartans formulation of the space problem ultimately reduced to the problem of determining
all linear Lie algebras g satisfying Weyls conditions (a) and (b) and, in lieu of
the rather mysterious condition (c), the condition that g leaves no proper subspaces invariant.7 By a theorem Cartan had proved in [Cartan 1909, p. 912]
it followed that g must be semisimple. Since Cartan had already determined
all such linear Lie algebras which leave no vector spaces invariant [Cartan
1913, 1914], it was, as he noted, just a matter of checking which of these Lie
algebras satisfy the dimension condition (b), to arrive at Weyls conclusion
that g must be an orthogonal Lie algebra.8
Expressed in modern terms, what Cartan had done in [Cartan 1913] was to
determine all irreducible representations of a complex semisimple Lie algebra,
and in [Cartan 1914] he did the same for real Lie algebras. However Cartan
did not conceive of his work within the conceptual framework of group representations. He conceived of his work as solving the problem of determining all
groups of projective transformations which leave nothing planar invariant
a problem of importance from the Kleinian view of geometry as the study
6
See in this connection [Scheibe 1988, p. 66] and [Scholz 1994, p. 225]. Scheibe argues
that if what Weyl had in mind is made more precise in accord with what his writings
seem to suggest, then it is not equivalent to Cartans formulation, but the theorem Cartan
proved implies the theorem Scheibe reconstructs from Weyls vague statements [Scheibe
1988, pp. 6869].
7
This property of the satisfying (a)(c) of Weyls Theorem 1 actually follows readily
from propositions Weyl deduced from (a)(c) [Weyl 1923a,c], although he did not expressly
take note of this fact.
8
Both Cartan and Weyl realized that it suces to consider the problem for complex Lie
algebras. In his announcement Cartan indicated that a detailed solution of the problem in
a generalized form was contained in [Cartan 1923].
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
76
T. HAWKINS
I am grateful to B.L. van der Waerden, who called these letters to my attention many
years ago and sent me copies after obtaining consent of the holders H. Cartan in the case
of Weyls letters and the ETH in the case of E. Cartans letters.
` 3
SEMINAIRES
ET CONGRES
77
In this connection, it should be kept in mind that Weyls above-quoted reply to Cartan was written when he had only the original proof of his theorem,
which he disliked because it was complicated and lacked an overall unifying
idea [Weyl 1922, p. 344]. He compared it deprecatingly to tightrope dancing [Weyl 1921b, p. 269], and in his popular lectures on the space problem,
including those in Spain in the spring of 1922, he declined for this reason
to sketch the proof. By the spring of 1923, however, when he published a
German version of the lectures in Spain, he included a proof (as Appendix
12) because he had obtained what he felt were far reaching simplications
to his original proof [Weyl 1923a, p. v] so that, although still complicated in
detail due to the need to distinguish many cases, it was now guided by a single
idea, which in fact Weyl pushed further in [Weyl 1923c], where he wrote in
conclusion:
Our game on the chessboard of matrix schemes has been played
to its end. As complicated in details as it may be, it including
the rst part, which was already laid out in ...[Weyl 1923a] ...
Append. 12 rests ... upon a single constructional idea which
determined each step and was tenaciously carried out to the end.
It is interesting to observe that in Weyls presentation of his new proof, he
used another roadway analogy in comparing his and Cartans proofs, but
now with a dierent slant: By contrast with Cartans proof mine does not
take the detour of the investigation of abstract groups. It is based on the classical theory of the individual linear mapping going back to Weierstrass [Weyl
1923a, p. 88]. So now Cartans solution involves a detour because it draws
upon the theory of semisimple Lie algebras, whereas Weyls approach is more
direct and elementary, depending only on the classical theory of the Jordan canonical form of a matrix implicit in Weierstrass theory of elementary
divisors.
That is not to say that Weyl did not appreciate by this time early
1923 the impressive results and deep theory developed by Killing and
Cartan. Indeed, immediately prior to the above quotation, Weyl characterized
Cartans solution to the space problem by writing:
An entirely dierent proof has been given by Cartan ... based on
[his] ... earlier comprehensive and deep investigations ... on the
theory of continuous groups, in which he achieved a far reaching
solution to the problem of determining all abstract groups and
their realization through linear operations .... Now he only needed
to seek out among the groups determined by him those which
satisfy my stipulations.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
78
T. HAWKINS
These words indicate that Weyl certainly understood the gist of what Cartan
had done in his papers and appreciated the profundity of the mathematics.
But as far as the space problem was concerned, the extensive detour required
by Cartans approach was not deemed appropriate by Weyl, who was still
fascinated by his own approach. It is not clear he had found reason enough
to take on the nontrivial task of mastering the details of Cartans papers so
as to put them to his own use. Eventually he did and he was perhaps the
rst mathematician to do so but the motivation to do so seems to have
come not from the space problem but from tensor algebra.
The history of the tensor calculus from its origins in up to its application to general
relativity is traced in [Reich 1994].
11
See note 4 to p. 53 of the fourth edition [Weyl 1921a].
` 3
SEMINAIRES
ET CONGRES
79
192526. To make these questions intelligible I will rst sketch out the basics
of Weyls approach to tensors.
Let V denote an n-dimensional vector space over the real or complex eld
equipped with a nondegenerate quadratic form Q(v, w), v, w V dening a
scalar product.12 Then if e1 , . . . , en is a basis for V we may express v V in
the form
(1)
v=
n
xi ei .
i=1
ei =
n
mki ek ,
k=1
i ei
then if M denotes
the matrix with (i, k) entry mki , we have v = ni=1 x
n
i
i
k
where x = k=1 mk x
so that, expressed in matrix form (which Weyl did
not use)
1
x.
(3)
x
= MT
The vector v is also uniquely determined by the n values yi = Q(v, ei ), which
are called covariant coordinates of v with respect to the basis e1 , . . . , en since
they transform according to
(4)
y = M y,
and thus with the same coecient matrix as in the basis change (2). Nowadays
the yi would be regarded as coordinates of the element v in the dual space
V dened by v (w) = Q(v, w). That is, the yi are the coordinates of v with
respect to the basis e1 , . . . , en of V dual to e1 , . . . , en .
For Weyl tensors are uniquely determined by multilinear forms. For example, the mixed tensor of rank 3 denoted by Tijk by Einstein and covariant
in the indices i, j and contravariant in the index k is conceived by Weyl as
determined by a multilinear form f = f (u, v, w), where if xi and y j are the
contravariant coordinates of u and v respectively and zk the covariant coordinates of w, then
Tijk xi y j zk .
(5)
f=
i,j,k
12
Weyl does not speak of V as a vector space but rather as an n-dimensional ane space.
Also of course Q is not necessarily positive denite.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
80
T. HAWKINS
L
= V V V.
= (V V V )
In view of (6) the reader may wish to identify the tensor dened by (5) with
the element
(7)
Tijk ei ej ek V V V.
i,j,k
, y = M T y
where the Tijk are obtained from (3)(4) by substituting x = M T x
1
and z = M z in (5). The result is:
=
Tijk mi mj nk ,
(9)
T
i,j,k
where nk denotes the (k, ) entry of M 1 . Before Weyl such a rank three
tensor would have been dened as the totality of a system of functions
Tijk = Tijk (P ), P a point in the underlying manifold, which transform by the
rule laid down in (9), where M =M (P ) is the Jacobian matrix of a variable
change in the underlying manifold.13
The above presentation of the algebra of tensors was novel on Weyls part
but was a reworking of earlier notions. However, Weyl also introduced a
new notion that of a tensor density in his paper [Weyl 1918] and in
14 He was motivated by the consideration of an invariRaum, Zeit, Materie.
ant integral I = W (x)dx where x = (x1 , . . . , xn ). Given a variable change
13
See, e.g., [Einstein and Grossmann 1913]. The same approach is found in [Ricci and
Levi-Civita 1900, 2], although not applied to mixed tensors which were rst introduced by
Einstein and Grossmann [Reich 1994, p. 194].
14
In the fourth edition [Weyl 1921a, see 13]. Pauli [1921, p. 32, n.16] credits Weyl with
this notion and cites Weyls paper [1918] see 5 and the third edition of Raum, Zeit,
Materie; I am grateful to John Stachel for calling this to my attention.
` 3
SEMINAIRES
ET CONGRES
81
where
x = (y), a scalar function W = W (x) transforms from W to W
(y) = W ((x)). In the integral I, however, where W (x) can be regarded as
W
giving
the density of the manifold at x so that I represents its mass, we have
I = W ((y))|x/y|dy, where x/y denotes the Jacobian determinant of
x = (y). Hence the function W , as a scalar density function, transforms
where W
(y) = W ((x))|x/y|. For tensors Weyl inby the rule W W
troduced the analogous notion of a tensor density. Expressed in the tensor
algebra notation presented above, tensor densities are also identied with multilinear forms, such as the form f given in (5), but the rules of transformation
are dierent. To obtain the representation (9) of the tensor density dened
by f in the new coordinate system, instead of using (3) and (4), one uses
(10)
x
= | det(M T )1 |(M T )1 x
y = | det M |M y
15
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
82
T. HAWKINS
Just as Weyl asked: what is the mathematical basis for the locally pythagorean
nature of space in relativity theory, so now Weinstein asked: what is the
mathematical basis for the transformation rules (3)-(4), (10)-(11) of tensor
algebra? That is: Are there other rules M M satisfying (12) and hence
other sorts of tensors? Weinstein proved the answer is no in the sense that
(3)-(4), (10)-(11) are the only elementary rules; all others are composed out
of these. Hence there are no essentially new types of tensors to consider. He
called his result the fundamental theorem of tensor calculus.
As with the space problem, so here too Weinsteins question involved a
group, this time the group of all matrices of positive determinant. At the
advice of Weyl, Weinstein proved his result by working on the Lie algebra
level. By virtue of (12), of course, today we would say that Weinstein was
studying degree n representations of this group, but Weinstein made no reference to such a theory. That is not surprising. Frobenius had developed a
representation theory for nite groups in 18961904, but nothing comparable
in scope had been done for continuous groups. Some things had been done
which, in retrospect, can be seen as contributions to such a theory, although
it is quite conceivable that neither Weyl nor Weinstein were aware of this
fact at the time Weinstein worked on his dissertation, which was submitted
for publication on February 22, 1922.17 In addition to the above-mentioned
work of E. Cartan, which, as we have seen, Weyl seems to have rst learned
about in October 1922, there was the doctoral dissertation of Frobenius student Issai Schur [1901] devoted to the study of the type of representation of
GL(n, C) that occurs in the theory of invariants. Schurs dissertation will
be discussed further on. It was probably not known to Weyl until 1924. In
any case, Weyl discovered a completely dierent, conceptually simpler way to
connect representations of GL(n, C) with those of the symmetric group than
that developed by Schur. As we shall see, this discovery was a by-product
of his own interest in the mathematical underpinnings of tensor algebra and
ultimately led him to his own fundamental theorem about tensors and to
the involvement with the representation of continuous groups that culminated
in his papers of 192526.
The aspect of tensor algebra that proved signicant in this connection
had to do with the symmetry properties of tensors. In relativistic physics and
in geometry the tensors that arose were not totally general; they came with
specic symmetry properties. Thus in the pages of Raum, Zeit, Materie [Weyl
1921a], the stress tensor Sik is seen to be a symmetric tensor of rank 2 (8),
and the four-dimensional relativistic electromagnetic intensity vector Fik of
17
The paper was published in Mathematische Zeitschrift [Weinstein 1923] and also separately as Weinsteins doctoral dissertation at the ETH.
` 3
SEMINAIRES
ET CONGRES
83
(ii)
Rklij = Rijkl ;
where the eS are numbers and S runs over all possible permutations of the
variables.
Weyls emphasis on the symmetry properties of tensors and the manner in
which he conceived of them, i.e., in terms of permutations and (14) naturally
suggest questions about the mathematical basis of tensor symmetry. Here are
some questions suggested by the above presentation, and eventually posed by
Weyl. Suppose C is a symmetry class of tensors determined by one or more
symmetry relations of the form (14). What are the possibilities for C? That
is, what is the mathematical basis for understanding the possibilities for C?
Also, is there an analog for C of the following properties P , P which hold,
respectively, for symmetric and skew symmetric tensors:
Property
P . If f is an arbitrary covariant tensor of rank , then the tensor
1
f = ( ! ) S fS is symmetric. Furthermore, all symmetrictensors of rank
1
) S fS .
are so expressible since if f is such a tensor then f = ( !
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
84
T. HAWKINS
Property
P . If f is an arbitrary covariant tensor of rank , then the tensor
1
f = ( ! ) S (sgn S)fS is skew symmetric. Furthermore all skew symmetric
tensors
of rank are so expressible since if f is such a tensor, then f =
1
) S (sgn S)fS .
( !
Although Weyl did not explicitly mention properties P , P in Raum, Zeit,
Materie, it is doubtful they escaped his notice. Indeed,
he used the fact that
1
) S (sgn S)fS to show
any skew symmetric tensor f is expressible as f = ( !
that (for = 3) every such f is expressible as a linear combination of the special skew symmetric volume tensors (dened by Weyl using determinants)
which have become the standard basis for the subspace of skew symmetric
tensors [Weyl 1921a, p. 55].
As we shall see, Weyl posed and answered the above questions in a paper
submitted in January 1924 [Weyl 1924a]. I suspect he may have had them in
mind much earlier, but his resolution of them or at least his publication
of these results may have been prompted by an episode involving the
mathematician Eduard Study (1862-1930) which occurred in 1923.
Response to Study
Study was an idiosyncratic, somewhat cantankerous mathematician whose
primary mathematical research interest was in the theory of invariants and
its geometrical applications. For a while in the late 1880s and early 1890s, he
became a part of Lies school, being charged by Lie with the task of relating
his theory of transformation groups to the theory of invariants. During this
period his work on ternary invariants even led him to conjecture, in a letter
to Lie, what amounts to the complete reducibility theorem for semisimple Lie
groups the theorem Weyl rst succeeded in proving in his papers of 1925-26.
But Study nally abandoned his eorts to deal with groups on the abstract
level of Lies theory and concentrated instead on more concrete problems,
including the study of the invariants of groups other than the general linear
group. In particular he studied the invariants of the orthogonal group in
[Study 1897].
At the beginning of 1923 Study published a book on the theory of invariants [Study 1923], and in the lengthy introduction he chastised those working
on relativity theory for their neglect of the tools of the theory of invariants
in favor of tensor calculus. He pointed out that for over fty years a highly
developed theory of invariants with respect to the general linear group had
been in existence and, citing his own work on orthogonal invariants, he noted
that an invariant theory of other groups had also been indicated. But with
` 3
SEMINAIRES
ET CONGRES
85
the majority of authors there is nothing to indicate that they live in an age
in which the theory of groups is in full bloom (p. 3). In short, Study
continued (p.4), they are behind the times, and not just a little. Even with
an otherwise knowledgeable writer one can read for example the following:
Many will be appalled at the deluge of formulas and indices with which the
leading ideas are inundated. It is certainly regrettable that we have to enter
into the purely formal aspect in such detail and to give it so much space but,
nevertheless, it cannot be avoided. That quotation, although not identied
as such, was drawn from Weyls book, Raum, Zeit, Materie.18
Study went on to criticize Weyl for accepting the formalism of the tensor
calculus as an unavoidable, necessary evil. That is not to say that Study
was against formalism. Quite the contrary! He believed the formal aspects
of mathematics were important, but the formalism must be of the right kind:
Mathematics is neither the art of calculation nor the art of avoiding calculations. To mathematics, however, belongs the art of avoiding superuous
calculations and carrying out the necessary ones adroitly. In this regard, one
can learn from the older authors (p. 4). What Study had principally in
mind was the symbolical method of the theory of invariants which went back
to Aronhold and Clebsch. This method reduced the problem of determining
invariants to the far easier problem of determining symbolical or vector invariants. In sum (to use Studys own analogy): mathematicians had thought
that in the tensor calculus they were borrowing from the garden of their
neighbor the physicist the seeds of the golden apples of the Hesperides but
were contenting themselves with a harvest of potatoes! The neglected theory
of invariants and in particular the symbolical method, Study implied, would
prove to be far more valuable.
It will be helpful for what is to follow to briey indicate the nature
of the theory of invariants in Studys time and the gist of the symbolical
method. Let G denote a group of nonsingular linear transformations of variables x = (x1 , . . . , xn ), y = (y1 , . . . , yn ), . . . In the classical theory G was
GL(n, C), but by Studys time other groups such as the orthogonal group
O(n, C) were also considered, thanks largely to Studys eorts. Invariants
are dened with respect to one or more base forms (Grundformen), which
are homogeneous polynomials of specic type in one or more variables series
x, y, . . . with unspecied coecients.
Consider, for example, as base form the
bilinear form f (a; x, y) = ni,j=1 aij xi yj . Then each T G induces a linear
18
I am grateful to Erhard Scholz for informing me that Study was using the rst edition
of 1918 or its 1919 reprint as second edition. The quotation is from p. 111. In subsequent
editions published before 1923 the passage was changed and is not as vulnerable to Studys
criticism. See p. 123 of the third edition and p. 137 of the fourth edition [Weyl 1921a].
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
86
T. HAWKINS
` 3
SEMINAIRES
ET CONGRES
87
own words quoted at the beginning that his study of both the representation
and invariants of groups was motivated by his interest in the mathematical
substance behind the formal apparatus of relativity theory. In my opinion, in
order to understand Weyls move towards an interest in group representation
theory, it is more enlightening to consider what I regard as his second reply
to Studys criticism.
Weyls second reply was implicit Study is nowhere mentioned by name
and came about six weeks later in a paper submitted in January 1924 On
the symmetry of tensors and the scope of the symbolical method in the theory
of invariants[Weyl 1924a].20 The paper has two parts. In part one, on tensor
symmetries, Weyl answered the questions on tensor symmetries formulated
above. In part two, he applied these results to a question in the theory of
invariants that may well have been prompted by his encounter with Study.
Let me explain.
In part two Weyl considered the kind of invariant theoretic question that
would be of interest to a relativist. As we have seen, a typical problem considered in the theory of invariants would be that of determining the invariants
of the general linear group with the base form being the general covariant
tensor f of rank = 3 given in (13). In modern terms, this is the study
of the polynomial invariants of the representation of the general linear group
induced by its action on the 3-fold tensor product V V V . Formulated
as such, this would be a standard invariant-theoretic problem. But, as was
pointed out when discussing Weyls treatment of tensor symmetries in Raum,
Zeit, Materie, he stressed the fact that in physics and geometry tensors come
endowed with specic symmetry properties. Echoing this sentiment, Weyl
wrote in the rst part of [Weyl 1924a, p. 472]: For every tensor which arises,
a category characterized by symmetry relations must be specied a priori,
inside of which the tensor is to be thought of as freely variable.
So suppose that we consider instead of the general tensor of rank 3, the
tensors of that rank with prescribed symmetry properties as given by equations of the form (14). Then such tensors transform among themselves by
variable changes of, say, elements in the general linear group. As in the standard situations of invariant theory, the transformation of the coecients of
these tensors is linear and we may consider the invariants with respect to
these linear transformations. In other words, if W V V V consists of
the tensors satisfying some symmetry relations of the form (14), then W is a
a representation module in its own right, and we may consider the invariant
20
In Weyls Gesammelte Abhandlungen II, this paper is misleadingly placed (with the date
of submission omitted) after Weyls two notes of November 1924 [Weyl 1924b,c] announcing
his principal results on the representation of semisimple Lie groups.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
88
T. HAWKINS
` 3
SEMINAIRES
ET CONGRES
i j k
ijk Tijk x y z
denote a tensor
89
and observed that one can associate to the form f an element f in the group
algebra H of the symmetric group S , namely
fS S.
(16)
f=
Since the f given in (16) depends upon the values of the variables x, y, z,
dening f , (16) actually denes a family of elements in H. Weyl glossed over
this point, but his results go through nonetheless.21 Direct
calculation then
shows that (15) is equivalent to kf = 0, where k =
SS kS S, and, for
example, part (b) of Theorem 2 can be deduced from the following result
about the group algebra H:
Theorem
3.
Given
k
=
SS kS S H, there is an element
c =
SS cS S H such that kf = 0 if and only if f = cf for some
Weyl later touched on this point in his exposition of tensor symmetries and the group
algebra H in his book on group theory and quantum mechanics [Weyl 1931, p. 283].
22
That is, the linear associative algebra of all m m matrices for some m Z+.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
90
T. HAWKINS
` 3
SEMINAIRES
ET CONGRES
91
1 2 3 4 5 6
7 8 9 10
11 12 13
f
,
!
SOCIET
DE FRANCE 1998
92
T. HAWKINS
13 associated to c. Frobenius [1903, p. 265] and Weyl [1925, p. 573] gave dierent ways
of dening f directly in terms of .
24
Weyl made this comment in his rst communication on these matters [Weyl 1924b,
p. 462]; they are discussed in somewhat more detail in [Weyl 1925, pp. 5589, 5713].
Complete details, in the context of GL(n, C ), are given in his lectures [Weyl 1934, pp.
21.].
25
Although Schurs dissertation was a brilliant piece of work, it was only published as a
separate pamphlet (as was required of dissertations). Many dissertations (e.g., Weinsteins)
were also published in journals.
` 3
SEMINAIRES
ET CONGRES
93
the above primitive idempotent c of Young and Frobenius, but Schur, whose
work predates that of Young and Frobenius, made the connection in a different, more complicated way.26 However he showed how it could be used to
obtain many beautiful theorems, including a complete reducibility theorem
for the polynomial representations R(A).
In neither his dissertation nor his paper [1924] was Schurs primary goal
an extension of Frobenius theory to continuous groups. In [Schur 1924] he
was concerned with a counting problem in the theory of invariants that had
been solved in the classical case of the in- and covariants of binary forms
by Cayley in 1856 and for the invariants of nite groups by T. Molien in
1897.27 Molien had used the representation theory of nite groups to solve
his problem, and Schur realized he could do the same for the invariants of
the rotation group by extending Frobenius theory to this group. His method
of extension was based upon a technique introduced by Adolph Hurwitz and
involved replacing summation over a nite group with invariant integration
over a compact Lie group. Hurwitz had used the technique to extend Hilberts
basis theorem to orthogonal invariants a new result but he also used it
to give another proof for invariants with respect to SL(n, C). The application
of the technique to SL(n, C), which is not compact, involved an idea which
Weyl later dubbed the unitarian trick. Weyl saw how to use the same sort
of trick to establish the complete reducibility theorem for SL(n, C), thereby
showing that tensors (with prescribed symmetry conditions) are the building
blocks for all possible representations.
The paper Weyl presented to the Gottingen Academy of Sciences in
November 1924 [Weyl 1924b] announcing this discovery (as well as others),
was entitled Das gruppentheoretische Fundament der Tensorrechnung, and
in it he opined that the true group theoretic foundation of the tensor calculus
was to be found in the above-mentioned consequence of the complete reducibility theorem for SL(n, C). In the rst part of his famous series of papers
on the representations of semisimple Lie groups [Weyl 1925, pp. 5456], which
bore the same title as the Gottingen paper, Weyl put the matter as follows.
Tensors, he explained, are examples of what he called linear quantities.
Consider for example the mixed tensors of rank three Tijk discussed earlier at
(5). Each such Tijk may be regarded as an N -tuple (with N = n3 ). The change
of basis (2) corresponding to a matrix M SL(n, C) brings with it the varii , y j yj , zk zk which leads to an expression (8) for f
able changes xi x
26
After Schur learned of Weyls approach, he returned to the subject of his dissertation and
developed another way to make the connection that was simpler than his original approach
[Schur 1927, pp. 70, 72.].
27
The history of this counting problem is treated in my paper [Hawkins 1986].
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
94
T. HAWKINS
in terms of the barred variables, and implicitly denes the linear transformation R(M ) : Tijk Tijk . It is easily seen that R(M2 M1 ) = R(M2 )R(M1 ).
For this reason the Tijk constitute a linear quantity. In general, according
to Weyl, a linear quantity is an N -tuple (a1 , . . . , aN ) which transforms
by a linear transformation R(M ) : (a1 , . . . , aN ) (
a1 , . . . , a
N ) such that
R(M2 M1 ) = R(M2 )R(M1 ). Of course linear quantities are just representations of SL(n, C), but Weyl recast the notion here in a form that was more
congenial to the mathematical context from which he was coming the
mathematics of relativity theory. Thus the complete reducibility theorem for
SL(n, C) became in this language the theorem that the only linear quantities
are the tensors. It was in this form that it was particularly meaningful for
him.
Weyl regarded this theorem as the proper group theoretic justication
of the tensor calculus [Weyl 1925, p. 546]. In other words, he had obtained
through the theory of groups, and in particular through the theory of group
representations as augmented by his own contributions what he felt
was a proper mathematical understanding of tensors, tensor symmetries, and
the reason they represent the source of all linear quantities that might arise
in mathematics or physics. Once again, he had come to appreciate the importance of the theory of groups and now especially the theory of group
representations for gaining insight into mathematical questions suggested
by relativity theory. Unlike his work on the space problem or Weinsteins
work on the fundamental theorem of the tensor calculus, however, Weyl now
found himself drawing upon far more than the rudiments of group theory.
His study of tensor symmetries had drawn upon Frobenius theory of group
representations and his own fundamental theorem for tensors had involved
him with the continuous analog of Frobenius theory. And of course Cartan
had showed that the space problem could also be resolved with the aid of
results about representations. In short, the representation theory of groups
had proved itself to be a powerful tool for answering the sort of mathematical
questions that grew out of Weyls involvement with relativity theory.
Frobenius had more or less developed all the essentials of the theory of representations for nite groups, but that was not at all the case for continuous
groups, notwithstanding the important contributions contained in the work
of Cartan and Schur. Their work certainly suggested to Weyl the potential
richness of a continuous analog of Frobenius theory, but it did not constitute
a coherent theory. Schur, who was unaware of Cartans work, had concentrated on two specic groups and had emphasized the role of group characters, whereas Cartan dealt with all semisimple groups but on the innitesimal
level using his theory of weights and without any complete reducibility the
` 3
SEMINAIRES
ET CONGRES
95
Epilogue
Two additional points need to be made.
1. Weyl was not the only mathematician interested in tensor algebra who
saw a connection with the representation theory of the symmetric group. As
early as 1919 J. A. Schouten (18831971) studied the problem of expressing
a tensor as a sum of irreducible tensors with symmetry properties. To this
end he utilized the group algebra of the symmetric group and Frobenius theory of group characters (in a formula for the principal idempotents). He was,
however, unaware of Frobenius paper [1903] or Youngs work and independently developed notions akin to that involving Young tableaux. Schoutens
work was expounded (with complete references to his earlier publications)
in his book [Schouten 1924, VII], which Weyl cites in [Weyl 1924b, p. 462,
n.2]. There is no evidence that Weyl knew of Schoutens work earlier and was
inuenced by it. Schouten actually submitted a note [1923] illustrating his
method (on an example suggested by Study!) to the Rendiconti del Circolo
Matematico di Palermo a year before Weyls paper [1924a] on tensor symmetries was submitted to the same journal. Had Weyl known of this note he
most certainly would have cited it in his own.
2. I have suggested that Weyl wrote his papers of 192526 on representation theory with the conviction that the theory was a powerful instrument
for answering questions suggested by theoretical physics. Weyl acted on that
conviction shortly after he completed the above papers. This time however
group representations were utilized to deal with questions arising from the
new quantum mechanics initiated by the work of Heisenberg and Schrodinger
in 192425. By 1927 their work had led to further developments by theoretical
physicists such as Born, Pauli, Jordan and Dirac and, from the mathematicians side, by von Neumann. Weyl seems to have assimilated and mastered
these developments as rapidly as he had mastered relativity theory a decade
earlier. Thus in a paper, Quantenmechanik und Gruppentheorie, we nd
him posing the question: How do I arrive at the matrix, the Hermitean
form, which represents a given quantity in a physical system of known constitution?[Weyl 1927, p. 90] To explain, precisely, what Weyl meant by this
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
96
T. HAWKINS
would take us too far aeld. But his further words should have a familiar ring
to them by now: Here with the help of group theory I believe I have succeeded in arriving at a deeper insight into the true nature of things (p. 91).
By group theory Weyl meant representation theory. This time it was to
the study of unitary projective (or ray) representations of the abelian Lie
group R2f that he turned for the deeper insight. Once again the mathematics
generated by the question went on to have a fruitful life of its own.28
Bibliography
Borel (A.)
[1986]
Cartan (E.)
[uvres]
uvres compl`
etes, 6 vols., Paris: Gauthier-Villars, 19521955.
[1909]
[1913]
[1914]
[1922]
[1923]
Dieudonn
e (J.)
[1975]
[1976]
28
See Mackey [1988, pp. 140.] for an interesting account of Weyls question and its historical background as well as a discussion of Weyls answer in terms of group representations
and the subsequent mathematics it generated.
` 3
SEMINAIRES
ET CONGRES
97
Folland (G.)
[1970]
Frobenius (G.)
[1903]
Uber
die charakteristischen Einheiten der symmetrischen Gruppe,
Sitzungsberichte der Akademie der Wiss. zu Berlin, (1903), pp. 328358.
Ges. Abh 3, Springer, 1968, pp. 244274.
Hawkins (T.)
[1986]
Cayleys counting problem and the representation of Lie algebras, in Proceedings of International Congress of Mathematicians, Berkeley, 1986,
vol. 2, pp. 16421656.
Lie (S.)
[1893]
Mackey (G.W.)
[1988]
Mller (C.)
[1972]
Pauli (W.)
[1921]
Relativit
atstheorie, Leipzig : Teubner, 1921. English translation by
G. Field, New York: Pergamon Press, 1958.
Reich (K.)
[1994]
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
98
T. HAWKINS
Scheibe (E.)
[1988]
Scholz (E.)
[1994]
Hermann Weyls contribution to geometry, 19171923, in The Intersection of History and Mathematics (edited by C. Sasaki, M. Sugiura and
J.W. Dauben), Basel: Birkhauser, 1995, pp. 203230.
[1995]
Schouten (J.A.)
[1923]
Uber
die Anwendung der allgemeinen Reihenentwicklungen auf eine
bestimmte quaternare Form sechsten Hauptgrades, Rend. Circ. Mat.
Palermo, 47 (1923), pp. 409425. [Dated Delft, Januar 1923].
[1924]
Der Ricci-Kalk
ul. Eine Einf
uhrung in die neueren Methoden und Probleme der mehrdimensionalen Dierentialgeometrie. Berlin: Springer,
1924.
Schur (I.)
[Ges. Abh.] Gesammelte Abhandlungen, 3 vols., Berlin-Heidelberg: Springer, 1973.
[1901]
Uber
eine Klasse von Matrizen, die sich einer gegebenen Matrix zuordnen
lassen. Berlin, 1901; Ges. Abh., 1, pp. 172.
[1924]
Neue Anwendungen der Integralrechnung auf Probleme der Invariantentheorie, Sitzungsberichte der Akademie der Wiss. zu Berlin, (1924),
pp. 189208; Ges. Abh., 2, pp. 440459.
[1927]
Uber
die rationalen Darstellungen der allgemeinen linearen Gruppe,
Sitzungsberichte der Akademie der Wiss. zu Berlin, (1927), pp. 5875;
Ges. Abh., 3, pp. 6885.
Sigurdsson (S.)
[1991]
Study (E.)
[1897]
Uber
die Invarianten der projectiven Gruppe einer quadratischen Mannigfaltigkeit von nicht verschwindenden Discriminante, Ber. Verh. S
achs.
Akad. Wiss., Math.-Phys. Kl., 49 (1897), pp. 443461.
` 3
SEMINAIRES
ET CONGRES
[1923]
99
Vizgin (V.P.)
[1989]
Einstein, Hilbert, and Weyl: The genesis of the geometrical unied eld
theory program, in Einstein and the History of General Relativity (edited
by D. Howard and J. Stachel), Boston: Birkhauser, 1989, pp. 300314.
Weinstein (A.)
[1923]
Weyl (H.)
[Ges. Abh.] Gesammelte Abhandlungen, 4 vols., Springer, 1968.
[1918]
[1921a]
Raum, Zeit, Materie, 4th. ed., Berlin: Springer, 1921. Reprinted by Dover
Publications, New York, 1952. Translated into French by Gustave Juvet
and Robert Leroy as Temps, espace, mati`
ere, Paris: Blanchard, 1922.
[1921b]
[1922]
[1923a]
[1923b]
[1923c]
Uber
die Symmetrie der Tensoren und die Tragweite der symbolischen
Methode in der Invariantentheorie, Rend. Circ. Mat. Palermo, 48 (1924),
pp. 2936 [Dated Z
urich, Januar 1924]; Ges. Abh., 2, pp. 468475.
[1924a]
29
The date of receipt of this paper is given as 17 February 1922, but it would seem to
be a typographical error. For example, throughout the paper Weyl cites (in text as well
as in footnotes) the German version [1923a] of his lectures in Spain (originally presented
in French and Castilian). The lectures themselves did not occur until March 1922, and the
preface to [1923a] is dated April, 1923. I therefore assume the correct date of receipt was 17
February 1923.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
100
T. HAWKINS
[1924b]
[1924c]
[1925]
[1927]
[1931]
[1934]
[1946]
[1949]
` 3
SEMINAIRES
ET CONGRES
Histoire de la th
eorie des faisceaux
Christian Houzel
R
esum
e
La notion de faisceau a ete introduite par Jean Leray juste apr`es
la guerre, dans le prolongement de travaux entrepris durant sa
captivite en Autriche. Leray a deni des groupes de cohomologie
pour les applications continues, et relie la cohomologie dune application a` celle de sa source grace `a la suite spectrale, introduite a`
ce propos. Henri Cartan a reformule la theorie des faisceaux dans
son Seminaire et, avec Jean-Pierre Serre, il en donna des applications spectaculaires a` la theorie des espaces analytiques. Par
la suite, Serre a etendu `a la geometrie algebrique ces methodes
que Grothendieck a largement renovees et generalisees. Enn,
Sato a exploite les methodes de Grothendieck dans le cadre des
D-modules, fondant ainsi lanalyse microlocale.
Abstract
Sheaf theory was introduced by Jean Leray just after the Second World War, as a continuation of his work while he was a
prisoner in Austria. Leray dened cohomology groups for continuous maps, and related them to the cohomology of the source
space by means of the spectral sequence he introduced for this
purpose. Henri Cartan reformulated sheaf theory in his seminar
and, together with Jean-Pierre Serre, gave spectacular applications to the theory of analytic spaces. Subsequently Serre extended these methods to algebraic geometry, when Grothendieck
enlarged and generalized them enormously. Finally Sato applied
Grothendiecks methods to D-modules, creating microlocal analysis.
SOCIET
DE FRANCE 1998
102
1.
C. HOUZEL
Introduction
2.
Le cours de captivit
e de Leray
Prisonnier en Autriche pendant la guerre, Leray a participe `a une universite de captivite dans lOag XVII ; il avait prefere traiter un sujet plus
loin des applications que sa specialite (lhydrodynamique) de peur detre requis pour travailler a` leort de guerre allemand et il avait choisi de faire un
cours de topologie algebrique. Dans ce cours, quil a publie en 1945 dans le
Journal de math
ematiques pures et appliquees [Leray 1945a,b,c], il cherchait a`
se debarrasser des hypoth`eses inutiles et `a associer aux espaces topologiques
des invariants algebriques sans passer par des constructions intermediaires.
Les invariants quil considerait etaient les groupes de cohomologie plut
ot que
les groupes dhomologie ; la distinction entre les deux theories datait de 1935
[Alexander 1935, Kolmogorov 1936], et la cohomologie presente lavantage
davoir toujours une structure multiplicative dont celle de lhomologie derive
` 3
SEMINAIRES
ET CONGRES
HISTOIRE DE LA THEORIE
DES FAISCEAUX
103
dans le cas o`
u on dispose de la dualite de Poincare. Leray appelle homologie
la cohomologie et il parle de groupes de Betti pour signier lhomologie.
X p X p ;
on impose que le cobord dun cobord soit nul. Un complexe abstrait est rendu
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
104
C. HOUZEL
et on annule les elements de support vide. Leray demontre que, lorsque lespace E est normal, il sut de considerer une famille de couvertures stable
par intersection et admettant des supports arbitrairement petits ; lorsque E
est compact, une seule couverture sut, `a condition que ses supports soient
simples (cest-`a-dire a` cohomologie triviale).
3.
Letape suivante dans la construction de Leray consiste a` associer une theorie cohomologique `a toute application continue fermee dun espace normal E
dans un autre E ; elle est exposee dans une suite de notes aux Comptes rendus de lAcademie des sciences en 1946. Lidee vient probablement de letude
de la topologie dune variete en considerant sa projection dans une variete de
dimension inferieure et les proprietes des bres de cette projection ; Picard
avait traite la topologie des surfaces algebriques de cette mani`ere et cette
methode avait ete etendue par Lefschetz en dimension plus grande. Leray
se ref`ere explicitement au travail de N. Steenrod sur lhomologie des espaces
bres [Steenrod 1943].
Le probl`eme est que la cohomologie des bres varie. Picard et Lefschetz,
dans le cas o`
u les bres sont des courbes algebriques, se servaient de lequation dierentielle veriee par les periodes des integrales abeliennes sur ces
courbes (connexion de Gauss-Manin) et de la monodromie de cette equation.
Steenrod avait introduit la notion de syst`eme local de coecients dans
le cas dun bre ; les bres sont homeomorphes, mais il faut tenir compte de
loperation du groupe fondamental de la base dans leur homologie (analogue
a la monodromie de Picard-Lefschetz). Dans le cas general quil consid`ere,
`
Leray introduit la notion de faisceau pour relier entre elles les cohomologies
des bres : au lieu de considerer seulement les bres 1 (x ) (x E ) et
leur cohomologie, il consid`ere les fermes F de E , leurs images reciproques
1 (F ) et la cohomologie de ces images reciproques.
Cela le conduit `a denir un faisceau B de modules (ou danneaux) sur un
espace topologique E comme une fonction associant a` chaque ferme F de E
un module (ou un anneau) BF de mani`ere que B = 0 ; pour chaque couple
de fermes f, F tels que f F , on se donne de plus un homomorphisme de
restriction bF bF .f de BF dans Bf et on impose la condition de transitivite
(bF .f ).f = bF .f
chaque fois que
f f F.
` 3
SEMINAIRES
ET CONGRES
HISTOIRE DE LA THEORIE
DES FAISCEAUX
105
Un tel faisceau est dit normal si tout element bF dun BF est la restriction
dun bV BV o`
u V est un voisinage ferme de F et si, de plus, la condition
bF .f = 0 (avec f F ) implique lexistence dun voisinage ferme v de f
contenu dans F et tel que bF .v = 0. Ces conditions signient que BF est la
u V parcourt la famille des voisinages fermes de F .
limite inductive des BV o`
Lexemple typique dun faisceau sur E est donne par
F H p (F, A)
o`
u A est un anneau xe ; ce faisceau est normal si lespace E est normal.
Leray denit alors la cohomologie de E relative a` un faisceau B en considerant les formes dune couverture
`a coecients dans B ; en degre q, ce
de E
u X q, parcourt la base du groupe
sont des combinaisons lineaires
b X q, o`
de degre q de la couverture et, pour chaque , b B|X q, | . Pour avoir de
bonnes proprietes, Leray suppose E et B normaux. Lorsque E admet une
couverture C dont les supports sont simples relativement `a B, la cohomologie
peut se calculer en utilisant uniquement cette couverture.
Si maintenant : E E est une application continue fermee entre deux
espaces topologiques normaux (Leray dit une representation fermee ) et si
B est un faisceau normal de modules sur E, Leray denit le faisceau image
(B) sur E en posant
(B)F = B1 (F )
pour tout ferme F de E ; les restrictions de (B) sont induites par celles
de B et on voit que (B) est un faisceau normal. Lanneau de coecients A
etant choisi, on consid`ere le faisceau
B p : F H p (F, A)
sur E et le module H q (E , (B p )) est le (p, q)-i`eme module de (co)homologie
de relatif a` A.
Dans sa deuxi`eme note, Leray montre comment la cohomologie de
contient une information sur la cohomologie de E : cest la premi`ere apparition de la suite spectrale. Lidee vient de lanalyse du lemme qui servait,
dans le cours de captivite, `a etablir que la cohomologie dun espace normal
peut se calculer `a laide dune famille de couvertures stable par intersection
et avec des supports arbitrairement petits ; Leray demontrait que, si K est
une couverture et C est un complexe tel que K e soit un simplexe pour
tout support e de C , les cohomologies de C et de K C sont identiques. Il
note maintenant P1p,q le (p, q)-i`eme module de cohomologie de et il arme
que ce module contient des sous-modules
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
106
C. HOUZEL
p,q
p,q
p,q
p,q
p,q
p,q
0 = Qp,q
1 = Q0 Q2 . . . Qq1 Pp+1 . . . P2 P1
tels que, pour chaque indice r [1, p], on ait un homorphisme surjectif
pr,q+r+1
r : Prp,q Qrpr,q+r+1 /Qr1
p,q
de noyau Pr+1
; de plus le p-i`eme module de cohomologie E p,0 de E relatif a`
lanneau A contient des sous-modules
de noyau Qp,q
q1 . Leray donne la description de r (induit par le cobord de la
cohomologie de E ) et de mais pas celle des sous-modules en jeu, qui doit se
deduire de r et de . On voit que la structure de la cohomologie de permet
de calculer le gradue associe `a la cohomologie de E ltree par les E pr,r . Ceci
permet `a Leray dobtenir un certain nombre de resultats : par exemple, si E
est compact et que toutes les bres 1 (x ) sont simples , 1 induit un
isomorphisme de la cohomologie de E sur celle de E. Leray donne aussi des
applications a` la cohomologie dun espace bre de base simplement connexe
dans le cas o`
u A est un corps, a` la cohomologie de lespace homog`ene quotient
E dun groupe compact simplement connexe E par un sous-groupe ferme
dans le cas o`
u A = Q et il retrouve les resultats de Gysin [1941] sur les bres
en sph`eres et ceux de Samelson [1941] sur les groupes compacts operant sur
des sph`eres.
Leray a developpe sa theorie dans des cours au Coll`ege de France en 194750, publies en 1950 dans le Journal de math
ematiques pures et appliquees
[Leray 1950a,b]. Il note, cette fois, B(F ) la valeur dun faisceau (B) sur un
ferme F et F1 b la restriction a` F1 F dun element b de B(F ) ; il consid`ere
seulement des espaces X localement compacts. Un faisceau B sur X est dit
continu si la limite inductive des B(W ) pour les voisinages fermes W de
est nulle et que, pour tout ferme F , B(F ) est la limite inductive des B(V )
pour les voisinages fermes V de F ; si ces conditions sont veriees et
que, de plus, pour tout compact K, B(K) est la limite inductive des B(V ), V
voisinage ferme de K, on dit que B est propre.
Dans cette nouvelle presentation, Leray nimpose plus aux complexes detre
libres et il nest donc plus question de base privilegiee ; mais il suppose quils
sont munis dune structure multiplicative : ce sont des anneaux dierentiels. Un complexe abstrait K devient concret lorsquon attribue a` chacun de
` 3
SEMINAIRES
ET CONGRES
HISTOIRE DE LA THEORIE
DES FAISCEAUX
107
SOCIET
DE FRANCE 1998
108
C. HOUZEL
Cech
K associe `a un recouvrement ferme ni (F ) si on sait que, pour toute
intersection F des F , H(F B) HB(F).
Considerons maintenant une application continue : X Y , o`
u X et
Y sont localement compacts ; si B est un faisceau dierentiel ltre propre sur
X, on introduit des couvertures nes X de X et Y de Y pour faire les calculs
de cohomologie. La couverture 1 Y de X est denie comme le quotient de
Y par lideal des y tels que 1 (S(y)) soit vide, les supports etant les images
reciproques par des supports de Y ; la cohomologie H( 1 Y X B)
sidentie a` H(X B) muni dune ltration qui ne depend que de et non
du choix de X et de Y. Sous des hypoth`eses convenables de dimension nie,
le gradue associe sidentie a` la limite inductive des Hr ( 1 Y X B) ; on
a H2 ( 1 Y X B) H(Y F1 (X B)).
Leray applique en particulier ces resultats au cas o`
u est une bration de
bre F et o`
u le faisceau B est un anneau constant A ; alors F(X A) est
localement isomorphe `a H(F A) et Leray retrouve les resultats de G. Hirsch
[1948], de Gysin [1941], de Chern et Spanier [1950], ainsi que ceux de Wang
[1949] pour le cas o`
u Y est une sph`ere dhomologie.
4.
Impact des id
ees de Leray et travaux de
H. Cartan
` 3
SEMINAIRES
ET CONGRES
HISTOIRE DE LA THEORIE
DES FAISCEAUX
109
Helvetici [Weil 1952]. Dapr`es le commentaire quen fait Weil lui-meme dans
ses uvres, lidee de base lui avait ete suggeree par une conversation quil
avait eue a` Paris avec Leray en 1945. La meme annee 1947 sest tenu `a Paris
un colloque international de topologie algebrique ; Leray et Cartan y ont pris
part, mais la publication du colloque par le CNRS en 1949 contient une forme
remaniee de leurs contributions ([Leray 1949], [Cartan 1949]). Cartan sest
donc interesse tout de suite a` la notion de faisceau ; il avait dailleurs dej`
a
rencontre quelque chose danalogue a` propos de certains probl`emes de passage du local au global. Par exemple, Cartan [1945] sinteresse `a lhomologie
Hn (U, T) des ouverts U dun espace localement compact de dimension n et `a
la mani`ere dont elle depend de U ; pour chaque inclusion V U douverts,
il y a un morphisme naturel de restriction Hn (U, T) Hn (V, T) et Cartan
etablit les proprietes de recollement qui sexprimeraient maintenant en disant
que U Hn (U, T) est un faisceau. Lautre probl`eme de passage du local au
global concerne la theorie des fonctions de plusieurs variables complexes et
Cartan lavait considere d`es 1934 ; l`a encore, les donnees locales sont relatives
a des ouverts. En 1950, K. Oka a publie dans le Bulletin de la Soci
`
ete mathematique de France un article dans lequel il introduit la notion dideal de
domaine indetermine, dont il attribue lintention a` H. Cartan : il sagit dun
ensemble (I) de couples (f, ) o`
u est un ouvert de Cn (ou un revetement
dun tel ouvert) et f est une fonction holomorphe dans et on suppose que
1. pour (f, ) (I) et holomorphe dans , (f, ) (I) ;
2. si (f, ) et (f , ) appartiennent a` (I), il en est de meme de
(f + f , ) ;
3. si (j ) est une suite croissante de domaines et que (f, j ) (I) pour
tout j, alors (f, j ) (I).
Il etait donc naturel pour Cartan de denir les faisceaux sur les ouverts
plut
ot que sur les fermes. Cest precisement ce quil fait dans son Seminaire
consacre `a la topologie algebrique dans les annees 1948-51 ; la partie sur les
faisceaux de la premi`ere annee (1948-49) nest pas publiee. Le seminaire de
1950-51 [Cartan 1950-51] contient une nouvelle presentation de la theorie o`
u
les faisceaux sont denis en termes despaces etales suivant une idee de M.
Lazard : un faisceau sur un espace topologique X est un espace topologique F
muni dune application p : F X qui est un homeomorphisme local ; de plus
u
les bres Fx = p1 (x), (x X ) sont munies de structures de K-modules, o`
K est un anneau commutatif xe et on suppose que les lois de composition de
` chaque ouvert
ces structures sont continues au sens de la topologie de F . A
X de X , on associe le module (F, X) des sections de F au-dessus de X,
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
110
C. HOUZEL
HISTOIRE DE LA THEORIE
DES FAISCEAUX
111
5.
SOCIET
DE FRANCE 1998
112
C. HOUZEL
` 3
SEMINAIRES
ET CONGRES
HISTOIRE DE LA THEORIE
DES FAISCEAUX
113
procede de Cech
en commencant par etablir les proprietes cohomologiques des
varietes anes, analogues aux theor`emes A et B de Cartan, qui lui permettent
de justier ce procede pour la cohomologie des faisceaux coherents. Le point
essentiel est quon peut trouver des recouvrements arbitrairement ns dune
u les Qi sont des
variete ane X par des ouverts en nombre ni du type XQi o`
fonctions reguli`eres sur X ; il resulte alors du theor`eme des z
eros que, pour un
entier N , il existe des fonctions reguli`eres Ri telles que 1 = Ri QN
e
i , identit
qui remplace les partitions de lunite du cas paracompact.
Les developpements ulterieurs de la theorie des faisceaux et de ses applications `a la geometrie algebrique sont surtout dus a` A. Grothendieck. Renvoyant
a larticle de P. Deligne pour plus de details, contentons-nous dindiquer que
`
larticle de Grothendieck en 1957 au T
ohoku Math. J. propose un cadre dalg`ebre homologique assez large pour contenir la cohomologie des faisceaux ;
les groupes de cohomologie sont les foncteurs derives du foncteur (sections
globales) et on les calcule au moyen de resolutions injectives dont Grothendieck demontre lexistence en toute generalite. Apr`es les notes dun cours
dA. Borel a` lETH de Z
urich [Borel 1951] o`
u la theorie des faisceaux est presentee dapr`es Leray, le premier livre enti`erement consacre `a la theorie des
faisceaux est celui de R. Godement [1958] ; dans ce livre, elabore dapr`es les
notes dun cours a` lUniversite dIllinois (1954-55), Godement introduit de
nouvelles classes de faisceaux acycliques tr`es commodes pour le calcul de la
cohomologie : les faisceaux asques et les faisceaux mous. Signalons aussi la
denition de lhomologie a` valeur dans un faisceau par Borel et Moore [1960],
en vue de la dualite de Poincare.
6.
Applications a
` lanalyse microlocale
D`es 1959, M. Sato avait deni les hyperfonctions sur une variete analytique
reelle M au moyen de la cohomologie du faisceau des fonctions holomorphes
sur un voisinage complexe de M (cohomologie relative au complementaire de
M , par la suite remplacee par la cohomologie `a supports dans M ) ; le faisceau
des hyperfonctions est asque. Letude des operateurs pseudo-dierentiels
analytiques a ensuite conduit Sato a` denir les microfonctions comme sections dun faisceau sur le bre en sph`eres cotangent `a la variete [Sato 1969].
Par la suite le bre en sph`eres a ete remplace par le bre cotangent lui-meme
et les constructions de Sato se sont eclairees par lutilisation du langage des
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
114
C. HOUZEL
M
X
TM X
o`
u les `eches horizontales sont des plongements ; on pose p = p j. Considerons un objet F de la categorie derivee Db (X) des complexes de faisceaux `a
cohomologie bornee sur X. On lui associe le specialise le long de M ,
M (F ) = s1 Rj p1 F s! j! p! F,
objet de la categorie derivee Db (TM X) ; cest un objet conique au sens quil
est invariant par les homotheties positives du bre normal et son support
CM (SuppF ) est le cone normal au support de F le long de M , cest-`a-dire lintersection de p1 (SuppF ) avec TM X. On interprete la cohomologie de M (F )
de la mani`ere suivante : si V est un ouvert conique de TM X, H j (V, M (F ))
u U est un ouvert variable de X tel que
est la limite inductive des H j (U, F ) o`
V CM (X U ) = ; la bre H j (M (F )) du faisceau de cohomologie en
u U parcourt les
un point de TM X est la limite inductive des H j (U, F ) o`
ouverts tels que
/ CM (X U ). Le microlocalise M (F ) de F le long de M
est le transforme de Fourier-Sato de M (F ), deni au moyen du diagramme
p2
X
TM X X TM
p1
TM X
` 3
SEMINAIRES
ET CONGRES
TM
X
HISTOIRE DE LA THEORIE
DES FAISCEAUX
115
X est le br
o`
u TM
e conormal `a M dans X ; on a
1
M (F ) = Rp2 ! ((p1
1 M (F ))|P ) Rp2 RP (p1 M (F ))
X. Ainsi
en notant P la partie positive et P la partie negative de TM X X TM
X) ; si V est un c
one ouvert convexe
M (F ) est un objet conique de Db (TM
j
j
(U, F ) o`
u U est
dans TM X, H (V, M (F )) est la limite inductive des HZU
un ouvert de X tel que U M = (V ) et Z est un ferme tel que CM (Z) soit
contenu dans le polaire V de V et la bre H j (M (F ))p en un point p de
X est la limite inductive des H j (F )
e tel que CM (Z)(p)
TM
(p) pour Z ferm
Z
soit contenu dans lensemble des vecteurs normaux v pour lesquels #v, p$ > 0.
On peut appliquer ces constructions au cas o`
u X est une variete analytique
complexe munie dune fonction holomorphe f et o`
u M = Y est le lieu des
zeros de f . Soit
C C
p:C
X
C
p
f (F ) = i1 RHom(f 1 K, F )
o`
u i : Y X est linjection canonique et o`
u K est le complexe sur C
0 p! AC AC 0
Lorsque F est faiblement Cconstructible, on a f (F ) s1 Y (F ) et f (F )
u s : Y TY X est la section dimage f1 (1) (f est denie par
s1 Y (F ) o`
la dierentielle df et s : Y TY X est la section denie par df ).
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
116
C. HOUZEL
Bibliographie
Alexander (J.W.)
[1935]
On the chains of a complex and their duals, Proc. Nat. Acad. Sci. USA,
21 (1935), p. 509511.
Borel (A.)
[1951]
Homology theory for locally compact spaces, Michigan Math. J., 7 (1960),
p. 137159.
Cartan (H.)
[1944]
[1945]
[1949]
Sur la notion de carapace en topologie algebrique, dans Topologie algebrique, Paris 1947, Colloques Internat. Centre Nat. Rech. Sci. 12, 1949,
p. 12.
[1950]
[1950-51]
[1951-52]
[1953]
Varietes analytiques complexes et cohomologie, in Colloque sur les fonctions de plusieurs variables, Bruxelles 1953, Centre belge de Rech. math.
p. 4155.
[1953-54]
The homology structure of bre bundles, Proc. Nat. Acad. Sci. USA, 36
(1950), p. 248255.
` 3
SEMINAIRES
ET CONGRES
HISTOIRE DE LA THEORIE
DES FAISCEAUX
117
Dieudonn
e (J.)
[1989]
Godement (R.)
[1958]
Gray (J.W.)
[1979]
Grothendieck (A.)
[1957]
[1973]
Gysin (W.)
[1941]
Zur Homologietheorie der Abbildungen und Faserungen der Mannigfaltigkeiten, Comment. Math. Helv., 14 (1941), p. 61122.
Hirsch (G.)
[1948]
Houzel (C.)
[1990]
Kolmogorov (A.)
[1936]
Uber
die Dualitat im Aufbau der kombinatorischen Topologie, Mat.
Sborn., 1 (1936), p. 701705.
Koszul (J.L.)
[1947a]
[1947b]
Leray (J.)
[1945a]
Sur la forme des espaces topologiques et sur les points xes des representations, J. Math. Pures Appl., (IX) 24 (1945), p. 95167.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
118
C. HOUZEL
[1945b]
[1945c]
[1946a]
[1946b]
[1946c]
[1946d]
[1949]
Lhomologie ltree, dans Topologie algebrique, Paris 1947, Colloques Internat. Centre Nat. Rech. Sci. 12, 1949, p. 6182.
[1950a]
[1950b]
Lhomologie dun espace bre dont la bre est connexe, J. Math. Pures
Appl., (IX), 29 (1950), p. 169213.
Oka (K.)
[1950]
[1951]
Samelson (H.)
[1941]
Beitr
age zur Topologie der Gruppenmannigfaltigkeiten, Ann. of Math.,
45 (1941), p. 10911137.
Sato (M.)
[1959]
[1969]
` 3
SEMINAIRES
ET CONGRES
HISTOIRE DE LA THEORIE
DES FAISCEAUX
119
Serre (J.-P.)
[1953]
[1955a]
[1955b]
Steenrod (N.)
[1943]
Wang (H.)
[1949]
The homology groups of the ber bundles over a sphere, Duke Math. J.,
16 (1949), p. 3338.
Weil (A.)
[uvres]
[1947]
[1952]
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
Le mouvement brownien
Un essai sur les origines de la th
eorie math
ematique
Jean-Pierre Kahane
R
esum
e
Vue de loin, lhistoire du mouvement brownien se divise en deux
periodes : entre 1900 et 1950, une evolution lente, ponctuee par
les travaux dEinstein, Wiener et Levy ; depuis 1950, une eorescence indescriptible. En lexaminant de pr`es, on rep`ere dierents
th`emes et sources presents d`es lorigine. On sattache ici surtout
a la premi`ere periode, en degageant cinq sources principales, et
`
en survolant les th`emes correspondants au cours de la seconde
periode : 1) Einstein, Wiener et le processus de Wiener 2) Langevin, Doob et les equations dierentielles stochastiques 3) Borel, Steinhaus et les series de fonctions aleatoires 4) Bachelier,
Kolmogorov, les processus et les diusions 5) Pearson, Polya et
les marches au hasard.
Abstract
The paper is a historical survey of the mathematical theory of
Brownian motion, with a particular emphasis on the period 1900
1950, and only short allusions to recent developments. It is organized along ve lines: 1) Einstein, Wiener, and the Wiener process 2) Langevin, Doob, and stochastic dierential equations
3) Borel, Steinhaus, and random series of functions 4) Bachelier, Kolmogorov, processes and diusions 5) Pearson, P
olya,
and random walks.
SOCIET
DE FRANCE 1998
124
J.-P. KAHANE
une evolution lente et lineaire, reperable par les p`eres fondateurs que furent
Albert Einstein, Norbert Wiener, Paul Levy ; et depuis 1950, une eorescence
dicile `a matriser, avec la poursuite des proprietes nes qui font du mouvement brownien lun des prototypes de la fractalite, le mouvement brownien
sur les varietes, le mouvement brownien `a plusieurs param`etres, le mouvement
brownien a` la source ou au carrefour des etudes sur les processus gaussiens,
les processus `a accroissements independants, les processus de Markov avec
leur lien a` la theorie du potentiel, les martingales, les equations dierentielles
stochastiques, les integrales de chemins, les superprocessus qui decrivent des
particules qui se scindent au cours du temps, etc... La litterature sur le mouvement brownien est facile a` inventorier et meme `a lire dans la premi`ere periode,
et dicile `a matriser dans la seconde ; Daniel Revuz et Marc Yor, dans leur
livre Continuous martingales and Brownian motion [Revuz et Yor 1991] font
etat dune litterature enorme, dont la bibliographie quils donnent, avec 500
titres, ne fournit quune faible idee. Il y a heureusement, sur dierents aspects,
beaucoup de bons livres qui permettent dacceder dans cette foret.
La theorie mathematique du mouvement brownien, mise en place par Norbert Wiener, est `a la fois si simple au depart, si belle et si riche quelle a conquis
une large audience chez les mathematiciens et aussi chez les physiciens. Mais
il faut preciser d`es maintenant que ce nest quune des idealisations mathematiques du mouvement reel de particules en suspension dans un liquide, tel
quil fut observe et decrit par le botaniste anglais Richard Brown en 1828, et,
a sa suite, par plusieurs physiciens experimentateurs au XIXe si`ecle. Ce nest
`
meme pas la meilleure idealisation pour lapplication de la theorie dEinstein
a la determination du nombre dAvogadro. Wiener, dailleurs, fut toujours
`
prudent a` cet egard.
Jai choisi de parler surtout de la premi`ere periode. Elle est beaucoup
moins lineaire quil y parat dabord. Einstein nest pas la source unique, ni
Wiener le seul canal. Il y a des auents divers, dont on retrouve parfois la
trace dans leorescence contemporaine. Jai identie cinq cheminements, que
je meorcerai de suivre en reperant les croisements et les prolongements dans
la periode contemporaine. Schematiquement, chaque voie est signalee par un
initiateur, un formalisateur et un sujet. Le plan de lexpose est donc ainsi fait :
1. Einstein, Wiener et le processus de Wiener
1 bis. Denitions et commentaires
2. Langevin, Doob et les equations dierentielles stochastiques
3. Borel, Steinhaus et les series de fonctions aleatoires
4. Bachelier, Kolmogorov, les processus et les diusions
5. Pearson, P
olya et les marches au hasard
Un appendice contiendra mes excuses pour tout ce que je naurai pas dit.
` 3
SEMINAIRES
ET CONGRES
LE MOUVEMENT BROWNIEN
1.
125
En meme temps que Smoluchowski, sur lequel je reviendrai, Einstein publie dans Annalen der Physik trois articles fondateurs pour la theorie du
mouvement brownien, en 1905 et 1906. Je rappelle que les Annalen der Physik de 1905 contiennent egalement les articles dEinstein sur la relativite et
sur leet photoelectrique.
Voici le titre et la conclusion du premier article :
Ueber die von der molekularkinetischen Theorie der Warme gefordete Bewegung von in ruhenden Fl
ussigkeiten suspendierten
Teilchen
(Sur le mouvement, exige par la theorie cinetique moleculaire de la chaleur,
de particules en suspension dans un liquide au repos)
RT 1
N 3a
o`
u R est la constante des gaz parfaits, T la temperature absolue, N le nombre
dAvogadro ( 6 1023 ), la viscosite, a le rayon de la particule, supposee
spherique, et le temps correspondant au deplacement x. Quant a` (x)2 ,
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
126
J.-P. KAHANE
cest une moyenne, pour un intervalle de temps donne , du carre des deplacements, dans une direction donnee, dun grand nombre de particules. Mais
cest aussi la moyenne, pour une suite dintervalles de temps consecutifs, du
carre des deplacements dans une direction dune particule individualisee.
Le programme dEinstein fut realise par Jean Perrin, et publie en 1909
dans les Annales de Chimie et de Physique sous le titre : Mouvement brownien et realite moleculaire. Perrin obtient par ce moyen N 7 1023 , ce
qui conrme les estimations obtenues par dautres procedes. Ce travail devait
lui valoir le prix Nobel en 1926. Dans son article de 1909 et dans son livre de
1912 Les atomes, Perrin decrit eloquemment lextreme irregularite des trajectoires et le fait quapparemment elles nont de tangente en aucun point. Sa
description, dans Les atomes, se conclut par une phrase que Wiener se plaisait
a citer :
`
` 3
SEMINAIRES
ET CONGRES
LE MOUVEMENT BROWNIEN
127
Xt = 0 +
n
2
1
o`
u 0 , 1 , 1 , est une suite de variables gaussiennes normalisees (E = 0,
E 2 = 1) et independantes, ce que jappellerai un echantillon normal.
Cest la serie de Fourier-Wiener, encore implicite en 1923, explicitee `a
loccasion de la collaboration avec Paley et Zygmund en 1933.
Dans une etude ecrite en 1964 sur Wiener et lintegration dans les espaces
fonctionnels, Marc Kac met en evidence la profonde originalite de Wiener
et, en contre partie, la diculte queurent les mathematiciens de lepoque a`
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
128
J.-P. KAHANE
comprendre sa demarche. Only Paul Levy in France, who had himself been
thinking along similar lines, fully appreciated their signicance.
Letape suivante est en eet luvre de Paul Levy sur le mouvement brownien, qui setend de 1934 a` 1966 et comprend le premier grand ouvrage sur
la question, Processus stochastiques et mouvement brownien, en 1948. Nous
allons a` plusieurs reprises rencontrer des theor`emes de Paul Levy, mais je
serai loin de rendre compte de toute la richesse de son apport.
1.bis D
enitions et commentaires
Jai parle au depart de la simplicite du processus de Wiener. Cette simplicite nest apparue quau cours du temps. La presentation quen fait Wiener
dans son livre avec Paley, Fourier transforms in the complex domain [Paley
et Wiener 1934] est bien plus accessible que celle de Dierential space , et
jy reviendrai. Voici comment se presente la chose aujourdhui.
Il sagit dabord de construire une helice ayant la geometrie voulue dans
un espace de Hilbert ; dans L2 (R),
(t R)
t 1[0,t]
fait laaire ([0, t] designant lintervalle joignant 0 et t). Soit W une isometrie
lineaire de L2 (R) sur un espace de Hilbert gaussien, H, et
Xt = W (1[0,t] ).
Alors Xt decrit une helice brownienne. Soit (un ) une base de L2 (R), et (n )
son image dans H par W ; cest un echantillon normal. Dans L2 (R) on peut
decomposer 1[0,t] suivant la base (un ) :
1[0,t] =
donc
Xt =
an (t)un
an (t)n
dans L2 (R)
dans H.
an (t)n ()
et reduit son etude a` celle dune certaine serie de fonctions aleatoires. Pratiquement, on se borne souvent `a etudier le mouvement brownien sur R+
` 3
SEMINAIRES
ET CONGRES
LE MOUVEMENT BROWNIEN
129
Xn
N 1
o`
u les Xn sont des v. a. dans Rd independantes ayant toutes pour distribution, et les sont choisis au hasard selon la probabilite naturelle, ou aussi
bien de mesures de la forme
N
1
(Xn ).
N 1
La rapidite de la convergence de ces series vers W, testee sur une classe convenable de fonctions f, par exemple les fonctions indicatrices de produits dintervalles, est lun des probl`emes actuels de la statistique.
Il y a dautres helices dans H que lhelice brownienne, et elles ont toutes des
interpretations probabilistes interessantes. Voici quelques exemples, introduits
par I. Schoenberg et J. von Neumann vers 1940. Il sera commode de prendre
ici pour L2 et H des espaces de Hilbert complexes.
Soit une mesure positive sur R telle que |sin ut|2 (du) < . Alors
t eiut 1 denit une helice dans L2 (R, (du)) ; en eet,
(eiut 1) (eius 1) 2L2 (R,) = (t s)
avec
(t) =
SOCIET
DE FRANCE 1998
130
J.-P. KAHANE
Cest la forme generale des fonctions dhelice sur R ; on les appelle aussi,
suivant A. Beurling, fonctions denies negatives ou fonctions de type negatif.
En choisissant convenablement, on obtient (t) = |t| , 0 < < 2. Par
isometrie de L2 (R, ) sur H, ici complexie, on a un processus (Xt ) tel que
X0 = 0 et
Xt Xs 2H = |t s| .
Pour = 1, on retrouve le mouvement brownien. Pour les autres , on dit
que (Xt ) est un mouvement brownien fractionnaire.
Au lieu de R comme espace des param`etres, on peut partir de nimporte
quel groupe abelien localement compact G ; une helice est denie par une
application de G dans un espace de Hilbert telle que le carre de la distance de
deux points de lhelice soit une fonction (la fonction dhelice) de la dierence
des param`etres.
2
n ) pour espace de Hilbert, o`
u n est une suite
Prenons G = T
et (Z,
2
positive telle que
n sin nt < pour tout t. Alors t e2int denit une
helice dont la fonction dhelice est
(t) =
n |e2int 1|2 .
Par isometrie de 2 (Z, n ) dans H, on obtient la forme generale dun processus
gaussien stationnaire 1-periodique, et son expression sous forme de serie de
Fourier aleatoire
n n ()e2int
Xt =
(n ) etant ici, par commodite, un echantillon normal complexe.
Prenons enn G = Rd , L2 (Rd , ) comme espace de Hilbert, et
t eiut 1 L2 (Rd , (du))
pour parametrage dhelice (ut = u1 t1 + u2 t2 + + ud td ) ; la fonction dhelice
est, comme plus haut,
(t) = |eiut 1|2 (du).
On peut choisir (t) = |t|, distance euclidienne : on obtient le brownien a` d
param`etres de Paul Levy. Pour (t) = |t| , 0 < < 2, cest le brownien
fractionnaire dindice `
a d param`etres.
Tous ces processus ont ete bien etudies et sont faciles `a simuler. Les derniers, par exemple, ont ete utilises graphiquement par Benot Mandelbrot
pour produire des reliefs articiels.
` 3
SEMINAIRES
ET CONGRES
LE MOUVEMENT BROWNIEN
131
SOCIET
DE FRANCE 1998
132
J.-P. KAHANE
2.
dx
.
dt
Si leur masse est m, leur energie moyenne est 12 mu2 . Selon lhypoth`ese fondamentale de la mecanique statistique cette energie moyenne est egale `a lenergie
cinetique moyenne dune molecule, soit RT
2N :
mu2 =
` 3
SEMINAIRES
ET CONGRES
RT
.
N
LE MOUVEMENT BROWNIEN
133
du
= 6au ;
dt
du
= 6au + X,
dt
d(xu)
= mu2 6axu + xX
dt
RT
dxu
=
6axu
dt
N
ce qui donne
dx2
2xu =
dt
RT 1
6a
+ C exp
t
=
N 3a
m
et, compte tenu des valeurs numeriques, la derni`ere exponentielle est negligeable pour t 108 sec. ; au bout de ce temps, le regime est pratiquement
permanent. Donc, pour 108 sec.,
x2t+ x2t =
RT 1
.
N 3a
Sous lune des deux hypoth`eses, daccroissements orthogonaux ou daccroissements stationnaires, on obtient
(xt+ xt )2 =
RT 1
,
N 3a
la formule dEinstein.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
134
J.-P. KAHANE
U (t)e
es dW (s)
et lintegrale de Wiener au second membre donne un autre processus de Wiener avec changement de temps, soit
U (t)et =
En choisissant =
1
2
1
W1 (e2t ) + C te .
2
et la constante nulle, on a
U (t) = e 2 W1 (et )
t
o`
u W1 est un processus de Wiener. On voit facilement que U (t) est un processus gaussien stationnaire ; les mathematiciens lutilisent souvent sous le nom
de processus dOrnstein-Uhlenbeck comme une sorte de cousin du mouvement
brownien. Par exemple, le fait que le changement de t en t conserve la loi
` 3
SEMINAIRES
ET CONGRES
LE MOUVEMENT BROWNIEN
135
du processus
signie, pour le processus de Wiener, que
dOrnstein-Uhlenbeck
1
1
W
(t)
et
t
W
(
)
ont
la
m
e
me
loi,
facon de transporter a` lorigine ce quon
t
t
sait du comportement a` linni. Mais lorigine physique est bien dierente :
W (t) idealise la trajectoire dune particule brownienne et U (t) sa vitesse, et
les deux idealisations sont incompatibles.
Il y aurait pour X bien dautres choix. Si par exemple on prend pour X
un processus dOrnstein-Uhlenbeck U0 , lequation de Langevin prend la forme
dU1
= U1 + U0
dt
et elle admet une solution U1 de classe C 1 . En iterant, on peut obtenir des
mod`eles de mouvement brownien de classe C k et meme de classe C .
On pourrait aussi renoncer a` un mod`ele gaussien, en prenant pour X
une distribution (au sens de Schwartz) aleatoire soumise `a la seule condition
E(xX) = 0. Un mod`ele poissonien serait sans doute plus pr`es de la realite
physique.
Des equations du type de Langevin se trouvent maintenant un peu partout
en physique et en mathematiques. Voici, par exemple, la dynamique de Langevin telle quelle apparat dans les methodes de determination de minimum
absolu pour une fonction dierentiable g : Rk R (on doit se representer k
comme tr`es grand, et cest une question danalyse numerique importante et
dicile). Une methode de descente ordinaire ferait tomber dans un trou local. La methode, empruntee aux chimistes et dite de recuit simule (simulated
annealing), est une descente bruitee [Geman et Hwang 1986], suivant le processus x(t) a` valeurs dans Rk , solution de lequation dierentielle stochastique
dx(t) = g(x(t))dt + (t)dW
o`
u dW est le bruit blanc sur Rk muni de la mesure de Lebesgue, et (t) une
fonction quon souhaite
faire tendre vers 0 aussi vite que possible. On peut
1
choisir (t) = O log t (R. Azencott [1992]).
Les probl`emes physiques continuent a` alimenter les recherches actuelles sur
le mouvement brownien, et lintuition des physiciens conduit a` des probl`emes
mathematiques serieux. Pour en avoir une idee, je renvoie `a letude de Hans
F
ollmer [1984] et a` lexpose de B. Duplantier [1989] a` la Journee SMF de
1989.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
136
3.
J.-P. KAHANE
si t = 0, t1 t2
` 3
SEMINAIRES
ET CONGRES
LE MOUVEMENT BROWNIEN
137
2 = 0, t2 t6 t10
3 = 0, t4 t12 t20
cn e2in z n
lim c1/n
=
1
n
1
le cercle de convergence |z| = 1 est une coupure ; cest la premi`ere fois quest
mise en forme lintuition de Borel de 1896.
Linteret de lapproche de Steinhaus va bien au-del`
a. En fait, un mod`ele
universel pour une suite de variables aleatoires independantes est constitue
u les fn sont des fonctions mesurables denies sur [0, 1]. Avant
par (fn (n )) , o`
laxiomatique de Kolmogorov, il y a l`
a un fondement solide pour toute la
theorie des probabilites.
Apr`es Steinhaus, letude des series de fonctions aleatoires fait un nouveau
bond avec Paley et Zygmund [1930, 1932]. Paley et Zygmund se posent la
question detendre le theor`eme de Borel-Steinhaus aux series de Taylor
cn rn (t)z n
cn z n
=
1
et,
plus generalement, detudier des series de fonctions de la forme
fn
2i
n
ou
e
fn . A cote des series de Taylor, ils etudient des series de Fourier
aleatoires du type de Rademacher ou de Steinhaus :
(R) :
cn eint ,
(S) :
cn e2in eint
SOCIET
DE FRANCE 1998
138
J.-P. KAHANE
letat de la question en 1968 se trouve dans mon livre Some Random Series
of Functions (paraphrase du titre de la serie darticles de Paley et Zygmund).
En 1933 les trajectoires de Wiener et de Paley et Zygmund se rencontrent.
On reconnat la main de Wiener dans lintroduction a` leur article commun. Il
explique comment, independamment de la consideration des series (R) et (S)
et de leur usage pour des contre-exemples, il a ete amene par le mouvement
brownien a` des series trigonometriques gaussiennes, que jecrirai
(G) :
cn n eint
o`
u (n ) est un echantillon normal complexe. Il pose la question dun traitement commun aux series (R), (S) et (G), et larticle etend en eet aux series
(G) des theor`emes obtenus par Paley et Zygmund pour les series (R) et (S).
Le sujet devait etre reconsidere par Kahane et par Billard dans les annees
1950 et 1960. Mais ce nest quen 1978, a` la suite des travaux de Dudley et de
Fernique sur les processus gaussiens, quil allait etre compl`etement elucide par
Marcus et Pisier : chaque propriete telle que convergence ou sommabilite dans
un Lp , convergence uniforme, convergence ponctuelle en tout point, convergence ponctuelle presque partout, appartenance a` un Lp ou continuite de la
fonction representee, a la meme probabilite, 0 ou 1, pour les series (R), (S) et
(G) ayant les memes coecients cn . Connaissant (par Dudley-Fernique) des
conditions sur (G) pour la continuite, on a donc des conditions necessaires et
susantes pour la continuite des fonctions representees par (R) ou (G). Les
travaux de Marcus et Pisier, exposes dans leur livre de 1981, concluent donc
ce programme de Wiener. Mais ils sont prolonges de facon vigoureuse par les
etudes actuelles sur probabilites et espaces de Banach, quon trouve dans le
livre de Michel Ledoux et Michel Talagrand [1991].
De sa frequentation de Paley et Zygmund, Wiener retient la simplicite de
lapproche probabiliste de Steinhaus. Jusqualors, il a deduit la loi des coecients de la serie de Fourier-Wiener de sa construction de la mesure de Wiener
sur lespace des fonctions continues dune variable reelle. A partir de 1933, il
part comme Steinhaus de lintervalle [0, 1] muni de la mesure de Lebesgue, il
transporte cette mesure sur [0, 1]N au moyen de la transformation de Steinhaus, il denit des echantillons normaux comme fonctions des coordonnees
n , et il transporte enn la mesure sur les fonctions continues au moyen de
la serie de Fourier-Wiener. Le point de vue est compl`etement inverse. Dans
le livre de 1934 de Paley et Wiener les deux derniers chapitres sont consacres au processus de Wiener introduit de cette mani`ere, et designe comme
fundamental random function.
` 3
SEMINAIRES
ET CONGRES
LE MOUVEMENT BROWNIEN
139
uniformement
lim sup
pour tout t
[Levy 1937]
[Dvoretzky 1963].
|X(t + h) X(t)|
>0
1
2|h|log |h|
|X(t + h) X(t)|
<
|h|
[Kahane 1974].
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
140
J.-P. KAHANE
|h|
(Wiener [1923] ; Paul Levy [1948]), mais il est faux que cela ait lieu pour une
trajectoire donnee ; en fait, la limite superieure est innie. On peut chercher
pour quelles fonctions h(x) il est presque s
ur que, pour toute suite de partages
de [a, b] dont le pas tend vers 0, on ait
lim sup
` 3
SEMINAIRES
ET CONGRES
LE MOUVEMENT BROWNIEN
141
Dans les espaces euclidiens Rd il ny a pas dhelice brownienne mais seulement des quasi-helices veriant
1 d Xt+h Xt 2 /|h| 1 + d .
Elles sont faciles `a construire par un procede automatique, et leurs projections
planes ressemblent au mouvement brownien plan. Cest un des tr`es nombreux
cas o`
u un automate convenable imite le hasard ([Assouad 1980], [Kahane
1981]).
La methode de Paul Levy pour evaluer le module de continuite du brownien est au moins
aussi importante que le resultat. Elle consiste a` determiner
h
la loi de X t + 2 lorsque X(t) et X(t + h) sont connus. La methode lui a
servi pour dautres processus a` accroissements independants, et cest la cle
pour certaines simulations numeriques [Bouleau et Lepingle 1994].
Je reviens `a Borel pour terminer cette section. Son idee est quun phenom`ene inhabituel, tel que le non-prolongement dune serie de Taylor, peut
apparatre comme general dans un cadre convenable. Cette idee a ete exploitee dans des cadres varies : ensembliste, et `a cet egard Cantor, sur les
nombres transcendants, avait montre la voie ; topologique, avec lutilisation
de la theorie de Baire, et cela a ete une specialite polonaise des annees 1920 ;
et, naturellement, probabiliste comme y pensait Borel. Il peut etre tr`es dicile
de construire certains objets, tandis quune mesure de probabilite convenable
les fait apparatre en masse. Paley et Zygmund ont ete les initiateurs de cette
methode, et mes livres de 1968 et 1985 en donnent beaucoup daspects ; le
prototype est la reciproque du theor`eme de Riesz-Fischer : si la suite des amplitudes rn nest
pas de carre sommable, peut-on choisir les phases n de sorte
que la serie
rn cos(nt + n ) ne soit pas une serie de Fourier-Lebesgue, et
comment ? Reponse : oui, au hasard. Pour certains usages, il simpose de penser au mouvement brownien. Je me borne `a un exemple. D. Mensov a montre
que toute fonction continue sur T est egale, sauf sur un ensemble de mesure
arbitrairement petite, `a une fonction de la classe U (T), cest-`a-dire dont la
serie de Fourier est uniformement convergente. Peut-on remplacer U (T) par
A(T), la classe des fonctions dont la serie de Fourier est absolument convergente ? La reponse est negative, comme la montre Y. Katznelson, meme si on
impose `a la fonction donnee detre holderienne (A. M. Olevskii). Le meilleur
contre-exemple connu est le mouvement brownien : sur aucun ensemble de
mesure positive la fonction de Wiener nest egale `a une fonction de la classe
A(T) [Hruscev et al. 1981].
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
142
4.
J.-P. KAHANE
` 3
SEMINAIRES
ET CONGRES
LE MOUVEMENT BROWNIEN
143
ne depend que de letat present, donc la loi du processus est donnee par les
probabilites de transition que, plus explicitement que Bachelier, Kolmogorov
designe par P (t0 , x, t, y) (on part de x au temps t0 , on se trouve en y au temps
t). Kolmogorov fait une etude analytique de la loi du processus, en etudiant
les equations dierentielles ou integrodierentielles veriees par les probabilites de transition ; comme il le remarque lui-meme [Kolmogorov, Papers II,
p. 521, note], la theorie est developpee en termes classiques et sans utiliser les
espaces de trajectoires. Il se ref`ere `a Bachelier comme initiateur : Bachelier,
dit-il, fut le premier a` faire une etude systematique du cas o`
u la probabilite
P (t0 , x, t, y) depend contin
ument de t.
Comme Bachelier lavait reconnu d`es le depart avec le mouvement brownien, les processus de Markov ont un rapport etroit avec des equations de
diusion. Le sujet est tr`es actuel en geometrie des varietes riemanniennes. Le
laplacien, lequation de la chaleur et le mouvement brownien sur les varietes
sont des sujets intimement lies ; jy reviendrai rapidement dans la derni`ere
section.
Larticle de Kolmogorov de 1931 est un travail danalyse. En 1933, avec
les Grundbegrie, il donne le cadre conceptuel universellement adopte depuis
lors pour les espaces de trajectoires. Son fameux theor`eme de prolongement
dune probabilite simplement additive sur une alg`ebre `a la -alg`ebre engendree est essentiellement un outil pour construire un espace de probabilite
correspondant a` la donnee dun processus. Comme je lai dej`
a dit cest une
vaste systematisation de la premi`ere approche de Wiener. Cependant Kolmogorov ne reprend pas letude des processus de Markov a` partir du point de vue
probabiliste quil a degage. Cette etude probabiliste des processus de Markov
allait etre luvre de jeunesse de Kiyosi It
o.
Le deuxi`eme article dIto dans ses Papers (p. 42) est la traduction en
anglais dun article en japonais de 1942. Le contenu de cet article na pas
attendu cette traduction tardive pour etre connu. Mais sa lecture, apr`es un
demi-si`ecle, est un regal. On y trouve a` letat naissant et parfaitement exposes,
dans le cadre dune etude probabiliste des processus de Markov : 1) la notion
de dierentielle dun processus de Markov et son application au mouvement
brownien ; 2) la denition de lintegrale dIt
o ; 3) a` laide de cette integrale,
des theor`emes dexistence de solutions pour des equations dierentielles stochastiques.
Je me bornerai `a evoquer lintegrale dIt
o. Lintegrale de Wiener, nous
lavons vu, est lintegrale dune fonction deterministe par rapport au bruit
blanc ; le temps ny joue pas de r
ole. Dans lintegrale dIt
o, le temps est
essentiel, et on peut integrer des fonctions aleatoires. It
o consid`ere un mouvement brownien Xt sur R+ et un processus Yt qui nest fonction que des X ,
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
144
J.-P. KAHANE
0 t. Il denit
Y dX
0
Yi1 Xti Xti1
Lesperance de ces sommes est toujours nulle, donc aussi lesperance de lintegrale. Cela explique des formules en apparence paradoxales, et tr`es utiles :
t
1
1
X dX = Xt2 t
2
2
0
Xt
t
t
1
a (x )d
a(X )dX =
a()d
0
0 2
0
t
1 t
A (X )dX +
A (X )d.
A(Xt ) = A(0) +
2 0
0
Il obtient alors une foule de processus comme solutions dequations dierentielles stochastiques du type
t
t
a(, Y )d +
b(, Y )dX .
Yt = c +
0
` 3
SEMINAIRES
ET CONGRES
LE MOUVEMENT BROWNIEN
5.
145
Pearson, P
olya et les marches au hasard
SOCIET
DE FRANCE 1998
146
J.-P. KAHANE
Dans R3 le mouvement brownien sen va a` linni : il est transient. Cependant il a des points doubles [Dvoretzky et al. 1950], et il na pas de point
triple [Dvoretzky et al. 1957].
Dans R4 le mouvement brownien est transient et na pas de point double,
et naturellement il en est de meme en dimension superieure [Dvoretzky et al.
1950].
Tous ces resultats, sur les points multiples du mouvement brownien dans
Rd , dependent dun fait tr`es important etabli par Kakutani d`es 1944 : la
capacite newtonienne dun borelien E de Rd (d 2) est nulle si et seulement
sil est presque s
ur que le mouvement brownien partant dun point a` distance
positive de E ne rencontre jamais E [Kakutani 1944a]. Il est facile de voir que
limage par le brownien dun intervalle reel I est de capacite positive dans R2
et R3 et de capacite nulle dans R4 , et il en resulte que pour deux intervalles
rationnels disjoints I et J les images X(I) et X(J) sont presque s
urement
4
disjointes dans R , et se rencontrent avec probabilite positive dans R3 et
R2 . Cela etablit les resultats sur les points doubles [Dvoretzky et al. 1950].
Le cas des points triples dans R3 se traite de facon analogue. Les points de
multiplicite c necessitent plus de travail, et on y est revenu recemment.
Le role des marches au hasard et du mouvement brownien en theorie du
potentiel avait ete reconnu, avant Kakutani, par Courant, Friedrichs et Lewy
dans un article de 1928. En eet, pour un ouvert dans Rd , le mesure harmonique dune portion de fronti`ere par rapport a` un point interieur sinterpr`ete comme la probabilite pour que le mouvement brownien issu de ce point
sechappe de louvert a` travers cette portion de fronti`ere. Le resultat analogue sur des graphes est encore plus facile `a voir et faisait peut-etre partie
du folklore. Mais Kakutani faisait de cette observation simple un usage merveilleux ; je lai vu, au tableau noir devant un certain ensemble de Cantor, se
demander sil etait de capacite positive ou non en sidentiant mentalement
a une particule brownienne et en cherchant a` passer au travers.
`
Dans la tradition de Kakutani, le plus beau resultat de ces derni`eres annees
est sans doute le theor`eme de N. G. Makarov [1989] : pour un domaine de
Jordan dans le plan, la mesure harmonique est concentree sur un borelien de
dimension 1. Donc, si la dimension de la courbe fronti`ere est proche de 2, une
trajectoire brownienne issue de linterieur sarrete presque s
urement sur une
tr`es petite partie de cette courbe, de dimension 1.
On imagine bien comment le mouvement brownien sur des varietes riemanniennes permet dinterpreter des objets abstraits comme la fronti`ere de
Martin. Letude du comportement asymptotique du mouvement brownien a
commence avec Dynkin dans les annees 1950 et cest un sujet tr`es etudie aujourdhui. Pour les surfaces a` courbure negative constante, compl`etes et sans
` 3
SEMINAIRES
ET CONGRES
LE MOUVEMENT BROWNIEN
147
bord, les trajectoires convergent vers des points fronti`ere en un temps inni ;
si la courbure crot rapidement, la convergence a lieu en un temps ni ; la discussion a ete faite par Azencott dans les annees 1970. Toute la litterature sur
les fronti`eres de Furstenberg, les espaces de Poisson, les fonctions harmoniques
bornees, est plus ou moins liee au mouvement brownien.
La recurrence et la transience de marches sur des groupes selon dautres
probabilites de transition que lequiprobabilite des points les plus voisins sont
encore tr`es liees aux diusions et au potentiel. Je me contente devoquer
les travaux dYves Guivarch et de Nicolas Varopoulos. Voici un resultat de
Varopoulos [1985] qui compl`ete bien les theor`emes de Polya : un groupe denombrable sans torsion ne porte une marche recurrente que si cest Z ou Z2 .
Enn, le mouvement brownien est present implicitement dans beaucoup de
travaux contemporains danalyse ou de geometrie sur des groupes. Un exemple
remarquable est le livre de Varopoulos, Salo-Coste et Coulhon, qui est une
monographie de recherche sans rapport apparent au mouvement brownien ;
mais on decouvre `a la n du livre, p. 141, que the problem of transience
and recurrence of Brownian motion on covering manifolds was the original
motivation for the theory developed in this book.
Les marches au hasard sur les graphes et les groupes constituent un domaine de recherche en plein essor. Larticle dexposition de Woess en 1994,
qui pretend se borner au survol de sujets choisis dans ce domaine, comporte
264 references !
Appendice
Ayant parcouru les quelques chemins que javais denis au depart je crois
avoir balaye de facon `
a peu pr`es correcte la periode 1900-1950 et montre
quelques-unes des ramications qui sensuivent. Cependant je nai pas touche aux plus grands sujets des annees 1980 et 90 : martingales et mouvement
brownien, mouvement brownien plan, lois explicites de processus lies au brownien. Cela naurait pas ete tr`es dicile `a partir dune sixi`eme source, qui se
situe au milieu du si`ecle : Paul Levy. Comme il nest pas question dallonger
cet article, je me contente de presenter au lecteur mes excuses et quelques
suggestions de lecture.
La Bible est le livre de Paul Levy de 1948 et sa reedition de 1965. Il est dej`a
question du mouvement brownien dans son livre de 1937. Le volume V de ses
uvres contient le reste de ce quil a ecrit sur le mouvement brownien. On peut
lire comme un roman le fascicule 126 du Memorial des sciences mathematiques
(1954) et les conferences de Rome (1962).
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
148
J.-P. KAHANE
` 3
SEMINAIRES
ET CONGRES
LE MOUVEMENT BROWNIEN
149
Bibliographie
Assouad (P.)
[1980]
Azencott (R.)
[1973]
[1992]
Bachelier (L.)
[1900]
Bass (R.)
[1995]
Billard (P.)
[1963]
Borel (E.)
[uvres]
[1896]
Sur les series de Taylor, C. R. Acad. Sci. Paris, 123 (1896), p. 10511052 ;
uvres II, p. 647648.
Bouleau (N.)
[1998]
Martingales et march
es nanciers, Paris : Odile Jacob, 1998.
SOCIET
DE FRANCE 1998
150
J.-P. KAHANE
Chandrasekar (S.)
[1943]
Chung (K.L.)
[1995]
Doob (J.L.)
[1942]
Dudley (R.)
[1967]
Duplantier (B.)
[1989]
The geometry of the Brownian curve, Bull. Sci. Math., 117 (1993), p. 91
106.
Dvoretzky (A.)
[1963]
[1958]
Points of multiplicity c of plane Brownian motion paths, Bull. Res. Council Israel, sect. F 7 (1958), p. 175180 ; Papers II de Kakutani, p. 124129.
[1961]
Non increase everywhere of the Brownian motion process, dans Proc. 4th
Berkeley Symp., 1960, vol. 2, Univ. Calif. Press, 1961, p. 103116 ; Papers
II de Kakutani, p. 130143.
` 3
SEMINAIRES
ET CONGRES
LE MOUVEMENT BROWNIEN
151
Dynkin (E.B.)
[1960]
[1963]
Einstein (A.)
[1905]
[1906a]
[1906b]
[1922]
Untersuchungen u
ber die Theorie der Brownschen Bewegung , vol. 199
of Ostwalds Klassiker der exakten Wissenschaften, Leipzig Akadem. Verlagsgesellschaft, 1922. Traduction anglaise : Investigations on the theory
of Brownian movement, New York : Dutton 1926, reimprime par Dover,
1956.
Fernique (X.)
[1975]
F
ollmer (H.)
[1984]
Guivarch (Y.)
[1980]
dans Ecole
dete de probabilites de Saint-Flour VIII (1978) (ed. par P.L.
Hennequin), vol. 774 des Lecture Notes in Math., Berlin-Heidelberg :
Springer, 1980, p. 177250.
(K.)
Ito
[Papers]
SOCIET
DE FRANCE 1998
152
[1942]
J.-P. KAHANE
Kac (M.)
[1964]
Kahane (J.P.)
[1968]
[1974]
[1981]
Kakutani (S.)
[Papers]
[1944a]
[1944b]
[1961]
Spectral analysis of stationary Gaussian processes, dans Proc. 4th Berkeley Symp. 1960, Univ. Calif. Press, 1961, p. 239247 ; Papers II, p. 7785.
Khintchine (A.)
[1927]
Uber
das Gesetz der grossen Zahlen, Math. Ann., 96 (1927), p. 152168.
Khintchine (A.) et Kolmogorov (A.)
[1925]
Ueber Konvergenz von Reihen deren Glieder durch den Zufall bestimmt
werden, Mat. Sbornik, 32 (1925), p. 668677.
Kolmogorov (A.)
[Papers]
[1931]
Uber
die analytischen Methoden in der Wahrscheinlichkeitsrechnung,
Math. Ann., 104 (1931), p. 415458 ; Papers II, p. 62108.
[1933]
Langevin (P.)
[1908]
Le Gall (J.F.)
[1992]
` 3
SEMINAIRES
ET CONGRES
LE MOUVEMENT BROWNIEN
153
Lebesgue (H.)
[uvres]
[1902]
[1906]
L
evy (P.)
[uvres]
[1937]
[1948]
Makarov (N.)
[1989]
Mandelbrot (B.)
[1982]
The fractal geometry of nature, San Francisco : Freeman, ed. rev. 1982.
Nelson (E.)
[1967]
How often on a Brownian path does the law of iterated logarithm fail ?,
Proc. London Math. Soc., 28-3 (1974), p. 174192.
SOCIET
DE FRANCE 1998
154
J.-P. KAHANE
[1932]
Perrin (F.)
[1928]
[1934-36]
Perrin (J.)
[1909]
[1912]
Rademacher (H.)
[1922]
Einige S
atze u
ber Reihen von allgemeinen Orthogonalfunktionen, Math.
Ann., 87 (1922), p. 112138.
Continuous martingales and Brownian motion. Berlin-Heidelberg : Springer, 1991 ; 2e edition 1994.
Schoenberg (I.J.)
[1938]
Metric spaces and positive denite functions, Trans. Amer. Math. Soc.,
44 (1938), p. 522536.
Smoluchowski (M.)
[1906a]
[1906b]
Zur kinetischen Theorie der Brownschen Molekularbewegung und der Suspensionen, Ann. Physik, 21 (1906), p. 756780.
Sredniawa (B.)
[1991]
Collaboration of Marian Smoluckowski and Theodor Svedberg in the investigations of Brownian motion and density uctuations (Krak
ov, preprint).
Steinhaus (H.)
[1923]
` 3
SEMINAIRES
ET CONGRES
LE MOUVEMENT BROWNIEN
[1930]
155
Svedberg (T.)
[1907]
Studien zur Lehre von den kolloidalen Losungen, Regiae Societatis Scientiarum Upsaliensis, IV (1907), p. 1160.
Taylor (S.J.)
[1964]
The exact Hausdor measure of the sample path for planar Brownian
motion, Proc. Cambridge Philos. Soc., 60 (1964), p. 253258.
[1972]
Varopoulos (N.)
[1985]
Wax (N.)
[1954]
Werner (W.)
[1995]
Wiener (N.)
[Papers]
[Works]
[1923]
Woess (W.)
[1994]
Yor (M.)
[1992]
[1995]
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
Interrelations between
Mathematics and Physics
Yu. I. Manin
Abstract
After briey describing the mathematical structure of modern
physics, this paper analyzes the divergence between the development of physics and of mathematics in the rst half of the 20th
century, with emphasis on the role in each discipline of rigorous
denitions and proofs, of algebraic calculations and of intuitive
ideas.
R
esum
e
Apr`es avoir decrit la structure mathematique de la physique moderne, cet article analyse la divergence entre mathematiques et
physique dans la premi`ere moitie du XXe si`ecle, en etudiant,
pour chacune des disciplines, le role respectif des denitions et
demonstrations rigoureuses, des calculs algebriques et des idees
intuitives.
1.
Foreword
SOCIET
DE FRANCE 1998
158
YU. I. MANIN
2.
2.1.
Physics describes the external world, and in its domain of competence, does
this in two complementary modes: classical and quantum.
In the classical mode, events occur to the matter and elds which reside
and evolve in the spacetime. Physical laws directly constrain observables.
They are basically deterministic and expressed by the dierential equations
which (sometimes demonstrably, sometimes hypothetically) satisfy appropriate uniqueness and existence theorems.
A statistical submode of the classical mode of description deals with probabilities and averages which (sometimes demonstrably, sometimes presumably)
can be deduced from an ideal deterministic description. The need for a statis1
Jean Dieudonne, as I remember him, had a strong voice, strong hands, and strong
opinions. In particular, he insisted on using tensor products and commutative diagrams
instead of classical subscripts and superscripts in calculations involving tensors. I used to
believe his judgement that this was a chalksaving device, until one day I had to calculate
with tensors myself. Then I found out that subscripts were much more economical.
` 3
SEMINAIRES
ET CONGRES
159
tical treatment arises from two basic premises: too many degrees of freedom
and/or instability. (Metaphorically speaking, instability means that each consecutive decimal digit is a new degree of freedom.)
A fundamental physical abstraction is that of an isolated system which
evolves in oblivion of the rest of the world, and of interaction between potentially isolated systems, or one isolated system and the rest of the world.
In one of the most remarkable ights of fancy of classical physics, space
time itself appears as such an isolated system governed by Einsteins equations
of general relativity (perhaps, with an energymomentum tensor summarily
responsible for everything which is not pure spacetime).
In the quantum mode of theoretical description, the observable world is
inherently probabilistic. Moreover, and more signicantly, the basic laws
which are in a sense deterministic govern an unobservable entity, the
probability amplitude, which is a complex valued function on a quantum path
space. Roughly speaking, the amplitude of a composite event is the product
of the amplitudes of its constituents, whereas the amplitude of an event which
is a sum of alternatives is the sum of the amplitudes of these alternatives.
The probability of an event is the modulus squared of its amplitude. Physical observables are the appropriate averages, even if one speaks about an
elementary act of scattering of an individual particle. The observable wave
behavior of, say, light is only an imperfect reection of the inherent wave
behavior of the amplitudes (wave functions) of an indeterminate number of
photons described by the Fock space of the quantized electromagnetic eld.
Partly as a result of historical development, many quantum models contain as an intermediate stage a classical model which is then quantized. The
word quantization rather indiscriminately refers to a wide variety of procedures of which two of the most important are operator, or Hamiltonian,
quantization, and path integral quantization. The rst is more algebraic and
usually has a rmer mathematical background. The second possesses an enormous heuristic and aesthetic potential. I haven chosen the latter for my more
detailed subsequent discussion.
If I had included the rst one, the picture of the divergence of Mathematics
and Physics in the rst half of this century sketched below in Sec. IV would
appear less pronounced. Nevertheless, the main results of my analysis would
survive.
One more subject matter deserving a separate historical and structural
study is the duality between these two approaches. It started with classical mechanics, Lagrange, and Hamilton, and continued via Heisenberg
Schr
odinger wave mechanics to the path integral/scattering matrix controversy. On the fringes of physics it contains such recent mathematical gems as
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
160
YU. I. MANIN
2.2.
Mathematics
These are our main actors. In the following, I present some musings about
the history of this picture as seen through the eyes of physicists and mathematicians.
I will be most interested in the idea of the integral and its nal incarnation,
in the form of the path integral.
3.
The Integral
The notion of an integral is one of the central and recurring themes in the
history of mathematics for the last two millennia. The ardent problem solving
` 3
SEMINAIRES
ET CONGRES
161
For a more positive view, see [Glimm and Jae 1981], a remarkable book which inuenced the structure of this essay. On page 313 however the authors say: ... it is a
theoretical puzzle whether a theory of electrodynamics exists in the sense of a mathematical
framework ...
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
162
YU. I. MANIN
` 3
SEMINAIRES
ET CONGRES
163
In this context,
the algebraic properties of the path integral reected in the
additivity of p L and resulting multiplicativity of the whole of (2.1) become
so strong that they can be used to dene a suciently rigid mathematical
structure of Topological Quantum Field Theory which can then be studied
by precise mathematical means. This was done by G. Segal and M. F. Atiyah.
See [Reshetikhin and Turaev 1991] and [Blanchet et al. 1995] for some recent
mathematical developments in this area.
The history of the integral seen from our vantage point can be conceived
in terms of a Toynbeean challenge/response scheme. Challenges come from
physics broadly construed, including geometry. It can be convincingly argued
that even Euclidean geometry is in fact just the kinematics of rigid bodies
in the absence of a gravitational eld (curved the spacetime), and both
the invention and the development of the rst nonEuclidean geometries (of
constant curvature) was inextricably connected with physics. Gauss wanted
to know what was the actual geometry of interstellar space. Hilberts return
to axiomatics was a mathematical response to the challenge of the discovery
of multiple possible geometries of the physical world.
4.
The Schism
In this section of my talk I argue that the main event in the relationship
between mathematics and physics in the rst half of this century was their
estrangement, after several centuries of close alliance.
The divergence started in the last two decades of the last century and was
connected with the deepening understanding of two microworlds: a mathematical one embodied in the idea of the classical continuum of real numbers,
and a physical one open to experiment.
Roughly speaking, around the turn of the century Peano, Jordan, Cantor,
Borel, Stieltjes, and Lebesgue discovered and displayed with great subtlety the
new properties of continuum, continuity and measurability. They have given
a series of denitions of integration of increasing generality, and invented
constructions and existence proofs for many strange mathematical objects
which did not belong to the world of classical geometry and analysis but had
to be accepted as a consequence of classical ways of mathematical reasoning
stretched, as it seemed, to their limit.
The growing reaction against many counterintuitive discoveries led mathematicians to selfanalysis centered around several basic problems: What is a
mathematical proof? What meaning can be given to a statement about existence of a mathematical object? What is the status of mathematical innity?
The outcome of this is well known. Fifty years of introspection were
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
164
YU. I. MANIN
quite fruitful from the mathematical viewpoint: they produced mature mathematical logic, including theory of proof, theory of computability, and a clear
picture of the hierarchy of expanding languages and axiom systems that mathematicians have had to adopt consecutively in their quest for mathematical
truth.
In the meantime, physicists were engaged in a totally dierent quest.
Plancks discovery of a quantum of action announced on December 14, 1900,
initiated the quantum age. Physics needed sophisticated mathematics to formulate newly discovered nonclassical laws, but new mathematics was of no
help. Whatever was needed was hastily invented or reinvented: matrix algebra, spinors, Fock space, the delta function, the representation theory of
Lorentz group. None of the pioneers (Bohr, Einstein, Pauli, Schrodinger,
Dirac) needed the Lebesgue integral, or was interested in the cardinality of
continuum. Logic interested them even less.
This does not mean that physicists had no philosophical preoccupations;
in fact they had. But if mathematicians discussed the relationships between
language and thought, physicists were troubled by the relation of language to
reality. The basic problem confronted by the critics of classical mathematics
was the inexpressibility of innity, related to the inherently nitary syntactic
structure of language. The basic problem confronted in the BohrEinstein
controversy was the inexpressibility of quantum indeterminacy, related to
the inherently classical semantics of language. Philosophy of mathematics
and philosophy of physics almost completely lost contact with each other.
Such ardent critics of the alleged inadequacies of contemporary research as
Brouwer in mathematics and Pauli in physics shared not a single common
idea. Mathematical criticism tended to become deeply autistic, while physical
criticism strived to nd better ways to express complex reality.3
A gap formed in traditional professional interactions as well. From the
rst successes of the quantum electrodynamics in the thirties until the renewed interaction in the sixties, mathematicians contributed almost nothing
to the main physics research program of this century: Quantum Field Theory. Similarly, physicists payed no attention not only to mathematical logic
(understandably) or analytical number theory (traditionally), but also to the
emerging algebraic topology. Thirty years later, topology was to become
the new common ground for the two communities. Somewhat paradoxically,
mathematics gained from this renewed interaction more than physics: new invariants of three and fourdimensional manifolds, quantum groups, quantum
cohomology were its fruits.
3
It is characteristic that G. H. Hardys Rouse Ball Lecture [Hardy 1929] on Mathematical
Proof delivered in 1928 does not even mention existence of quantum physics.
` 3
SEMINAIRES
ET CONGRES
165
The following well known empirical observation ts well into the picture
we have sketched. Whenever a fresh mathematical tool for understanding
physics is needed, physicists are very quick at inventing new or transforming
already existing algebraic formalism to deal with it. We have already mentioned Heisenberg algebra, spinors and Dirac delta function. One can add
the SchwingerDyson equation (for an otherwise undened path integral),
the Berezin integral on supermanifolds and Wittens topological invariants
expressed as path integrals of a topological QFT. All this constitutes only a
small sample of inventions which are by now thoroughly absorbed and transformed into honest mathematics.
It is only when one has to deal with innitary constructions, that is,
limits of various kinds, that mathematicians do their job unassisted. According to Bourbakis chapters on integration [Bourbaki 1974], mathematicians
contributed to the theory of integral in the last century exclusively careful
analysis of limits.
After the creation of the modern notion of a topological space and the
discovery of limiting procedures basic to measure theory, the next major package of startlingly new innitary constructions was introduced by Alexander
Grothendieck with his treatment of homological algebra, derived categories
and functors, topos and sites. But this is another story.
5.
Discussion
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
166
YU. I. MANIN
` 3
SEMINAIRES
ET CONGRES
167
Bibliography
Atiyah (M.F.)
[1989]
Bourbaki (N.)
[1974]
Elements
dhistoire des math
ematiques, ed. rev. Paris : Hermann 1974.
English transl. Heidelberg: Springer, 1994.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
168
YU. I. MANIN
Dyson (F.)
[1972]
Feynman (R.P.)
[1948]
[1988]
QED. The Strange Theory of Light and Matter. Princeton Univ. Press,
1988.
Quantum physics. A functional integral point of view. New York - Heidelberg - Berlin: Springer, 1981.
Grant (H.)
[1995]
Hardy (G.H.)
[1929]
[1994]
Witten (E.)
[1989]
Quantum eld theory and the Jones polynomial., Comm. Math. Phys.,
121 (1989), pp. 351399.
` 3
SEMINAIRES
ET CONGRES
Probl`
emes de similarit
e pour les
op
erateurs sur lespace de Hilbert
Gilles Pisier
R
esum
e
Deux operateurs T1 et T2 sur un espace de Hilbert H sont dits
semblables sil existe un operateur inversible S sur H tel que
T1 = S 1 T2 S. Un probl`eme classique (le probl`eme de Halmos ) demande de caracteriser les operateurs T semblables `a une
contraction. Deux autres variantes de ce probl`eme sont apparues :
lune, proposee par Dixmier en 1950 concerne la caracterisation
des groupes moyennables, lautre, due a` Kadison en 1955, les representations de C -alg`ebres. Cet article tente de faire le point
sur ces probl`emes.
Abstract
Two operators T1 , T2 on a Hilbert space are called similar if there
exists an invertible operator S on H such that T1 = S 1 T2 S.
A classical problem (the Halmos problem) asks for a characterization of the operators T which are similar to a contraction. Two important variants have appeared. One proposed by
Dixmier in 1950 asks whether the similarity property for all uniformly bounded representations on a group G is equivalent to the
amenability of G. The other one, proposed by Kadison in 1995,
is about representations of a C -algebra. This report attempts
to describe the genesis and the present state of these problems.
Cet expose est consacre `a plusieurs probl`emes de similarite pour les operateurs lineaires bornes T : H H sur un espace de Hilbert H. On note
AMS 1991 Mathematics Subject Classication: 01A60, 17B10, 22E46
Equipe dAnalyse - URA 754-CNRS Universite Pierre et Marie Curie - Paris 6, Bote 186,
4 place Jussieu 75252 Paris Cedex 5
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
170
G. PISIER
` 3
SEMINAIRES
ET CONGRES
PROBLEMES
DE SIMILARITE
171
et 1943. Pour une reference generale plus recente, voir [Kadison et Ringrose
1986] et aussi, dans une autre direction, [Connes 1990].
Le probl`eme de similarite pour les groupes remonte a` Sz.-Nagy [1946] et
Dixmier [1950]. Pour les operateurs individuels les references initiales sont
[Sz.-Nagy 1959] et [Halmos 1970]. Enn pour les C -alg`ebres, le probl`eme
remonte `a Kadison [1955].
Dans le texte qui va suivre, nous traitons dabord le cas des groupes doperateurs plonges dans B(H) (1), puis le cas dun operateur individuel ou dun
semi-groupe (2) et enn nous considerons un probl`eme analogue pour les
homomorphismes sur une C -alg`ebre ( 3). Enn, nous montrons au 4 comment la theorie recente des applications compl`etement bornees permet
dunier ces dierents probl`emes.
Nous renvoyons le lecteur a` notre livre recent [Pisier 1995] pour plus de
details.
1.
Groupes
Le resultat qui suit est a` la racine de toutes les etudes ulterieures sur les
operateurs semblables.
Th
eor`
eme 1.1. [Sz.-Nagy 1946] Soit T un operateur inversible dans B(H).
Les assertions suivantes sont equivalentes :
` une contraction.
i. T et T 1 sont tous deux semblables a
ii. T est semblable a
` un operateur unitaire.
iii. sup T n < .
k=1
o`
u u est un ultraltre non trivial sur N (Sz.-Nagy utilisait ici une limite de
Banach plus classique !). On a evidemment C1 h |||h||| Ch et de
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
172
G. PISIER
plus |||T h||| |||h||| pour tout h. (Noter que cest la condition sur les inverses
de T qui garantit la nondegenerescence, cest-`a-dire que h C|||h|||. Sans
cette condition, on risquerait de trouver |||h||| 0 !)
La generalisation suivante est due a` Dixmier (et aussi, independamment
a Day [1950]) qui sest rendu compte quil sagissait dun phenom`ene d
`
u a` la
moyennabilite de Z (voir la denition plus loin).
Th
eor`
eme 1.3. [Dixmier 1950] Soit G un groupe localement compact.
Soit : G GL(H) une repr
esentation continue (pour la topologie forte des
operateurs sur H) et uniform
ement born
ee, i.e. telle que
sup (t)B(H) < .
tG
On pose
|| = sup (t)B(H) .
tG
` 3
SEMINAIRES
ET CONGRES
PROBLEMES
DE SIMILARITE
173
Le probl`eme 1.4. a ete resolu par Ehrenpreis et Mautner [1955] qui ont
montre que G = SL2 (R) est un contre-exemple. Leur travail fut ensuite clarie et considerablement amplie par Kunze et Stein [1960]. Ces derniers
construisent en fait toute une famille analytique {z | 0 < Re z < 1} de representations uniformement bornees qui ne sont unitarisables que si Re z = 12
ou bien si z R. Pour des extensions ulterieures, voir [Sally 1968].
Larticle Kunze et Stein [1960] contient aussi des applications remarquables aux convoluteurs bornes de Lp (G) pour G = SL2 (R). Cest ce quon
appelle le phenom`ene de Kunze-Stein : pour f Lp (G), g L2 (G) on a
f g L2 (G) si 1 p < 2. Ce dernier resultat nest pas valable pour G = R.
Pour des resultats plus recents sur ce phenom`ene, voir [Cowling 1978, 1982].
Bien entendu, puisque SL2 (R) est un contre-exemple au probl`eme 1.4., a
fortiori SL2 (R) muni de la topologie discr`ete en est aussi un, et comme tout
groupe est un quotient dun groupe libre, il en resulte que les groupes libres
(et plus precisement FN pour tout N 2) fournissent des contre-exemples.
Il etait donc naturel de chercher des constructions explicites, aussi simples
que possibles, de representations uniformement bornees et non unitarisables
sur FN (N 2). Cest lobjet de la serie de publications : Mantero et Zappa
[1983], Fig`
a-Talamanca et Picardello [1983], Bozejko et Fendler [1991], Pytlik
et Szwarc [1986], Bozejko [1987b], Szwarc [1988], Fendler [1990], Wysoczanski
[1993].
Pour une autre approche, voir [Valette 1990b,a]. Lanalyse harmonique sur
le groupe libre est developpee dans [Cartier 1973], puis [Fig`a-Talamanca et
Picardello 1983].
Signalons aussi que Jean Dieudonne lui-meme sest interesse aux groupes
moyennables, voir Dieudonne [1960].
Le probl`eme 1.5. reste ouvert en toute generalite. Neanmoins dapr`es un
argument classique d induction des representations (qui setend aisement
au cas uniformement borne), tout groupe G contenant F2 comme sous-groupe
admet une representation uniformement bornee non unitarisable. On a longtemps cru (cetait un probl`eme fameux pose par von Neumann d`es 1929) que
tout groupe non moyennable contenait F2 comme sous-groupe (ce qui aurait
resolu armativement le probl`eme 1.5.). Cest vrai pour les groupes lineaires,
dapr`es un theor`eme classique de Tits [1972], mais faux en general : en effet Olshanskii [1980] a construit un groupe non moyennable dans lequel tout
sous-groupe non trivial est une copie de Z. Son travail est tr`es proche des
contre-exemples de Novikov et Adian [1968] sur le probl`eme de Burnside (cf.
[Adian 1979]).
Le moins quon puisse dire est que ces exemples sont diciles `a comprendre
(voir [Paterson 1988] pour une description esquissee).
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
174
G. PISIER
Plus recemment, Gromov [1987] a construit par une methode dierente des
groupes innis possedant la propriete T de Kazhdan (donc non moyennables
en un sens extreme), mais sans sous-groupe libre.
Remarque 1.6. Dapr`es Vasilescu et Zsido [1974], toute representation
uniformement bornee : G B(H) sur un groupe arbitraire, dont limage
est une alg`ebre de von Neumann nie est unitarisable.
Le resultat suivant d
u a` lauteur (non encore publie) fournit une reponse
partielle au probl`eme 1.5..
Th
eor`
eme 1.7. Soit G un groupe discret. Les assertions suivantes sont
equivalentes.
i.
t G
f (t) = (t), .
` 3
SEMINAIRES
ET CONGRES
PROBLEMES
DE SIMILARITE
175
o`
u linmum porte sur toutes les decompositions possibles de la forme (1.1).
Comme il est bien connu, B(G) (muni de cette norme) est une alg`ebre de Banach pour le produit ponctuel des fonctions sur G (qui correspond au produit
tensoriel des representations). Dans le cas de groupes compacts non commutatifs, la th`ese dEymard [1964] contient une etude detaillee de cet espace, vu
comme le dual de la C -alg`ebre du groupe G (i.e. celle qui est engendree par
la representation unitaire universelle de G).
Par analogie, on peut introduire lespace Bub (G) des coecients des representations uniformement bornees de G , i.e. lensemble des f de la forme (1.1)
avec representation uniformement bornee. Cet espace est encore une alg`ebre
mais na pas de norme naturelle. En revanche, si lon xe c 1, lensemble
Bc (G) forme des fonctions f de la forme (1.1) avec || c est un espace
de Banach pour la norme f = inf{}. Mais alors on a seulement :
f Bc (G), g Bd (G) f.g Bcd (G). Si toutes les representations uniformement bornees sont unitarisables, alors B(G) = Bub (G). Le probl`eme
suivant, ouvert en toute generalite, est donc a priori plus dicile que le probl`eme 1.5..
Probl`
eme 1.9. Si B(G) = Bub (G), est-ce que G est moyennable ?
Remarque 1.10. La demonstration de (iii) (i) dans le theor`eme 1.7.
montre en fait que G est moyennable sil existe K et < 3 tels que pour tout
c > 1 assez grand on a linegalite f B(G) K C f Bc (G) pour tout f dans
Bc (G).
La diculte de ce probl`eme tient au manque dune description maniable
des elements de Bub (G) (ou bien de Bc (G) pour c > 1). En revanche, lanalyse
harmonique fournit plusieurs classes naturelles de fonctions sur G, notons une
telle classe F (G), telles que F (G) Bub (G) et telles que F (G) = B(G) si et
seulement si G est moyennable. Un exemple dune telle classe est donne par
lensemble M0 (G) des multiplicateurs dits de Herz-Schur de G, cest-`a-dire
lensemble des fonctions f : G C pour lesquelles il existe un Hilbert H et
des fonctions bornees x : G H et y : G H telles que
(1.2)
s, t G f (st) = xs , yt .
On le munit de la norme
f M0 (G) = inf{sup xs H sup yt H }
s
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
176
G. PISIER
o`
u linmum porte sur toutes les decompositions possibles de f comme en (1.2).
On a evidemment Bub (G) M0 (G) B(G). On peut montrer que, si
G est discret, legalite B(G) = M0 (G) caracterise les groupes moyennables
(cf. [Bozejko 1985]). Signalons toutefois que, dapr`es Haagerup [1985], on a
M0 (G) = Bub (G) si G = FN avec N 2.
Pour dautres illustrations voir [Nebbia 1982] et [Losert 1984]. Bien entendu, l`
a encore, si G contient F2 , on sait que le probl`eme 1.9. a une reponse
armative. On peut donner (suivant Pytlik et Szwarc [1986]) un exemple particuli`erement simple pour G = F (groupe libre a` une innite denombrable
de generateurs). Pour x G, soit |x| la longueur dun mot (reduit) element
de F . Soit Wn = {x F | |x| = n}. Soit z C avec |z| < 1. On pose
z (x) = z |x| ,
alors z Bub (G), mais z
/ B(G) si z
/ R. Noter que lon a
z n 1Wn ,
z =
n0
do`
u un exemple encore plus simple
1W1 Bub (G)
mais
1W1
/ B(G),
et de meme pour Wn pour tout n 2. En fait, toutes les fonctions spheriques sont dans Bub (G) quand G = Fn ; voir [Mantero et Zappa 1983] et
[Szwarc 1988].
2.
Op
erateurs individuels. Alg`
ebres uniformes
` 3
SEMINAIRES
ET CONGRES
PROBLEMES
DE SIMILARITE
177
Il resulte de cette formule que, pour tout * > 0, tout operateur a` puissances
bornees (donc tel que r(T ) 1) est semblable `a un operateur de norme
< 1 + *. En revanche, la question suivante est apparemment toujours ouverte
(cf. [Peller 1982]) : soit T B(H) a` puissances bornees et soit * > 0, T est-il
semblable `a un operateur a` puissances bornees par 1 + * ?
Immediatement apr`es le contre-exemple de Foguel, on sest rendu compte
quon pouvait remplacer etre `a puissances bornees par une condition necessaire plus forte faisant intervenir des polynomes P (T ) = a0 IH + a1 T + +
an T n (avec a0 , a1 , . . . , an C) en T et non plus seulement des monomes. En
eet, dapr`es une cel`ebre inegalite de von Neumann [1951], toute contraction
T B(H) verie
(vN)
P polyn
ome P (T ) P = sup{|P (z)| | z D},
o`
u D = {z C | |z| < 1}. Si T est seulement semblable `a une contracu si
tion, i.e. si T = S 1 TS avec T 1, alors P (T ) = S 1 P (T)S do`
1
C = S S
P polyn
ome P (T ) CP .
(2.1)
SOCIET
DE FRANCE 1998
178
G. PISIER
Cette minoration est motivee par la majoration suivante due a` Bourgain [1986]
qui est valable pour tout n, pour tout T dans B(.2n )
inf{S 1 S ; S 1 T S 1} K(1 + *)4 log(n + 1)
o`
u K est une constante numerique (independante de n ou de T ). Bien entendu,
en prenant la somme directe sur n des operateurs Tn , on obtient une reponse
negative a` la question precedente de Halmos. En revanche, la question suivante
(analogue `
a celle de Peller dej`
a mentionnee) reste ouverte : soit * > 0, un
operateur polynomialement borne de constante arbitraire est-il semblable a`
un operateur polynomialement borne de constante 1 + * ?
Linegalite de von Neumann (vN) a suscite de nombreux travaux. On
ignore toujours si sa validite caracterise les alg`ebres de Banach `a unite plongeables (comme sous-alg`ebres de Banach) dans B(H). Voir a` ce sujet [Dixon
1995] et les references qui sy trouvent.
Dans une autre direction, il est naturel de chercher a` etendre (vN) au cas de
polyn
omes `a plusieurs variables, do`
u la question suivante : soit n 2 et soient
a-deux (i.e. Ti Tj = Tj Ti i = j),
T1 , . . . , Tn , n contractions commutant deux-`
est-il vrai que pour tout polyn
ome P (z1 , . . . , zn ) on a
(2.2)
` 3
SEMINAIRES
ET CONGRES
tel que
T n = PH U n |H
PROBLEMES
DE SIMILARITE
179
SOCIET
DE FRANCE 1998
180
G. PISIER
` 3
SEMINAIRES
ET CONGRES
PROBLEMES
DE SIMILARITE
181
Les questions que nous venons daborder conduisent naturellement a` envisager pour une alg`ebre uniforme A C(K) la propriete suivante : pour tout
homomorphisme unital borne u : A B(H), il existe S dans GL(H) tel que
a S 1 u(a)S est de norme 1. Cette propriete est veriee si A = C(K) par
exemple parce que A est une C -alg`ebre nucleaire (voir le paragraphe suivant).
Curieusement, jusqu`
a tr`es recemment, on ne connaissait aucun exemple dalg`ebre uniforme propre soit possedant cette propriete, soit ne la possedant pas !
La reponse negative a` la question de Halmos permet maintenant darmer
que lalg`ebre du disque ne poss`ede pas cette propriete, il en est donc de meme
pour le polydisque et il devient concevable quaucune alg`ebre uniforme propre
ne la poss`ede.
Signalons que les theor`emes de dilatation mettent en evidence la sousclasse des alg`ebres uniformes A C(K) possedant la propriete suivante : tout
homomorphisme contractant u : A B(H) admet une dilatation
(cf. Remarque 2.4.) qui est encore un homomorphisme
u
: C(K) B(H)
contractant.
Dapr`es ce qui prec`ede, A(D) et A(D 2 ) poss`edent cette propriete mais pas
A(D n ) pour n > 2. Les domaines du plan complexe Cn , pour lesquels
lalg`ebre uniforme A() (formee des fonctions analytiques continues sur )
poss`ede cette propriete, ne sont pas bien compris. Nous renvoyons au livre
[Douglas et Paulsen 1989] pour une etude approfondie de ce genre de questions, en liaison avec la topologie algebrique.
3.
C -alg`
ebres
Rappelons que toute C -alg`ebre A peut etre realisee comme une sousalg`ebre involutive fermee de B(H). Si A est unitale, on peut realiser A avec
IH A. Les morphismes adaptes aux C -alg`ebres sont appeles des representations (C -representations si lon veut preciser). Une representation : A1 A2
entre deux C -alg`ebres est donc une application lineaire telle que
x, y A (xy) = (x)(y) et (x ) = (x) .
Une particularite des C -alg`ebres est que la structure dalg`ebre determine la
norme. Si A est une C -alg`ebre, elle nadmet quune seule norme pour laquelle
elle est une C -alg`ebre. Autrement dit : toute representation injective (entre
C -alg`ebres) est automatiquement isometrique et, plus generalement, toute
representation : A1 A2 a necessairement une norme au plus egale `a
1. On peut aussi decrire les C -alg`ebres en termes de groupes. Soit U (H) (resp.
U (A)) lensemble des elements unitaires de B(H) (resp. A). Soit G U (H)
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
182
G. PISIER
un sous-groupe, alors le sous-espace ferme engendre par G dans B(H) est une
C -alg`ebre `a unite et toute sous-C -alg`ebre de B(H) contenant lunite est de
cette forme. De plus, dapr`es un theor`eme de Russo et Dye [1966], si A est
unitale, la boule unite fermee de A est lenveloppe convexe fermee de U(A).
Supposons A realisee dans B(H) et posons G = U (A) U (H). Alors,
les representations : A B(H) sont exactement les representations unitaires de G dans B(H) qui setendent en une application sur le sous-espace
lineairement engendre par le groupe G dans B(H). De plus, le theor`eme de
Russo-Dye nous permet decrire
= ||G |.
En resume, se donner une representation de C -alg`ebre A revient a` se donner
une representation unitaire de U (A) respectant les relations lineaires.
Soient A1 , A2 deux C -alg`ebres. Convenons dappeler homomorphisme
toute application lineaire u : A1 A2 telle que
u(xy) = u(x)u(y)
x, y A1
` 3
SEMINAIRES
ET CONGRES
PROBLEMES
DE SIMILARITE
183
SOCIET
DE FRANCE 1998
184
G. PISIER
+
(T B(H), x A).
` 3
SEMINAIRES
ET CONGRES
PROBLEMES
DE SIMILARITE
185
SOCIET
DE FRANCE 1998
186
G. PISIER
` 3
SEMINAIRES
ET CONGRES
PROBLEMES
DE SIMILARITE
187
V = T (H). Soit alors T A comme dans le probl`eme 3.5. Comme la projection sur (Ker T) est dans A , on peut se ramener a` T injectif. On a alors
u(a) = T 1 aT = T 1 (TaT1 )T mais T1 T : H H et T 1 T : H H sont
bornes par le theor`eme du graphe ferme, donc u est orthogonalisable .
Reste `a montrer que lon peut eectivement se restreindre a` des homomorphismes u de cette forme dans le probl`eme 3.1. Montronsle.
Soit u : A B(H) un homomorphisme unital borne. Supposons H separable pour simplier, soit (n ) une suite dense, et soit Hn H deni par
Hn = u(A)1 + . . . + u(A)n .
Lhomomorphisme un : A B(Hn ) deni par un (a) = u(a)|Hn admet evidemment (1 , . . . , n ) comme sous-ensemble ni cyclique, donc dapr`es Haau Sn : Hn Hn borne inversible
gerup [1983], un est orthogonalisable. Do`
et une representation n : A B(Hn ) tels que un (.) = Sn1 n (.)Sn . On
la somme directe H1 H2 . . . et soient
peut supposer Sn = 1. Soit H
denis par S = Sn ,
(a) =
S : H H,
: A B(H) et u
: A B(H)
(a) = un (a). On a S = 1, S est injectif et dimage dense
n (a) et u
Dapr`es ce qui prec`ede, u
(.)S.
est orthogonalisable. On en
et u
(.) = S1
deduit alors que tout ultraproduit des un et donc nalement u lui-meme est
orthogonalisable. On peut aussi utiliser le theor`eme 4.2. ci-dessous, il sut
alors dobserver que
ucb < .
ucb = sup un cb =
On notera que lon peut supposer sans restreindre la generalite dans le
probl`eme 3.5. que A est une alg`ebre de von Neumann, puisque cetait dej`
a le
cas pour le probl`eme 3.1., par passage au bidual. Voir Ong [1981] pour plus
de details sur ce point.
Une autre version du probl`eme 3.1. est apparue dans les travaux de
W. Arveson sur les alg`ebres `a chanes . Il sagit dune classe de sousalg`ebres non autoadjointes de B(H), dont lexemple le plus simple est
lalg`ebre des matrices triangulaires superieures dans lalg`ebre Mn des matrices n n ou bien dans B(.2 ). Plus precisement, on appelle chane sur
un Hilbert H une famille C de sous-espaces fermes de H totalement ordonnee
pour linclusion et telle que pour toute sous-famille (Ei )iI de C on a
Ei C
et
Ei C.
iI
iI
T (Ei ) Ei .
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
188
G. PISIER
Ces alg`ebres seront appelees ici alg`ebres `a chanes (il ny a apparemment pas de terme francais dans la litterature, les anglo-saxons disent nest
algebras ). Par exemple, lalg`ebre des matrices triangulaires superieures dans
Mn correspond a` la chane formee des sous-espaces Ei engendres par les i
premiers vecteurs de la base canonique (i = 1, . . . , n) dans lespace .2n . Ces
alg`ebres ont ete introduites par Ringrose [1961] a` la suite des travaux de Kadison et Singer [1960] sur les alg`ebres triangulaires . Voir Davidson [1988]
pour un expose complet de ce sujet. Le resultat le plus frappant de la theorie
est une formule de distance due a` Arveson [1975], comme suit : soit A B(H)
une sous-alg`ebre, on note Lat(A) lensemble des sous-espaces fermes E H
qui sont invariants par A (i.e. aE E a A). Soit alors T dans B(H). On
note d(T, A) la distance (normique) de T `a A. Il est facile de voir que pour
tout sous-espace A-invariant E on a
(1 PE )T PE d(T, A),
do`
u lon tire
T B(H)
E Lat(A)}.
Comme on vient de le voir, ceci est vrai avec K = 1 pour toute alg`ebre
` chane. Bien que cela nait pas ete clair d`es le depart, il y a des alg`ebres
a
reexives qui ne sont pas hyper-reexives (voir [Kraus et Larson 1985]). Le
theor`eme du bicommutant de von Neumann (qui assure que M = (M ) ) nous
garantit evidemment que toute alg`ebre de von Neumann M est reexive. Mais
est-elle hyper-reexive ?
Cest un probl`eme ouvert, equivalent au probl`eme 3.1. Explicitement :
Probl`
eme 3.7. Toute alg`
ebre de von Neumann M est-elle hyper-r
eexive ? Plus pr
ecisement, supposons M B(H), existe-t-il une constante K telle
` 3
SEMINAIRES
ET CONGRES
PROBLEMES
DE SIMILARITE
189
P M } K d(T, M )
Essentiellement, la reponse est armative (dapr`es les travaux de Christensen [1978, 1982a,b]) pour la meme classe dalg`ebres que pour le probl`eme 3.3.
Les probl`emes 3.1. et 3.3. sont aussi intimement lies `a des probl`emes de
perturbation des alg`ebres de von Neumann poses dans [Kadison et Kastler
1972] : soient M, N deux alg`ebres de von Neumann, notons d(M, N ) leur
distance de Hausdor et supposons d(M, N ) < * (cela signie que tout point
de la boule unite de M est `a distance < * dun point de la boule unite de N ,
et vice versa). Si * > 0 est est assez petit, existe-t-il un unitaire U dans B(H)
tel que U I est o(*) et tel que U M U = N ? Une reponse positive
aux probl`emes 3.1. et 3.3. permettrait (dapr`es les travaux de Christensen
[1977a,b, 1980]) de progresser sur ce probl`eme qui reste lui-aussi ouvert.
4.
Applications compl`
etement born
ees
Comme nous allons le voir, la theorie recente des applications compl`etement bornees permet de traiter dans un cadre commun tous les probl`emes
precedents.
Soit A B(H) un sous-espace vectoriel et soit u : A B(H) une application lineaire. On note Mn (B(H)) (resp. Mn (A)) lensemble des matrices n n
a coecients dans B(H) (resp. dans A), muni de la norme induite par lespace
`
B(H . . . H) (resp. B(H . . . H)). On note un : Mn (A) Mn (B(H)),
lapplication denie par
un ((aij )) = (u(aij )).
(Si lon pose Mn (A) = Mn A, alors un = IMn u).
D
enition. Dans la situation precedente, on dit que u : A B(H) est
compl`etement bornee (c.b. en abrege) si
sup {un ; un : Mn (A) Mn (B(H))} < ,
n1
et lon pose
ucb = sup un .
n1
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
190
G. PISIER
entrane
un (a) Mn (B(H))+
u(a) = V1 (a)V2 .
Voir les livres Paulsen [1986] ou Pisier [1995] pour plus de details. Cest a`
travers le resultat suivant d
u a` Paulsen [1984b] (et a` Haagerup [1983] pour une
` 3
SEMINAIRES
ET CONGRES
PROBLEMES
DE SIMILARITE
191
Th
eor`
eme 4.2. Soit A B(H) une sous-alg`ebre ferm
ee contenant
lunit
e de B(H). Soit u : A B(H) un homomorphisme avec u(1) = 1
et soit C une constante. Les assertions suivantes sont
equivalentes.
i. Lapplication u est c.b. et ucb C.
ii. Il existe S : H H inversible satisfaisant S 1 S C tel que
erie
lhomomorphisme u
deni par u
(a) = S 1 u(a)S a A v
ucb 1.
une repr
un sousiii. Il existe un Hilbert H,
esentation : B(H) B(H),
espace E H et un isomorphisme S : H E v
eriant SS 1 C
et tel que
(4.1)
D
emonstration esquiss
ee. Les implications (iii) (ii) (i) sont evidentes.
Supposons (i). Le theor`eme 4.1. permet decrire
u(a) = V1 (a)V2
et
V1 V2 = 1.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
192
G. PISIER
Considerons maintenant le 2. Soit T B(H) un operateur polynomialement borne. Alors dapr`es le theor`eme 4.2., T est semblable a` une contraction
si et seulement si lhomomorphisme T : P P (T ) est compl`etement borne
sur lalg`ebre du disque A(D) (i.e. la completion des polyn
omes pour la norme
). Donnons-en un enonce plus precis :
Corollaire 4.5. Soit T B(H) et soit C une constante. Les assertions
suivantes sont
equivalentes :
i. Il existe un op
erateur S inversible sur H tel que
S 1 T S 1
et
S 1 S C.
ii. T cb C.
iii. Pour tout n et tout polyn
ome P (z) =
N
ah z h `
a coecients dans Mn
on a
N
On peut aussi donner des enonces analogues pour des k-uplets doperateurs (T1 , . . . , Tk ) commutant entre eux ou bien pour des alg`ebres uniformes
A() avec domaine de Cn `a la place de A(D).
Passons maintenant aux probl`emes consideres au 3. Applique `a une C alg`ebre, le theor`eme 4.2. nous donne :
Corollaire 4.6. Le probl`
eme 3.1. est
equivalent au suivant : est-il vrai
ebre a
`
que pour tout homomorphisme unital u : A B(H) sur une C -alg`
etement born
e .
unit
e, borne implique automatiquement compl`
Quant aux derivations, Christensen [1977b] montre quune derivation
: A B(H) est compl`etement bornee si et seulement si elle est interieure.
Le probl`eme 3.3. revient donc `a montrer que, pour une derivation, on a
encore : borne c.b. Plus precisement, si A est une alg`ebre de von Neumann
on peut ecrire (cf. [Christensen 1977b])
cb = 2 inf{x | x B(H),
(a) = ax xa a A}.
` 3
SEMINAIRES
ET CONGRES
PROBLEMES
DE SIMILARITE
193
Supposons V
Supposons V = T (H) avec T B(H) et posons V = (T I)(H).
invariant par A. Alors il existe T dans A tel que T (H) = T (H) si et seulement
B(H 2 .2 )
si V est un sous-espace vectoriel invariant pour la C -alg`ebre A
engendree par les operateurs de la forme a t avec a A et t compact de .2
dans .2 . Pour ce dernier enonce, voir [Paulsen 1982].
Bibliographie
Adian (S.I.)
[1979]
Ando (T.)
[1963]
Arveson (W.)
[1969]
[1975]
Bourgain (J.)
[1986]
SOCIET
DE FRANCE 1998
194
G. PISIER
[1987a]
[1987b]
Bunce (J.W.)
[1981]
Cartier (P.)
[1973]
Christensen (E.)
[1977a]
[1977b]
[1978]
[1980]
[1981]
[1982a]
[1982b]
` 3
SEMINAIRES
ET CONGRES
PROBLEMES
DE SIMILARITE
195
Connes (A.)
[1990]
Geometrie non commutative. Paris : Inter Editions, 1990. Trad. angl. San
Diego : Academic Press, 1994.
Conway (J.)
[1991]
Cowling (M.)
[1978]
[1982]
von Neumanns inequality for Hilbert space operators, Bull. London Math.
Soc., 7 (1975), p. 4950.
Davidson (K.)
[1988]
Day (M.)
[1950]
Means for the bounded functions and ergodicity of the bounded representations of semi-groups, Trans. Amer. Math. Soc., 69 (1950), p. 276291.
Dieudonn
e, (J.)
[1960]
Dixmier (J.)
[1949]
Etude sur les varietes et les operateurs de Julia, Bul. Soc. Math. France,
77 (1949), p. 11101.
[1950]
Dixon (P.)
[1995]
Hilbert modules over function algebras, Harlow : Longman (Pitman Research Notes in Math., vol. 217), 1989.
SOCIET
DE FRANCE 1998
196
G. PISIER
Eymard (P.)
[1964]
Fendler (G.)
[1990]
Foguel (S.)
[1964]
Foias (C.)
[1972]
Gromov (M.)
[1987]
Guichardet (A.)
[1966]
Haagerup (U.)
[1980]
[1983]
Solution of the similarity problem for cyclic representations of C algebras, Ann. of Math., 118 (1983), p. 215240.
[1985]
M0 A(G) functions which are not coecients of uniformly bounded representations, manuscript.
Halmos (P.)
[1970]
Ten problems in Hilbert space, Bull. Amer. Math. Soc., 76 (1970), p. 887
933.
Helemskii (A.Y.)
[1989]
` 3
SEMINAIRES
ET CONGRES
PROBLEMES
DE SIMILARITE
197
Hochschild (G.)
[1945]
Johnson (B.E.)
[1972]
Cohomology in Banach algebras, Mem. Amer. Math. Soc., vol. 127, Providence : AMS, 1972.
Kadison (R.)
[1955]
[1966]
[1986]
Kamowitz (H.)
[1962]
Kaplansky (I.)
[1953]
Kirchberg (E.)
[1996]
Some applications of a technique for constructing reexive operator algebras, J. Operator Theory, 13 (1985), p. 227236.
SOCIET
DE FRANCE 1998
198
G. PISIER
Lebow (A.)
[1968]
Losert (V.)
[1984]
The Poisson transform on free groups and uniformly bounded representations, J. Funct. Anal., 51 (1983), p. 372399.
Mathes (B.)
[1989]
Nebbia (C.)
[1982]
Multipliers and asymptotic behaviour of the Fourier algebra of nonamenable groups, Proc. Amer. Math. Soc., 84 (1982), p. 549554.
[1951]
Eine Spektraltheorie f
ur allgemeine Operatoren eines unitaren Raumes,
Math. Nachr., 4 (1951), p. 49131.
Innite periodic groups I, II, III., Izvest. Akad. Nauk SSSR Ser. Mat., 32
(1968), p. 212244, 251524, 709731.
Olshanskii (A.Y.)
[1980]
Ong (S.C.)
[1981]
Parrott (S.)
[1970]
Paterson (A.)
[1988]
Paulsen (V.)
[1982]
` 3
SEMINAIRES
ET CONGRES
PROBLEMES
DE SIMILARITE
199
[1984a]
Every completely polynomially bounded operator is similar to a contraction, J. Funct. Anal., 55 (1984), p. 117.
[1984b]
[1986]
Completely bounded maps and dilations, Harlow : Longman (Pitman Research Notes in Math. vol. 146), 1986.
Peller (V.)
[1982]
Phillips (J.)
[1982]
Invariant of C algebras stable under perturbations, dans Operator algebras and applications, Providence : AMS (Proc. Sympos. Pure Math.
vol. 38-2), 1982, p. 275279.
[1988]
Pisier (G.)
[1978]
Grothendiecks theorem for noncommutative C -algebras with an appendix on Grothendiecks constants, J. Funct. Anal., 29 (1978), p. 397415.
[1995]
Similarity problems and completely bounded maps, vol. 1680 des Lecture
Notes, Springer, 1995.
[1997]
Ringrose (J.)
[1961]
[1982]
[1996]
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
200
G. PISIER
Rota (G.)
[1960]
Sakai (S.)
[1966]
Sally (P.J.)
[1968]
Unitary and uniformly bounded representations of the two by two unimodular group over local elds, Amer. J. Math., 90 (1968), p. 406443.
Sarason (D.)
[1965]
[1967]
Stinespring (W.)
[1955]
Sz.-Nagy (B.)
[1946]
[1953]
[1958]
Spectral sets and normal dilations of operators, dans Proc. Intern. Congr.
Math., Edinburgh, 1958, Cambridge Univ. Press, p. 412422.
[1959]
Szwarc
[1988]
` 3
SEMINAIRES
ET CONGRES
PROBLEMES
DE SIMILARITE
201
Tits (J.)
[1972]
Valette (A.)
[1990a]
[1990b]
Varopoulos (N.)
[1974]
Uniformly bounded groups in nite W -algebras, Acta Sci. Math. (Szeged), 36 (1974), p. 189192.
Voiculescu (D.)
[1972]
Wassermann (S.)
[1976]
Wittstock (G.)
[1981]
Wysoczanski (J.)
[1993]
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
Table of Contents
1.
1.1.
1.1 .
1.2.
1.3.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
204
R. REMMERT
1.4.
1.5.
1.6.
1.7.
1.8.
1.9.
2.
2.1.
2.2.
2.3.
2.4.
2.5.
3.
3.1.
3.2.
3.5.
3.6.
Stein manifolds
4.
4.1.
4.2.
4.3.
3.3.
3.4.
Epilogue
1.
1.1.
The theory of Riemann surfaces came into existence about the middle of
the nineteenth century somewhat like Minerva: a grown-up virgin, mailed in
` 3
SEMINAIRES
ET CONGRES
205
the shining armor of analysis, topology and algebra, she sprang forth from
Riemanns Jovian head (cf. H. Weyl, [Ges. Abh. III, p. 670]). Indeed on
November 14, 1851, Riemann submitted a thesis Grundlagen f
ur eine allgemeine Theorie der Functionen einer ver
anderlichen complexen Gr
osse (Foundations of a general theory of functions of one complex variable) to the faculty of philosophy of the University of Gottingen to earn the degree of doctor
philosophiae. Richard Dedekind states in Bernhard Riemanns Lebenslauf,
that Riemann had probably conceived the decisive ideas in the autumn holidays of 1847, [Dedekind 1876, p. 544]. Here is Riemanns denition of his
surfaces as given in [Riemann 1851, p. 7]:
Wir beschr
anken die Veranderlichkeit der Grossen x, y auf ein endliches
Gebiet, indem wir als Ort des Punktes O nicht mehr die Ebene A selbst,
sondern eine u
ber dieselbe ausgebreitete Flache T betrachten. . . . Wir lassen
die M
oglichkeit oen, dass der Ort des Punktes O u
ber denselben Theil der
Ebene sich mehrfach erstrecke, setzen jedoch f
ur einen solchen Fall voraus,
dass die auf einander liegenden Flachentheile nicht langs einer Linie zusammenh
angen, so dass eine Umfaltung der Flache, oder eine Spaltung in auf
einander liegende Theile nicht vorkommt.
(We restrict the variables x, y to a nite domain by considering as the locus
of the point O no longer the plane A itself but a surface T spread over the
plane. We admit the possibility . . . that the locus of the point O is covering
the same part of the plane several times. However in such a case we assume
that those parts of the surface lying on top of one another are not connected
along a line. Thus a fold or a splitting of parts of the surface cannot occur).
Here the plane A is the complex plane C, which Riemann introduces on
page 5. Later, on page 39, he also admits die ganze unendliche Ebene A,
:= C {}. It is not clear what is meant by mehrfach
i.e., the sphere C
erstrecke. Does he allow only nitely or also innitely many points over a
point of A? The last lines in Riemanns denition are vague: his intention
is to describe local branching topologically. For algebraic functions this had
already been done in an analytic manner by V. Puiseux [1850]. A careful
discussion of the notion of Windungspunkt (m 1) Ordnung (winding point
of order m 1) is given by Riemann on page 8.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
206
R. REMMERT
function is obtained by lifting the structure from C; the winding points are
contained in S.
can be weakened. According to Simion
The requirements for the map z : T C
Stoilow it suces to assume that z is continuous and open and that no z-ber contains
a continuum [Stoilow 1938, chap. V].
methods were kind of a secret method for his students and were regarded almost with distrust by other mathematicians). M. A. Stern, Riemanns teacher
of calculus in G
ottingen, once said to F. Klein [1926, p. 249]: Riemann sang
damals schon wie ein Kanarienvogel (Already at that time Riemann sang like
a canary).
` 3
SEMINAIRES
ET CONGRES
207
Poincare wrote to Klein on March 30, 1882: Cetait un de ces genies qui
renouvellent si bien la face de la Science quils impriment leur cachet, non
seulement sur les uvres de leurs el`eves immediats, mais sur celles de tous
leurs successeurs pendant une longue suite dannees. Riemann a cree une
theorie nouvelle des fonctions [Poincare 1882b, p. 107]. Indeed Riemanns
writings are full of almost cryptic messages to the future. The spirit
of Riemann will move future generations as it has moved us [Ahlfors 1953,
pp. 493, 501].
1.1 . Riemanns doctorate With his request of November 14, 1851, for admission to a doctorate, Riemann submits his vita. Of course this is in Latin as the
university laws demanded. On the following day, the Dean informs the faculty:
It is my duty to present to my distinguished colleagues the work of a
new candidate for our doctorate, Mr. B. Riemann from Breselenz; and
entreat Mr. Privy Councillor Gauss for an opinion on the latter and, if
it proves to be satisfactory, for an appropriate indication of the day and
the hour when the oral examination could be held. The candidate wants
to be examined in mathematics and physics. The Latin in the request
and the vita is clumsy and scarcely endurable: however, outside the
philological sciences, one can hardly expect at present anything better,
even from those who like this candidate are striving for a career at the
university.
15 Nov., 51.
Respectfully,
Ewald
Gauss complies with the Deans request shortly thereafter (undated, but certainly still in November 1851); the great man writes in pre-S
utterlin calligraphy the
following referees report:
The paper submitted by Mr. Riemann bears conclusive evidence of the
profound and penetrating studies of the author in the area to which the
topic dealt with belongs, of a diligent, genuinely mathematical spirit of
research, and of a laudable and productive independence. The work is
concise and, in part, even elegant: yet the majority of readers might
well wish in some parts a still greater transparency of presentation. The
whole is a worthy and valuable work, not only meeting the requisite
standards which are commonly expected from doctoral dissertations, but
surpassing them by far.
I shall take on the examination in mathematics. Among weekdays Saturday or Friday or, if need be, also Wednesday is most convenient to
me and, if a time in the afternoon is chosen, at 5 or 5:30 p.m. But I
also would have nothing to say against the forenoon hour 11 a.m. I am,
incidentally, assuming that the examination will not be held before next
week.
Gauss
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
208
R. REMMERT
It seems appropriate to add some comments. The Dean of the Faculty was the
well-remembered Protestant theologian Georg Heinrich August Ewald (1803-1875).
He was, as was the physicist Wilhelm Eduard Weber (1804-1891), one of the famous
G
ottinger Sieben who in 1837 protested against the revocation of the liberal constitution of the kingdom of Hannover by King Ernst August and lost their positions.
Knowing that Ewald was an expert in classical languages, in particular Hebrew grammar, one may understand his complaints about Riemanns poor handling of Latin.
It is to be regretted that Gauss says nothing about the mathematics as such in
Riemanns dissertation which - in part - had been familiar to him for many years.
Indeed, Riemann, when paying his formal visit to Gauss for the rigorosum, was
informed that for a long time he [Gauss] has been preparing a paper dealing with
the same topic but certainly not restricted to it; [Dedekind 1876, p. 545]. The paper
referred to here is Gausss article (Bestimmung der) Convergenz der Reihen, in
welche die periodischen Functionen einer veranderlichen Grosse entwickelt werden,
Gausss Werke X-1, pp. 400-419; cf. also Werke X-2, p. 209. The reader is unable to
learn from Gausss report even what topic is dealt with in the dissertation (geometry
or number theory or ...). Gauss is famous for his sparing praise and, of course, his
short report must be rated as a strong appraisal. For further details see [Remmert
1993b].
It is interesting to compare the evaluation with the one Gauss wrote in 1852
of Dedekinds dissertation. Here he simply writes (File 135 of the Philosophische
Fakult
at of the University of Gottingen): The paper submitted by Mr. Dedekind
[published in Dedekinds Werke I, pp. 1-26] deals with problems in calculus which
are by no means commonplace. The author not only shows very good knowledge in
this eld but also an independence which indicates favorable promise for his future
achievements. As paper for admission to the examination this text is fully sucient.
1.2.
` 3
SEMINAIRES
ET CONGRES
209
SOCIET
DE FRANCE 1998
210
R. REMMERT
1.3.
` 3
SEMINAIRES
ET CONGRES
211
n>
an (z c)n/k if c C , resp.
an z n/k if c = ,
n>
center map z : M C,
Fc
Fc (c) are dened in an obvious way and, equipping M with its canonical topology (in the same way as is done for M), one readily proves the
following:
M is a topological surface (Hausdor ), M is open in M and its complement M M is locally nite in M . The maps z and are continuous.
In addition z is locally nite and, at points of M, a local homeomorphism.
Thus, by Riemanns denition (section 1.1.), the space M is a concrete
with respect to z, the functions z and are meromorRiemann surface over C
1.4.
Already Cauchy had the sound denition of holomorphic functions by differentiability rather than by analytic expressions. Riemann shared this view
whole heartedly. Everywhere in [Riemann 1851] he advocates studying holomorphic functions independently of their analytic expressions, e.g. he writes
on pages 70-71: Zu dem allgemeinen Begrie einer Function einer veranderlichen complexen Grosse werden nur die zur Bestimmung der Function
nothwendigen Merkmale hinzugef
ugt, und dann erst gehe man zu den verschiedenen Ausdr
ucken u
ber deren die Function fahig ist. (To the general
notion of a function of one complex variable one just adds those properties
necessary to determine the function [i.e., complex dierentiability], and only
then one passes to the dierent [analytic] expressions which the function is
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
212
R. REMMERT
capable of taking on). His convincing examples, on page 71, are meromorphic
functions on compact surfaces. They are algebraic functions and vice versa.
Riemanns credo is in sharp contrast to Weierstrass confession of faith
which he stated on October 3, 1875, in a letter to Schwarz:
` 3
SEMINAIRES
ET CONGRES
213
1.5.
dg
ai z + bi
(z) =
H(gz)
=
H
(ci z + di )2m ,
dz
ci z + di
gG
i=1
SOCIET
DE FRANCE 1998
214
R. REMMERT
for every algebraic curve (X, Y ) = 0 (of genus 2) there exist two nonconstant fuchsian functions F (z) and F1 (z) such that (F (z), F1 (z)) 0.
His proof is based (as Kleins proof, cf. section 1.6.) on a m
ethode de continuit
e [Poincare 1884, pp. 329]: equivalence classes of fuchsian groups, resp.
algebraic curves, are considered as points of varieties S, resp. S . There is a
canonical map S S and this turns out to be a bijection. The method had
to remain vague at a time when no general topological notions and theorems
were available. However, on June 14, 1882, Weierstrass wrote prophetically to
Sonia Kowalevskaja: Die Theoreme u
ber algebraische Gleichungen zwischen
zwei Ver
anderlichen . . ., welche er [Poincare] in den Comptes rendus gegeben
hat, sind wahrhaft imponierend; sie eronen der Analysis neue Wege, welche
zu unerwarteten Resultaten f
uhren werden [Mittag-Leer 1923, p. 183].
(The theorems about algebraic equations between two variables . . ., which
he gave in the Comptes rendus, are truly impressive, they open new roads to
analysis and shall lead to unexpected results.)
The notation fonction fuchsienne did not prevail. From the very beginning, Klein, who was in a state of feud with Fuchs, protested strongly
against this term in his letters to Poincare, cf. [Klein 1881-82]. But Poincare
remained unmoved, cf. [Poincare 1882b]. On April 4, 1882, he wrote conclusively: Il serait ridicule dailleurs, de nous disputer plus longtemps pour un
nom, Name ist Schall und Rauch et apr`es tout, ca mest egal, faites comme
vous voudrez, je ferai comme je voudrai de mon cote.[Klein 1881-82, p. 611]
In the end, as far as functions are concerned, Klein was successful: in
[Klein 1890, p. 549], he suggested the neutral notation automorphic instead
of fuchsian, which has been used ever since. However, the terminology
groupe fuchsien has persevered.
1.6.
Much has been said about the genesis of the theory of uniformization for algebraic Riemann surfaces and the competition between Klein and Poincare.
However there was never any real competition. Poincare, in 1881, had the
-series and hence was far ahead of Klein; as late as May 7, 1882, Klein asks
Poincare how he proves the convergence of his series [Klein 1881-82, p. 612].
It is true that Klein, unlike Poincare, was aware of most papers on special discontinuous groups, in particular those by Riemann, Schwarz, Fuchs, Dedekind
and Schottky, cf. [Klein 1923b]. At that time he was interested in those Riemann surfaces Xn , which are compactications of the quotient surfaces H/n ,
where n is the congruence subgroup of SL2 (Z) modulo n. For n = 7 this is
Kleins curve of genus 3 with 168 automorphisms; in [Klein 1879, p. 126],
` 3
SEMINAIRES
ET CONGRES
215
1.7.
At a very early time the following question was already being asked: How
are obtained by anmany germs of meromorphic functions at a point a C
of a given germ at a? In other words: What is the
alytic continuation in C
cardinality of the bers of an analytic conguration? Clearly all cardinalities
0 are possible. In 1835 C. G. J. Jacobi knew that on a surface of genus
2 the set of complex values at a point a obtained by analytic continuation
of a germ of an Abelian integral can be dense in C [Jacobi 1835, 8]. In
1888 G. Vivanti conjectured that only cardinalities 0 can occur. Cantor
informed him that this is correct and that, already several years before, he
had communicated this to Weierstrass, cf. [Ullrich 1995].
In 1888 Poincare and Vito Volterra published proofs in [Poincare 1888],
resp. [Volterra 1888]. Their result can be stated as follows: Every connected
concrete Riemann surface X has countable topology ( i.e., a countable base of
open sets). At the bottom of this is a purely topological fact, cf. [Bourbaki
1961, Chap. 1, 11.7]. The Poincare-Volterra theorem implies at once that
an analytic conguration diers from its analytic function only by at most
countably many irregular germs.
1.8.
SOCIET
DE FRANCE 1998
216
R. REMMERT
welche der Gesamtheit der in der Ebene nebeneinander zu legenden Polygonen entspricht. Diese Gesamtache ist . . . einfach zusammenh
angend und
einfach berandet, und es handelt sich also nur darum, einzusehen, da man
auch eine solche einfach zusammenhangende, einfach berandete Flache in der
bekannten Weise auf das Innere eines Kreises abbilden kann [Klein 1881-82,
p. 616].
(Schwarz regards the Riemann surface as being dissected in a suitable
way, then innitely often covered and now these dierent coverings glued
together along the cross sections in such a way that there arises a total surface
corresponding to all polygons lying side by side in the plane. This total surface
is . . . simply connected and has only one boundary component. Thus it is only
necessary to verify that such a simply connected surface can be mapped in
the well known way onto the interior of a disc.)
Poincare immediately realized the depth of this idea. He writes back to
Klein on May 18, 1882: Les idees de M. Schwarz ont une portee bien plus
grande.
1.9.
Already in [1883] Poincare states and attempts to prove the general theorem of uniformization: Soit y une fonction analytique quelconque de x, non
uniforme. On peut toujours trouver une variable z telle que x et y soient
fonctions uniformes de z. In his Analyse [Poincare 1921], written in 1901,
he writes that he succeeded in triompher des dicultes qui provenaient de
la grande generalite du theor`eme `a demontrer. Here he uses the universal
covering surface. In his Paris talk, when discussing his twenty-second problem Uniformization of analytic relations by automorphic functions, Hilbert
[1900, p. 323] points out, however, that there are some inconsistencies in
Poincares arguments. A satisfactory solution of the problem of uniformization was given in 1907 by Koebe and Poincare in [Koebe 1907] and [Poincare
1907a].
2.
` 3
SEMINAIRES
ET CONGRES
217
Their results easily imply that all such connected surfaces are analytic congurations.
2.1.
SOCIET
DE FRANCE 1998
218
R. REMMERT
k
onnen (The Riemann surface must be considered as the prius, as the virgin
soil, where upon the functions foremost can grow and prosper).
Weyl covers all of classical function theory in his kleine Buch (booklet) of
only 167 pages. The topics, everyone for itself a monumentum aere perennius,
are:
existence theorems for potential functions and meromorphic functions,
analytic congurations are Riemann surfaces,
compact surfaces are algebraic congurations,
theorems of Riemann-Roch and Abel,
Grenzkreistheorem and theory of uniformization.
At bottom of all arguments is Dirichlets principle, which Hilbert [1904], had
awakened from a dead sleep.
Contrary to what has often been said, the book does not give a complete symbiosis of the concepts of Riemann and Weierstrass: The question
whether every connected non-compact Riemann surface is isomorphic to a
Weierstrassian analytic conguration, is not dealt with. In fact no convincing
proof was known in those days (see also paragraph 5 below).
2.2.
` 3
SEMINAIRES
ET CONGRES
219
das werde sich alles noch in die Reihe bringen lassen, wenn die Zeit erst
erf
ullet sei. Und so ist es denn: Herr Weyl hat alles in die Reihe gebracht.
(Till now Riemanns function theory had a curious aura which some people
hopefully or fearfully saw, according to their mood, as a sign of approaching
death and victory of the extremely Weierstrassian route. Others did however
not see this as a sign that would do damage to the theory, because they were
convinced that everything could be put in order in due time. And so it is:
Mr. Weyl did put everything in order2 .)
The book was a real eye-opener and had a long lasting inuence. Kunihiko
Kodaira, in his famous Annals paper, writes: Our whole theory may be
regarded as a generalization of the classical potential theory. The famous
book of H. Weyl Die Idee der Riemannschen Flache has always served us as
a precious guide [Kodaira 1949, p. 588]. And Jean Dieudonne, calls the book
a classic that inspired all later developments of the theory of dierentiable
and complex manifolds [Dieudonne 1976, p. 283].
A reprint of the rst edition with corrections and addenda appeared in
1923. This second edition was reproduced in 1947 by the Chelsea Publishing
Company. A third completely revised edition appeared in 1955. The fourth
and fth edition followed in 1964 and 1974. The rst edition of Die Idee der
Riemannschen Fl
ache was never translated into a foreign language. A translation The concept of a Riemann surface of the third edition by G. R. MacLane
was published in 1964 by Addison-Wesley. There are no longer triangulations
and Weyl gives hints to the new notion of cohomology.
Weyl died soon after the third edition appeared. One cannot write a
better swan song. C. Chevalley and A. Weil wrote in their obituary: Qui de
nous ne serait satisfait de voir sa carri`ere scientique se terminer de meme ?
[Chevalley and Weil 1957, p. 668].
An annotated reissue of the book from 1913 was published in 1997 by
Teubner Verlag Leipzig where the rst edition was also printed.
2.3.
Tibor Rad
o and triangulation
In 1922 Rad
o realized that the existence of a complex structure on a connected
topological surface implies the countability of the topology and hence (in a
not trivial way which he underestimated) the existence of a triangulation.
2
Five years later the neophyte Ludwig Georg Elias Moses Bieberbach had turned into
an apostate. In [Bieberbach 1918, p. 314], he writes in words alluding to coming dark years
of German history: Bis jetzt sind die topologischen Betrachtungen noch nicht ausgeschaltet. Und damit frit noch immer ein Erz
ubel am Marke der Funktionentheorie (Till now
topological considerations are not exterminated. And thereby a pest is still gorging at the
marrow of function theory).
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
220
R. REMMERT
2.4.
As Riemann and Klein knew and as was proved rigorously by Weyl, there exist
many non-constant meromorphic functions on every abstract connected Riemann surface and the compact ones are even algebraic congurations. A natural question is: Are there non-constant holomorphic functions on every abstract non-compact connected Riemann surface? In the thirties Caratheodory
strongly propagated this problem. Classical approaches by forming quotients
of dierential forms, resp. Poincare-series, fail due to possible zeros in the
denominators. Only in 1943 Behnke and Stein were able to give a positive
answer in their paper [Behnke and Stein 1947-49] (publication was delayed
due to the war). They developed a Runge approximation theory for holomorphic functions on non-compact surfaces and reaped a rich harvest. There are
lots of holomorphic functions. In fact they proved the following fundamental
theorem (Hilfssatz C at the end of [Behnke and Stein 1947-49]).
Let A be a locally nite set in an abstract non-compact Riemann surface
X. Assume that to every point a A there is attached (with respect to a local
na
ca ta , na 0. Then
coordinate ta at a) a nite Laurent series ha =
>
ca ta .
Laurent series of the form ha +
>na
Today there exist simpler proofs: Take a compact disc U in the surface X and construct
(e.g. by solving a Dirichlet problem on U by means of the Perron-principle) a non-constant
harmonic function on X U . Then the universal covering of X U has non-constant
holomorphic functions and hence, by the theorem of Poincare and Volterra, a countable
topology. Now it follows directly that X U and therefore X itself has a countable toplogy.
` 3
SEMINAIRES
ET CONGRES
221
2.5.
SOCIET
DE FRANCE 1998
222
R. REMMERT
Florack, a student of Behnke and Stein, proved the theorem along the lines
indicated above [Florack 1948].
3.
Riemann surfaces are one dimensional complex manifolds. The general notion
of a complex manifold came up surprisingly late in the theory of functions of
several complex variables. Of course higher-dimensional complex tori had
already been implicitly studied in the days of Abel, Jacobi and Riemann: the
periods of integrals of Abelian dierentials on a compact Riemann surface
of genus g immediately assign a g-dimensional complex torus to the surface.
And non-univalent domains over C n were in common use since 1931 through
the work of H. Cartan and P. Thullen. Nevertheless, the need to give a general
denition was only felt by complex analysts in the forties of this century. At
that time the notion of a general manifold was already well understood by
topologists and dierential geometers.
3.1.
The theory of functions of several complex variables has its roots in papers by
P. Cousin, H. Poincare and F. Hartogs written at the end of the nineteenth
century. The points of departure were the Weierstrass product theorem and
the Mittag-Leer theorem. The fact that zeros and poles are no longer isolated caused diculties. These problems were studied for more than 50 years
in domains of C n only. In the thirties and forties of this century the theory
of functions of several complex variables was a dormant theory. There were
only two books. A so-called Lehrbuch [1929] by W. F. Osgood (Harvard) at
Teubner, and an Ergebnissebericht by H. Behnke and P. Thullen (M
unster)
at Springer [Behnke and Thullen 1934]. In addition there were some original
papers in German and French by Behnke, Caratheodory, Cartan, Hartogs,
Kneser, Oka and Stein. Osgood, however, even then thought that the theory
was so complicated that one could only write about it in German. And it
is said that Cartan asked his students who wanted to learn several complex
variables: Can you read German? If answered in the negative, his advice was
to look for a dierent eld.
Among the main topics of complex analysis in the thirties and forties were
the following, cf. [Behnke and Thullen 1934]:
analytic continuation of functions (Kontinuit
atssatz) and distribution of
singularities,
` 3
SEMINAIRES
ET CONGRES
223
3.2.
SOCIET
DE FRANCE 1998
224
R. REMMERT
in C 2 which are homeomorphic to a ball and have, in todays language, a nonunivalent hull of holomorphy. One year later, when writing their paper, Cartan and Thullen [1932] made virtue out of necessity. They study domains over
C n , i.e. complex manifolds with a projection into C n . They wisely restrict
themselves to the unramied case, where the projection is everywhere a local
isomorphism. Their denition is that used in the Ergebnisbericht [Behnke and
Thullen 1934, p. 6].
3.3.
` 3
SEMINAIRES
ET CONGRES
225
by P. Alexandrov and H. Hopf where they devote the last pages 548-552 to
vector elds on such manifolds.
3.4.
From the very beginning it was felt that Riemanns approach to complex
analysis should also bear fruits in higher dimension. But only in 1932, at the
International Congress in Z
urich, did Caratheodory in [Caratheodory 1932]
strongly advocate studying four dimensional abstract Riemann surfaces (as
he called them) for their own sake. However, due to his rather cumbersome
approach, there was no response by his contemporaries.
Only after dierentiable and real analytic manifolds had already been
studied intensively, and with great success, was time ripe for complex manifolds. It seems dicult to locate the rst paper where complex manifolds
explicitly occur. In 1944 they appear in Teichm
ullers work on Veranderliche
Riemannsche Fl
achen, [Teichm
uller 1944, p. 714]; here we nd for the rst
time the German expression komplexe analytische Mannigfaltigkeit. The
English complex manifold occurs in 1946 in Cherns work [1946, p. 103];
he recalls the denition (by an atlas) just in passing. And in 1947 we nd
variete analytique complexe in the title of Weils paper [1947]. Overnight
complex manifolds blossomed everywhere. Let us just call attention to Hopfs
papers [1948] and [1951]. The rst one contains, among others, the result
that the spheres S 4 and S 8 with their usual dierentiable structures cannot
be provided with a complex structure. The second one is a beautifully written
survey reecting the state of the theory at that time.
In 1953 Borel and Serre showed, that a sphere S 2n , n 4, carrying an
arbitrary dierentiable structure, never admits an almost complex structure
[Borel and Serre 1953, p. 287].
3.5.
SOCIET
DE FRANCE 1998
226
R. REMMERT
3.6.
Stein manifolds
In his memorable work [Stein 1951], Karl Stein introduced complex manifolds
which share basic properties with non-compact Riemann surfaces and domains of holomorphy in C n . These manifolds were baptized Stein manifolds
by Cartan4 . Following the original denition, a complex manifold X with
countable topology is called a Stein manifold if the following three axioms are
satised:
Separation axiom: Given two dierent points p, p in X there exists a
function f holomorphic on X which takes dierent values at p and p .
Local coordinates axiom: For every point p X there exist functions
f1 , . . . , fn holomorphic on X which give local coordinates on X at p.
4
In the fties Cartan liked to tease Stein at meetings in Oberwolfach: Cher ami, avez
vous aujourdhui une vari
et
e de vous dans votre poche? When Stein lectured about his
manifolds he circumvented the notation by varying a well known phrase of Montel: ... les
variet
es dont jai lhonneur de porter le nom.
` 3
SEMINAIRES
ET CONGRES
227
Convexity axiom: For every innite, locally nite set M in X there exists
a function f holomorphic on X which is unbounded on M .
A domain in C n is a Stein manifold if and only if it is a domain of holomorphy; every non-compact Riemann surface is a Stein manifold. Many theorems
about domains of holomorphy can be extended to Stein manifolds. Cartan
obtained the
Main Theorem [Cartan 1951-52] For every coherent analytic sheaf S
over a Stein manifold X the following two statements hold:
1) The global sections of S generate every OX -module Sx , x X.
2) All cohomology groups H q (X, S), q 1, vanish.
This theorem was rst proved in [Cartan 1951-52]. It contains, among
many others, the classical results pertaining to the Cousin problems (cf. [Cartan 1953], [Serre 1953]).
In [1955], Grauert showed that X is already a Stein manifold if the rst
two axioms are replaced by the following:
Weak separation axiom: For every point p X there exists a holomorphic
map f : X C n such that p is an isolated point in its ber f 1 (f (p)).
Moreover Grauert proved that every connected complex manifold satisfying this weak separation axiom has eo ipso a countable topology. (Note that
E. Calabi and M. Rosenlicht in [1953], constructed 2-dimensional connected
complex manifolds without countable bases of open sets.)
4.
SOCIET
DE FRANCE 1998
228
R. REMMERT
4.1.
Bolyai encourages his son to publish the discovery of non-Euclidean geometry straight
` 3
SEMINAIRES
ET CONGRES
4.2.
229
In 1954 Cartan called his spaces espaces analytiques generaux [Cartan 195354, exp. 6, p. 9]. But they were not general enough: soon it became clear
that spaces having reducible points with local components not necessarily of
the same dimension also had to be admitted. In 1955, Serre, in his GAGA
paper [Serre 1956], allowed all analytic sets in domains of C n as local models.
Holomorphic functions now are exactly those continuous functions which are
locally restrictions of functions holomorphic in ambient C n . The complex
spaces belonging to this category are called reduced since all stalks in their
structure sheaves are reduced rings, i.e., without non-zero nilpotent elements.
There may be however zero divisors
= 0 (for example if the space consists of
two dierent lines through a point of C 2 ).
Important properties of local function theory in C n remain true for reduced complex spaces. In particular the convergence theorem of Weierstrass
holds: the limit of a locally uniformly convergent sequence of holomorphic
functions is holomorphic, cf. [Grauert and Remmert 1958, p. 290]. Furthermore Hartogs theorem remains true: a complex-valued function f on a
cartesian product X Y of reduced complex spaces X, Y is holomorphic on
X Y , if for every pair of points x X, y Y the restrictions f |x Y resp.
f |Xy are holomorphic on Y resp. X, [loc. cit. p. 292, p. 56].
4.3.
SOCIET
DE FRANCE 1998
230
R. REMMERT
maps X Y , where Y is a real dierentiable manifold, and where complex structures which are compatible with , are given on the bers. Such spaces occur in a
natural way in the deformation theory of complex structures. Still another generalization, with a parallel theory, is that of p-adic rigid spaces (and non rigid ones as
well).
` 3
SEMINAIRES
ET CONGRES
231
Epilogue
The notion of a complex space with nilpotent functions in its structure sheaf
is a beautiful example of how algebraic notions nally overgrow an analyticgeometric theory. According to Felix Klein geometers have the peculiar joy
of seeing what they are thinking. Algebraic presentations are abstract, mercilessly abstract (E. Artin, Collected Papers, p. 538). Algebraization of local
function theory started with Weierstrass, the rst real breakthrough coming
in 1933 with the paper by Walter R
uckert Zum Eliminationsproblem der
Potenzreihenideale [1933], written in 1931. He proved that the ring of convergent power series in n variables is noetherian and factorial. Furthermore he
obtained the Nullstellensatz (only the henselian property is missing). R
uckert wrote his paper in Freiburg (Krull) under the spell of Emmy Noether and
proudly writes that he only needs formal methods and no function theory: In
dieser Arbeit wird gezeigt, da eine sachgemae Behandlung des Eliminationsproblems ... nur formale Methoden, also keine funktionentheoretischen Hilfsmittel ben
otigt. Als solche Methoden erweisen sich die allgemeine Idealtheorie
und die allgemeine K
orpertheorie. [R
uckert 1933, p. 260] (In this paper it
is shown that a proper treatment of elimination theory only requires formal
methods and no aid from function theory. Such methods are the general theory of ideals and of elds.) R
uckerts statement is not quite true: in addition
he uses the full power of the preparation theorem. Complex analysts did not
pick up R
uckerts new way of thinking in the thirties and R
uckerts paper fell
into oblivion.
The true algebraization of local function theory took place only in the
fties in Cartans seminaire [1960-61] in four exposes written by Christian
Houzel called Geometrie analytique locale. This approach was not welcomed
everywhere with pleasure; some people felt that this was a Kings road to
chaos. The question was: Is algebra helping geometry or is it perhaps the
other way round? In his lecture entitled The Fundamental Ideas of Abstract
Algebraic Geometry at the International Congress 1950 in Cambridge, Oscar
Zariski found a wise answer: In helping geometry modern algebra is helping
itself above all. (Coll. Pap. III, p. 375). Already in 1939 Hermann Weyl
had prophetically written the timeless lines [Weyl Ges. Abh. III, p. 681]:
In these days the angel of topology and the devil of abstract
algebra ght for the soul of each individual mathematical domain.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
232
R. REMMERT
Bibliography
Ahlfors (L.V.)
[1953]
[1935]
auf
Riemannschen
Flachen,
[1913]
[1918]
Uber
die Einordnung des Hauptsatzes der Uniformisierung in die Weierstraische Funktionentheorie, Math. Ann., 78 (1918), pp. 312331.
Biermann (K.R.)
[1976]
Bourbaki (N.)
[1961]
[1973]
` 3
SEMINAIRES
ET CONGRES
233
[1932]
Uber
die analytischen Abbildungen von mehrdimensionalen Raumen, in
Verh. Int. Math. Kongress Z
urich, 1932, vol. I, pp. 93101. See also Ges.
Math. Schriften, IV, M
unchen: Beck, 1956, pp. 234-246.
Cartan (E.)
[1928]
Cartan (H.)
[uvres] uvres, 3 vols., Berlin: Springer, 1979.
[1931a]
Les fonctions de deux variables complexes et le probl`eme de la representation analytique, J. Math. Pures Appl., (IX) 10 (1931), pp. 1114; uvres
I, pp. 141-254.
[1931b] Sur une classe remarquable de domaines, C. R. Acad. Sci. Paris, 192 (1931),
pp. 10771079; uvres I, pp. 370372.
[1933]
[1950]
Zur Theorie der Singularitaten der Funktionen mehrerer komplexen Veranderlichen. Regularitats- und Konvergenzbereiche, Math. Ann., 106 (1932),
pp. 617647 ; see also H. Cartan, uvres I, pp. 376-406.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
234
R. REMMERT
Chern (S.S.)
[1946]
Clebsch (A.)
[1865]
Courant (R.)
[1926]
Dedekind (R.)
[Werke] Gesammelte mathematische Werke, 3 vols, Braunschweig, 1930-1932.
[1876]
Dieudonn
e (J.)
[1975]
[1976]
Weyl, Hermann, Dictionary of Scientic Biography, vol. 14, 1976, pp. 281
285.
Douady (A.)
[1966]
Florack (H.)
[1948]
Regul
are und meromorphe Funktionen auf nicht geschlossenen Riemannschen Fl
achen, Schriftenreihe Math. Inst. Univ. M
unster, 1 (1948),
34 pp.
Freudenthal (H.)
[1975]
Gauss (C.F.)
[Werke] Werke, 12 vols, Gottingen, 1863-1929.
[1822]
Allgemeine Au
osung der Aufgabe die Theile einer gegebenen Flache auf
einer andern gegebenen Flache so abzubilden dass die Abbildung dem Abgebildeten in den kleinsten Theilen ahnlich wird, Copenhagener Preisschrift,
1822, in Werke, vol. IV, Gottingen, 1873, pp. 189216.
` 3
SEMINAIRES
ET CONGRES
235
Grauert (H.)
[Papers] Selected papers, 2 vols, Berlin: Springer, 1994.
[1955]
[1958a]
[1958]
Komplexe R
aume, Math. Ann., 136 (1958), pp. 245318; see also Grauert,
Papers I, pp. 9-82.
Immersion of open Riemann surfaces, Math. Ann., 174 (1967), pp. 103108.
Hausdorff (F.)
[1914]
Grundz
uge der Mengenlehre, Leipzig, 1914. Reprint New York: Chelsea,
1949.
[1915]
Private notes (1915). Fasc. 121, p. 1-16, in box 31, Univ. Bibl. Bonn.
Heins (M.)
[1980]
Hilbert (D.)
[Ges. Abh.] Gesammelte Abhandlungen,
Springer, 2nd ed. 1970.
vols.,
Berlin-Heidelberg-New York:
[1897]
Die Theorie der algebraischen Zahlenkorper, Jahresber. Deutsch. Math.Verein., 4 (1897), pp. 175546; Ges. Abh. I, pp. 63-363.
[1900]
[1902]
Uber
die Grundlagen der Geometrie, Nachr. K. Ges. Wiss. G
ottingen,
(1902), pp. 233241. Enlarged version in Math. Ann. 56 (1903), pp. 381422;
not in Hilberts Ges. Abh.; but in Grundlagen der Geometrie, Anhang IV,
pp. 178-230, Leipzig: Teubner, 1903.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
236
[1904]
R. REMMERT
Uber
das Dirichletsche Prinzip, Math. Ann., 59 (1904), pp. 161186;
Ges. Abh. III, pp. 1537.
Hopf (H.)
[1948]
Zur Topologie der komplexen Mannigfaltigkeiten, in Studies and Essays presented to R. Courant, New York: Interscience, 1948, pp. 167185.
[1951]
Uber
komplex-analytische Mannigfaltigkeiten, Rend. Mat. Univ. Roma, 10
(1951), pp. 169182.
Houzel (C.)
[1978]
Hurwitz (A.)
[Werke] Mathematische Werke, 2 vols., Basel: Birkhauser, 1932-1933.
[1891]
Uber
Riemannsche Flachen mit gegebenen Verzweigungspunkten, Math.
Ann., 39 (1891), pp. 161; Werke I, pp. 321-383.
[1893]
Uber
algebraische Gebilde mit eindeutigen Transformationen in sich,
Math. Ann., 41 (1893), pp. 403442. See also Werke I, pp. 391-430.
Jacobi (C.G.J.)
[1835]
De functionibus duarum variabilium quadrupliciter periodicis, quibus theoria transcendentium Abelianarum innititur, J. Reine Angew. Math, 13
(1835), pp. 5578; Gesammelte Werke 2, Berlin, 1882 pp. 23-50.
Klein (F.)
[Ges. Abh.] Gesammelte Mathematische Abhandlungen, 3 vols. Berlin: Springer, 19211923.
[1879]
Uber
die Transformation siebenter Ordnung der elliptischen Funktionen,
Math. Ann., 14 (1879), pp. 428471; Ges. Abh. 3, pp. 90-136.
Uber
Riemanns Theorie der algebraischen Funktionen und ihrer Integrale,
Leipzig, 1882; Ges. Abh. 3, pp. 499-573.
[1882b] Uber
eindeutige Funktionen mit linearen Transformationen in sich. Zweite
Mitteilung. [Das Grenzkreistheorem], Math. Ann., 20 (1882), pp. 4951;
Ges. Abh. 3, pp. 627-629.
[1890]
[1891-92] Riemannsche Fl
achen. Vorlesungen, gehalten in G
ottingen 1891/92.
Reprinted by Springer-Teubner, Leipzig, 1986.
` 3
SEMINAIRES
ET CONGRES
237
[1923b] Zur Vorgeschichte der automorphen Funktionen, 1923, Ges. Abh., 3, pp. 577
586.
[1926]
Vorlesungen u
ber die Entwicklung der Mathematik im 19. Jahrhundert,
vol. 1, Berlin: Springer, 1926.
Kodaira (K.)
[1949]
Koebe (P.)
[1907]
Uber
die Uniformisierung beliebiger analytischer Kurven, Nachr. K. Ges.
Wiss. G
ottingen, (1907), pp. 191210, 633669.
[1908]
Uber
die Uniformisierung beliebiger analytischer Kurven, Dritte Mitteilung,
Nachr. K. Ges. Wiss. G
ottingen, (1908), pp. 337360.
[1909]
K
onig (R.)
[1919]
Beitr
age zu einer allgemeinen Mannigfaltigkeitslehre, Jahresber. Deutsch.
Math.-Verein., 28 (1919), pp. 213228.
Laugwitz (D.)
[1996]
Milnor (J.W.)
[1962]
Mittag-Leffler (G.)
[1923]
Neumann (C.)
[1865]
Vorlesungen u
ber Riemanns Theorie der Abelschen Integrale, Leipzig, 1865;
2nd ed., 1884.
Oka (K.)
[1936]
SOCIET
DE FRANCE 1998
238
[1951]
R. REMMERT
Osgood (W.F.)
[1903-04] On a gap in the ordinary presentation of Weierstrass theory of functions,
Bull. Amer. Math. Soc., III 10 (1903-04), pp. 294301.
[1929]
Poincar
e (H.)
[uvres] uvres de Henri Poincar
e, 11 vols. Paris: Gauthier-Villars, 1928-1956.
[1881]
Sur les fonctions fuchsiennes, C. R. Acad. Sci. Paris, 92 (1881), pp. 333335;
uvres, II, pp. 1-4.
[1882a]
Sur les fonctions fuchsiennes, C. R. Acad. Sci. Paris, 94 (1882), pp. 1038
1040; uvres II, pp. 41-43.
[1882b] Extrait dune lettre a` M. F. Klein, Math. Ann., 20 (1882), pp. 5253; uvres; II, pp. 106-107; not in [Klein 1881-82].
[1882c]
Theorie des groupes fuchsiens, et Sur les fonctions fuchsiennes, Acta Math.,
1 (1882), pp. 162, 193294; uvres, II, pp. 108-168, 169-257.
[1883]
[1884]
Sur les groupes des equations lineaires, Acta Math., 4 (1884), pp. 201311;
uvres, II, pp. 300-401.
[1888]
Sur une propriete des fonctions analytiques, Rend. Circ. Mat. Palermo, 2
(1888), pp. 197200; uvres, IV, pp. 11-13.
[1907a]
Analyse de ses travaux sur la theorie generale des fonctions dune variable
(written in 1901), Acta Math., 38 (1921), pp. 6570; uvres, IV, pp. 1-8.
Puiseux (V.)
[1850-51] Recherches sur les fonctions algebriques, J. Math. Pur. Appl., 15 (1850),
pp. 365480; 16, (1851), pp. 228240.
` 3
SEMINAIRES
ET CONGRES
239
(T.)
Rado
[1923]
[1925]
Uber
den Begri der Riemannschen Flache, Acta Sci. Math. (Szeged), 2
(1925), pp. 101121.
Reinhardt (K.)
[1921]
Uber
die Abbildungen durch analytische Funktionen zweier Veranderlicher,
Math. Ann., 83 (1921), pp. 211255.
Remmert (R.)
[1956]
Sur les espaces analytiques holomorphiquement separables et holomorphiquement convexes, C. R. Acad. Sci. Paris, 243 (1956), pp. 118121.
[1993a]
Komplexe Analysis in Sturm und Drang, Mitt. DMV, 1/93 (1993), pp. 513.
English translation in Math. Intelligencer, 17-2, (1995), pp. 411.
[1993b] The Riemann-le Nr. 135 of the Philosophische Fakultat of the Georgia
Augusta at G
ottingen, Math. Intelligencer, 15-3 (1993), pp. 4448.
Remmert (R.) and Schneider (M.)
[1997]
Riemann (B.)
[Werke] Gesammelte Mathematische Werke (H. Weber and R. Dedekind, eds.),
Leipzig, 1876.
[1851]
Grundlagen f
ur eine allgemeine Theorie der Functionen einer ver
anderlichen complexen Gr
oe. Inauguraldissertation, Gottingen 1851; Werke,
pp. 3-48.
[1854]
Ueber die Hypothesen, welche der Geometrie zu Grunde liegen, 1854; Werke,
pp. 272287.
[1857]
Roch (G.)
[1865]
Uber
die Anzahl der willk
urlichen Constanten in algebraischen Functionen,
J. Reine Angew. Math., 64 (1865), pp. 372376.
R
uckert (W.)
[1933]
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
240
R. REMMERT
Schumacher (G.)
[1996]
Uber
die Entwicklung der Komplexen Analysis in Deutschland vom Ausgang des 19. Jahrhunderts bis zum Anfang der siebziger Jahre, Jahresber.
Deutsch. Math.-Verein., 98 (1996), pp. 41133.
Serre (J.-P.)
[uvres] uvres, 3 vols. Berlin-Heidelberg: Springer, 1986.
[1952]
[1953]
[1956]
Siegel (C.)
[1939]
Stein (K.)
[1951]
Stoilow (S.)
[1938]
Teichm
uller (O.)
[1944]
Ver
anderliche Riemannsche Flachen, Deutsche Math., 7 (1944), pp. 344359;
Gesammelte Abhandlungen, Berlin-Heidelberg: Springer, 1982, pp. 712-727.
Ullrich (P.)
[1995]
[1996]
The Riemann mapping problem, Rend. Circ. Mat. Palermo, (II) Suppl. 44
(1996), pp. 942.
A set of axioms for dierential geometry, Proc. Nat. Acad. Sci. USA, 17
(1931), pp. 551561. See also J. Whitehead Works I, pp. 93-103.
` 3
SEMINAIRES
ET CONGRES
[1932]
241
Volterra (V.)
[1888]
Weierstrass (K.)
[Werke] Mathematische Werke, 7 vols. 1894-1927.
[1841]
[1842]
Denition analytischer Funktionen vermittelst algebraischer Dierentialgleichungen, (1842), Werke I, pp. 7584.
[1870]
Uber
das sogenannte Dirichletsche Prinzip, (1870), Werke II, pp. 4954.
[1875]
Weil (A.)
[1947]
Weyl (H.)
[Ges. Abh.] Gesammelte Abhandlungen, 4 vols., Berlin-Heidelberg: Springer, 1968.
[1913]
[1944]
David Hilbert and his mathematical work, Bull. Amer. Math. Soc., 50
(1944), pp. 612654; Ges. Abh. 4, pp. 130-172.
[1951]
Whitehead (J.)
[Works] The Mathematical Works of J.H.C. Whitehead 3 vols., Oxford-London:
Pergamon Press, 1962.
Whitney (H.)
[1936]
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
Abstract
Hilberts 12th problem conjectures that one might be able to
generate all abelian extensions of a given algebraic number eld
in a way that would generalize the so-called theorem of Kronecker and Weber (all abelian extensions of Q can be generated
by roots of unity) and the extensions of imaginary quadratic elds
(which may be generated from values of modular and elliptic functions related to elliptic curves with complex multiplication). The
rst part of the lecture is devoted to the false conjecture that
Hilbert made for imaginary quadratic elds. This is discussed
both from a historical point of view (in that Hilberts authority
prevented this error from being corrected for 14 years) and in
mathematical terms, analyzing the algebro-geometric interpretations of the dierent statements and their respective traditions.
After this, higher-dimensional analogues are discussed. Recent
developments in this eld (motives, etc., also Heegner points) are
mentioned at the end.
R
esum
e
Le douzi`eme probl`eme de Hilbert propose une facon conjecturale
dengendrer les extensions abeliennes dun corps de nombres, en
generalisant le theor`eme dit de Kronecker et Weber (toutes les
extensions abeliennes de Q sont engendrees par des racines de
SOCIET
DE FRANCE 1998
244
N. SCHAPPACHER
lunite) ainsi que les extensions des corps quadratiques imaginaires (qui sont engendrees par des valeurs de fonctions modulaires et elliptiques liees aux courbes elliptiques a` multiplication
complexe). La premi`ere partie de lexpose est centree autour de la
conjecture incorrecte de Hilbert dans le cas du corps quadratique
imaginaire. Elle est dicutee aussi bien du point de vue historique
(pendant quatorze ans, lautorite de Hilbert empecha la decouverte de cette erreur), que du point de vue mathematique, en analysant les interpretations algebro-geometriques des enonces dierents relatifs a` ce cas et de leurs traditions. On discute ensuite des
analogues en dimension superieure. Les developpements recents
(motifs, etc., aussi points de Heegner) sont mentionnes `a la n.
[ICM 1900, pp. 58-114] (French translation by L. Laugel of an original German version),
[Hilbert 1901] (denite German text), cf. [Alexandrov 1979].
2
[Reid 1970, p. 81f]. See also Enseign. Math., 2 (1900), pp. 349-355.
3
Obituary Notice for Hilbert in Nature, 152 (1943), p. 183. I am grateful to J. Milne for
giving me this reference. In [ICM 1932, p. 37], one reads about Hilbert presiding over this
rst general talk of the Z
urich congress: Der Kongress ehrt ihn, indem die Anwesenden
sich von ihren Sitzen erheben.
` 3
SEMINAIRES
ET CONGRES
245
The present article covers in detail a period where a number of initial mistakes by most mathematicians working on the problem were nally straightened out. At the end of the 1920s the explicit class eld theory of imaginary
quadratic elds was established and understood essentially the way we still see
it today. However, the higher dimensional theory of singular values of Hilbert
modular forms remained obscure. Later developments are briey indicated in
the nal section of the paper.
What I describe here in detail is a comedy for us who look back. It is
genuinely amusing to see quite a distinguished list of mathematicians pepper
their contributions to Hilberts research programmme with mistakes of all
sorts, thus delaying considerably the destruction of Hilberts original conjecture which happened to be not quite right. The comedy is at the same time
a lesson on how, also in mathematics, personal authority inuences the way
research progresses or is slowed down. It concerns the condition of the
small group of researchers who worked on Hilberts 12th problem. The errors
made are either careless slips or delusions brought about by wishful thinking
which was apparently guided by Hilberts claim. The authors were just not
careful enough when they set up a formalism which they controlled quite well
in principle (a weakness in the formalism may, however, be behind the big
error in Webers false proof of the KroneckerWeber Theorem see section 2 below). Meanwhile Hilbert was conspicuously absent from the scene
after 1900.4 This is also not atypical for the comedy where the characters
are mostly left to themselves when it comes to sorting out their complicated
situation:
Say, is your tardy master now at hand? ...
Ay, Ay, he told his mind upon mine ear.
Beshrew his hand, I scarce could understand it.
Spake he so doubtfully, thou couldst not feel his meaning?
Nay, he struck so plainly, I could too well feel his blows; and
withal so doubtfully, that I could scarce understand them.
(Shakespeare, The comedy of errors, II-1)
The history of complex multiplication has already received a certain attention
in the literature see in particular the well-researched book [Vladut 1991].
Apart from newly introducing a few details into the story, my main dierence
4
Hilbert did intervene indirectly, as thesis advisor. As such he should have been better
placed han anybody else to see, for example, that Takagis thesis of 1901 produced extensions
that provided counterexamples to Fueters thesis of 1903... See section 3 below.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
246
N. SCHAPPACHER
1.
Coming back to the features of a good problem stated at the beginning, let us
look at the motivation which Hilbert chose for his 12th problem. He quoted
two results.
First, a statement going back to Kronecker, as Hilbert says, and which
is known today as the Theorem of Kronecker and Weber. It says that every
Galois extension of Q with abelian Galois group is contained in a suitable
cyclotomic eld, i.e., a eld obtained from Q by adjoining suitable roots of
unity. This was indeed a theorem at the time of the Paris Congressalthough
not proved by the person Hilbert quoted. . . We will briey review the history
of this result in section 2 below.
Second, passing to Abelian extensions of an imaginary quadratic eld,
Hilbert recalled the Theory of Complex Multiplication. As Hilbert puts it:
Kronecker himself has made the assertion that the Abelian equations
in the domain of an imaginary quadratic eld are given by the transformation equations of the elliptic functions [sic! ] with singular moduli so that,
according to this, the elliptic function [sic! ] takes on the role of the exponential function in the case considered before.5 The slight incoherence of
this sentence, which goes from certain elliptic functions (pluralas in Kro5
` 3
SEMINAIRES
ET CONGRES
247
,
(z, ) = 2 +
z
(z m n)2 (m + n)2
m,n
For instance [Kronecker 1877, p. 70], [Kronecker 1880, p. 453]. Cf. section 4 below.
Laugel missed this in his French translation of the text [ICM 1900, p. 88f], and thereby
blurred the meaning of the sentence.
8
. . . diejenigen Funktionen . . . , die f
ur einen beliebigen algebraischen Zahlk
orper die
entsprechende Rolle spielen, wie die Exponentialfunktion f
ur den K
orper der rationalen
Zahlen und die elliptische Modulfunktion f
ur den imagin
aren quadratischen Zahlk
orper.
[Hilbert 1901, 313].
7
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
248
N. SCHAPPACHER
where the prime restricts the summation to pairs (m, n) = (0, 0).
Also Kronecker seems to have reserved the term elliptic function for
these doubly periodic functions which depend on two parameters: the lattice
(or the modulus, in a terminology going back to Legendre) and a complex
number z modulo the lattice. His frame of reference for the theory of these
functions was Jacobis formalism, not Weierstrasss, but since the translation
back and forth between these two formalisms was routine by the end of the
19th century, we do not elaborate on this here.
However, when Kronecker speaks of transformation equations of elliptic
functions as he does in the very passage that Hilbert picked up, this may
be ambiguous in that the transformations aect in general both parameters.
So as an extreme case these transformation equations might describe functions which no longer depend on the point variable z at all, and behave with
respect to the lattice-variable like a modular function. As a matter of fact,
in another key passage where Kronecker states his Jugendtraum, he mentions
two dierent sorts of algebraic numbers to be used to generate the Abelian
extensions of an imaginary quadratic eld: the singular moduli of elliptic
functions, and those values of elliptic functions with a singular modulus
where the complex argument (i.e., z, in our notation) is rationally related to
the periods.9
Today, one calls singular moduli the values j( ) for those H which
satisfy a (necessarily imaginary) quadratic equation over Q. In Kronecker,
modulus has to be understood as alluding to the quantity k or in Legendres normal form of the elliptic integrals, or in Jacobis formalism. Once
the Weierstrass formalism is set up, j( ) may be rationally expressed in k2 .
Regardless of the formalism, the term singular modulus always characterizes
the cases with an imaginary quadratic ratio between the basic periods.
We will review in section 4 below the arguments about what Kronecker
actually conjectured concerning the explicit generation of all Abelian extensions of an imaginary quadratic number eld. For the time being, we continue
to discuss Hilberts presentation of his 12th problem.
A comparison between both cases that Hilbert chose as motivation brings
out very clearly the picture he had in mindand which he also attributed to
Kronecker:
If the ground eld is Q, there is the analytic function x eix
which has the property that, if we substitute elements x of the
9
` 3
SEMINAIRES
ET CONGRES
249
given eld Q into it, the values eix generate all Abelian extensions
of Q.
If the ground eld K is imaginary quadratic, then there is the
analytic function j( ) which has the property that, if we
substitute elements of the given eld K into it, the values j( )
generate all Abelian extensions of K.
The rst statement is the Kronecker-Weber theorem. The second statement
is false. First of all, it is false for the trivial reason that roots of unity generate
Abelian extensions of K which cannot in general be obtained from singular
j-values. Since Hilberts prose is not very formal, and since roots of unity
were already brought into the game in the rst step, to generate the Abelian
extensions of Q, we may naturally correct the second statement to mean that
all Abelian extensions of K can be generated by roots of unity and singular
values j( ), K. This is how Hilberts claim was understood by those
who worked on the problem: Fueter, Weber, Hecke, Takagi, Hasse. But this
statement is still wrong, as we know today: one does need other functions, for
instance, suitable values (z, ), for K and rational z, to get all Abelian
extensions of K.
We will discuss Hilberts wrong conjecture and its inuence on the work
in the area in section 3 below. We will review the argument against Hilberts
historic claim (to the eect that Kronecker had had the same conjecture in
mind) in section 4. For now, let us just try to understand the beautifully
simple image that Hilbert is trying to convey to usnever mind that it is
mathematically incorrect and probably also not what Kronecker conjectured.
If what Hilbert claims were true, this would indicate a marvellous economy
of nature, which provided just one function for all imaginary quadratic elds
at once, giving all Abelian extensions by simply evaluating it at the elements
of the base eld in question.
Hilbert assumed that what he saw as Kroneckers conjecture would be
proved without much trouble by a slight renement of the already existing
elements of class eld theory.10 It is with this optimistic picture in mind that
he then formulated the general problem (cf. [Fueter 1905, p. 197]): Given
a eld K of nite degree over Q, to nd analytic functions whose values at
suitable algebraic numbers generate all Abelian extensions of K. Here Hilbert
had actually more up his sleeves than one can guess from the rather general
10
Der Beweis der Kroneckerschen Vermutung ist bisher noch nicht erbracht worden; doch
glaube ich, da derselbe auf Grund der von H. Weber entwickelten Theorie der komplexen
Multiplikation unter Hinzuziehung der von mir aufgestellten rein arithmetischen S
atze u
ber
Klassenk
orper ohne erhebliche Schwierigkeiten gelingen mu. [Hilbert 1901, p. 311f].
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
250
N. SCHAPPACHER
2.
. . . ergiebt n
amlich das bemerkenswerthe . . . Resultat: da die Wurzel jeder Abel schen
Gleichung mit ganzzahligen Co
ezienten als rationale Function von Wurzeln der Einheit
dargestellt werden kann. . .
12
[Neumann 1981, p. 120]. Much of the present section owes to this careful article.
13
There are 27 bound volumes of handwritten notes. They belonged to Kurt Hensel.
After Hensels death, in the Summer of 1942, several hundred items of his personal mathematical library were sold by his daughter-in-law to the (Nazi) Reichs-Universit
at Straburg.
` 3
SEMINAIRES
ET CONGRES
251
SOCIET
DE FRANCE 1998
252
N. SCHAPPACHER
` 3
SEMINAIRES
ET CONGRES
253
ius in G
ottingen; dann geht er nach Straburg, wo er 1913 stirbt. Er ist eine schmiegsame
und doch wieder energische Natur und besitzt eine wunderbare F
ahigkeit, leicht in ihm
zun
achst fremde Auassungen einzudringen, so z.B. in die Riemannsche Funktionentheorie
und die Dedekindsche Zahlentheorie. Diese seine Anpassungsf
ahigkeit hat es ihm erm
oglicht,
auf fast allen Gebieten unserer Wissenschaft in den letzten Dezennien mitzuarbeiten und
die umfassenden Lehrb
ucher, den Weber-Wellstein, den Riemann-Weber, die Algebra zu
schaen, die wir alle kennen und benutzt haben. Seiner Mitwirkung an der Herausgabe von
Riemanns Werken 1876 wurde bereits gedacht; die zweite Auage 1892 hat Weber allein
besorgt. [Klein 1926, p. 275].
23
See the excerpt [Frobenius 1911] from the letter of Frobenius to Weber, 19 June 1909,
in NSUG 8 Cod. Ms. philos. 205, which corrects some aws in Webers preceding proof
[Weber 1909], and suggests the simpler arguments for the following paper [Weber 1911]. Cf.
the surrounding letters by Frobenius in NSUG, loc. cit.
24
See for instance [Weber 1896, p. 209, formula (7)]. This formula is incorrect as soon as
the radicals and the roots of unity entering into the resolvent form extensions of Q which
are not linearly disjoint. Personally, I hit upon this problem when I proposed to Mlle A.
Rauch a m
emoire de matrise with a view to rewriting Webers proof in modern notation.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
254
3.
N. SCHAPPACHER
Around the turn of the century a number of Hilberts students were involved
in a research programme one of the centres of which was Hilberts 12th problem. For the more arithmetic development of class eld theory, one has to
mention in particular Ph. Furtwangler and F. Bernsteinsee the 1903 volume
of the G
ottinger Nachrichten. On what was then seen as the function theoretic side of the problem, there was O. Blumenthal, and later E. Heckesee
section 5 below. But it was the Swiss mathematician Rudolf Fueter who attacked the 12th problem head on in [Fueter 1903, 1905], adopting the following
philosophy which, one may assume, was inspired by Hilbert.
Suppose that, for a given number eld K say, Galois over Q, as Fueter
always assumes , analytic functions have been constructed certain singular
values of which generate a lot of Abelian extensions of K. We would then
like to have a general class eld theoretic method to prove that these values
suce to generate all Abelian extensions of K. The method proposed by
Fueter comes down to the observation that we are done if we can show that
all ray class elds are contained in what the special values give us. Indeed,
it would follow from the Hauptsatz of chapter IV [Fueter 1905, p. 232] that
every Abelian extension of K is contained in a suitable ray class eld. The
execution of this strategy in [Fueter 1905] is, however, invalidated in the case
of Abelian extensions of even degree by a group theoretical mistake in the
reduction steps of the rst chapter [Fueter 1905, p. 207].25
Still, Fueters strategy could have very well led to a timely destruction of
Hilberts overly optimistic claim. For the convenience of the reader, let us
explain this in the classical ideal theoretic language of class eld theory, say,
like in [Hasse 1926a]. A comparison with [Fueter 1905], and in particular with
[Weber 1908] shows that such a refutation of Hilberts claim would have been
well within the reach of these authors at the beginning of the century.26
Let K be an imaginary quadratic number eld, and oK its ring of integers.
The values j( ), K H, are precisely the j-invariants of lattices a C
such that the ring of multipliers of the lattice, oa : = { C | a a}, is
an order in K, i.e., is of the form oa = of = Z + f oK , for some integer
f 1. Now, given such an order of , the extension Kf = K(j(a)) does not
depend on the lattice a such that oa = of . In fact, all of these values j(a)
are conjugate over K, and their number equals the class number of proper
See [Fueter 1914, p. 177f, note ].
A modern, extremely concise justication of the claims which we will use can be obtained
from [Serre 1967].
25
26
` 3
SEMINAIRES
ET CONGRES
255
r (modf ),
gcd(, f ) = 1
for some rational number r depending on see [Weber 1908, 124]. Today
this eld is called the ring class eld of K modulo f , a terminology going back
to Hilbert.
Since roots of unity generate the ray class elds of Q, the Abelian extension
of K generated by Kf and by the f -th roots of unity corresponds to the group
of principal ideals generated by elements
r (modf ),
r 2 1 (modf ),
gcd(, f ) = 1
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
256
N. SCHAPPACHER
What he did not mention in this letter was the work of his own student
Daniel Bauer at Strasbourg who submitted his dissertation [Bauer 1903] that
same year. There Bauer studies the following conjecture which Weber had
made in a vague formin agreement with Hilberts conjecture, although Weber probably wrote this down before Hilberts lecture at the Paris ICM in
his encyclopedia article [Weber 1900, end of 11, p. 731]. Let a C be as
quadratic
eld K.
above a lattice such that oa is an order of the imaginary
(Bauers thesis excludes the cases where K = Q( 3), Q( 4), i.e., where
oK has extra units besides 1). Let m be any oK -ideal prime to the conductor of oa . Dene the m-th Teilungsk
orper Tm to be the extension of K(j(a))
generated by the m-division points of Webers -function associated to the
lattice a. In the cases without extra units (the only ones that Bauer considers), this is just a weight zero variant of the Weierstrass -function: up to a
a)g3 (a)
(z; a). Today we may say that Tm is the
rational factor, (z) equals g2 ((
a)
eld generated over K(j(a)) by the x-coordinates of the points annihilated by
all elements of m, on a model dened over K(j(a)) of the elliptic curve C/a.
Tm is certainly Abelian over K(j(a)). Weber suggests [loc. cit.] that these
Teilungsk
orper are always contained in suitable composites of ring class elds
of K and cyclotomic elds.
Bauer purports to prove that, if m = p oK , for an odd prime number p,
then the eld generated over K by Kp and the p-th roots of unity coincides
with Tm [Bauer 1903, p. 4 and p. 32f]. This cannot be quite right in the
case where p splits into the product of two prime ideals in oK , because then
we may choose, in the class eld theoretic analysis of the elds in question,
dierent signs at the prime divisors of p. I have not traced down Bauers
arguments. They are coached in terms of Jacobis elliptic function sn rather
than Webers .
In the third volume of his Lehrbuch der Algebra, Weber [1908] discusses
elds called Teilungsk
orper at various places, rst in 154. There he considers
the elds Tm dened above, under the additional assumption that oa = oK ,
so that K(j(a)) is the Hilbert class eld K1 of K. Taking division values
of the -function, rather than the eld generated by both coordinates of the
m-torsion points of an elliptic curve isomorphic to C/oK dened over K1 ,
can be seen today to be the geometric analogue of the fact that we cannot
distinguish between 1 in the ray condition. Note in passing that adjoining all
the coordinates of torsion points does not in general give Abelian extensions
of K.29
29
This is related to a condition introduced by Shimura into the theory of Abelian varieties
with complex multiplication. For the case of elliptic curves, see for instance [Schappacher
1982].
` 3
SEMINAIRES
ET CONGRES
257
Hasse in his particularly tidy work [Hasse 1927] showed how to construct
the ray class elds of K directly from these Teilungsk
orper Tm . Weber however, for technical reasons, was led, in the third part of [Weber 1897-98]
as well as in [Weber 1908], to work with more complicated elds, replacing
the -function by certain quotients of theta series. These elds he still calls
Teilungsk
orper , and denotes them by the same symbol Tm [Weber 1908, 158,
end]. As Hasse points out in [Hasse 1926a, p. 55], Weber even gets caught up
in a confusion between the two sorts of elds in [Weber 1908, 167, (5)]. Let
us gloss over this additional problem here. Then Weber nally derives for his
Teilungsk
orper Tm in [Weber 1908, 167] a class eld theoretic description
which in our language pins them down as the ray class elds of K, modulo
given ideals m of oK .30
Then he sets out in [Weber 1908, 169] to show that the ray class elds
can be indeed generated over K by singular moduli and roots of unity. If m
is an ideal of oK dividing the rational integer f , Weber wants to conclude
the congruence 1 (mod m) from the conditions r (modf ), r 2
1 (modf ). Now, this is alright if m is the power of a prime ideal of oK not
dividing 2. But Weber thinks he can always reduce to this case without loss of
generality. In fact, at the end of [Weber 1908, 158], he had claimed that any
orper Tn with n equal
Teilungsk
orper Tm was the composite of various Teilungsk
to powers of prime ideals. This were true if he had adjoined all the coordinates
of torsion points, not just division values of particular functions. Translating
back to the characterization by ray class groups, Weber overlooked precisely
the possibility of choosing dierent signs in 1 modulo dierent prime factors
of m.
This is how Weber missed his chance to disprove Hilberts claim in the
third volume of his Lehrbuch der Algebra [Weber 1908, 169].31
As late as 1912 Erich Hecke, another thesis student of Hilberts, assures us
in the preface to his thesis [Hecke 1912] that Fueter has proved Hilberts claim
in [Fueter 1905, 1907]. He is careful to add, however, a footnote to the eect
that Fueter will ll a few gaps in his proof in a book soon to be published. As a
matter of fact, this book was to appear only in 1924, more than 20 years after
Fueter had begun working on the problem under Hilberts guidance (and then
it was promptly mauled by Hasse in his merciless review [Hasse 1926b]. . . ).
Ten years before the book, one year after Heinrich Webers death, the general
agreement on Hilberts claim had nally come to an end in [Fueter 1914].
30
For details see [Hasse 1926a, p. 43f]. Even though this is not at all recalled in the later
sections of Viertes Buch of [Weber 1908], it seems that Weber actually restricts attention
to ideals m prime to 2 all along.
31
One more incorrectness in this part of [Weber 1908] is mentioned in [Hasse 1926a, p. 55].
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
258
N. SCHAPPACHER
32
Ist dagegen die K
orperklassenzahl von 1 verschieden, so verlangt die Untersuchung ein
Eingehen auf die funktionentheoretische Seite des Problems. Diese Betrachtungen habe ich
noch nicht durchgef
uhrt, sie w
urden auch zu weit abseits f
uhren. Ich werde dieses Problem
in einem Teubnerschen Lehrbuche im Zusammenhange darstellen. Doch glaube ich, da
die zahlentheoretische Seite durch meine Entwicklungen ausreichend gef
ordert ist. [Fueter
1914, p. 255].
` 3
SEMINAIRES
ET CONGRES
259
books and journals from Germany anymore. [Katsuya 1995, p. 116] But at
least in some ways Takagis ne article of 1920 was the culmination of almost
20 years of work and calls for a ashback. In fact, Takagi had been, so to say,
a member of the club all alongyet remained an outsider at the same time.
He had come to Germany in 1898 to study, rst with Frobenius in Berlin, and
as of Spring 1900 with Hilbert in Gottingen. It was Hilbert who supervised
his thesis [Takagi 1903] which Takagi nished writing in the Spring of 1901
and submitted to the Imperial University of Tokyo.
Even if Takagis anecdotal account diminishes Hilberts direct guidance
of the thesis [Iyanaga 1990, p. 357], the inuence of the master is evident
throughout the thesis: The short introduction, which the author (humbly?)
calls almost superuous33, uses close reformulations of sentences from
Hilberts text on the twelfth problem. In particular, Takagi also states
Kroneckers conjecture quoting the ambiguous transformation equations of
the elliptic functions with singular moduli. He does not elaborate at all
on the meaning of this. What he does in his dissertation is actually quite
dierent in spirit from Hilberts version of Kroneckers conjecture, although
inspired by another work of Hilberts in the area:
Fixing the base eld K = Q(i), Takagi shows that all Abelian extensions
of K are contained in the extensions of K generated by division values of
the lemniscatic elliptic function, i.e., essentially of the Weierstrass -function
associated to the elliptic curve y 2 = x3 x. The method is to transfer Hilberts
proof of the Kronecker-Weber theorem [Hilbert 1896] to the lemniscatic case.34
So from his very rst exposure to the problem Takagi was oriented towards division elds rather than general ring class elds. This orientation
can be clearly traced through his subsequent publications on complex multiplication.35 His decisive contribution [Takagi 1920] is therefore also the fruit
33
Diese fast u
ussigen Einleitungsworte schliesse ich mit dem Ausdruck herzlichsten
ber
Dankes an den Herrn Prof. Hilbert in G
ottingen, dessen Anregung diese Erstlingsarbeit ihr
Entstehen verdankt [Takagi 1903, p. 13]. This sentence seems to contradict the abovementioned anecdote according to which Takagi simply told Hilbert what he was working on
and Hilbert accepted. . . It is presumably because he did not get his doctorate in G
ottingen
that Takagi is missing from the Verzeichnis der bei Hilbert angefertigten Dissertationen
in the third volume of Hilberts Gesammelte Abhandlungen, 1970, pp. 431433.
34
Takagi himself points out in [Takagi 1920, p. 145, footnote 3] a mistake in [Takagi 1903,
p. 28]. Cf. our footnote 27 above. Another mistake, concerning [Takagi 1903, p. 29, H
ulfssatz
1], is noted and briey discussed by Iwasawa in [1990, p. 343, footnote 2]. Note that the
lemniscatic analogue of the Kronecker-Weber theorem is already claimed, at least vaguely,
in [Kronecker 1853, p. 11]. The article [Masahito 1994] (which is not always easy to follow,
but certainly insists on the importance of the lemniscatic case for the prehistory of complex
multiplication in the 19th century) does not mention Takagis thesis.
35
See Nos 7, 9, and 10 of Teiji Takagi, [Papers, pp. 342351].
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
260
N. SCHAPPACHER
4.
Kroneckers Jugendtraum
` 3
SEMINAIRES
ET CONGRES
261
moduli to division values [Hasse 1930, p. 514] which is another major argument to show that Hilberts interpretation of the Jugendtraum was not
that intended by Kronecker.
A mathematical reason for coupling both kinds of functions, which is very
close to the way we view things today, is that division values make (geometric)
sense only over a eld of denition of the corresponding (geometric) object,
which in the case at hand is the eld generated by the corresponding singular
modulus. It seems hard to decide how much of this geometric perspective
may have been present already in Kronecker or Weber.37 It yields an understanding of the analogy between the Kronecker-Weber theorem and the
Jugendtraum which is completely dierent from Hilberts point of view in his
12th problem. See section 6 below.
Hasse [1930] wrote his thorough philological analysis as a kind of penitence. For he had never cared before to check Hilberts historical claim
(repeated in particular by Fueter, see for instance [Fueter 1905]) that Kroneckers Jugendtraum was precisely what Hilbert expected: the generation
of all Abelian extensions of an imaginary-quadratic eld by singular moduli
and roots of unitythis is what is called interpretation (a) of the Jugendtraum in [Hasse 1930]. Thus in [Hasse 1926a, p. 41], he had still written that
Kroneckers conjecture . . . turns out to be only partially correct. Now, in
[Hasse 1930, p. 515], he went so far as to conclude that if Kronecker had any
precise formulation of his Jugendtraum-theorem in mind at all, then it can
only be what is called interpretation (b) in [Hasse 1930], i.e., the generation
of all Abelian extensions of an imaginary-quadratic eld by singular moduli
and division values.
I nd little to add to Hasses study of this historical issue, if one accepts
the question the way he poses it. In particular, Hasse shows convincingly by
quoting from other places in Kronecker why the term transformation equations appearing in the Jugendtraum quote in [Kronecker 1880] introduces an
ambiguity of meaning, and he argues carefully to show that Kronecker was
indeed envisaging to use both kinds of algebraic quantities to generate all
Abelian extensions of imaginary-quadratic elds: singular moduli as well as
division values of corresponding elliptic functions.
On the other hand, it seems only fair to say that a casual reading of [Kronecker 1880], especially from the middle of page 456 on where Kronecker mentions only singular moduli explicitly, can easily create the impression that
Kronecker did want to do without the division values, which would amount
to Hilberts claim. Adding to this Hilberts optimistic conviction that this
37
For the same reason we do not think that Vladuts remark [1991, p. 79, last paragraph]
concerning interpretation (c), of the Jugendtraum in [Hasse 1930] is historically sensible.
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
262
N. SCHAPPACHER
claim was correct, and t into a beautiful general picture, Hilberts double
errormathematical and historicalreduces to a minor slip. What we have
shown is how long this double slip could survive, carried as it were by Hilberts
tremendous authority.
But when we look at this story, we have to be careful not to forget how
dierently we are programmed today in these matters: For us, moduli tend
to be points on a moduli scheme and thus represent algebro-geometric objects
as such, whereas division values suggest Galois representations, which will be
Abelian in the presence of complex multiplicationsee section 6 below. Such
a conceptual separation of the two kinds of singular values that Kronecker
brought into play did not exist at the turn of the century. For instance, the
chapter Multiplication und Theilung der elliptischen Funktionen in [Weber 1891] culminates in a 68 about Reduction of the division equation to
transformation equations. And Kronecker himself once stated this continuity
very forcefully that he saw between the two notions in the case of complex
multiplication.38
5.
` 3
SEMINAIRES
ET CONGRES
263
needed (h the class number of the eld in question). This error was passed on
to the second student that Hilbert sent into this eld, Erich Hecke. He was to
explore the application of Hilbert modular forms to the 12th problem in the
case of a real quadratic eld in his thesis [Hecke 1912]. Exploiting a relation
with theta functions which was found by Hilbert,41 Hecke has at his disposal
a Hilbert modular function analogous to the j-function of the elliptic case
(but not holomorphic in the fundamental domain), and he wants to generate
interesting Abelian extensions of a totally imaginary quadratic extension of
the given real quadratic eld by suitable special (singular) values of this
Hilbert modular function. He does obtain a statement in this direction in
his dissertation [Hecke 1912, p. 57], but the result is far from satisfactory, as
Hecke is the rst to point out.
In his Habilitationsschrift [Hecke 1913], he then tries to go further by
taking a Hilbert modular function which is regular everywhere in the fundamental domain. Since such a function has to be constant, this work is strictly
speaking empty. To get some impression of what Hecke does manage to understand in spite of his impossible function, one may take a modern point
of view, and say that he is developing part of the theory of Abelian surfaces
with complex multiplication. In this language, one of the surprising features
of the theory that Hecke discovers is the fact that CM-eld and reex eld
are in general dierentsee for instance [Hecke 1913, p. 70].
It is with reference to this that Andre Weil speaks of Heckes audace
stup
eante to tackle a theory for which the time was clearly not yet ripe [Weil
uvres II, art. 1955 c, d]. This critical compliment should be transferred
at least partly to Hilbert who had become convinced, with his tremendous
mathematical optimism, of the sweeping perspective which he wrote into his
12th problem.
6.
The focus of this paper was on the comedy of errors which arose from
Hilberts formulation of Kroneckers Jugendraum. This story may leave the
41
Die interessanteste Analogie mit den Modulfunktionen aber bezieht sich auf den
Zusammenhang der neuen Funktionen mit dem Transformationsproblem der -Funktionen
mehrerer Ver
anderlicher. Herr Hilbert zeigt hier, da seine Funktionen bei diesem Problem eine ganz
ahnliche Rolle spielen, wie die Modulfunktionen in Bezug auf die elliptischen
Funktionen. Er leitet insbesondere eine Formel ab, aus der sich schlieen l
at, da man
zu Funktionen des Fundamentalbereichs gelangen kann, indem man Quotienten von ThetaNullwerten bildet. [Blumenthal 1903b, p. 510]; see also [Blumenthal 1904b].
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
264
N. SCHAPPACHER
` 3
SEMINAIRES
ET CONGRES
265
Ceterum principia theori, quam exponere aggredimur, multo latius patent, quam hic
extenduntur. Namque non solum ad functiones circulares, sed pari successu
multas alias
R ad
dx
functiones transcendentes applicari possunt, e.g. ad eas qu ab integrali (1x
4 ) pendent,
prtereaque etiam ad varia congruentiarum genera. . . ; see [Schappacher 1997].
43
See [Schappacher 1997], cf. [Vl
adut 1991, chap. 3 and chap. 4, in particular pp. 74
76]. Note that Eisensteins special case can be conveniently used to settle the normalizing
property needed in the identication of the Taniyama group, and the simultaneous proof of
the generalization due to Deligne and Tate of the Shimura-Taniyama reciprocity law; see
[Schappacher 1994, 4.4.4].
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
266
N. SCHAPPACHER
Bibliography
Unpublished sources
NSUG = Nieders
achsische Staats- und Universitatsbibliothek Gottingen, Abteilung
f
ur Handschriften und seltene Drucke.
` 3
SEMINAIRES
ET CONGRES
267
NSUG Cod. Ms. D. Hilbert 422, 35 letters from Heinrich Weber to David Hilbert,
dated between 1885 and 1912; in the Hilbert Nachla.
NSUG 8 NSUG 8 Cod. Ms. philos. 205, 37 letters from various authors, most of
them to Heinrich Weber; obituary notice of Heinrich Weber with handwritten notes
by David Hilbert. The documents were in Hilberts possession and were given to
NSUG after his death.
Published sources
Alexandrov (P.S.) (ed.)
[1979]
Bauer (D.)
[1903]
Uber
den Teilungsk
orper der elliptischen Funktionen mit singul
arem
Modul, diss. Strasbourg.
Blumenthal (O.)
[1903a]
[1903b]
Uber
Modulfunktionen von mehreren Veranderlichen, Math. Ann., 56
(1903), pp. 509548.
[1904a]
[1904b]
Uber
Thetafunktionen und Modulfunktionen mehrerer Veranderlicher,
Jahresber. Deutsch. Math.-Verein., 13 (1904), pp. 120132.
[1904c]
Uber
Modulfunktionen von mehreren Veranderlichen, II, Math. Ann., 58
(1904), pp. 497527.
Bourbaki (N.)
ements dhistoire des math
[1984]
El
ematiques. Paris: Masson, 1984.
Cebotarev
(N.)
[1924]
Craig (J.E.)
[1984]
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
268
N. SCHAPPACHER
Deuring (M.)
[1953-57]
[1954]
Eisenstein (G.)
[1850]
Uber
die Irreductibilitat und einige andere Eigenschaften der Gleichung,
von welcher die Theilung der ganzen Lemniscate abhangt...; J. Reine
Angew. Math., 39 (1850) pp. 160179, 224287.
Franci (R.)
[1992]
Frei (G.)
[1989]
Heinrich Weber and the emergence of class eld theory, in The History of
Modern Mathematics, vol. I: Ideas and their Reception (edited by Rowe
and McCleary), San Diego: Academic Press, pp. 424450.
[1995]
Frobenius (G.)
[1911]
Fueter (R.)
[1903]
Der Klassenk
orper der quadratischen K
orper und die komplexe Multiplikation. Ph.D. thesis, Gottingen.
[1905]
[1907]
Die Theorie der Zahlstrahlen, II, J. Reine Angew. Math., 132 (1907),
pp. 255269.
[1914]
` 3
SEMINAIRES
ET CONGRES
[1924]
269
Vorlesungen u
aren Moduln und die komplexe Multiplikation
ber die singul
der elliptischen Funktionen, I, Leipzig-Berlin: Teubner, 1924.
Greenberg (M.)
[1974-75]
Hasse (H.)
[1926a]
Bericht u
ber neuere Untersuchungen und Probleme aus der Theorie der
algebraischen Zahlkorper, Jahresber. Deutsch. Math.-Verein., 35 (1926),
pp. 155. I quote from the book edition, W
urzburg-Wien: Physica, 1970.
[1926b]
[1927]
Neue Begr
undung der komplexen Multiplikation, J. Reine Angew. Math.,
157 (1927), pp. 115139; see also Mathematische Abhandlungen 2, BerlinNew York: de Gruyter, 1975, pp. 327.
[1930]
Hecke (E.)
[1912]
H
ohere Modulfunktionen und ihre Anwendung auf die Zahlentheorie,
Math. Ann., 71 (1912), pp. 137; see also Mathematische Werke, Gottingen: Vandenhoeck 1959, pp. 2158.
[1913]
Uber
die Konstruktion relativ-abelscher Zahlkorper duch Modulfunktionen von zwei Variablen, Math. Ann., 74 (1913), pp. 465510; Math.
Werke, pp. 69114.
Hilbert (D.)
[Ges. Abh.] Gesammelte Abhandlungen,
Springer 1970.
vols.,
Berlin-Heidelberg-New York:
[1896]
[1901]
ICM
[1900]
[1932]
SOCIET
DE FRANCE 1998
270
N. SCHAPPACHER
Iwasawa (K.)
[1990]
Iyanaga (S.)
[1990]
On the life and works of Teiji Takagi, in Takagi Papers, pp. 354371.
Katsuya (M.)
[1995]
The establishment of the TakagiArtin class eld theory, in The intersection of history and mathematics (edited by C. Sasaki, M. Sugiura and
J.W. Dauben), vol. 15 of Science networks, Historical Studies, BaselBoston: Birkh
auser, 1995, pp. 109128.
Klein (F.)
[1926]
Vorlesungen u
ber die Entwicklung der Mathematik im 19. Jahrhundert,
vol I, Berlin: Springer, 1926.
Kronecker (L.)
[Werke]
[1853]
Uber
die algebraisch auosbaren Gleichungen, Monatsber. Akad. Berlin
(20.6.1853), (1853), pp. 365374; Werke IV, pp. 311.
[1856]
Uber
die algebraisch auosbaren Gleichungen, Monatsber. Akad. Berlin
(14.4.1856), (1856), pp. 203215; Werke IV, pp. 2537.
[1857]
Uber
die elliptischen Funktionen, f
ur welche komplexe Multiplikation
stattndet, Monatsber. Akad. Berlin (29.10.1857), (1857), pp. 455460;
Werke IV, pp. 179183.
[1877]
Uber
Abelsche Gleichungen, Monatsber. Akad. Berlin (16.4.1877), (1877),
pp. 845851; Werke IV, pp. 6371.
[1880]
Manegold (K.)
[1970]
Universit
at, technische Hochschule und Industrie. Ein Beitrag zur
Emanzipation der Technik im 19. Jhd. unter besonderer Ber
ucksichtigung der Bestrebungen Felix Kleins, Schriften zur Wirtschafts- und
Sozialgeschichte, 16 (1970), Berlin.
Masahito (T.)
[1994]
` 3
SEMINAIRES
ET CONGRES
271
Neumann (O.)
[1981]
Poincar
e (H.)
[1901]
Reid (C.)
[1970]
Schappacher (N.)
[1982]
Une classe de courbes elliptiques `a multiplication complexe, in Seminaire de Theorie des Nombres, Paris 1980-81, vol. 22 of Progress in
Mathematics, Birkhauser, pp. 273279.
[1994]
[1997]
Serre (J.P.)
[1967]
[1968]
Abelian !-adic Representations and Elliptic Curves, Benjamin 1968; reissued by Addison-Wesley, 1989.
(I.)
Safarevi
c
[1951]
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998
272
N. SCHAPPACHER
S
ohngen (H.)
[1935]
Speiser (A.)
[1919]
Takagi (T.)
[Papers]
[1903]
Uber
die im Bereiche der rationalen complexen Zahlen Abelschen Korper,
J. Col. Sci. Imp. Univ. Tokyo, 19-5 (1903), pp. 142; Papers, pp. 13-39.
[1920]
Uber
eine Theorie des relativ Abelschen Zahlkorpers, J. Col. Sci. Imp.
Univ. Tokyo, 41-9 (1920), pp. 1133; Papers, pp. 73167.
du
Vla
t (S.G.)
[1991]
Voss (A.)
[1914]
Washington (L.C.)
[1982]
Introduction to Cyclotomic Fields, vol. 83 of Graduate Texts in Mathematics, New York: Springer, 1982.
Weber (H.)
[1886]
[1891]
[1893]
[1894]
Lehrbuch der Algebra, I, Braunschweig, 1894, second edition 1898. I usually quote the Chelsea reprint of the second edition which contains minor
changes.
[1896]
Lehrbuch der Algebra, II, Braunschweig, 1896, second edition 1899. I usually quote the Chelsea reprint of the second edition which contains minor
changes.
[1897-98]
Uber
Zahlengruppen in algebraischen Zahlkorpern, I, II, III, Math. Ann.,
48 (1897), pp. 433473; 49 (1897), pp. 83100; 50 (1898), pp. 126.
[1900]
` 3
SEMINAIRES
ET CONGRES
273
[1907]
Uber
zyklische Zahlkorper, J. Reine Angew. Math., 132 (1907), pp. 167
188.
[1908]
[1909]
Zur Theorie der zyklischen Zahlkorper, Math. Ann., 67 (1909), pp. 3260.
[1911]
Zur Theorie der zyklischen Zahlkorper, II, Math. Ann., 70 (1911), pp. 459
470.
Weil (A.)
[uvres]
uvres scientiques, 3 vols, New York-Heidelberg: Springer, 1979. References to papers or to commentaries follow the abbreviations introduced
in this edition.
Wollmersh
auser (F.)
[1981]
Zassenhaus (H.)
[1968-69]
E
MATHEMATIQUE
SOCIET
DE FRANCE 1998