Consider an elliptic curve defined over an imaginary quadratic field with good reduction at the primes above and with complex multiplication by the full ring of integers of . In this paper, we construct -adic analogues of the Eisenstein–Kronecker series for such an elliptic curve as Coleman functions on the elliptic curve. We then prove -adic analogues of the first and second Kronecker limit formulas by using the distribution relation of the Kronecker theta function.
References
[2] K. Bannai, On the $p$-adic realization of elliptic polylogarithms for CM-elliptic curves, Duke Math. J. 113 (2002), 193–236. MR1909217 1019.11018 10.1215/S0012-7094-02-11321-0 euclid.dmj/1087575250
[2] K. Bannai, On the $p$-adic realization of elliptic polylogarithms for CM-elliptic curves, Duke Math. J. 113 (2002), 193–236. MR1909217 1019.11018 10.1215/S0012-7094-02-11321-0 euclid.dmj/1087575250
[3] K. Bannai, Specialization of the $p$-adic polylogarithm to $p$-th power roots of unity, Doc. Math. 2003, Extra Vol., 73–97. MR2046595 1052.11047[3] K. Bannai, Specialization of the $p$-adic polylogarithm to $p$-th power roots of unity, Doc. Math. 2003, Extra Vol., 73–97. MR2046595 1052.11047
[4] K. Bannai and S. Kobayashi, “Algebraic theta functions and Eisenstein-Kronecker numbers” in Proceedings of the Symposium on Algebraic Number Theory and Related Topics, RIMS Kôkyûroku Bessatsu B4, Res. Inst. Math. Sci. (RIMS), Kyoto, 2007, 63–77. MR2402003[4] K. Bannai and S. Kobayashi, “Algebraic theta functions and Eisenstein-Kronecker numbers” in Proceedings of the Symposium on Algebraic Number Theory and Related Topics, RIMS Kôkyûroku Bessatsu B4, Res. Inst. Math. Sci. (RIMS), Kyoto, 2007, 63–77. MR2402003
[5] K. Bannai and S. Kobayashi, Algebraic theta functions and $p$-adic interpolation of Eisenstein-Kronecker numbers, Duke Math. J. 153 (2010), 229–295. MR2667134 1205.11076 10.1215/00127094-2010-024 euclid.dmj/1274902081
[5] K. Bannai and S. Kobayashi, Algebraic theta functions and $p$-adic interpolation of Eisenstein-Kronecker numbers, Duke Math. J. 153 (2010), 229–295. MR2667134 1205.11076 10.1215/00127094-2010-024 euclid.dmj/1274902081
[6] K. Bannai, S. Kobayashi, and T. Tsuji, “Realizations of the elliptic polylogarithm for CM elliptic curves” in Algebraic Number Theory and Related Topics (2007), RIMS Kôkyûroku Bessatsu B12, Res. Inst. Math. Sci. (RIMS), Kyoto, 2009, 33–50. MR2605771[6] K. Bannai, S. Kobayashi, and T. Tsuji, “Realizations of the elliptic polylogarithm for CM elliptic curves” in Algebraic Number Theory and Related Topics (2007), RIMS Kôkyûroku Bessatsu B12, Res. Inst. Math. Sci. (RIMS), Kyoto, 2009, 33–50. MR2605771
[7] K. Bannai, S. Kobayashi, and T. Tsuji, On the de Rham and $p$-adic realizations of the elliptic polylogarithm for CM elliptic curves, Ann. Sci. Éc. Norm. Supér. (4) 43 (2010), 185–234. MR2662664 1197.11073[7] K. Bannai, S. Kobayashi, and T. Tsuji, On the de Rham and $p$-adic realizations of the elliptic polylogarithm for CM elliptic curves, Ann. Sci. Éc. Norm. Supér. (4) 43 (2010), 185–234. MR2662664 1197.11073
[8] A. Beilinson and A. Levin, “The elliptic polylogarithm” in Motives (Seattle, 1991), Proc. Sympos. Pure Math. 55, Amer. Math. Soc., Providence, 1994, 123–190. MR1265553[8] A. Beilinson and A. Levin, “The elliptic polylogarithm” in Motives (Seattle, 1991), Proc. Sympos. Pure Math. 55, Amer. Math. Soc., Providence, 1994, 123–190. MR1265553
[9] P. Berthelot, Finitude et pureté cohomologique en cohomologie rigide, with an appendix by A. J. de Jong, Invent. Math. 128 (1997), 329–377. MR1440308 10.1007/s002220050143[9] P. Berthelot, Finitude et pureté cohomologique en cohomologie rigide, with an appendix by A. J. de Jong, Invent. Math. 128 (1997), 329–377. MR1440308 10.1007/s002220050143
[10] A. Besser, “Syntomic regulators and $p$-adic integration, I: Rigid syntomic regulators” in Conference on $p$-adic Aspects of the Theory of Automorphic Representations (Jerusalem, 1998), Israel J. Math. 120, 2000, 291–334. MR1809626 1001.19003 10.1007/BF02834843[10] A. Besser, “Syntomic regulators and $p$-adic integration, I: Rigid syntomic regulators” in Conference on $p$-adic Aspects of the Theory of Automorphic Representations (Jerusalem, 1998), Israel J. Math. 120, 2000, 291–334. MR1809626 1001.19003 10.1007/BF02834843
[11] A. Besser, “Syntomic regulators and $p$-adic integration, II: $K_{2}$ of curves” in Conference on $p$-adic Aspects of the Theory of Automorphic Representations (Jerusalem, 1998), Israel J. Math. 120, 2000, 335–359. MR1809627 10.1007/BF02834844[11] A. Besser, “Syntomic regulators and $p$-adic integration, II: $K_{2}$ of curves” in Conference on $p$-adic Aspects of the Theory of Automorphic Representations (Jerusalem, 1998), Israel J. Math. 120, 2000, 335–359. MR1809627 10.1007/BF02834844
[12] A. Besser, Coleman integration using the Tannakian formalism, Math. Ann. 322 (2002), 19–48. MR1883387 1013.11028 10.1007/s002080100263[12] A. Besser, Coleman integration using the Tannakian formalism, Math. Ann. 322 (2002), 19–48. MR1883387 1013.11028 10.1007/s002080100263
[13] A. Besser and R. de Jeu, The syntomic regulator for the $K$-theory of fields, Ann. Sci. Éc. Norm. Supér. (4) 36 (2003), 867–924. MR2032529 1106.11024 10.1016/j.ansens.2003.01.003[13] A. Besser and R. de Jeu, The syntomic regulator for the $K$-theory of fields, Ann. Sci. Éc. Norm. Supér. (4) 36 (2003), 867–924. MR2032529 1106.11024 10.1016/j.ansens.2003.01.003
[14] R. F. Coleman, Dilogarithms, regulators and $p$-adic $L$-functions, Invent. Math. 69 (1982), 171–208. MR674400 0516.12017 10.1007/BF01399500[14] R. F. Coleman, Dilogarithms, regulators and $p$-adic $L$-functions, Invent. Math. 69 (1982), 171–208. MR674400 0516.12017 10.1007/BF01399500
[17] P. Deligne, “Le groupe fondamental de la droite projective moins trois points” in Galois Groups Over $\mathbb{Q}$ (Berkeley, 1987), Math. Sci. Res. Inst. Publ. 16, Springer, New York, 1989, 79–297. MR1012168 0742.14022 10.1007/978-1-4613-9649-9_3[17] P. Deligne, “Le groupe fondamental de la droite projective moins trois points” in Galois Groups Over $\mathbb{Q}$ (Berkeley, 1987), Math. Sci. Res. Inst. Publ. 16, Springer, New York, 1989, 79–297. MR1012168 0742.14022 10.1007/978-1-4613-9649-9_3
[18] E. de Shalit, Iwasawa Theory of Elliptic Curves with Complex Multiplication: $p$-adic $L$ Functions, Perspect. Math. 3, Academic Press, Boston, 1987. MR917944 0674.12004[18] E. de Shalit, Iwasawa Theory of Elliptic Curves with Complex Multiplication: $p$-adic $L$ Functions, Perspect. Math. 3, Academic Press, Boston, 1987. MR917944 0674.12004
[19] H. Furusho, $p$-adic multiple zeta values, I: $p$-adic multiple polylogarithms and the $p$-adic KZ equation, Invent. Math. 55 (2004), 253–286. MR2031428 10.1007/s00222-003-0320-9[19] H. Furusho, $p$-adic multiple zeta values, I: $p$-adic multiple polylogarithms and the $p$-adic KZ equation, Invent. Math. 55 (2004), 253–286. MR2031428 10.1007/s00222-003-0320-9
[20] N. M. Katz, $p$-adic interpolation of real analytic Eisenstein series, Ann. of Math. (2) 104 (1976), 459–571. MR506271 0354.14007 10.2307/1970966[20] N. M. Katz, $p$-adic interpolation of real analytic Eisenstein series, Ann. of Math. (2) 104 (1976), 459–571. MR506271 0354.14007 10.2307/1970966
[21] A. Levin, Elliptic polylogarithms: An analytic theory, Compos. Math. 106 (1997), 267–282. MR1457106 0905.11028 10.1023/A:1000193320513[21] A. Levin, Elliptic polylogarithms: An analytic theory, Compos. Math. 106 (1997), 267–282. MR1457106 0905.11028 10.1023/A:1000193320513
[22] G. Robert, Unités elliptiques et formules pour le nombre de classes des extensions abéliennes d’un corps quadratique imaginaire, Mém. Soc. Math. France 36, Soc. Math. France, Paris, 1973. MR374088[22] G. Robert, Unités elliptiques et formules pour le nombre de classes des extensions abéliennes d’un corps quadratique imaginaire, Mém. Soc. Math. France 36, Soc. Math. France, Paris, 1973. MR374088
[23] M. Somekawa, Log-syntomic regulators and $p$-adic polylogarithms, $K$-Theory 17 (1999), 265–294. MR1703301 10.1023/A:1007755726476[23] M. Somekawa, Log-syntomic regulators and $p$-adic polylogarithms, $K$-Theory 17 (1999), 265–294. MR1703301 10.1023/A:1007755726476
[25] J. Wildeshaus, On an elliptic analogue of Zagier’s conjecture, Duke Math. J. 87 (1997), 355–407. MR1443532 0898.14001 10.1215/S0012-7094-97-08714-7 euclid.dmj/1077242150
[25] J. Wildeshaus, On an elliptic analogue of Zagier’s conjecture, Duke Math. J. 87 (1997), 355–407. MR1443532 0898.14001 10.1215/S0012-7094-97-08714-7 euclid.dmj/1077242150
[26] D. Zagier, Periods of modular forms and Jacobi theta functions, Invent. Math. 104 (1991), 449–465. MR1106744 0742.11029 10.1007/BF01245085[26] D. Zagier, Periods of modular forms and Jacobi theta functions, Invent. Math. 104 (1991), 449–465. MR1106744 0742.11029 10.1007/BF01245085