Reciprocity of Dedekind sums and the Euler class

Claire Burrin

DOI: https://doi.org/10.48550/arXiv.1609.03588

2017-09-29

Abstract:Dedekind sums are arithmetic sums that were first introduced by Dedekind in the context of elliptic functions and modular forms, and later recognized to be surprisingly ubiquitous. Among the variations and generalizations introduced since, there is a construction of Dedekind sums for lattices in $\mathrm{SL}_2(\mathbf{R}). Building upon work of Asai, we prove the reciprocity law for these Dedekind sums, based on a concrete realization of the Euler class. As an application, we obtain an explicit formula expressing Dedekind sums for Hecke triangle groups in terms of continued fractions.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the reciprocity law of Dedekind sums and their relationship with the Euler class. Specifically, the author aims to prove a reciprocity law of Dedekind sums constructed on SL2(R) lattices and to derive this reciprocity law based on the specific implementation of the Euler class.

### Problem Background

The Dedekind sum was originally introduced by Dedekind for the study of elliptic functions and modular forms. The Dedekind sum has the following form:

\[ s(d, c) = \sum_{k = 1}^{c - 1} \left( \left( \frac{k}{c} \right) \right) \left( \left( \frac{kd}{c} \right) \right) \]

where \(\left( \left( x \right) \right)\) is the sawtooth function, defined as:

\[ \left( \left( x \right) \right) = \begin{cases}
x - \lfloor x \rfloor - \frac{1}{2} & \text{if } x \notin \mathbb{Z}, \\
0 & \text{if } x \in \mathbb{Z}.
\end{cases} \]

Dedekind further derived a beautiful reciprocity law formula:

\[ s(d, c) + s(c, d) = \frac{1}{12} \left( \frac{d}{c} + \frac{1}{dc} + \frac{c}{d} \right) - \frac{1}{4}. \]

### Main Contributions of the Paper

Through Asai's work, the author generalizes these reciprocity law formulas to more general cases and proves these formulas based on the specific implementation of the Euler class. Specifically, the author focuses on the reciprocity law of Dedekind sums constructed on SL2(R) lattices. In addition, the author also provides an explicit formula for calculating the Dedekind sums on the Hecke triangle group.

### Main Results

1. **Theorem 2**: For all \(\gamma_i\in\Gamma\) satisfying \(\gamma_1\gamma_2\gamma_3 = I\), and \([[ \gamma_i ]]\) are non - trivial double cosets, we have:

\[ S_a([[ \gamma_1 ]]) + S_a([[ \gamma_2 ]]) + S_a([[ \gamma_3 ]]) = \frac{\text{vol}(\Gamma \backslash H)}{4\pi} \left( \frac{c_{\gamma_1}}{c_{\gamma_3} c_{\gamma_2}} + \frac{c_{\gamma_2}}{c_{\gamma_1} c_{\gamma_3}} + \frac{c_{\gamma_3}}{c_{\gamma_2} c_{\gamma_1}} \right) - \frac{1}{4} \text{sign}(c_{\gamma_1} c_{\gamma_2} c_{\gamma_3}). \]

2. **Theorem 3**: For the Hecke triangle group \(G_q\), if \(\frac{a}{c}\in O\) and \(ac\neq0\), then:

\[ S\left( \left[ \frac{a}{c} \right] \right) - S\left( \left[ \frac{c}{a} \right] \right) = \frac{1 - \frac{2}{q}}{8 \cos \left( \frac{\pi}{q} \right)} \]