Birch–Swinnerton-Dyer Conjecture
Canonical statement
View source LaTeX
Let \(E/\mathbb Q\) be an elliptic curve. Write \(E(\mathbb Q)\cong E(\mathbb Q)_{\mathrm{tors}}\oplus\mathbb Z^r\), and let \(L(E,s)\) be the Hasse–Weil \(L\)-function of \(E\), continued to an entire function by modularity. Then
\[
\operatorname{ord}_{s=1}L(E,s)=r.
\]Notes
Let be an elliptic curve over with Mordell–Weil rank , and let be its Hasse–Weil -function, entire by modularity. The Birch–Swinnerton-Dyer conjecture, in the standard rank form recorded here, predicts that the order of vanishing of at equals . It grew out of the machine computations of Birch and Swinnerton-Dyer, published in 1965 [BirchSwinnertonDyer1965].
The strongest general evidence lies at low analytic rank. Gross and Zagier related the derivative to the height of a Heegner point [GrossZagier1986], and together with later Euler-system methods this establishes the rank equality in many analytic-rank and cases and in important families; see Wiles's account of the problem [Wiles2006BSD]. The refined conjecture, which expresses the leading Taylor coefficient at in terms of arithmetic invariants of , is strictly stronger and is not part of this version.
For arbitrary curves, and in particular whenever the rank is at least , the equality remains open in both directions.
References (3)
- [BirchSwinnertonDyer1965]
Notes on elliptic curves. II
Open ↗B. J. Birch and H. P. F. Swinnerton-Dyer · 1965 · misc
- [Wiles2006BSD]
The Birch and Swinnerton-Dyer conjecture
Open ↗Andrew Wiles · 2006 · misc
- [GrossZagier1986]
Heegner points and derivatives of -series
Open ↗Benedict H. Gross and Don B. Zagier · 1986 · misc
The boxed statement is the canonical open formulation — not a stronger variant or a related research program. The status reflects the catalog's last review; do your own literature search before investing serious effort.