Abstract:We prove that Hecke eigenvalues for any Hilbert and Siegel modular forms are algebraic integers. Our method does not rely on cohomologicality nor Galois representations. We apply the integrality of Hecke eigenvalues for Hilbert modular forms of non-parallel weight to the estimation of the growth of Hecke fields of Hilbert cusp forms with non-vanishing central $L$-values. As a further application, we give the growth of the fields of rationality of cuspidal automorphic representations of ${\rm GL}_{2d}(\mathbb{A}_\mathbb{Q})$ for a prime number $d$ with non-vanishing central $L$-values. We also apply the integrality of Hecke eigenvalues for holomorphic Siegel cusp forms of general degree in order to give the growth of the Hecke fields of those forms.
What problem does this paper attempt to address?
The core problems that this paper attempts to solve can be summarized as the following points:
1. **Prove the integrality of Hecke eigenvalues**: For any Hilbert modular form and Siegel modular form, prove that their Hecke eigenvalues are algebraic integers. This result does not depend on cohomological properties or Galois representations.
2. **Estimate the growth of Hecke fields**: Utilize the integrality of Hecke eigenvalues to estimate the growth of Hecke fields of Hilbert cusp forms with non - zero central L - values. Specifically, the author studies how these eigenvalues affect the degree of extension of Hecke fields.
3. **Apply to automorphic representations on GL_2d(A_Q)**: Further apply the above integrality results to estimate the growth of rationality fields of cusp automorphic representations on GL_2d(A_Q) with non - zero central L - values.
4. **Deal with non - parallel weights and vector - valued Siegel modular forms**: In particular, the author solves cases not covered in previous literature, such as Hilbert modular forms of non - parallel weights and vector - valued Siegel modular forms (at the level of principal congruence subgroups).
### Specific problem description
The main contribution of the paper lies in providing a new proof method for the integrality of Hecke eigenvalues and applying it to estimate the growth of Hecke fields. Specifically:
- **Theorem 1.1**: Proves that all eigenvalues of Hecke operators on M_k(Γ0(n), χ) are algebraic integers, and this proof does not need to rely on cohomological properties or cusp form characteristics.
\[
\text{The eigenvalues of }T'(\mathfrak{p})\text{ are algebraic integers}
\]
- **Theorem 1.2**: Proves that all eigenvalues of Hecke operators on M_ρ(Γ(N), χ) are algebraic integers, applicable to general vector - valued Siegel modular forms.
\[
\text{The eigenvalues of }T\in T_{\rho, N, \chi}^{n,\mathbb{Z}}\text{ are algebraic integers}
\]
Through these results, the author is able to remove the restrictions on parallel weight conditions in previous works and apply these results to more general situations, such as Hilbert modular forms of non - parallel weights and vector - valued Siegel modular forms.
In addition, the paper also explores the applications of these results in the theory of automorphic representations, especially in estimating the growth of rationality fields of automorphic representations with non - zero central L - values.