Computations of Elliptic Units for Real Quadratic Fields

Dasgupta, Samit

Canadian journal of mathematics, Tome 59 (2007) no. 3, pp. 553-574

Résumé

Let $K$ be a real quadratic field, and $p$ a rational prime which is inert in $K$ . Let $\alpha $ be a modular unit on ${{\Gamma }_{0}}(N)$ . In an earlier joint article with Henri Darmon, we presented the definition of an element $u\left( \alpha ,\,\text{ }\!\!\tau\!\!\text{ } \right)\,\in \,K_{P}^{\times }$ attached to $\alpha $ and each $\tau \,\in \,K$ . We conjectured that the $p$ -adic number $u(\alpha ,\,\tau )$ lies in a specific ring class extension of $K$ depending on $\tau $ , and proposed a “Shimura reciprocity law” describing the permutation action of Galois on the set of $u(\alpha ,\,\tau )$ . This article provides computational evidence for these conjectures. We present an efficient algorithm for computing $u(\alpha ,\,\tau )$ , and implement this algorithm with the modular unit $\alpha (z)\,=\,\Delta {{(z)}^{2}}\,\Delta (4z)\,/\,\Delta {{(2z)}^{3}}$ . Using $p\,=\,3,\,5,\,7\,and\,11$ , and all real quadratic fields $K$ with discriminant $D\,<\,500$ such that 2 splits in $K$ and $K$ contains no unit of negative norm, we obtain results supporting our conjectures. One of the theoretical results in this paper is that a certain measure used to define $u(\alpha ,\,\tau )$ is shown to be $\mathbf{Z}$ -valued rather than only ${{\mathbf{Z}}_{P}}\,\cap \,\mathbf{Q}-$ valued; this is an improvement over our previous result and allows for a precise definition of $u(\alpha ,\,\tau )$ , instead of only up to a root of unity.

Détail

DOI : 10.4153/CJM-2007-023-0

Mots-clés : 11R37, 11R11, 11Y40

Bibliographie

[1] [1] Darmon, H., Integration on ℋ × ℋ and arithmetic applications. Ann. of Math. 154(2001), no. 3, 589–639. Google Scholar

[2] [2] Darmon, H. and Dasgupta, S., Elliptic units for real quadratic fields. Ann. of Math. 163(2006), no. 1, 301–345. Google Scholar

[3] [3] Darmon, H. and Pollack, R.. The efficient calculation of Stark–Heegner points via overconvergent modular symbols. Israel J. Math 153(2006), 319–354. Google Scholar

[4] [4] Dasgupta, S.. Gross–Stark units, Stark–Heegner Points, and Class Fields of Real Quadratic Fields. Ph. D. thesis, University of California-Berkeley, 2004. Google Scholar

[5] [5] Dasgupta, S.. Stark–Heegner points on modular jacobians. Ann. Sci. école Norm. Sup. 38(2005), no. 3, 427–469. Google Scholar

[6] [6] Gross, B. H.. p-adic L-series at = 0. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 28(1981), no. 3, 979–994. Google Scholar

[7] [7] Greenberg, R. and Stevens, G., p-adic L-functions and p-adic periods of modular forms. Invent. Math. 111(1993), no. 2, 407–447. Google Scholar

[8] [8] Lang, S.. Cyclotomic fields. I and II. Combined second edition. Graduate Texts in Mathematics 121, Springer-Verlag, New York, 1990. Google Scholar

[9] [9] Stark, H. M., L-functions at s = 1. IV. First derivatives at s = 0. Adv. in Math. 35(1980), no. 3, 197–235. Google Scholar

[10] [10] Halbritter, U., Some new reciprocity formulas for generalized Dedekind sums. Results Math. 8(1985), no. 1, 21–46. Google Scholar