PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] Birch and Swinnerton-Dyer conjecture (Conjecture)

Let $E$ be an elliptic curve over $\mathbb{Q}$ , and let $L(E,s)$ be the L-series attached to $E$ .

Conjecture 1 (Birch and Swinnerton-Dyer)       
  1. $L(E,s)$ has a zero at $s=1$ of order equal to the rank of $E(\mathbb{Q})$ .
  2. Let $R=\operatorname{rank} (E(\mathbb{Q}))$ . Then the residue of $L(E,s)$ at $s=1$ , i.e. $\lim_{s\to 1}(s-1)^{-R} L(E,s)$ has a concrete expression involving the following invariants of $E$ : the real period, the Tate-Shafarevich group, the elliptic regulator and the Neron model of $E$ .

J. Tate said about this conjecture: ``This remarkable conjecture relates the behavior of a function $L$ at a point where it is not at present known to be defined to the order of a group (Sha) which is not known to be finite!'' The precise statement of the conjecture asserts that:

$$\lim_{s\to 1} \frac{L(E,s)}{(s-1)^R}=\frac{|\operatorname{Sha}|\cdot \Omega \cdot \operatorname{Reg}(E/\Q) \cdot \prod_p c_p}{| E_{\operatorname{tors}}(\Q)|^2}$$ where

  • $R$ is the rank of $E/\Q$ .
  • $\Omega$ is either the real period or twice the real period of a minimal model for $E$ , depending on whether $E(\mathbb{R})$ is connected or not.
  • $|\operatorname{Sha}|$ is the order of the Tate-Shafarevich group of $E/\Q$ .
  • $\operatorname{Reg}(E/\Q)$ is the elliptic regulator of $E(\Q)$ .
  • $|E_{\operatorname{tors}}(\Q)|$ is the number of torsion points on $E/\Q$ (including the point at infinity $O$ ).
  • $c_p$ is an elementary local factor, equal to the cardinality of $E(\Q_p)/E_0(\Q_p)$ , where $E_0(\Q_p)$ is the set of points in $E(\Q_p)$ whose reduction modulo $p$ is non-singular in $E(\mathbb{F}_p)$ . Notice that if $p$ is a prime of good reduction for $E/\Q$ then $c_p=1$ , so only $c_p\neq 1$ only for finitely many primes $p$ . The number $c_p$ is usually called the Tamagawa number of $E$ at $p$ .

The following is an easy consequence of the B-SD conjecture:

Conjecture 2 (Parity Conjecture)   The root number of $E$ , denoted by $w$ , indicates the parity of the rank of the elliptic curve, this is, $w=1$ if and only if the rank is even.

There has been a great amount of research towards the B-SD conjecture. For example, there are some particular cases which are already known:

Theorem 1 (Coates, Wiles)   Suppose $E$ is an elliptic curve defined over an imaginary quadratic field $K$ , with complex multiplication by $K$ , and $L(E,s)$ is the L-series of $E$ . If $L(E,1)\neq 0$ then $E(K)$ is finite.

Bibliography

1
Claymath Institute, Description, online.
2
J. Coates, A. Wiles, On the Conjecture of Birch and Swinnerton-Dyer, Inv. Math. 39, 223-251 (1977).
3
Keith Devlin, The Millennium Problems: The Seven Greatest Unsolved Mathematical Puzzles of Our Time, 189 - 212, Perseus Books Group, New York (2002).
4
James Milne, Elliptic Curves, online course notes.
5
Joseph H. Silverman, The Arithmetic of Elliptic Curves. Springer-Verlag, New York, 1986.
6
Joseph H. Silverman, Advanced Topics in the Arithmetic of Elliptic Curves. Springer-Verlag, New York, 1994.




"Birch and Swinnerton-Dyer conjecture" is owned by alozano.
(view preamble | get metadata)

View style:

See Also: elliptic curve, regulator of an elliptic curve, Mordell curve, the arithmetic of elliptic curves

Other names:  BS-D conjecture
Also defines:  Birch and Swinnerton-Dyer conjecture, parity conjecture
Keywords:  Birch, Swinnerton, Dyer, L-series, rank, elliptic curve

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: finite, complex multiplication, imaginary quadratic field, even, parity, root number, consequence, good reduction, prime, non-singular, reduction, cardinality, factor, infinity, points, torsion, number, connected, minimal model, conjecture, elliptic regulator, Tate-Shafarevich group, period, real, invariants, expression, residue, rank, order, elliptic curve
There are 7 references to this entry.

This is version 13 of Birch and Swinnerton-Dyer conjecture, born on 2003-08-06, modified 2007-04-08.
Object id is 4561, canonical name is BirchAndSwinnertonDyerConjecture.
Accessed 11323 times total.

Classification:
AMS MSC14H52 (Algebraic geometry :: Curves :: Elliptic curves)

Pending Errata and Addenda
None.
[ View all 4 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)