Talk:Birch and Swinnerton-Dyer conjecture

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated C-class, High-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
C Class
High Importance
 Field:  Number theory


Conjecture: If and only if L(C, 1) = 0 then C(Q) is infinite. 23:27, 31 May 2006 (UTC)

Does this conjecture have implication for elliptic curve cryptography? 12:46, 16 November 2006 (UTC)

No. Why should it? Charles Matthews 18:47, 16 November 2006 (UTC)

Statement of conjecture[edit]

The article could be improved considerably by the addition of a statement of the conjecture. As it stands it is impossible to tell from the article what would qualify as a solution. The article talks informally about three conjectures without stating any one of them precisely and without saying which one has to be solved in order to win the prize. --Vaughan Pratt (talk) 22:56, 16 October 2008 (UTC)

The statements in the History section are quite precise. However, for clarity, I have put a summary of the basic conjecture into the lead section. Gandalf61 (talk) 08:51, 17 October 2008 (UTC)
Much appreciated. Unfortunately the article on L-functions that you linked to doesn't give an adequate definition of L(E,s), instead talking around the concept without nailing things down precisely. The problem seems to be that the editors of these two articles know the material so intimately that they seem unable to tell when they've left stuff out. But even if those lacunae are filled in, the article furthermore suffers from being pitched at an unnecessarily high level thereby greatly reducing its accessibility, as well as raising questions that aren't necessarily even relevant to the conjecture. I just sat through an hour lecture by Kenneth Ribet this afternoon about related stuff---the difference in clarity between what he presented and what's written here is night and day. (Incidentally I'd printed out the article just before the lecture, halfway through which I noticed your addition of the summary to the lead, thanks again.) For example nothing is lost by dropping the reference to Taylor expansions in the lead: it is just as precise to conjecture simply that L(C,s) is O((s-1)r), with the additional benefit of detaching the conjecture from the question of whether L(C,s) even has a meromorphic continuation. It would be great to have an elementary, precise, and accessible exposition of this conjecture. (If I knew what the conjecture was I'd write it myself.) --Vaughan Pratt (talk) 03:07, 18 October 2008 (UTC)
Not sure that the conjecture is quite equivalent to "L(C,s) is O((s-1)r) as s approaches 1". This would be satisfied if the first non-zero term in the Taylor expansion were (s-1)r or a higher order term, whereas the conjecture is that the first non-zero term is precisely the (s-1)r term.
However, as I am sure you know, Wikipedia is "the free encyclopedia that anyone can edit" - so if you (or indeed Ken Ribet) wish to improve this article or the L-function article, there is nothing standing in your way. Your knowledge in this area is clearly more than sufficient. Gandalf61 (talk) 10:02, 18 October 2008 (UTC)

I think that this article could be substantially improved in several directions. First of all and most importantly, throughout the article the words "elliptic curve" are used to mean "elliptic curves defined over the rational numbers". I think that the formulation should be made more precise. That brings me to the next point, namely that there is a totally analogous formulation of the conjecture for elliptic curves over other number fields than the rationals, which might be worth mentioning (and also over function fields but I don't insist that this belongs here). Thirdly, it might be worth updating the current state of knowledge. The conjecture on the order of vanishing (over the rationals) is now known modulo 2, i.e. the parity of the order of vanishing of the L-function is equal to the parity of the rank, provided one assumed the finiteness of Tate-Shafarevich groups [1]. And lastly, since there is a section on background, it might be worth explaining why it is heuristically plausible that the value at s=1 is somehow related to the number of points on the elliptic curve, namely it is related to the number of points modulo p as p varies over primes. I will be happy to modify the article if the author wants me to, but I thought I would first share my thoughts here before changing anything. AlexBartel (talk) 22:53, 5 May 2009 (UTC)

The statement of the conjecture is by far the most important portion of the article. Currently, this is how the statement of the conjecture reads:

"The conjecture relates arithmetic data associated to an elliptic curve E over a number field K to the behaviour 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."

This seems fine until "and the first non-zero coefficient . . .." But that last clause is totally vague and needs to be rewritten, replaced, or deleted. (What does "more refined arithmetic data" mean???)

Let C denote an elliptic curve and C(Q) its rational points. Let L(C,s) denote the incomplete L-series of C.

Then the Clay Math Institute's writeup of this problem, by Andrew Wiles, describes the conjecture itself in full as follows:

"Conjecture (Birch and Swinnerton-Dyer). The Taylor expansion of L(C, s) at s = 1 has the form

  L(C, s) = c(s − 1)r + higher order terms

with c ≠ 0 and r = rank(C(Q)). In particular this conjecture asserts that L(C, 1) = 0 if and only if C(Q) is infinite."

So maybe this is how it should be phrased, or at least paraphrased, in the article, as long as there is a way to refer to the correct definition of L(C,s).Daqu (talk) 19:29, 12 October 2011 (UTC)

Tate–Shafarevich group[edit]

In the section History, the Tate–Shafarevich group is denoted by Sha(E), but the standard notation (see, in particular, the article) for it is Ш. K9re11 (talk) 10:52, 22 October 2014 (UTC)

These are almost the same thing. The English spelling of the name of the Cyrillic character Ш is sha. I suspect part of the problem is that the mathematics formatting system used by Wikipedia does not include codes for producing the sha character. —David Eppstein (talk) 17:42, 22 October 2014 (UTC)

Whose conjecture is this extension of the Birch and Swinnerton-Dyer conjecture?[edit]

The article contains this phrase:

"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",

which is followed by a complicated expression that is conjecturally equal to the coefficient of the first non-zero coefficient of the Taylor expansion of the Hasse-Weil L-function of an elliptic curve E about the number 1.

Why is this conjecture not attributed to anyone (or to any group of people)?

And why is the expression for the value of the aforesaid coefficient only partly described? Would it be that hard to complete the description of it?

I hope someone knowledgeable on this topic will fill in the missing information.Daqu (talk) 04:03, 28 January 2015 (UTC)

Assessment comment[edit]

The comment(s) below were originally left at Talk:Birch and Swinnerton-Dyer conjecture/Comments, and are posted here for posterity. Following several discussions in past years, these subpages are now deprecated. The comments may be irrelevant or outdated; if so, please feel free to remove this section.

Needs references. Geometry guy 22:39, 15 June 2007 (UTC) Also needs a concise formulation of the conjecture. Jakob.scholbach 14:20, 2 September 2007 (UTC)

Last edited at 14:20, 2 September 2007 (UTC). Substituted at 01:49, 5 May 2016 (UTC)

Laurel and Hardy[edit]

The Laurel and Hardy comparison stays because it gives analogies on the personal character of two mathematicians which is impossible to get with other means. Compare for example to other mathematical duos: 1) Einstein gregarious, happy, full of laughter and common sense, and Gödel extremely solemn, very serious, quite solitary, and distrustful of common sense 2) If Serre was a Mozart, Grothendieck was a Wagner. This sort of material written by a top mathematician and popular expositor in a published book is encyclopedic and stays. Solomon7968 04:21, 25 November 2016 (UTC)