CMS/SMC
Canadian Mathematical Society
www.cms.math.ca
Canadian Mathematical Society
  location:  PublicationsjournalsCJM
Abstract view

Computations of Elliptic Units for Real Quadratic Fields

  Published:2007-06-01
 Printed: Jun 2007
  • Samit Dasgupta
Features coming soon:
Citations   (via CrossRef) Tools: Search Google Scholar:
Format:   HTML   LaTeX   MathJax   PDF   PostScript  

Abstract

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(\alpha, \tau) \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.
MSC Classifications: 11R37, 11R11, 11Y40 show english descriptions Class field theory
Quadratic extensions
Algebraic number theory computations
11R37 - Class field theory
11R11 - Quadratic extensions
11Y40 - Algebraic number theory computations
 

© Canadian Mathematical Society, 2014 : https://cms.math.ca/