Hostname: page-component-8448b6f56d-m8qmq Total loading time: 0 Render date: 2024-04-19T02:48:45.518Z Has data issue: false hasContentIssue false

Computations of Elliptic Units for Real Quadratic Fields

Published online by Cambridge University Press:  20 November 2018

Samit Dasgupta*
Affiliation:
Department of Mathematics, Harvard University, Cambridge, MA 02138, U.S.A. email: dasgupta@math.harvard.edu
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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.

Keywords

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 2007

References

[1] Darmon, H., Integration on ℋ p × ℋ and arithmetic applications. Ann. of Math. 154(2001), no. 3, 589639.Google Scholar
[2] Darmon, H. and Dasgupta, S., Elliptic units for real quadratic fields. Ann. of Math. 163(2006), no. 1, 301345.Google Scholar
[3] Darmon, H. and Pollack, R.. The efficient calculation of Stark–Heegner points via overconvergent modular symbols. Israel J. Math 153(2006), 319354.Google Scholar
[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] Dasgupta, S.. Stark–Heegner points on modular jacobians. Ann. Sci. école Norm. Sup. 38(2005), no. 3, 427469.Google Scholar
[6] Gross, B. H.. p-adic L-series at = 0. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 28(1981), no. 3, 979994.Google Scholar
[7] Greenberg, R. and Stevens, G., p-adic L-functions and p-adic periods of modular forms. Invent. Math. 111(1993), no. 2, 407447.Google Scholar
[8] Lang, S.. Cyclotomic fields. I and II. Combined second edition. Graduate Texts in Mathematics 121, Springer-Verlag, New York, 1990.Google Scholar
[9] Stark, H. M., L-functions at s = 1. IV. First derivatives at s = 0. Adv. in Math. 35(1980), no. 3, 197235.Google Scholar
[10] Halbritter, U., Some new reciprocity formulas for generalized Dedekind sums. Results Math. 8(1985), no. 1, 2146.Google Scholar