Note on an explicit formula of Rademacher symbols for triangle groups

Toshiki Matsusaka,Gyucheol Shin

2024-09-19

Abstract:The purpose of this note is to present an explicit formula of the Rademacher symbols for triangle groups. This result generalizes Ghys' third proof of the identity relating to the linking numbers of modular knots.

Number Theory,Geometric Topology

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to provide explicit formulas for Rademacher symbols for triangle groups. Specifically, the author aims to generalize Ghys' results on the relationship between the linking number between modular knots and the trefoil knot.

### Background and Problem Description

1. **The Dedekind η - function and its transformation**:
- In 1892, Richard Dedekind studied the functional equation of log η(z), where η(z) is a generating function, defined as:
\[
\log\eta(z) := \frac{\pi i z}{12} - \sum_{n = 1}^{\infty} \sum_{d|n} d^{-1} e^{2\pi i n z} \quad (z \in \mathbb{H})
\]
where \(\mathbb{H}\) is the upper half - complex plane.
- For any \(\gamma=\begin{pmatrix} a & b \\ c & d \end{pmatrix} \in SL_2(\mathbb{Z})\) with \(c\neq0\), Dedekind derived the following formula:
\[
\log\eta\left(\frac{az + b}{cz + d}\right)=\log\eta(z)+\frac{1}{2} \log(cz + d)+\frac{\pi i}{12} \Phi(\gamma)
\]
where \(\Phi:SL_2(\mathbb{Z})\to\mathbb{Z}\) is defined as:
\[
\Phi(\gamma)=\frac{a + d}{c}-12 \text{sgn}(c) \sum_{k = 1}^{|c|-1} \left( \left( \frac{k}{c} \right) \left( \frac{ka}{c} \right) \right)
\]

2. **Rademacher symbols**:
- The Rademacher symbol \(\Psi:SL_2(\mathbb{Z})\to\mathbb{Z}\) is a slight modification of the Dedekind function, defined as:
\[
\Psi(\gamma):=\Phi(\gamma)-3 \text{sgn}(c(a + d))
\]
- Rademacher proved in 1956 that this modification ensures that \(\Psi(\gamma)\) is a conjugacy class invariant on \(PSL_2(\mathbb{Z})\).

3. **Ghys' research**:
- Ghys discovered that the linking number between modular knots and the trefoil knot is equal to the Rademacher symbol. Specifically, for each \(\gamma\in SL_2(\mathbb{Z})\) with \(\text{tr}(\gamma)>2\), we have:
\[
\text{lk}(C_\gamma, K_{2,3})=\Psi(\gamma)
\]
- Ghys provided three different proofs, among which the third proof uses template theory.

4. **Extension to triangle groups**:
- The first author and Ueki generalized Ghys' results from \(SL_2(\mathbb{Z})\) to infinitely many triangle groups \(\Gamma_{p,q}\), where \((p, q)\) are pairs of relatively prime integers, and \(2\leq p < q\).
- They introduced the pull - back of triangle groups.