The density of the graph of elliptic Dedekind sums

Stephen Bartell,Abby Halverson,Brenden Schlader,Siena Truex,Tian An Wong

DOI: https://doi.org/10.1007/s11139-024-00880-z

2024-06-25

Abstract:We show that the graph of normalized elliptic Dedekind sums is dense in its image for arbitrary imaginary quadratic fields, generalizing a result of Ito in the Euclidean case. We also derive some basic properties of Martin's continued fraction algorithm for arbitrary imaginary quadratic fields.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to prove whether the image of the normalized elliptic Dedekind sum is dense in the product space of the complex plane and the real axis, $\mathbb{C} \times \mathbb{R}$, for any imaginary quadratic fields. Specifically, the authors generalize Ito's results in the Euclidean case and explore the density of the normalized elliptic Dedekind sum in a wider range of imaginary quadratic fields.

The normalized elliptic Dedekind sum is defined as:

\[
\tilde{D}(a/c) = \left(i \sqrt{|d_K|} E_2(0)\right)^{-1} D(a,c)
\]

where $D(a,c)$ is the elliptic Dedekind sum, and $d_K$ is the discriminant of the imaginary quadratic field $K$. The main conclusions of the paper are as follows:

**Theorem 1.1**: Let $K = \mathbb{Q}(\sqrt{-D})$, and $D \neq 1, 3$. Then the image of the normalized elliptic Dedekind sum

\[
\{(α, \tilde{D}(α)) : α ∈ K\}
\]

is dense in $\mathbb{C} \times \mathbb{R}$.

To prove this conclusion, the authors rely on the continued fraction algorithm for imaginary quadratic fields with general class numbers recently established by Martin and use Sczech's homomorphism. In addition, they also study some basic properties of Martin's continued fraction algorithm, which are similar to the properties of the classical continued fraction algorithm and the Hurwitz continued fraction algorithm.

Through these tools, the authors successfully prove the above theorem, thereby generalizing the previous results to a wider range of imaginary quadratic fields. This not only deepens the understanding of elliptic Dedekind sums but also provides new methods and perspectives for further research on such mathematical objects.