Les sept problmes du millnaire

La fondation The Clay Mathematics Institute of Cambridge a cr un prix en l'an 2000, anne mondiale des mathmatiques, afin de dfinir les grands
problmes qui animent les mathmatiques modernes. Ce prix propose 7 problmes tous dots d'une rcompense d'un million de dollars. Il s'inscrit dans la
ligne des 30 problmes ouverts dont Hilbert avait dress la liste il y a 100 ans et qui ont rythm la vie des mathmatiques du 20e sicle.

Le P problme et le NP problme
Imaginez que vous deviez organiser le logement d'un ensemble de 400 tudiants. Vous ne disposez que d'une seule
rsidence comprenant exactement 100 chambres, aussi vous tes amen ne retenir qu'une partie de ces tudiants.
Pour compliquer l'affaire, le doyen de votre universit vous impose une liste de paires d'tudiants ne pas faire
habiter ensemble. Le nombre de possibilits pour un tel arrangement dpasse le nombre d'atomes dans l'univers et
on ne pourra jamais construire un ordinateur capable de produire au moyen de sa seule force de calcul une liste
convenable. Le problme, qui est un des plus importants actuellement en mathmatiques appliques
l'informatique, est bien entendu de savoir si il existe un procd permettant de calculer la liste voulue en un temps
limit. A l'oppos, si on vous donne une liste de 100 tudiants, il est facile de vrifier si cette liste satisfait ou non
aux critres qu'on vient de fixer. On appelle P problme tout problme qui consiste comme ici trouver une liste
d'lments dans un ensemble donn et ce relativement un critre fix l'avance. Le NP problme est oppos au P
problme. Il consiste vrifier si une liste donne est en adquation avec les conditions donnes au pralable.
Stephen Cook et Leonid Levin ont les premiers, et de manire indpendante, formuls le P problme et le NP
problme en 1971.

Stephen Cook et Leonid Levin

La conjecture de Hodge
Au 20esicle, les mathmaticiens ont dcouvert de puissants outils pour comprendre la forme des objets gomtriques
complexes. L'ide de base tait de reconstituer l'objet au moyen d'un recollement d'une suite d'objets de dimension croissante.
Cette technique s'est avre si efficace qu'elle a t gnralise de plusieurs faons diffrentes et a permis de mettre au point de
puissants outils pour la classification des objets gomtriques complexes. Malheureusement les origines gomtriques du
procd se sont obscurcis dans cette gnralisation. En un certain sens, il est indispensable de faire intervenir des objets
(appels cycles de Hodge) qui n'ont pas d'interprtation gomtrique. La conjecture de Hodge affirme que pour une classe
d'espace suffisamment sympathique : les varits algbriques projectives, ces cycles de Hodge sont des combinaisons
linaires rationnelles d'objets ayant une relle nature algbrique : les cycles algbriques.

William Hodge

La conjecture de Poincar
Imaginez un fil lastique que l'on peut contracter ou tirer l'infini. On noue ce fil afin d'en faire une boucle qu'on place la
surface d'un ballon (sphre). On peut dformer cette boucle sans la dchirer et sans la faire quitter la surface du ballon jusqu'
la rduire un point. La mme manipulation la surface d'une chambre air (tore) est impossible raliser. Un objet
gomtrique qui possde cette proprit est dit simplement connexe. Henri Poincar, mathmaticien franais du dbut du 20e
sicle a dmontr que la sphre tait caractrise par cette proprit. Il a conjectur qu'il en tait de mme pour la sphre de
l'espace de dimension 4. Cette question est en fait d'une difficult extraordinaire et les mathmaticiens cherchent y rpondre
depuis 1 sicle.

Henri Poincar

L'hypothse de Riemann
Certains nombres entiers ont la proprit remarquable de ne pas s'crire comme le produit de deux nombres entiers plus petits
(et diffrents de 1). Ces nombres sont appels les nombres premiers. Ils jouent un rle tout fait privilgi en mathmatiques.
La distribution de ces nombres dans l'ensemble des entiers ne semblait rpondre aucune rgle prcise jusqu' ce que le
mathmaticien allemand Georg Riemann (1826-1846) observe que la frquence d'apparition de ces nombres dans l'ensemble
des entiers tait relie de trs prs au comportement de la fonction appele fonction zta de Riemann. L'hypothse de
Riemann affirme que les zros intressants de l'quation (s ) = 0 se situent le long d'une ligne droite. Cette hypothse a
t vrifie pour les 1 500 000 000 premires solutions de cette quation. Dmontrer cette hypothse pour tous les zros de
l'quation permettrait de lever le mystre attenant la distribution des nombres premiers parmi les autres nombres.

Bernhard Riemann

La thorie de Yang-Mills
Les lois de la mcanique quantique cherchent expliquer l'infiniment petit, de la mme faon que les lois de Newton
s'appliquent au monde macroscopique. Il y a un demi sicle, Yang et Mills ont construits un modle bas sur des thories
gomtriques pour dcrire les particules lmentaires. Les prdictions qu'ils firent alors ont t testes dans de nombreux
laboratoires et furent toujours vrifies. Le fondement mathmatiques de leur modle reste cependant peu satisfaisant. Pour
dcrire l'interaction forte des particules lmentaires (c'est une des 4 forces fondamentales), la thorie de Yang-Mills fait
intervenir une subtile proprit appartenant au monde de la mcanique quantique: en anglais mass gap : certaines particules
quantiques ont une masse positive alors que l'onde associe voyage la vitesse de la lumire. Cette proprit a t
dcouverte par les physiciens de manire exprimentale et a t vrifie par des simulations informatiques. Elle n'est par
contre pas comprise d'un point de vue thorique. Les progrs relatifs la thorie de Yang-Mills et la proprit du gap
d'nergie vont dpendrent de la capacit des physiciens et des mathmaticiens introduire des points de vue nouveaux et
fondamentaux la fois en physique et en mathmatiques.

Yang et Mills

Les quations de Navier-Stokes

Lorsque au moyen d'un bateau on serpente la surface de l'eau, on remarque que les vagues produites vont suivre le
dplacement du bateau. De la mme faon, les turbulences de l'air vont suivre l'avion lors de son vol. Les
mathmaticiens et les physiciens pensent que la comprhension de ce phnomne passe par la comprhension des
solutions des quations de Navier-Stokes. Bien que ces dernires aient t dcouvertes au 19e sicle, les scientifiques
ont peu progress dans leur tude. Un des dfis des dcennies venir sera de faire progresser les thories
mathmatiques lies ces quations et ce afin qu'elles livrent tous leurs difficiles secrets.

Stokes et Navier

La conjecture de Birch et Swinnerton-Dyer

De tous temps les mathmaticiens ont t fascins par les problmes lis la description des solutions d'une quation
algbrique. Euclide a par exemple dcrit en son temps l'ensemble des solutions en nombre entier de la fameuse
quation x+y=z. Mais cela est extrmement difficile pour des quations plus compliques. En 1970, Yu. V.
Matiyasevich a prouv que le 10e problme de Hilbert tait insoluble. Cela signifie qu'il n'existe pas de mthode
gnrale permettant de dterminer quand des quations algbriques possdent ou pas des solutions en nombre entier.
Dans des cas particuliers les mathmaticiens pensent tout de mme pouvoir affirmer des choses. Quand les solutions
sont situes sur une varit ablienne, la conjecture de Birch et Swinnerton-Dyer avance que la taille du groupe des
solutions rationnels est relie au comportement de la fonction zeta (s ) associe au voisinage de s=1. Cette conjecture
tonnante affirme que si (1) = 0 alors il y a une infinit de solutions rationnelles et rciproquement, si (1) 0 , il y a
seulement un nombre fini de solutions rationnels.

Birch et Swinnerton-Dyer

Ces articles ont t extraits du site Internet http://www.les-mathematiques.net/p/p/a/node9.php3

Ils sont une traduction faites par Emmanuel Vieillard-Baron des prsentations des problmes du site de la
fondation Clay : http://www.claymath.org/prizeproblems/.