In mathematics, the Birch and Swinnerton-Dyer conjecture (often called the BirchâÂÂSwinnerton-Dyer conjecture) describes the set of rational solutions to equations defining an elliptic curve. It is an open problem in the field of number theory and is widely recognized as one of the most challenging mathematical problems. It is named after mathematicians Bryan John Birch and Peter Swinnerton-Dyer, who formulated the conjecture in the 1960s with the help of machine computation. Only special cases of the conjecture have been proven.
The conjecture proposes a link between arithmetic data associated with an elliptic curve over a number field and the behaviour of its associated HasseâÂÂWeil L-function at . More specifically, it is conjectured that the rank of the abelian group of points of is the order of the zero of at . The first non-zero coefficient in the Taylor expansion of at is given by more refined arithmetic data attached to over .
The conjecture was chosen as one of the seven Millennium Prize Problems listed by the Clay Mathematics Institute, which has offered a $1,000,000 prize for the first correct proof.
In 1922, Louis J. Mordell proved Mordell's theorem, stating that the group of rational points on an elliptic curve has a finite basis. This means that for any elliptic curve, there is a finite subset of the rational points on the curve, from which all further rational points may be generated.
If the number of rational points on a curve is infinite then some point in a finite basis must have infinite order. The number of independent basis points with infinite order is called the rank of the curve, and is an important invariant property of an elliptic curve.
If the rank of an elliptic curve is 0, then the curve has only a finite number of rational points. On the other hand, if the rank of the curve is greater than 0, then the curve has an infinite number of rational points.
Although Mordell's theorem shows that the rank of an elliptic curve is always finite, it does not give an effective method for calculating the rank of every curve. The rank of certain elliptic curves can be calculated using numerical methods but it is currently unknown if these methods handle all curves.
An -function can be defined for an elliptic curve by constructing an Euler product from the number of points on the curve modulo each prime . This -function is analogous to the Riemann zeta function and the Dirichlet L-series that is defined for a binary quadratic form. It is a special case of a HasseâÂÂWeil L-function.
The natural definition of only converges for values of in the complex plane with . Helmut Hasse conjectured that could be extended by analytic continuation to the whole complex plane. This conjecture was first proved by Max Deuring for elliptic curves with complex multiplication. It was subsequently shown to be true for all elliptic curves over , as a consequence of the modularity theorem in 2001.
Finding rational points on a general elliptic curve is a difficult problem. Finding the points on an elliptic curve modulo a given prime is conceptually straightforward, as there are only a finite number of possibilities to check. However, for large primes it is computationally intensive.
In the early 1960s, Peter Swinnerton-Dyer used the EDSAC-2 computer at the University of Cambridge Computer Laboratory to calculate the number of points modulo for a large number of primes on elliptic curves whose rank was known. From these numerical results, Swinnerton-Dyer and his colleage Bryan John Birch conjectured that for a curve with rank , obeys the asymptotic law
where is a constant.
Initially, this was based on somewhat tenuous trends in graphical plots; this induced a measure of skepticism in Birch's advisor J. W. S. Cassels. Over time, however, the numerical evidence stacked up.
This in turn led Birch and Swinnerton-Dyer to make a general conjecture about the behavior of a curve's L-function at ; namely, that it would have a zero of order at this point. This was a far-sighted conjecture for the time, given that the analytic continuation of was only established for curves with complex multiplication, which were also the main source of numerical examples. (Note that the reciprocal of the L-function is from some points of view a more natural object of study; on occasion, this means that one should consider poles rather than zeroes.)
The conjecture was subsequently extended to include the prediction of the precise leading Taylor coefficient of the L-function at . It is conjecturally given by
where is the order of the torsion group, is the order of the TateâÂÂShafarevich group, is the real period of multiplied by the number of connected components of , is the regulator of (defined via the canonical heights of a basis of rational points), and is the Tamagawa number of at a prime dividing the conductor of . It can be found by Tate's algorithm.
When the conjecture was originally made, little was known, not even whether the left (analytic) side or the right (algebraic) side of this equation were even well-defined. John Tate expressed this in 1974 in a famous quote. <blockquote> This remarkable conjecture relates the behavior of a function at a point where it is not at present known to be defined to the order of a group which is not known to be finite! </blockquote> By the modularity theorem proved in 2001 for elliptic curves over , the left side is now known to be well-defined and the finiteness of is known when additionally the analytic rank is at most 1; i.e., if vanishes at most to order 1 at . Both parts remain open.
The Birch and Swinnerton-Dyer conjecture has been proved only in special cases:
There are currently no proofs involving curves with a rank greater than 1.
There is extensive numerical evidence for the truth of the conjecture.
Much like the Riemann hypothesis, this conjecture has multiple consequences, including:
There is a version of this conjecture for general abelian varieties over number fields. A version for abelian varieties over is the following:
All of the terms have the same meaning as for elliptic curves, except that the square of the order of the torsion needs to be replaced by the product involving the dual abelian variety . Elliptic curves as 1-dimensional abelian varieties are their own duals, i.e. , which simplifies the statement of the BSD conjecture. The regulator needs to be understood for the pairing between a basis for the free parts of and relative to the Poincare bundle on the product .
The rank-one Birch-Swinnerton-Dyer conjecture for modular elliptic curves and modular abelian varieties of GL(2)-type over totally real number fields was proved by Shou-Wu Zhang in 2001.
Another generalization is given by the Bloch-Kato conjecture.