Abstract
This note presents a qualitative improvement to the algorithm presented in [DG] for computing Stark-Heegner points attached to an elliptic curve and a real quadratic field. This algorithm computes the Stark-Heegner point with ap-adic accuracy ofM significant digits in time which is polynomial inM, the primep being treated as a constant, rather than theO(p M) operations required for the more naive approach taken in [DG]. The key to this improvement lies in the theory of overconvergent modular symbols developed in [PS1] and [PS2].
Similar content being viewed by others
References
M. Bertolini and H. Darmon,Hida families and rational points on elliptic curves, submitted.
M. Bertolini and H. Darmon,The rationality of Stark-Heegner points over genus fields of real quadratic fields, submitted.
H. Cohen,A Course in Computational Algebraic Number Theory, Graduate Texts in Mathematics138, Springer-Verlag, Berlin, 1993.
H. Darmon, Integration on\(\mathcal{H}_p \times \mathcal{H}\) and arithmetic applications, Annals of Mathematics (2)154 (2001), 589–639.
S. Dasgupta,Gross-Stark units, Stark-Heegner points, and class fields of real quadratic fields, PhD thesis, Berkeley, May 2004.
H. Darmon and S. Dasgupta,Elliptic units for real quadratic fields, Annals of Mathematics, to appear.
H. Darmon and P. Green,Elliptic curves and class fields of real quadratic fields: algorithms and evidence, Experimental Mathematics11 (2002), 37–55.
E. de Shalit,p-adic periods and modular symbols of elliptic curves of prime conductor, Inventiones Mathematicae121 (1995), 225–255.
N. D. Elkies,Heegner point computations, inAlgorithmic Number Theory (Ithaca, NY, 1994), Lecture Notes in Computer Science877, Springer, Berlin, 1994, pp. 122–133.
R. Greenberg and G. Stevens,p-adic L-functions and p-adic periods of modular forms, Inventiones Mathematicae111 (1993), 407–447.
D. E. Knuth,The Art of Computer Programming, Vol. 2, 3rd edn., Addison-Wesley, Reading, Mass, 1981.
J. I. Manin,Parabolic points and zeta functions of modular curves, Izvestiya Akademii Nauk SSSR, Seriya Matematicheskaya36 (1972), no. 1, 19–66.
B. Mazur, J. Tate and J. Teitelbaum,On p-adic analogues of the conjectures of Birch and Swinnerton-Dyer, Inventiones Mathematicae84 (1986), 1–48.
R. Pollack and G. Stevens,The “missing” p-adic L-function, in preparation.
R. Pollack and G. Stevens,Explicit computations with overconvergent modular symbols, in preparation.
K. Rubin,p-adic variants of the Birch and Swinnerton-Dyer conjecture for elliptic curves with complex multiplication, inp-Adic Monodromy and the Birch and Swinnerton-Dyer Conjecture (Boston, MA, 1991), Contemporary Mathematics165, American Mathematical Society, Providence, RI, 1994, pp. 71–80.
G. Stevens,Rigid analytic modular symbols, unpublished notes.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Darmon, H., Pollack, R. Efficient calculation of Stark-Heegner points via overconvergent modular symbols. Isr. J. Math. 153, 319–354 (2006). https://doi.org/10.1007/BF02771789
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02771789