##  [Conjecture de Birch–Swinnerton‑Dyer](/fr/node/62118) 

 Définition

La conjecture qui relie l'arithmétique d'une courbe elliptique E sur Q au comportement de sa fonction L en s = 1 : le rang algébrique (le rang de E(Q)) est égal à l'ordre d'annulation de L(E,s) en s = 1, et le coefficient principal de la série de Taylor en ce point s'exprime en termes d'invariants arithmétiques (régulateur, nombres de Tamagawa, période réelle et ordre du groupe de Tate–Shafarevich).

 

 

 

 

 

 





## Principe

Principe

Les valeurs spéciales analytiques des fonctions L codent des invariants arithmétiques profonds ; la conjecture propose une formule précise reliant l'ordre d'annulation et le coefficient principal au point central aux données algébriques et arithmétiques.

 

 

 

 

 





## Démonstration

Démonstration

Pour des courbes de rang analytique zéro, les calculs montrent souvent L(E,1) non nul et des points rationnels visibles et finis ; pour des rangs supérieurs, le calcul numérique des dérivées de L(E,s) en s = 1 corrèle avec des régulateurs calculés à partir de points rationnels indépendants lorsque ces données existent.

 

 

 

 

## Mauvaise application

Mauvaise application

Traiter la conjecture comme établie en général, ou déduire des invariants arithmétiques exacts tels que l'ordre du groupe de Tate–Shafarevich sans vérifier les hypothèses de finitude ; confondre l'accord numérique empirique sur des exemples avec une démonstration.

 

 

 

 

 





## Conséquence

Conséquence

Si elle est vraie, la conjecture fournit une détermination conceptuelle du rang et prédit la taille du groupe de Tate–Shafarevich, orientant à la fois les stratégies de calcul et les approches théoriques pour les points rationnels sur les courbes elliptiques.

 

 

 

 

## Inversion

Inversion

Si l'ordre d'annulation analytique ne coïncidait pas avec le rang algébrique dans un cas, cela indiquerait un écart profond dans le dictionnaire attendu entre valeurs analytiques L et structure arithmétique, sapant de nombreuses relations conjecturales.

 

 

 

 

 





## Limite

Limite

Formulée pour les courbes elliptiques sur Q (avec des généralisations naturelles aux corps de nombres et aux motifs de dimension supérieure) ; elle suppose la continuation analytique et la finitude conjecturale du groupe de Tate–Shafarevich, hypothèses qui ne sont pas démontrées en général.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Tension avec des résultats partiels tels que la conjecture de parité et avec des énoncés plus faibles (par exemple des inégalités entre rangs analytiques et algébriques) ; il existe aussi une tension entre l'évidence numérique et l'absence d'une preuve générale.

 

 

 

 

 





## Synthèse

Synthèse

La conjecture de Birch–Swinnerton‑Dyer synthétise les points de vue analytique et algébrique en affirmant que l'ordre d'annulation et le coefficient principal de L(E,s) en s = 1 reflètent précisément le groupe des points rationnels de la courbe et les invariants arithmétiques associés, offrant une prédiction unificatrice pour l'arithmétique des courbes elliptiques.