The **Birch and Swinnerton-Dyer** conjecture is one of the Millennium Prize Problems listed by the Clay Mathematics Institute. It relates the order of vanishing and the first non-zero Taylor series coefficient of the L-function associated to an elliptic curve $E$ defined over $\Q$ at the central point $s=1$ to certain arithmetic data, the BSD invariants of $E$.

Specifically, the BSD conjecture states that the order $r$ of vanishing of $L(E,s)$ at $s=1$ is equal to the rank of the Mordell-Weil group $E(\Q)$, and that

$\displaystyle \frac{1}{r!} L^{(r)}(E,1)= \displaystyle \frac{\# Ш(E/\Q)\cdot \Omega_E \cdot \mathrm{Reg}(E/\Q) \cdot \prod_p c_p}{\#E(\Q)_{tor}^2}. $

The quantities appearing in this formula are the BSD invariants of $E$:

- $r$ is the rank of $E(\Q)$ (a non-negative integer);
- Ш is the Tate-Shafarevich group of $E$ (which is conjectured to always be finite, a positive integer);
- $\mathrm{Reg}(E/\Q)$ is the regulator of $E/\Q$;
- $\Omega_E$ is the real period of $E/\Q$ (a positive real number);
- $c_p$ is the Tamagawa number of $E$ at each prime $p$ (a positive integer which is $1$ for all but at most finitely many primes);
- $E(\Q)_{\text{tor}}$ is the torsion order of $E(\Q)$ (a positive integer).

**Knowl status:**

- Review status: reviewed
- Last edited by John Cremona on 2019-02-08 11:36:42

**Referred to by:**

**History:**(expand/hide all)

- 2019-02-08 11:36:42 by John Cremona (Reviewed)