Abstract:Let $T_m(N,2k)$ denote the $m$-th Hecke operator on the space $S_{2k}(\Gamma_0(N))$ of cuspidal modular forms of weight $2k$ and level $N$. In this paper, we study the non-repetition of the second coefficient of the characteristic polynomial of $T_m(N,2k)$. We obtain results in the horizontal aspect (where $m$ varies), the vertical aspect (where $k$ varies), and the level aspect (where $N$ varies). Finally, we use these non-repetition results to extend a result of Vilardi and Xue on distinguishing Hecke eigenforms.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the non - repetitiveness of the second coefficient of Hecke polynomials. Specifically, the authors studied whether the second coefficient \(a_2(T_m(N, 2k))\) of the characteristic polynomial of the Hecke operator \(T_m(N, 2k)\) would take repeated values under different parameter changes (horizontal, vertical and hierarchical aspects). In addition, they also used these non - repetitive results to extend the work of Vilardi and Xue on distinguishing Hecke eigenforms.
### Main problem decomposition:
1. **Vertical non - repetitiveness**:
- For a fixed odd level \(N\), study whether \(a_2(T_2(N, 2k))\) and \(a_2(T_4(N, 2k))\) do not take repeated values when the weight \(k\) changes.
- It is proved that for a fixed odd \(N\), \(a_2(T_2(N, 2k))\) and \(a_2(T_4(N, 2k))\) are strictly decreasing or increasing as \(k\) changes.
2. **Horizontal non - repetitiveness**:
- Fix the weight \(2k\) and the level \(N = 1\), and study whether \(a_2(T_m(1, 2k))\) does not take repeated values when \(m\) changes.
- It is proved that for a fixed \(k\geq12\) and \(k\neq13\), \(a_2(T_3(1, 2k))<a_2(T_2(1, 2k))\).
3. **Hierarchical non - repetitiveness**:
- Fix the weight \(2k\) and \(m = 2\), and study whether \(a_2(T_2(p, 2k))\) does not take repeated values when different prime levels \(p\) change.
- It is proved that for \(k\geq58\), for all odd primes \(p < q\), \(a_2(T_2(p, 2k))>a_2(T_2(q, 2k))\).
### Applications and extensions:
- Using these non - repetitive results, the authors extended the work of Vilardi and Xue, and proved that assuming the Maeda conjecture holds, the normalized Hecke eigenforms can be determined by their second or fourth Fourier coefficients.
- Further discussed how to generalize these methods to any given \(m\geq2\).
### Formula summary:
- **The second coefficient of Hecke polynomial**:
\[
a_2(T_m(N, 2k))=\frac{1}{2}\left[(Tr T_m(N, 2k))^{2}-\sum_{d\mid m}d^{2k - 1}Tr T_{m^{2}/d^{2}}(N, 2k)\right]
\]
- **Trace formula**:
\[
Tr T_m(N, 2k)=A_{1,m}(N, 2k)+A_{2,m}(N, 2k)+A_{3,m}(N, 2k)+A_{4,m}(N, 2k)
\]
where:
\[
A_{1,m}(N, 2k)=\begin{cases}
\frac{2k - 1}{12}\psi(N)m^{k - 1}&\text{if }m\text{ is a perfect square}\\
0&\text{otherwise}
\end{cases}
\]
\[
A_{2,m}(N, 2k)=-\frac{1}{2}\sum_{t^{2}<4m}P_{2k}(t, m)\sum_{n}h_{w}\left(\frac{t^{2}-4m}{n^{2}}\right)\mu(t, n, m)
\]
\[
A_{3,m}(N, 2k)=-\frac{1}{2}\sum_{d\mid m}\min(d, m/d)