Computing rational points on rank 1 elliptic curves via L-series and canonical heights

Let E/Q be an elliptic curve of rank 1. We describe an algorithm which uses the value of L'(E, 1) and the theory of canonical heghts to efficiently search for points in E(Q) and E(Z S ). For rank 1 elliptic curves E/Q of moderately large conductor (say on the order of 10 7 to 10 10 ) and with a generator having moderately large canonical height (say between 13 and 50), our algorithm is the first practical general purpose method for determining if the set E(Z S ) contains non-torsion points.

[1]  Fred Diamond,et al.  ON DEFORMATION RINGS AND HECKE RINGS , 1996 .

[2]  A. Wiles,et al.  Ring-Theoretic Properties of Certain Hecke Algebras , 1995 .

[3]  A. Wiles.  Modular Elliptic Curves and Fermat′s Last Theorem(抜粋) (フェルマ-予想がついに解けた!?) , 1995 .

[4]  Noam D. Elkies,et al.  Heegner point computations , 1994, ANTS.

[5]  Karl Rubin,et al.  p-adicL-functions and rational points on elliptic curves with complex multiplication , 1992 .

[6]  J. Cremona.  Algorithms for Modular Elliptic Curves , 1992 .

[7]  Joseph H. Silverman,et al.  The difference between the Weil height and the canonical height on elliptic curves , 1990 .

[8]  Don Zagier,et al.  Heegner points and derivatives ofL-series , 1986 .

[9]  Douglas Ulmer,et al.  A construction of local points on elliptic curves over modular curves , 1995 .

[10]  J. Silverman.  Advanced Topics in the Arithmetic of Elliptic Curves , 1994 .

[11]  Henri Cohen,et al.  A course in computational algebraic number theory , 1993, Graduate texts in mathematics.

[12]  D. Rohrlich,et al.  Variation of the root number in families of elliptic curves , 1993 .

[13]  Nicholas M. Katz,et al.  The Grothendieck Festschrift , 1990 .

[14]  Joseph H. Silverman,et al.  The arithmetic of elliptic curves , 1986, Graduate texts in mathematics.

[15]  J. W. S. Cassels,et al.  On the equation , 1984 .

[16]  Joseph H. Silverman,et al.  The Neron-Tate height on elliptic curves , 1982 .

[17]  Andrzej Schinzel,et al.  On the equation $y^m = P(x)$ , 1976 .

[18]  B. Birch,et al.  Modular Functions of One Variable IV , 1975 .

[19]  Rohit Singh,et al.  private communication , 1969 .