Voir la source de Conjecture de Birch et Swinnerton-Dyer

{{Voir homonymes|Birch|BSD}}
{{Sources à lier|date=janvier 2014}}
[[Fichier:Elliptic curve1.png|vignette|Une [[courbe elliptique]] (tracée dans le plan réel).]]
En [[mathématiques]], la '''[[conjecture]] de [[Bryan Birch|Birch]] et [[Peter Swinnerton-Dyer|Swinnerton-Dyer]]''' prédit que pour toute [[courbe elliptique]] sur le [[Corps commutatif|corps]] des [[Nombre rationnel|rationnels]], l'ordre d'annulation au centre de la bande critique de la [[Fonction zêta de Hasse-Weil|fonction L associée]] est égal au rang de la courbe. Elle prédit même la valeur du premier terme non nul dans le [[développement limité]] au centre de la bande critique de cette [[fonction L]].

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 au début du {{s-|XXI}}, elle est un des sept [[problèmes du prix du millénaire]].

== Contexte ==

En 1922, [[Louis Mordell]] a démontré le [[théorème de Mordell-Weil|théorème de Mordell]] : le [[groupe abélien]] des [[Point rationnel|points rationnels]] de toute courbe elliptique définie sur le corps des rationnels est [[Groupe abélien de type fini|de type fini]]. Il est donc [[Morphisme de groupes#Isomorphismes de groupes|isomorphe]] au [[Produit direct (groupes)|produit]] d'un nombre fini de [[Groupe cyclique|groupes cycliques]] : ('''Z'''/''a''<sub>1</sub>'''Z''') x ('''Z'''/''a''<sub>2</sub>'''Z''') × ... × ('''Z'''/''a<sub>k</sub>'''''Z''') × '''Z'''<sup>''r''</sup>, où ''k'' et ''r'' sont deux entiers positifs ou nuls et les ''a<sub>i</sub>'' sont des entiers strictement positifs.

L'entier ''r'', appelé le [[Groupe abélien libre#Rang|rang]] de la courbe, est un [[invariant]] important de la courbe elliptique. Il est nul si et seulement si le groupe est fini (ce qui, d'après le [[théorème de Faltings]], est toujours le cas si la courbe est de genre > 1).

Bien que le théorème de Mordell montre que ce rang 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érie de Dirichlet|séries L de Dirichlet]] qui sont définies pour une [[forme quadratique]] à deux variables. C'est un cas particulier de [[fonction zêta de Hasse-Weil]].

La définition naturelle de ''L''(''E'',''s'') converge seulement pour les valeurs de ''s'' dans le [[plan complexe]] telles que 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 modularité]], qui établit que toute courbe elliptique est [[courbe modulaire|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'y a qu'un nombre fini de cas à vérifier. Néanmoins, pour des grands nombres premiers, cela requiert des calculs intensifs.

== Histoire ==

Au début des années 1960, [[Bryan Birch]] et [[Peter Swinnerton-Dyer]] ont utilisé l'ordinateur [[EDSAC]] au laboratoire informatique de l'[[université de Cambridge]] pour calculer le nombre de points modulo ''p'' (désigné par ''N<sub>p</sub>'') pour un grand nombre de nombres premiers ''p'' sur des courbes elliptiques dont le rang était connu. À partir de ces résultats numériques, ils émirent la conjecture que ''N<sub>p</sub>'' pour une courbe ''E'' de rang ''r'' suit la loi asymptotique

:<math>\prod_{p\leq x} \frac{N_p}{p} \approx C\log(x)^r \mbox{ quand } x \rightarrow \infty </math>
pour une certaine constante ''C''.

Initialement, ceci était basé sur la tendance ténue des points d'un graphique, ce qui induisait un certain scepticisme chez le [[directeur de thèse]] de Birch, [[John Cassels]].

Cela les conduisit à faire une conjecture sur le comportement de la fonction L d'une courbe elliptique ''L''(''E'',''s'') en ''s'' = 1, à savoir : qu'il y aurait un zéro d'ordre ''r'' en ce point. C'était une conjecture particulièrement spectaculaire car à cette époque, le prolongement analytique de ''L''(''E'',''s'') au point ''s'' = 1 était seulement établi pour les courbes avec multiplication complexe.

Une version plus précise de la conjecture fut ensuite proposée, décrivant le [[Série de Taylor|coefficient de Taylor principal]] de la fonction ''L'' en ''s'' = 1 en fonction d'invariants arithmétiques de la courbe étudiés par Cassels, [[John Tate (mathématicien)|Tate]], [[Igor Chafarevitch|Chafarevich]] et d'autres.

== Exemple ==
Considérons un [[polynôme]] en deux variables <math>  f(x,y) </math> non nul dont les coefficients sont des nombres rationnels. Supposons que la courbe projective plane associée n'ait pas de singularités. Intéressons-nous aux solutions de l'équation <math> f(x,y)=0 </math> en des nombres rationnels (''x'',''y''). Alors :

* Si le degré de f est égal à 1 ou 2 (le cas d'une droite ou d'une conique), soit cet ensemble est vide (par exemple <math> f(x,y)=x^2+y^2+1 </math>), soit il est infini, auquel cas la courbe projective associée est isomorphe à une [[droite projective]].
* Si le degré de f est supérieur ou égal à 4, cet ensemble est fini d'après le [[théorème de Faltings]].
* Si le degré de f est égal à 3, tous les cas sont possibles. Si cet ensemble est non-vide, la courbe projective associée est une courbe elliptique. La conjecture de Birch et Swinnerton-Dyer prédit alors la « taille » (le rang) de l'ensemble des solutions en fonction du prolongement méromorphe d'une [[série génératrice]] formée à partir du nombre de solutions de ''f''(''x'',''y'')=0 modulo ''p'' pour tout nombre premier ''p''. Elle prédit en particulier le fait de savoir si cet ensemble est fini ou infini.

== État actuel ==

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

# En 1976, [[John Coates (mathématicien)|John Coates]] et [[Andrew Wiles]] ont démontré que si ''E'' est une courbe sur un [[corps de nombres]] ''F'' avec [[multiplication complexe]] par un [[Extension quadratique|corps quadratique imaginaire]] ''K'' de [[Groupe des classes d'idéaux|nombre de classes]] 1, ''F''=''K'' ou '''Q''', et si ''L''(''E'',1) n'est pas 0 alors ''E'' possède seulement un nombre fini de points rationnels. Ceci fut étendu par Nicole Artaud au cas où ''F'' est une [[extension abélienne]] finie de ''K''.
# En 1983, [[Benedict 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.
# 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.
# En 2001, [[Christophe Breuil]], [[Brian Conrad]], [[Fred Diamond]] et [[Richard Taylor (mathématicien)|Richard Taylor]], étendant les travaux d'[[Andrew Wiles]], ont démontré ([[théorème de modularité]]) que toutes les courbes elliptiques sur '''Q''' sont modulaires, ce qui étend les deux résultats précédents à toutes les courbes elliptiques sur '''Q'''.
# En 2010, [[Manjul Bhargava]] et [[Arul Shankar]] ont annoncé une preuve que le rang moyen du groupe de Mordell-Weil d'une courbe elliptique sur '''Q''' est majoré par 7/6. En combinant ceci avec la preuve annoncée de la conjecture principale de la [[théorie d'Iwasawa]] pour GL(2) par [[Chris Skinner]] et [[Éric Urban]], ils concluent qu'une proportion non nulle de courbes elliptiques sur '''Q''' sont de rang analytique nul (d'après le résultat de Kolyvagin, ces courbes vérifient la conjecture de Birch et Swinnerton-Dyer).

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]] recensés et mis à prix en 2000 par l'[[Institut de mathématiques Clay]].

== Références ==
{{Traduction/Référence|en|Birch and Swinnerton-Dyer conjecture|421699851}}
* {{Lien web |url=https://www.claymath.org/millennium-problems/birch-and-swinnerton-dyer-conjecture |titre=Birch and Swinnerton-Dyer Conjecture |langue=en |site=www.claymath.org}}
* {{MathWorld|nom_url=Swinnerton-DyerConjecture|titre=Swinnerton-Dyer Conjecture}}
* {{Planetmath|titre=Birch and Swinnerton-Dyer conjecture}}
* {{Chapitre|lang=en
| nom=Wiles
| prénom=Andrew
| titre=The Birch and Swinnerton-Dyer conjecture
| auteurs ouvrage=James Carlson, [[Arthur Jaffe]] et Andrew Wiles
| titre ouvrage=The Millennium prize problems
|lien éditeur=American Mathematical Society|éditeur=AMS
| année=2006
| isbn=978-0-821-83679-8
| passage=31–44
| url=https://web.archive.org/web/20110725180029/http://www.claymath.org/millennium/Birch_and_Swinnerton-Dyer_Conjecture/birchswin.pdf
}}
* {{Lien arXiv |lang=en |auteur1=Manjul  Bhargava |auteur2=Arul Shankar |titre=Ternary cubic forms having bounded invariants, and the existence of a positive proportion of elliptic curves having rank 0 |année=2010 |eprint=abs/1007.0052 1007.0052}}.
* {{lien web |format=pdf |lang=en |auteur1=Christopher Skinner |auteur2=Eric Urban |titre=The Iwasawa main conjectures for GL<sub>2</sub> |lire en ligne=http://www.math.columbia.edu/~urban/eurp/MC.pdf |année=2010}}
* {{article|format=pdf|lang=fr|auteur1=[[Pierre Colmez]]|titre=Le problème des [[Nombre congruent|nombres congruents]]|périodique=[[Société mathématique de France#Publications|Gazette des mathématiciens]]|année=2005|date=|lire en ligne=https://web.archive.org/web/20220105232448/http://webusers.imj-prg.fr/~pierre.colmez/congruents.pdf}}.
* {{Article|format=pdf|nom=Colmez|prénom=Pierre|titre=La conjecture de Birch et Swinnerton-Dyer {{math|''p''}}-adique|lien périodique=Séminaire Nicolas Bourbaki|revue=Séminaire Nicolas Bourbaki|tome=45|année=2002-2003|date=|p.=251-320|url=http://www.numdam.org/article/SB_2002-2003__45__251_0.pdf}}

{{Palette|Problèmes du prix du millénaire}}
{{Portail|mathématiques}}

[[Catégorie:Problèmes du prix du millénaire]]
[[Catégorie:Conjecture non résolue|Birch et Swinnerton-Dyer]]
[[Catégorie:Géométrie arithmétique]]
[[Catégorie:Fonction zêta]]