Abstract:We give explicit formulae for a class of complex linear unitary characters of
the congruence subgroups $\Gamma_0(N)$ which involve a variant of Rademacher's
$\Psi$ function. We then prove that these characters cover all characters of
$\Gamma_0(N)$ precisely when $N=1,2,3,4,5,6,7,8,10,12,13$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to give explicit formulas for a class of complex - linear unitary characters of the congruence subgroup \(\Gamma_0(N)\) and prove that these characters can cover all characters of \(\Gamma_0(N)\) when \(N\) takes specific values. Specifically:
1. **Problem Background**:
- The congruence subgroup \(\Gamma_0(N)\) plays an important role in number theory, especially in the theories of modular forms, elliptic curves and quadratic forms.
- Previous research has given some representations of \(\Gamma_0(N)\), but these representations are not always explicit or easy to calculate.
2. **Research Objectives**:
- Give explicit formulas for a class of complex - linear unitary characters, which involve the Dedekind sum and a variant of Rademacher's \(\Psi\) function.
- Prove that these characters can completely cover all characters of \(\Gamma_0(N)\) if and only if \(N = 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 13\).
3. **Main Results**:
- The main theorem of the paper shows that for any positive integer \(N\), the mapping
\[
\Gamma_0(N)\to S^1
\]
\[
\left(\begin{array}{cc}a&b\\c&d\end{array}\right)\mapsto\chi(d)e\left(\frac{r_1}{12}\Psi\left(\left(\begin{array}{cc}a&b\\c&d\end{array}\right)\right)+\sum_{1 < l|N}r_l\left(\Psi\left(\left(\begin{array}{cc}a&b\\c&d\end{array}\right)\right)-\Psi\left(\left(\begin{array}{cc}a&bl\\c/l&d\end{array}\right)\right)\right)\right)
\]
is a linear unitary character on \(\Gamma_0(N)\), where \(\chi\) is the Dirichlet character modulo \(N\), \(r_1\in\frac{1}{12}\mathbb{Z}\), and if \(1 < l|N\) then \(r_l\in\mathbb{R}\).
- Further, if and only if \(N = 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 13\), any linear unitary character of \(\Gamma_0(N)\) can be represented in the above form.
Through these works, the paper fills the gaps in the existing literature, provides more explicit and easy - to - calculate character expressions, and clarifies when these characters can completely cover all characters of the congruence subgroup.