Table of Contents
Fetching ...

Integrality of Hecke eigenvalues and the growth of Hecke fields

Kenji Sakugawa, Shingo Sugiyama

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.

Integrality of Hecke eigenvalues and the growth of Hecke fields

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 -values. As a further application, we give the growth of the fields of rationality of cuspidal automorphic representations of for a prime number with non-vanishing central -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.
Paper Structure (23 sections, 47 theorems, 163 equations)

This paper contains 23 sections, 47 theorems, 163 equations.

Key Result

Theorem 1.1

All eigenvalues of any Hecke operator $T\in {\bf T}_{F, \mathbb{Z}}^{{\bf k},{\mathfrak{n}},\chi}$ on $M_{\bf k}(\Gamma_0({\mathfrak{n}}), \chi)$ are algebraic integers.

Theorems & Definitions (96)

  • Theorem 1.1
  • Theorem 1.2
  • Corollary 1.3: Precisely, see Corollary \ref{['nonzero L and growth of Hecke']}
  • Corollary 1.4: Precisely, see Corollary \ref{['lower bound for Hecke field']}
  • Corollary 1.5
  • Corollary 1.6
  • Corollary 1.7
  • Theorem 2.1
  • Lemma 2.2
  • proof
  • ...and 86 more