Birch and SwinnertonDyer conjecture
From Academic Kids

In mathematics, the Birch and SwinnertonDyer conjecture relates the rank of the abelian group of points over a number field of an elliptic curve E to the order of zero of the associated Lfunction L(E, s) at s = 1.
As of 2005, it has been proved only in special cases. It has been an open problem for around 40 years, and has stimulated much research; its status as one of the most challenging mathematical questions has become widely recognised.
Contents 
Background
In 1922 Louis Mordell proved Mordell's theorem: 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 (in the current state of knowledge) these cannot be generalised to handle all curves.
An Lfunction
 L(E, s)
can be defined for an elliptic curve E by constructing an Euler product from the number of points on the curve modulo each prime p. This Lfunction is analogous to the Riemann zeta function and the Dirichlet Lseries that is defined for a binary quadratic form. It is a special case of a HasseWeil Lfunction.
The natural definition of L(E, s) only converges for values of s in the complex plane with
 Re(s) > 3/2.
Helmut Hasse conjectured that L(E, s) 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, as a consequence of the TaniyamaShimura theorem.
Finding rational points on a general elliptic curve is a difficult problem. Finding the points on an elliptic curve modulo a given prime p is conceptually straightforward, as there are only a finite number of possibilities to check. However, for large primes it is computationally intensive.
History
In the early 1960s Bryan Birch and Peter SwinnertonDyer used the EDSAC computer at the University of Cambridge Computer Laboratory to calculate the number of points modulo p (denoted by N_{p}) for a large number of primes p on elliptic curves whose rank was known. From these numerical results they conjectured that N_{p} for a curve E with rank r obeys an asymptotic law
 <math>\prod_{p
Initially this was on the basis of somewhat tenuous trends in graphical plots; which induced a measure of scepticism in J. W. S. Cassels (Birch's Ph.D. advisor). Over time the numerical evidence stacked up.
This in turn led them to make a general conjecture about the behaviour of a curve's Lfunction L(E, s) at s = 1, namely that it would have a zero of order r at this point. This was a farsighted conjecture for the time, given that the analytic continuation of L(E, s) there was only established for curves with complex multiplication, which were also the main source of numerical examples. (NB that the reciprocal of the Lfunction 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 Lfunction at s = 1. It is conjecturally given a complex formula involving invariants of the curve, studied by Cassels, Tate, Shafarevich and others: these include the order of the torsion group, the order of the TateShafarevich group, and the canonical heights of a basis of rational points.
Current status
The Birch and SwinnertonDyer conjecture has been proved only in special cases :
 In 1976 John Coates and Andrew Wiles proved that if E is a curve with complex multiplication and L(E,1) is not 0 then E has only a finite number of rational points, in the case of class number 1. This was extended to all imaginary quadratic fields by Nicole Artaud.
 In 1983 B. Gross and D. Zagier showed that if a modular elliptic curve has a firstorder zero at s = 1 then it has a rational point of infinite order.
 In 1990 V. Kolyvagin showed that a modular elliptic curve E for which L(E,1) is not zero has rank 0, and a modular elliptic curve E for which L(E,1) has a first order zero at s = 1 has rank 1.
 In 1999 Andrew Wiles, Christophe Breuil, Brian Conrad, Fred Diamond and Richard Taylor proved that all elliptic curves are modular (the TaniyamaShimura theorem), which extends the previous two results to all elliptic curves.
Nothing has been proved for curves with rank greater than 1, although there is extensive numerical evidence for the truth of the conjecture.
Clay Mathematics Institute Prize
The Birch and SwinnertonDyer conjecture is one of the seven Millennium Problems selected by the Clay Mathematics Institute, which is offering a prize of $1 million for a proof of the whole conjecture.
External links
 Mathworld (http://mathworld.wolfram.com/SwinnertonDyerConjecture.html)
 Clay Mathematics Institute (http://www.claymath.org/millennium/Birch_and_SwinnertonDyer_Conjecture/)
 PlanetMath.org (http://planetmath.org/encyclopedia/BirchAndSwinnertonDyerConjecture.html)fr:Conjecture de Birch et SwinnertonDyer