Abstract:In this paper, we study traces of Hecke operators on Drinfeld modular forms of level 1 in the case $A = \mathbb{F}_q[T]$. We deduce closed-form expressions for traces of Hecke operators corresponding to primes of degree 1 and provide algorithms for primes of higher degree. We improve the Ramanujan bound and deduce the decomposition of cusp forms of level $\Gamma_0(T)$ into oldforms and newforms, as conjectured by Bandini-Valentino, under the hypothesis that each Hecke eigenvalue has multiplicity less than $p$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to study the traces of Hecke operators in the case of Drinfeld modular forms with \(A = F_q[T]\). Specifically, the author aims to derive a closed - expression for the traces of Hecke operators corresponding to primes of degree 1 and provide algorithms for primes of higher degrees. In addition, the author improves the Ramanujan bound and, under the assumption that the multiplicity of each Hecke eigenvalue is less than \(p\), obtains the result of the cuspidal form of level \(\Gamma_0(T)\) being decomposed into old and new forms, thus verifying the conjecture of Bandini - Valentino.
### Main contributions of the paper
1. **Closed - expression for the traces of Hecke operators**:
- For primes of degree 1, the author derives a closed - expression for the traces of Hecke operators. For example, Theorem 1.1 gives a specific formula for the trace of the Hecke operator \(T_p\) on the space \(S_{k + 2,l}\) for \(k\) and \(l\) satisfying certain conditions:
\[
\text{Tr}(T_p|S_{k+2,l})=\sum_{\substack{0\leq j < k/2 \\ j\equiv l - 1\ (\text{mod}\ q - 1)}}(- 1)^j\binom{k - j}{j}T^j,
\]
where the trace is zero when \(k + 2\not\equiv 2l\ (\text{mod}\ q - 1)\).
2. **Improvement of the Ramanujan bound**:
- The author improves the Ramanujan bound in [Vri24] and proposes a stronger version of the Ramanujan bound conjecture, that is, this strong Ramanujan bound holds for any Hecke operator acting on Drinfeld modular forms.
3. **Decomposition of cuspidal forms**:
- Under the assumption that the multiplicity of each Hecke eigenvalue is less than \(p\), the author proves that the cuspidal form of level \(\Gamma_0(p)\) can be decomposed into old and new forms. Specifically, Theorem 1.2 shows that if \(\dim S_{k,l}<p\), then:
\[
S_{k,l}(\Gamma_0(p)) = S_{\text{new}}^{k,l}(\Gamma_0(p))\oplus S_{\text{old}}^{k,l}(\Gamma_0(p)).
\]
### Methods and techniques
To achieve these goals, the author uses geometric methods, in particular, utilizes the Hecke operator trace formula proved in [Vri24]. This formula expresses the trace of a Hecke operator as a sum of points on the Drinfeld modular space, which makes it possible to explicitly calculate the trace formula in some cases. In addition, the author also studies the influence of primes of different degrees on the traces of Hecke operators and describes the corresponding algorithms.
### Conclusion
Through these studies, the author not only provides new insights into the traces of Hecke operators on Drinfeld modular forms, but also improves the existing theoretical results and provides new tools and methods for further research.