Английская Википедия:Birch and Swinnerton-Dyer conjecture

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Short description Шаблон:Use dmy dates Шаблон:Millennium Problems 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 developed the conjecture during the first half of the 1960s with the help of machine computation. Шаблон:As of, only special cases of the conjecture have been proven.

The modern formulation of the conjecture relates arithmetic data associated with an elliptic curve E over a number field K to the behavior of the Hasse–Weil L-function L(E, s) of E at s = 1. More specifically, it is conjectured that the rank of the abelian group E(K) of points of E is the order of the zero of L(E, s) at s = 1, and the first non-zero coefficient in the Taylor expansion of L(E, s) at s = 1 is given by more refined arithmetic data attached to E over K Шаблон:Harv.

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.[1]

Background

Шаблон:Harvtxt 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) it is unknown if these methods handle all curves.

An L-function 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 L-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 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 Шаблон:Harvtxt for elliptic curves with complex multiplication. It was subsequently shown to be true for all elliptic curves over Q, 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 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 Peter Swinnerton-Dyer used the EDSAC-2 computer at the University of Cambridge Computer Laboratory to calculate the number of points modulo p (denoted by Np) for a large number of primes p on elliptic curves whose rank was known. From these numerical results Шаблон:Harvtxt conjectured that Np for a curve E with rank r obeys an asymptotic law

<math>\prod_{p\leq x} \frac{N_p}{p} \approx C\log (x)^r \mbox{ as } x \rightarrow \infty </math>

where C is a constant.

Initially, this was based on somewhat tenuous trends in graphical plots; this induced a measure of skepticism in J. W. S. Cassels (Birch's Ph.D. advisor).[2] Over time the numerical evidence stacked up.

This in turn led them to make a general conjecture about the behavior of a curve's L-function L(E, s) at s = 1, namely that it would have a zero of order r at this point. This was a far-sighted conjecture for the time, given that the analytic continuation of L(E, s) was only established for curves with complex multiplication, which were also the main source of numerical examples. (NB 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 s = 1. It is conjecturally given by[3]

<math>\frac{L^{(r)}(E,1)}{r!} = \frac{\#\mathrm{Sha}(E)\Omega_E R_E \prod_{p|N}c_p}{(\#E_{\mathrm{Tor}})^2}</math>

where the quantities on the right-hand side are invariants of the curve, studied by Cassels, Tate, Shafarevich and others Шаблон:Harv:

<math>\#E_{\mathrm{Tor}}</math> is the order of the torsion group,

<math>\#\mathrm{Sha}(E)</math> is the order of the Tate–Shafarevich group,

<math>\Omega_E</math> is the real period of E multiplied by the number of connected components of E,

<math>R_E</math> is the regulator of E which is defined via the canonical heights of a basis of rational points,

<math>c_p</math> is the Tamagawa number of E at a prime p dividing the conductor N of E. It can be found by Tate's algorithm.

Current status

Файл:BSD data plot for elliptic curve 800h1.svg
A plot, in blue, of <math>\prod_{p\leq X} \frac{N_p}{p}</math> for the curve y2 = x3 − 5x as X varies over the first 100000 primes. The X-axis is in log(log) scale -X is drawn at distance proportional to <math>\log(\log(X))</math> from 0- and the Y-axis is in a logarithmic scale, so the conjecture predicts that the data should tend to a line of slope equal to the rank of the curve, which is 1 in this case -that is, the quotient <math>\frac{\log\left(\prod_{p\leq X} \frac{N_p}{p}\right)}{\log C+r\log(\log X))}\rightarrow 1</math> as <math>X\rightarrow\infty</math>, with C, r as in the text. For comparison, a line of slope 1 in (log(log),log)-scale -that is, with equation <math>\log y=a+\log(\log x)</math>- is drawn in red in the plot.

The Birch and Swinnerton-Dyer conjecture has been proved only in special cases:

  1. Шаблон:Harvtxt proved that if E is a curve over a number field F with complex multiplication by an imaginary quadratic field K of class number 1, F = K or Q, and L(E, 1) is not 0 then E(F) is a finite group. This was extended to the case where F is any finite abelian extension of K by Шаблон:Harvtxt.
  2. Шаблон:Harvtxt showed that if a modular elliptic curve has a first-order zero at s = 1 then it has a rational point of infinite order; see Gross–Zagier theorem.
  3. Шаблон:Harvtxt 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.
  4. Шаблон:Harvtxt showed that for elliptic curves defined over an imaginary quadratic field K with complex multiplication by K, if the L-series of the elliptic curve was not zero at s = 1, then the p-part of the Tate–Shafarevich group had the order predicted by the Birch and Swinnerton-Dyer conjecture, for all primes p > 7.
  5. Шаблон:Harvtxt, extending work of Шаблон:Harvtxt, proved that all elliptic curves defined over the rational numbers are modular, which extends results #2 and #3 to all elliptic curves over the rationals, and shows that the L-functions of all elliptic curves over Q are defined at s = 1.
  6. Шаблон:Harvtxt proved that the average rank of the Mordell–Weil group of an elliptic curve over Q is bounded above by 7/6. Combining this with the p-parity theorem of Шаблон:Harvtxt and Шаблон:Harvtxt and with the proof of the main conjecture of Iwasawa theory for GL(2) by Шаблон:Harvtxt, they conclude that a positive proportion of elliptic curves over Q have analytic rank zero, and hence, by Шаблон:Harvtxt, satisfy the Birch and Swinnerton-Dyer conjecture.

There are currently no proofs involving curves with a rank greater than 1.

There is extensive numerical evidence for the truth of the conjecture.[4]

Consequences

Much like the Riemann hypothesis, this conjecture has multiple consequences, including the following two:

Notes

Шаблон:Reflist

References

Шаблон:Refbegin

Шаблон:Refend

External links

Шаблон:Sister project links

Шаблон:L-functions-footer Шаблон:Authority control

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ Birch and Swinnerton-Dyer Conjecture at Clay Mathematics Institute
  2. ↑ Шаблон:Citation.
  3. ↑ Шаблон:Cite journal, page 50
  4. ↑ Шаблон:Cite journal
  5. ↑ Шаблон:Cite book
  6. ↑ Шаблон:Cite journal
Источник — http://wikihandbk.com/ruwiki/index.php?title=Английская_Википедия:Birch_and_Swinnerton-Dyer_conjecture&oldid=13531859