Abstract:Assuming the Riemann hypothesis for $L$-functions attached to primitive Dirichlet characters, modular cusp forms, and their tensor products and symmetric squares, we write down explicit finite sets of Hecke operators that span the Hecke algebras acting on the spaces of modular forms of weight greater than two with squarefree level.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to provide an explicit upper - bound estimate for the efficient generation of Hecke algebra generators. Specifically, under the premise of assuming that the Riemann Hypothesis (RH) holds for certain specific L - functions, the author hopes to find a finite set of Hecke operators that can span the Hecke algebra acting on the space of modular forms of square - free level and weight greater than 2.
### Problem Background
Modular forms and Hecke algebras are important research objects in number theory. The modular form space \(M_k(N,\chi)\) represents the modular form space of weight \(k\), level \(N\), and character \(\chi\). Hecke operators are an important class of linear operators that act on the modular form space and have very good properties. The Hecke algebra is an algebraic structure generated by these Hecke operators.
### Main Problem
Sturm's theorem gives a relationship between the number of zeros of the Fourier coefficients of a modular form and whether the modular form is zero. However, for more general cases, how to find the generators of the Hecke algebra and give an effective upper bound remains an open problem. In particular, when considering higher weights and non - trivial characters, this problem becomes more complicated.
### Main Contributions of the Paper
1. **Assume the Riemann Hypothesis**: The author assumes that the Riemann Hypothesis holds for certain specific L - functions, including the L - functions corresponding to primitive Dirichlet characters, modular cusp forms, their tensor products, and symmetric squares.
2. **Explicit Set of Generators**: Based on the above assumptions, the author is able to write out an explicit set of Hecke operators that can span the Hecke algebra acting on the space of modular forms of square - free level and weight greater than 2.
3. **Upper - Bound Estimate**: The author gives a specific upper bound \(X_M\) such that when \(X_M\) is large enough, there exists a set of prime numbers \(p_1,\ldots,p_n\leq X_M\) that do not divide \(M\), and the Hecke operators corresponding to these prime numbers can generate the Hecke algebra.
### Formula Representation
Specifically, the author proves the following theorem:
\[
T_k(\Gamma_0(N))=\text{Span}_{\mathbb{C}}\left\{T_p\mid p\nmid M, p\leq X_M\right\}
\]
where \(X_M\) satisfies:
\[
X_M\geq\max\left\{6(k + 1)^2,M,17.33\right\},
\]
\[
\frac{X_M}{\log^4(X_M)}\geq60k(\alpha + 1)^2(\epsilon_M+ 1)(s_M+ 1)\log(\epsilon_M+ 3)\log(s_M+ 3),
\]
\[
\frac{X_M^{1/2}}{\log^2(X_M)}\geq\max\left\{12(\alpha + 1)s_M\log(s_M+ 3),k\epsilon_M(\alpha + 1)^2+ 1\right\},
\]
\[
\frac{X_M^{k/2}}{\log^2(X_M)}\geq24k(\alpha + 1)(\epsilon_M+ 1)\log(\epsilon_M+ 3).
\]
Here,
\[
\alpha=2605 + 87k+(248 + 6k)\log(M),
\]
\[
s_M=\sum_{d\mid M}\dim S_k^{\text{new}}(\Gamma_0(d)),\quad\epsilon_M=\sum_{d\mid M}\dim E_k^{\text{new}}(\Gamma_0(d)).
\]
Through these formulas, the author successfully deals with Heck.