Abstract:The Eichler-Selberg trace formula expresses the trace of Hecke operators on spaces of cusp forms as weighted sums of Hurwitz-Kronecker class numbers. We extend this formula to a natural class of relations for traces of singular moduli, where one views class numbers as traces of the constant function $j_0(\tau)=1$. More generally, we consider the singular moduli for the Hecke system of modular functions \[ j_m(\tau) := mT_m \left(j(\tau)-744\right). \] For each $\nu\geq 0$ and $m\geq 1$, we obtain an Eichler-Selberg relation. For $\nu=0$ and $m\in \{1, 2\},$ these relations are Kaneko's celebrated singular moduli formulas for the coefficients of $j(\tau).$ For each $\nu\geq 1$ and $m\geq 1,$ we obtain a new Eichler-Selberg trace formula for the Hecke action on the space of weight $2\nu+2$ cusp forms, where the traces of $j_m(\tau)$ singular moduli replace Hurwitz-Kronecker class numbers. These formulas involve a new term that is assembled from values of symmetrized shifted convolution $L$-functions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to extend the Eichler - Selberg trace formula to be applicable to the trace relations of singular moduli. Specifically, the authors generalize the classical Eichler - Selberg trace formula (for the trace of Hecke operators on the space of cusp forms) to a new class of trace relations, which involve the traces of singular moduli.
### Specific Problem Description
1. **Limitations of the Classical Eichler - Selberg Trace Formula**:
- The classical Eichler - Selberg trace formula expresses the trace of Hecke operators on the space of cusp forms as a weighted sum of Hurwitz - Kronecker class numbers.
- This formula is only applicable to specific types of modular functions (such as \(j(\tau)\)), and mainly deals with the case of the constant function \(j_0(\tau)=1\).
2. **Extension to Trace Relations of Singular Moduli**:
- The authors consider a broader sequence of modular functions \(j_m(\tau):=mT_m(j(\tau)- 744)\), where \(m\geq1\).
- For each \(\nu\geq0\) and \(m\geq1\), they derive a new class of Eichler - Selberg trace formulas, which involve the traces of the singular moduli \(j_m(\tau)\), rather than Hurwitz - Kronecker class numbers.
3. **Introduction of New Terms**:
- These new formulas contain a new term assembled from the values of symmetric shifted convolution L - functions.
- For \(\nu = 0\) and \(m\in\{1,2\}\), these relations are simplified to Kaneko's well - known singular moduli formula for the coefficients of \(j(\tau)\).
### Main Contributions of the Paper
- **Generalization of the Eichler - Selberg Trace Formula**: The authors generalize the classical trace formula to broader modular functions and trace relations, thus providing new tools for the study of singular moduli.
- **Introduction of New Mathematical Structures**: By introducing the values of symmetric shifted convolution L - functions, the paper reveals the rich structure in the trace relations of singular moduli.
- **Provision of Specific Formulas and Examples**: The paper not only presents theoretical results but also provides specific formulas and numerical examples, verifying the correctness and application value of the new formulas.
### Mathematical Expressions
- The Hurwitz - Kronecker class number \(H(d)\) is defined as:
\[
H(d):=t_0(d)
\]
- The new trace function \(t_m(d)\) is defined as:
\[
t_m(d):=\sum_{Q\in Q_d/\Gamma}\frac{j_m(\alpha_Q)}{\#\Gamma_Q}
\]
- The general form of the Eichler - Selberg trace formula is:
\[
G_{m,\nu}(\tau):=-\frac{1}{2}\sum_{n\gg-\infty}\sum_{r\in\mathbb{Z}}p_{2\nu + 2}(r,n)t_m(4n-r^2)q^n
\]
Through these generalizations and newly introduced mathematical tools, the paper provides new perspectives and methods for the study of modular forms and singular moduli.