Oscar E. González,Qihang Sun
Abstract:Traces of singular moduli can be approximated by exponential sums of quadratic irrationals. Recently Andersen and Duke used theory of Maass forms to estimate generalized twisted traces with power-saving error bounds. We establish an asymptotic formula with effective error bounds for such traces. Our methods depend on an explicit bound for sums of Kloosterman sums on $\Gamma_0(4)$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide effective estimates of traces of singular moduli and give asymptotic formulas with effective error bounds. Specifically, the paper focuses on how to use the explicit bounds of Kloosterman sums to estimate the generalized twisted traces.
### Problem Background
The trace of a singular modulus refers to the trace of the value of the modular function \(j(z)\) at quadratic irrational points. For a given negative discriminant \(d\), \(K\) represents the corresponding quadratic field, and \(h(d)\) is its class number. A positive definite integral quadratic form is represented as \(Q(x, y)=ax^{2}+bxy + cy^{2}=[a, b, c]\), where \(a, b, c\in\mathbb{Z}\). A CM point is a point associated with the root of \(Q(x, 1)\) and is represented as:
\[
z_Q =-\frac{b}{2a}+i\frac{\sqrt{|d|}}{2a}\in\mathcal{H}
\]
where \(\mathcal{H}\) is the upper half - complex plane, and \((a, b, c) = 1\), \(d=b^{2}-4ac<0\).
### Main Contributions
The main contributions of the paper are as follows:
1. **Asymptotic Formula**: An asymptotic formula with effective error bounds is established for estimating the generalized twisted traces.
2. **Bounds of Kloosterman Sums**: The estimation depends on the explicit bounds of Kloosterman sums on \(\Gamma_0(4)\).
3. **Improvement and Generalization**: The results of Andersen and Duke are improved and generalized, especially when it comes to Maass cusp forms related to the Ramanujan conjecture.
### Key Results
One of the most important results in the paper is Theorem 1.1, which gives an asymptotic formula:
\[
\text{Tr}_d j_m(z_D)-\sum_{z_Q\in R(Y)}\chi_d(Q)\left(e(-mz_Q)-e(-m\overline{z_Q})\right)=- 24\delta_d\sigma_1(m)h(D)+O\left(\frac{m|D|^{1/3}Y^{1/2}}{(Y^{-1/6}+|D|^{5/36}m^{1/3}(1 + \theta))(m|D|/Y)^\varepsilon}\right)
\]
where \(\theta\in\left[0,\frac{7}{64}\right]\) is an acceptable exponent for the Ramanujan conjecture.
In addition, the paper also provides more effective error - bound estimates, such as Theorem 1.2 and Theorem 1.3. These theorems allow for direct comparison of results under specific conditions and give specific constant choices.
### Summary
By introducing new methods and techniques, this paper significantly improves the estimation of singular modulus traces. In particular, by using the explicit bounds of Kloosterman sums, it provides more accurate and practical asymptotic formulas and error estimates. This not only promotes the development of mathematical theory but also provides a powerful tool for applications in related fields.