Conjecture de Birch et Swinnerton-Dyer - Définition

Introduction

En mathématiques, la conjecture de Birch et Swinnerton-Dyer (BSD) relie le rang du groupe abélien de points sur un corps de nombres d'une courbe elliptique E à l'ordre du zéro de la fonction L associée L(E,s) pour s = 1.

Ouverte depuis plus de quarante ans, la conjecture n'a été démontrée que dans des cas particuliers. Largement reconnue comme un des problèmes mathématiques les plus difficiles et les plus profonds encore ouverts à la fin du XX^e siècle, elle est un des sept problèmes du prix du millénaire pour lesquels le Clay Mathematics Institute offre un prix d'un million de dollars US.

Contexte

En 1922, Louis Mordell a démontré que, pour toute courbe elliptique définie sur le corps des rationnels, il existe un sous-ensemble fini de points rationnels sur la courbe à partir desquels tous les autres points rationnels peuvent être générés. Autrement dit, le groupe des points rationnels d'une courbe elliptique possède une base finie.

Si le nombre de points rationnels sur une courbe est infini, alors certains points dans une base finie doivent être d'ordre infini. Le nombre de points de la base d'ordre infini est appelé le rang de la courbe, et est une importante propriété invariante d'une courbe elliptique.

Si le rang d'une courbe elliptique est 0 alors la courbe possède seulement un nombre fini de points rationnels. D'un autre côté, si le rang de la courbe est plus grand que 0, alors la courbe possède un nombre infini de points rationnels.

Bien que le théorème de Faltings montre que le rang d'une courbe elliptique est toujours fini, il ne donne pas de méthode effective pour calculer le rang de chaque courbe. Le rang de certaines courbes elliptiques peut être calculé en utilisant des méthodes numériques mais celles-ci ne peuvent pas être généralisées pour toutes les courbes.

Une fonction L, L(E,s), peut être définie pour toute courbe elliptique E en construisant un produit eulérien à partir du nombre de points sur la courbe modulo chaque nombre premier p. Cette fonction L est analogue à la fonction zêta de Riemann et aux séries L de Dirichlet qui sont définies pour une forme quadratique binaire.

La définition naturelle de L(E,s) converge seulement pour les valeurs de s dans le plan complexe avec Re(s) > 3/2. Helmut Hasse a conjecturé que L(E,s) pouvait être étendue par prolongement analytique au plan complexe entier. Cette conjecture fut d'abord démontrée par Max Deuring pour les courbes elliptiques avec multiplication complexe. Dans le cas général, elle résulte du théorème de Taniyama-Shimura, qui établit que toute courbe elliptique est modulaire, c'est-à-dire que sa fonction L est la fonction L associée à une forme modulaire.

Trouver des points rationnels sur une courbe elliptique générale est un problème difficile. Trouver les points sur une courbe elliptique modulo un nombre premier donné p est conceptuellement direct, puisqu'il n'existe seulement qu'un nombre fini de possibilités de vérification. Néanmoins, pour des grands nombres premiers, cela requiert des calculs intensifs.

État actuel

La conjecture de Birch et Swinnerton-Dyer a été démontrée seulement dans les cas particuliers suivants :

1. En 1976, John Coates et Andrew Wiles ont démontré que si E est une courbe avec la multiplication complexe et L(E,1) n'est pas 0 alors E possède seulement une nombre fini de points rationnels, dans le cas de nombre de classe 1. Ceci fut étendu à tous les corps quadratiques imaginaires par Nicole Artaud.
2. En 1983, B. Gross et Don Zagier ont montré que si une courbe elliptique modulaire possède un zéro d'ordre 1 en s = 1 alors elle possède un point rationnel d'ordre infini.
3. En 1990, Victor Kolyvagin a montré qu'une courbe elliptique modulaire E pour laquelle L(E,1) n'est pas zéro est de rang 0, et une courbe elliptique modulaire E pour laquelle L(E,1) possède un zéro d'ordre 1 en s = 1 est de rang 1.
4. En 1999, Andrew Wiles, Christophe Breuil, Brian Conrad, Fred Diamond et Richard Taylor ont démontré que toutes les courbes elliptiques sont modulaires (le théorème de Taniyama-Shimura), qui étend les deux résultats précédents à toutes les courbes elliptiques.

Rien n'a été démontré pour les courbes de rang supérieur à 1, bien que les calculs laissent à penser que la conjecture est vraie.

La conjecture de Birch et Swinnerton-Dyer est un des sept problèmes du prix du millénaire sélectionnés en mai 2000 par le Clay Mathematics Institute, qui offre un prix d'un million de dollars US pour une démonstration de la conjecture entière.