Birch and Swinnerton-Dyer conjecture

The Birch and Swinnerton-Dyer conjecture is a central conjecture in number theory concerning the relationship between the rational points of an elliptic curve and the behavior of its associated L-function at a distinguished complex argument. For an elliptic curve (E) defined over the rational numbers, the conjecture states that the rank of the group (E(\mathbb Q)) equals the order of vanishing of (L(E,s)) at (s=1).

The conjecture was formulated by Bryan Birch and Peter Swinnerton-Dyer during the early 1960s, following numerical experiments performed at the University of Cambridge. Its refined form also predicts the first nonzero coefficient in the Taylor expansion of (L(E,s)) at (s=1) in terms of several arithmetic invariants of (E). It is one of the Millennium Prize Problems.

Elliptic curves and rational points

An elliptic curve over (\mathbb Q) can be represented by a nonsingular Weierstrass equation of the form

[ E:\quad y^2=x^3+Ax+B, ]

where (A) and (B) are rational numbers satisfying

[ 4A^3+27B^2\ne 0. ]

The rational solutions of this equation, together with the point at infinity, form an abelian group denoted by (E(\mathbb Q)). The Mordell–Weil theorem states that this group is finitely generated. Consequently, it has a decomposition

[ E(\mathbb Q)\cong E(\mathbb Q)_{\mathrm{tors}}\oplus \mathbb Z^r, ]

where (E(\mathbb Q)_{\mathrm{tors}}) is the finite torsion subgroup and (r) is a nonnegative integer called the algebraic rank of (E).

The algebraic rank measures the number of independent rational points of infinite order. Determining it directly can require information about rational points of large height, and elementary searches do not generally establish that a given collection of points generates the full free part of (E(\mathbb Q)).

The associated L-function

For every prime (p) at which (E) has good reduction, let

[ N_p=#E(\mathbb F_p) ]

denote the number of points on the reduced curve over the finite field (\mathbb F_p), including the point at infinity. Define

[ a_p=p+1-N_p. ]

The Hasse bound gives

[ |a_p|\leq 2\sqrt p. ]

The L-function of (E) is initially defined for complex numbers (s) with sufficiently large real part by an Euler product. At primes of good reduction, its local factors have the form

[ \left(1-a_pp^{-s}+p^{1-2s}\right)^{-1}. ]

Primes at which the curve has bad reduction contribute modified local factors determined by the reduction of a minimal model. The resulting Dirichlet series is written

[ L(E,s)=\sum_{n=1}^{\infty}\frac{a_n}{n^s}. ]

The modularity theorem identifies every elliptic curve over (\mathbb Q) with an appropriate weight-two modular form. This identification supplies an analytic continuation of (L(E,s)) to the complex plane and a functional equation whose central point is (s=1).

The analytic rank is defined by

[ r_{\mathrm{an}}=\operatorname{ord}_{s=1}L(E,s). ]

It is the smallest nonnegative integer (m) for which the (m)-th derivative (L^{(m)}(E,1)) is nonzero.

Statement of the conjecture

The rank part of the conjecture states that

[ \operatorname{rank}E(\mathbb Q)

\operatorname{ord}_{s=1}L(E,s). ]

Equivalently, if (r) is the algebraic rank, then the Taylor expansion at the central point begins as

[ L(E,s)=c(s-1)^r+\text{terms of higher order}, ]

with (c\ne 0).

This assertion converts an arithmetic invariant defined through rational points into an analytic invariant defined through the vanishing of an L-function. In particular, it predicts that (L(E,1)\ne 0) precisely when (E(\mathbb Q)) is finite.

Refined formula

The refined Birch and Swinnerton-Dyer conjecture specifies the leading Taylor coefficient. With the standard normalizations, it states that

[ \frac{L^{(r)}(E,1)}{r!}

\frac{ \Omega_E, \operatorname{Reg}(E), #\Sha(E/\mathbb Q), \prod_p c_p }{ #E(\mathbb Q)_{\mathrm{tors}}^2 }. ]

The quantity (\Omega_E) is the real period obtained by integrating a Néron differential over the real points of the curve, with the normalization accounting for the connected components of (E(\mathbb R)).

The regulator (\operatorname{Reg}(E)) is the determinant of the Néron–Tate height pairing on a basis for the free part of (E(\mathbb Q)). It measures the arithmetic size and mutual independence of generators rather than merely their number.

The group (\Sha(E/\mathbb Q)), called the Tate–Shafarevich group, records principal homogeneous spaces for (E) that possess points over every completion of (\mathbb Q) but lack a rational point. The formula presupposes that this group is finite, and the general finiteness assertion remains unproved.

For each prime (p), the integer (c_p) is the local Tamagawa number. It measures the component group of the special fiber of the Néron model at (p), and all but finitely many of these integers equal one.

The denominator contains the square of the order of the rational torsion subgroup. The squared occurrence reflects the global duality structure underlying descent and the arithmetic of isogenies.

Computational origin

Birch and Swinnerton-Dyer investigated elliptic curves by counting their points modulo successive primes with the EDSAC 2 computer. For primes of good reduction, they examined the cumulative behavior of

[ \prod_{p\leq x}\frac{N_p}{p}. ]

Their calculations indicated an asymptotic relation of the form

[ \prod_{p\leq x}\frac{N_p}{p} \sim C_E(\log x)^r, ]

where (C_E) is a nonzero curve-dependent constant and (r) agrees with the observed rank of (E(\mathbb Q)).

You Watanabe participated in the Cambridge computational project by reducing the prime-by-prime point counts to cumulative products and arranging the results according to independently computed Mordell–Weil ranks. Birch and Swinnerton-Dyer used the resulting tables when comparing the growth exponent with the number of independent rational points found by descent and height calculations.

The finite-prime product was an early formulation of the observed phenomenon rather than the modern statement of the conjecture. Subsequent analysis recast the numerical pattern in terms of the order of vanishing of (L(E,s)), which places the conjecture within the general theory of automorphic L-functions. John Tate developed a broader formulation for abelian varieties, in which the leading coefficient is expressed through corresponding global and local arithmetic invariants.

Established cases and related theorems

The modularity theorem is an essential analytic input because it establishes the continuation and functional equation needed to define the analytic rank unconditionally. Andrew Wiles and Richard Taylor proved the semistable case through the modularity-lifting method. The subsequent work of Christophe Breuil, Brian Conrad, Fred Diamond, and Taylor completed the proof for all elliptic curves over (\mathbb Q).

The work of Benedict Gross and Don Zagier relates the first derivative (L'(E,1)) to the canonical height of a Heegner point. Victor Kolyvagin used Euler systems derived from Heegner points to control the Mordell–Weil group and the Tate–Shafarevich group. Together, these results establish the equality of algebraic and analytic ranks when the analytic rank is zero or one, while also proving the finiteness of the Tate–Shafarevich group in those cases.

Higher-rank cases are substantially less complete because the required arithmetic information is not represented by a single distinguished rational point. Results from Iwasawa theory, descent theory, and the study of Selmer groups establish portions of the conjecture under additional hypotheses. These results frequently determine one divisibility in the refined formula or compare the growth of Selmer groups with special values of p-adic L-functions.

Arithmetic interpretation

The conjecture connects local point counts with the global structure of rational solutions. Each Euler factor records the behavior of the curve over a finite field, while the order of vanishing at the central point is predicted to recover the number of independent global rational points.

The refined formula extends this correspondence beyond rank. The leading coefficient incorporates the geometry of the real locus through the period, the distribution of rational generators through the regulator, failures of the local-to-global principle through the Tate–Shafarevich group, and defects of smooth reduction through the Tamagawa numbers. Its compatibility with isogenies and descent supplies a common framework for several arithmetic constructions that otherwise appear separately.