Abstract
Let p be a prime number and let E be an elliptic curve defined over ℚ of conductor N. Let K be an imaginary quadratic field with discriminant prime to pN such that all prime factors of N split in K. B. Perrin-Riou established the p-adic Gross-Zagier formula that relates the first derivative of the p-adic L-function of E over K to the p-adic height of the Heegner point for K when E has good ordinary reduction at p. In this article, we prove the p-adic Gross-Zagier formula of E for the cyclotomic ℤ p -extension at good supersingular prime p. Our result has an application for the full Birch and Swinnerton-Dyer conjecture. Suppose that the analytic rank of E over ℚ is 1 and assume that the Iwasawa main conjecture is true for all good primes and the p-adic height pairing is not identically equal to zero for all good ordinary primes, then our result implies the full Birch and Swinnerton-Dyer conjecture up to bad primes. In particular, if E has complex multiplication and of analytic rank 1, the full Birch and Swinnerton-Dyer conjecture is true up to a power of bad primes and 2.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Amice, Y., Vélu, J.: Distributions p-adiques associées aux séries de Hecke. In: Journées Arithmétiques de Bordeaux, Conf., Univ. Bordeaux, Bordeaux, 1974. Astérisque, Nos. 24–25, pp. 119–131. Soc. Math. France, Paris (1975)
Bannai, K., Kobayashi, S.: Algebraic theta functions and the p-adic interpolation of Eisenstein-Kronecker numbers. Duke Math. J. 153(2), 229–295 (2010)
Bernardi, D., Perrin-Riou, B.: Variante p-adique de la conjecture de Birch et Swinnerton-Dyer (le cas supersingulier). C. R. Acad. Sci. Paris, Sér. I Math. 317(3), 227–232 (1993)
Bertrand, D.: Propriétés arithmétiques de fonctions thêta à plusieurs variables. In: Number Theory, Noordwijkerhout, 1983. Lecture Notes in Math., vol. 1068, pp. 17–22. Springer, Berlin (1984)
Besser, A.: The p-adic height pairings of Coleman-Gross and of Nekovár̆. In: Number Theory. CRM Proc. Lecture Notes, vol. 36, pp. 13–25. Am. Math. Soc., Providence (2004)
Bloch, S.: A note on height pairings, Tamagawa numbers, and the Birch and Swinnerton-Dyer conjecture. Invent. Math. 58(1), 65–76 (1980)
Bloch, S., Kato, K.: L-functions and Tamagawa numbers of motives. In: The Grothendieck Festschrift, Vol. I. Progr. Math., vol. 86, pp. 333–400. Birkhäuser Boston, Boston (1990)
Bosch, S., Lütkebohmert, W., Raynaud, M.: Néron Models. Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 21. Springer, Berlin (1990), x+325 pp.
Breuil, C., Conrad, B., Diamond, F., Taylor, R.: On the modularity of elliptic curves over ℚ: wild 3-adic exercises. J. Am. Math. Soc. 14(4), 843–939 (2001)
Çiperiani, M., Wiles, A.: Solvable points on genus one curves. Duke Math. J. 142(3), 381–464 (2008)
Coates, J., Perrin-Riou, B.: On p-adic L-functions attached to motives over ℚ. In: Algebraic Number Theory. Adv. Stud. Pure Math., vol. 17, pp. 23–54. Academic Press, Boston (1989)
Coates, J., Perrin-Riou, B.: On p-adic L-functions attached to motives over ℚ. II. Bol. Soc. Bras. Mat. 20(1), 101–112 (1989)
Coleman, R.: Division values in local fields. Invent. Math. 53(2), 91–116 (1979)
Coleman, R., Gross, B.: p-adic heights on curves. In: Algebraic Number Theory. Adv. Stud. Pure Math., vol. 17, pp. 73–81. Academic Press, Boston (1989)
Colmez, P.: Périodes des variétés abéliennes à multiplication complexe. Ann. Math. (2) 138(3), 625–683 (1993)
Colmez, P.: Fonctions L p-adiques. In: Séminaire Bourbaki, Vol. 1998/1999. Astérisque, No. 266 (2000). Exp. No. 851, 3, 21–58
Colmez, P.: La conjecture de Birch et Swinnerton-Dyer p-adique. Astérisque, No. 294, pp. 251–319 (2004), ix pp.
Fontaine, J.-M.: Groupes p-Divisibles sur les Corps Locaux. Astérisque, No. 47–48. Société Mathématique de France, Paris (1977), i+262 pp.
Fukaya, T.: The theory of Coleman power series for K 2. J. Algebr. Geom. 12(1), 1–80 (2003)
Gross, B.: Local heights on curves. In: Arithmetic Geometry, Storrs, Conn., 1984, pp. 327–339. Springer, New York (1986)
Gross, B., Zagier, D.: Heegner points and derivatives of L-series. Invent. Math. 84(2), 225–320 (1986)
Hecke, E.: Theorie der Eisensteinschen Reihen höherer Stufe und ihre Anwendung auf Funktionentheorie und Arithmetik. Abh. Math. Semin. Univ. Hamb. 5, 199–224 (1927)
Hida, H.: A p-adic measure attached to the zeta functions associated with two elliptic modular forms. I. Invent. Math. 79(1), 159–195 (1985)
Honda, T.: On the theory of commutative formal groups. J. Math. Soc. Jpn. 22, 213–246 (1970)
Howard, B.: The Iwasawa theoretic Gross-Zagier theorem. Compos. Math. 141(4), 811–846 (2005)
Iovita, A., Pollack, R.: Iwasawa theory of elliptic curves at supersingular primes over ℤ p -extensions of number fields. J. Reine Angew. Math. 598, 71–103 (2006)
Kato, K.: p-adic Hodge theory and values of zeta functions of modular forms. In: Cohomologies p-Adiques et Applications Arithmétiques. III. Astérisque, No. 295, pp. 117–290 (2004), ix pp.
Katz, N.: p-adic interpolation of real analytic Eisenstein series. Ann. Math. (2) 104(3), 459–571 (1976)
Katz, N.: Crystalline cohomology, Dieudonné modules, and Jacobi sums. In: Automorphic Forms, Representation Theory and Arithmetic, Bombay, 1979. Tata Inst. Fund. Res. Studies in Math., vol. 10, pp. 165–246. Tata Inst. Fundamental Res, Bombay (1981)
Kobayashi, S.: Iwasawa theory for elliptic curves at supersingular primes. Invent. Math. 152(1), 1–36 (2003)
Kolyvagin, V.A.: Euler systems. In: The Grothendieck Festschrift, Vol. II. Progr. Math., vol. 86, pp. 435–483. Birkhäuser Boston, Boston (1990)
Kurihara, M., Pollack, R.: Two p-adic L-functions and rational points on elliptic curves with supersingular reduction. In: L-Functions and Galois Representations. London Math. Soc. Lecture Note Ser., vol. 320, pp. 300–332. Cambridge University Press, Cambridge (2007)
Lang, S.: Fundamentals of Diophantine Geometry. Springer, New York (1983), xviii+370 pp.
Liu, Q., Lorenzini, D.: Models of curves and finite covers. Compos. Math. 118(1), 61–102 (1999)
Mazur, B., Messing, W.: Universal Extensions and One Dimensional Crystalline Cohomology. Lecture Notes in Mathematics, vol. 370. Springer, Berlin (1974), vii+134 pp.
Mazur, B., Swinnerton-Dyer, P.: Arithmetic of Weil curves. Invent. Math. 25, 1–61 (1974)
Mazur, B., Tate, J., Teitelbaum, J.: On p-adic analogues of the conjectures of Birch and Swinnerton-Dyer. Invent. Math. 84(1), 1–48 (1986)
Mazur, B., Stein, W., Tate, J.: Computation of p-adic heights and log convergence. Doc. Math. 2006, Extra 577–614
Milne, J.S.: Jacobian varieties. In: Arithmetic Geometry, Storrs, Conn., 1984, pp. 167–212. Springer, New York (1986)
Miyake, T.: Modular Forms. Springer Monographs in Mathematics. Springer, Berlin (2006). Translated from the 1976 Japanese original by Yoshitaka Maeda. Reprint of the first 1989 English Edn., x+335 pp.
Mumford, D.: Abelian Variety. Tata Institute of Fundamental Research Studies in Mathematics, vol. 5. Oxford University Press, London (1970)
Nekovár̆, J.: On p-adic height pairings. In: Séminaire de Théorie des Nombres, Paris, 1990–1991. Progr. Math., No. 108, pp. 127–202. Birkhäuser Boston, Boston (1993)
Nekovár̆, J.: On the p-adic height of Heegner cycles. Math. Ann. 302(4), 609–686 (1995)
Nekovár̆, J.: Selmer Complexes. Astérisque, No. 310 (2006), viii+559 pp.
Ochiai, T.: A generalization of the Coleman map for Hida deformations. Am. J. Math. 125(4), 849–892 (2003)
Oesterlé, J.: Construction de hauteurs archimédiennes et p-adiques suivant la methode de Bloch. In: Seminar on Number Theory, Paris, 1980–1981. Progr. Math., vol. 22, pp. 175–192. Birkhäuser Boston, Boston (1982)
Ota, K.: A generalization of the theory of Coleman power series. Preprint
Panchishkin, A.: Two variable p-adic L functions attached to eigenfamilies of positive slope. Invent. Math. 154(3), 551–615 (2003)
Perrin-Riou, B.: Points de Heegner et dérivées de fonctions L p-adiques. Invent. Math. 89(3), 455–510 (1987)
Perrin-Riou, B.: Fonctions L p-adiques, théorie d’Iwasawa et points de Heegner. Bull. Soc. Math. Fr. 115(4), 399–456 (1987)
Perrin-Riou, B.: Fonctions L p-adiques associées à une forme modulaire et à un corps quadratique imaginaire. J. Lond. Math. Soc. (2) 38(1), 1–32 (1988)
Perrin-Riou, B.: Théorie d’Iwasawa p-adique locale et globale. Invent. Math. 99(2), 247–292 (1990)
Perrin-Riou, B.: Fonctions L p-adiques d’une courbe elliptique et points rationnels. Ann. Inst. Fourier (Grenoble) 43(4), 945–995 (1993)
Perrin-Riou, B.: Théorie d’Iwasawa des représentations p-adiques sur un corps local. Invent. Math. 115, 81–149 (1994)
Perrin-Riou, B.: Fonctions L p-Adiques des Représentations p-Adiques. Astérisque, No. 229 (1995), 198 pp.
Perrin-Riou, B.: Arithmétique des courbes elliptiques à réduction supersingulière en p. Exp. Math. 12(2), 155–186 (2003)
Plater, A.: Supersingular p-adic height pairings on elliptic curves. In: Arithmetic Geometry, Tempe, AZ, 1993. Contemp. Math., vol. 174, pp. 95–105. Am. Math. Soc., Providence (1994)
Pollack, R.: On the p-adic L-function of a modular form at a supersingular prime. Duke Math. J. 118(3), 523–558 (2003)
Pollack, R., Rubin, K.: The main conjecture for CM elliptic curves at supersingular primes. Ann. Math. (2) 159(1), 447–464 (2004)
Rubin, K.: The “main conjectures” of Iwasawa theory for imaginary quadratic fields. Invent. Math. 103(1), 25–68 (1991)
Schneider, P.: p-adic height pairings I. Invent. Math. 69(3), 401–409 (1982)
Schneider, P.: p-adic height pairings. II. Invent. Math. 79(2), 329–374 (1985)
Serre, J.-P.: Groupes algébriques et corps de classes. Deuxième édition. Publication de l’Institut de Mathématique de l’Université de Nancago, No. VII. Actualités Scientifiques et Industrielles, No. 1264. Hermann, Paris (1975), 204 pp.
Shimura, G.: The special values of the zeta functions associated with cusp forms. Commun. Pure Appl. Math. 29(6), 783–804 (1976)
Shimura, G.: On the periods of modular forms. Math. Ann. 229(3), 211–221 (1977)
Silverman, J.: The Arithmetic of Elliptic Curves. Graduate Texts in Mathematics, vol. 106. Springer, New York (1992), xii+400 pp.
Silverman, J.: Advanced Topics in the Arithmetic of Elliptic Curves. Graduate Texts in Mathematics, vol. 151. Springer, New York (1994), xiv+525 pp.
Stein, W., Wuthrich, C.: Algorithms for the arithmetic of elliptic curves using Iwasawa theory. Math. Comput. (to appear)
Taylor, R., Wiles, A.: Ring-theoretic properties of certain Hecke algebras. Ann. Math. (2) 141(3), 553–572 (1995)
Višik, M.: Nonarchimedean measures associated with Dirichlet series. Mat. Sb. 99(141), 248–260 (1976), (2), 296
Waldspurger, J.-L.: Correspondances de Shimura. In: Proceedings of the International Congress of Mathematicians, Vols. 1, 2, Warsaw, 1983, pp. 525–531. PWN, Warsaw (1984)
Waldspurger, J.-L.: Correspondances de Shimura et quaternions. Forum Math. 3(3), 219–307 (1991)
Weil, A.: Elliptic Functions According to Eisenstein and Kronecker. Classics in Mathematics. Springer, Berlin (1999). Reprint of the 1976 original, viii+93 pp.
Wiles, A.: Modular elliptic curves and Fermat’s last theorem. Ann. Math. (2) 141(3), 443–551 (1995)
Wintenberger, J.-P.: Un scindage de la filtration de Hodge pour certaines variétés algébriques sur les corps locaux. Ann. Math. (2) 119(3), 511–548 (1984)
Zagier, D.: Periods of modular forms and Jacobi theta functions. Invent. Math. 104(3), 449–465 (1991)
Zarhin, Y.G.: p-adic heights on abelian varieties. In: Séminaire de Théorie des Nombres, Paris, 1987–1988. Progr. Math., vol. 81, pp. 317–341. Birkhäuser Boston, Boston (1990)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of Toshiyuki Ikegaya
Rights and permissions
About this article
Cite this article
Kobayashi, S. The p-adic Gross-Zagier formula for elliptic curves at supersingular primes. Invent. math. 191, 527–629 (2013). https://doi.org/10.1007/s00222-012-0400-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-012-0400-9