Médaille Fields et Prix Nevanlinna 2002

PRIX KYOTO 73
– Prix de l’Union des Assurances de Paris (1989) ;
– Docteur honoris causa de l’Université de Genève (1992) ;
– Prix Wolf (1993) ;
– Leroy P. Steele Prize for a Seminal Contribution to Research, Ame-
rican Mathematical Society (1997) ;
– Membre de l’Institut de France, Académie des Sciences (1997) et
Médaille Lobatchewski (1997) ;
– Prix Balzan (1999).
La Gazette a publié deux articles sur l’œuvre de M. Gromov dans les
numéros 76 et 77 : Marcel Berger, Rencontres avec un géomètre.IetII.
Laurent Lafforgue et Vladimir
Voevodsky médaillés Fields 2002,
Madhu Sudan Prix Nevanlinna 2002
Le 20 août 2002, la médaille Fields ainsi que le prix Nevanlinna ont
été décernés. Les lauréats de la médaille Fields sont Laurent Lafforgue
(IHÉS-France) et Vladimir Voevodsky (IAS-États-Unis) ; le lauréat du
prix Nevanlinna est Madhu Sudan (MIT-États-Unis).
Laurent Lafforgue a réalisé un progrès important concernant le pro-
gramme de Langlands en prouvant la correspondance de Langlands glo-
bale pour les corps de fonctions. Son travail se caractérise à la fois par une
formidable puissance technique, de profondes intuitions et une approche
systématique et tenace.
Le programme de Langlands, formulé par Robert P. Langlands pour
la première fois dans une lettre adressée à André Weil en 1967, est une
collection de conjectures. Ces conjectures sont toutes des « prédictions »
très précises sur les liens qui pourraient exister entre divers domaines des
mathématiques. L’influence du programme de Langlands s’est affirmée au
cours des années, et chaque avancée la concernant a été un pas important.
Une des plus spectaculaires confirmations du programme de Langlands
est venue de la preuve du dernier théorème de Fermat par Andrew Wiles
et des travaux liés à cette preuve qui ont suivi, en particulier la preuve
de la conjecture de Taniyama-Shimura-Weil. Cette conjecture établit que
les courbes elliptiques, qui sont des objets possédant des propriétés arith-
métiques très profondes, ont des liens étroits avec les formes modulaires,
SMF – Gazette – 94, Octobre 2002

SMF – Gazette – 94, Octobre 2002

MÉDAILLE FIELDS ET PRIX NEVANLINNA 2002 75
qui sont des fonctions « hautement » périodiques qui apparurent (dans
un contexte complètement différent) en analyse. Le programme de Lan-
glands propose un canevas de telles relations reliant représentations ga-
loisiennes, issues de la théorie des nombres, et formes automorphes, issues
de l’analyse.
Les origines du programme de Langlands sont à rechercher dans l’un
des résultats les plus profonds de la théorie des nombres, la loi de récipro-
cité quadratique, prouvée par Gauss en 1801. Une importante question
en théorie des nombres est en effet la suivante : lorsque l’on divise deux
nombres premiers, dans quelle mesure le reste est-il un carré parfait ? La
loi de réciprocité quadratique révèle un lien remarquable entre deux ques-
tions apparemment sans lien : « le reste de la division de deux nombres
premiers ppar qest-il un carré parfait ? » et « le reste de la division
de qpar pest-il un carré parfait ? ». En dépit de nombreuses preuves
de la loi de réciprocité quadratique (Gauss lui-même en produisit six
différentes), celle-ci demeura un fait mystérieux en théorie des nombres.
D’autres lois de réciprocité qui s’appliquent dans des situations plus gé-
nérales furent découvertes par Teiji Takagi et par Emil Artin dans les an-
nées 1920. L’une des motivations originales du programme de Langlands
était de fournir une compréhension complète des lois de réciprocité qui
s’appliquent dans des contextes encore plus généraux.
La correspondance de Langlands globale prouvée par Lafforgue donne
cette compréhension complète non pas dans le cas des nombres entiers
mais dans celui, plus abstrait, des corps de fonctions. On peut imaginer
de tels objets comme des quotients de polynômes ; ces quotients pou-
vant être ajoutés, soustraits, multipliés et divisés, exactement comme
des nombres rationnels. Lafforgue a établi, pour n’importe quel corps de
fonctions, un lien précis entre la représentation de son groupe de Galois
et les formes automorphes associées à ce corps de fonctions. Son travail
est bâti sur celui de Vladimir Drinfeld (lauréat de la médaille Fields en
1990), qui, lui, avait prouvé un cas particulier de la correspondance de
Langlands dans les années 1970. Lafforgue est ainsi le premier à avoir
compris comment le travail de Drinfeld pouvait être étendu pour donner
une description complète de la correspondance de Langlands dans le cas
des corps de fonctions.
Au cours de son travail, Lafforgue a développé une nouvelle construc-
tion géométrique qui pourrait s’avérer très importante dans le futur.
L’influence de son travail devrait s’étendre à plusieurs autres domaines
des mathématiques.
Laurent Lafforgue est né le 6 novembre 1966 à Antony, France. Il est
diplômé de l’École Normale Supérieure de Paris (1986). Il est devenu
Chargé de Recherche au CNRS en 1990 et a travaillé pendant plusieurs
SMF – Gazette – 94, Octobre 2002

76 INFORMATIONS
années au sein de l’équipe « Arithmétique et Géométrie Algébrique » de
l’Université Paris-Sud, où il a soutenu sa thèse en 1994. En 2000, il est
devenu Professeur permanent à l’Institut des Hautes Études Scientifiques
de Bures-sur-Yvette, France.
La Gazette des Mathématiciens a publié un article (écrit par Gérard
Laumon) sur les travaux de Lafforgue dans le numéro 88.
Vladimir Voevodsky a réalisé l’une des avancées majeures dans le
domaine de la géométrie algébrique de ces dernières décennies en dévelop-
pant de nouvelles théories cohomologiques pour les variétés algébriques.
Son travail se caractérise par son habileté à développer des idées très abs-
traites avec aisance et à déployer ces idées pour résoudre des problèmes
mathématiquestrèsconcrets.
Les travaux de Voevodsky trouvent leurs racines dans les travaux
d’Alexandre Grothendieck (lauréat en 1966 de la médaille Fields), ma-
thématicien profond et original qui s’est beaucoup penché sur la manière
« d’unifier » les différents domaines des mathématiques. Grothendieck
introduisit des objets, qu’il appela motifs, qui sont en quelque sorte une
passerelle entre la théorie des nombres et la géométrie. Les idées de Gro-
thendieck ont eu une influence majeure sur les mathématiques et ont
inspiré de manière décisive les travaux de Voevodsky.
La notion de cohomologie apparut pour la première fois en topologie,
qui peut être schématiquement appelée la « science des formes ». La to-
pologie étudie les propriétés fondamentales qui ne varient pas lorsque les
objets géométriques sont déformés de façon continue (sans les rompre).
Sur un plan très simplifié, la théorie cohomologique fournit un moyen
de réduire un objet topologique en des morceaux plus simples à étu-
dier. Les groupes cohomologiques permettent de coder la manière avec
laquelle il faut « recoller » les morceaux pour retrouver l’objet original.
Il y a plusieurs façons de le réaliser, l’une d’entre elles est appelée coho-
mologie singulière. Les théories cohomologiques généralisées extraient les
données concernant les propriétés des objets topologiques puis les codent
dans le language des groupes. L’une des plus importantes de ces théories
cohomologiques généralisées, la K-théorie topologique, a été développée
par Michael Atiyah (lauréat de la médaille Fields en 1966). Un des résul-
tats remarquables révèla un lien très fort entre la cohomologie singulière
et la K-théorie topologique.
En géométrie algébrique, les principaux objets étudiés sont les variétés
algébriques, qui sont l’ensemble des solutions d’équations polynomiales.
Les variétés algébriques peuvent être représentées par des objets géomé-
triques comme des courbes ou des surfaces, mais elle sont beaucoup plus
SMF – Gazette – 94, Octobre 2002

MÉDAILLE FIELDS ET PRIX NEVANLINNA 2002 77
« rigides » que les objets topologiques, et donc les théories cohomolo-
giques développées dans le contexte topologique ne sont pas applicables
ici. Depuis environ quarante ans, des mathématiciens ont tenté de fournir
de bonnes théories cohomologiques pour les variétés algébriques ; l’une
des mieux comprises fut la version algébrique de la K-théorie. Une avan-
cée majeure fut réalisée lorsque Voevodsky, partant d’une idée profonde
mais passée un peu inaperçue d’Andrei Suslin, introduisit une théorie
de la « cohomologie motivique ». Par analogie avec le cadre topologique,
il existe une très forte connexion entre la cohomologie motivique et la
K-théorie algébrique. De surcroît Voevodsky proposa un cadre pour dé-
crire beaucoup de nouvelles théories cohomologiques pour les variétés
algébriques. Son travail constitue une avancée majeure dans la voie de
la vision « unifiée » des mathématiques de Grothendieck.
Une des conséquences des résultats de Voevodsky, et l’un de ses prin-
cipaux titres de gloire, est la résolution de la conjecture de Milnor, qui
depuis trente ans fut l’un des problèmes majeurs dans le domaine de la
K-théorie algébrique. Ce résultat a de nombreuses conséquences frap-
pantes dans plusieurs secteurs, en particulier la cohomologie galoisienne,
les formes quadratiques et la cohomologie des variétés algébriques com-
plexes. Les travaux de Voevodsky devraient avoir un impact très large
sur les mathématiques en autorisant l’utilisation de très puissants outils
de la topologie pour étudier les variétés algébriques.
Vladimir Voevodsky est né le 4 juin 1966 en Russie. Il est diplômé
de l’Université d’État de Moscou. Il a soutenu sa thèse à l’Université
d’Harvard. Il fut invité à l’Institute for Advanced Study de Princeton,
à l’Université d’Harvard et au Max-Planck-Institut für Mathematik de
Bonn, avant de rejoindre la Northwestern University en 1996. En 2002 il
a été nommé professeur permanent à l’Institute for Advanced Study de
Princeton.
Madhu Sudan a obtenu le prix Nevanlinna pour ses travaux dans le
domaine de l’informatique théorique. En particulier dans le domaine de la
théorie des preuves corrigibles de façon probabiliste, dans le domaine de
la non-approximation de certains problèmes d’optimisation et les codes
correcteurs d’erreurs.
Sudan a été un acteur important du développement de la théorie des
preuves corrigibles de façon probabiliste. Étant donnée une preuve d’un
énoncé mathématique, cette théorie offre un moyen de réinterpréter cette
preuve sous une forme où les implications logiques sont codées en suites
de bits qui peuvent ensuite être stockées dans la mémoire d’un ordina-
teur. Un « vérificateur » peut, en contrôlant seulement certains de ces
SMF – Gazette – 94, Octobre 2002