Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Consider an elliptic curve E defined over Q. Assume that the rank of E(Q) is >=2. (Assume the Birch-Swinnerton-Dyer conjecture if needed, so that analytic rank = algebraic rank.) How do you construct a point of infinite order on E(Q)?

(If the rank were 1, then the Gross-Zagier construction would do the job. If the rank were 0, then, of course, there would be no such point.)

Implicit in a paper of Mazur and Swinnerton-Dyer ("Arithmetic of Weil curves", Invent. Math., 25, 1-61 (1974); see especially section 2.4) there is a construction that seems to work a positive proportion of the time, though not always. Here is what the construction would be according to my understanding: take a modular parametrisation phi:X_0(N)->E(C), consider its points of ramification on the imaginary axis (there is at least one), take the image phi(z) of one such point z; due to standard magic, X_0(N) has an algebraic model that makes phi into an algebraic map; the trace of phi(z) is a point of E(Q) that might be non-torsion, and sometimes is).

Has any further work been done on this? (In particular, has it been proven that this works infinitely often?) Are there any other constructions for which similar statements have been conjectured or proven?

Harald

share|improve this question
1  
I don't know of any further work on this; my impression is that this construction has been to some extent neglected. –  Emerton Feb 14 '11 at 17:22
2  
This article archive.numdam.org/ARCHIVE/JTNB/JTNB_2005__17_1/… by Christophe Delaunay talks about this construction. –  Chris Wuthrich Feb 14 '11 at 17:53
3  
@Helfgott: Section 5.2 of [Mazur-Swinnerton-Dyer] discusses another related construction. This turns out to be related to recent research of Zhang and his students: see terrytao.wordpress.com/2007/05/04/… and math.columbia.edu/~yxy preprints/triple.pdf Their triple product L-function result explains why this construction must give torsion points when the analytic rank is 2 or higher. –  William Stein Feb 14 '11 at 20:09
3  
@Helfgott: I'm certainly interested in helping with this computational project... –  William Stein Feb 16 '11 at 16:16
2  
@Stein: Cool. Let's take this over to email. (Kevin B., are you in?) –  H A Helfgott Feb 16 '11 at 20:35
show 6 more comments

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.