p-adic Cohomology and classicality of overconvergent Hilbert modular forms

Yichao Tian,Liang Xiao
DOI: https://doi.org/10.48550/arXiv.1308.0779
2016-06-13
Abstract:Let $F$ be a totally real field in which $p$ is unramified. We prove that, if a cuspidal overconvergent Hilbert cuspidal form has small slopes under $U_p$-operators, then it is classical. Our method follows the original cohomological approach of Coleman. The key ingredient of the proof is giving an explicit description of the Goren-Oort stratification of the special fiber of the Hilbert modular variety. A byproduct of the proof is to show that, at least when $p$ is inert, of the rigid cohomology of the ordinary locus has the same image as the classical forms in the Grothendieck group of Hecke modules.
Number Theory,Algebraic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about $p$-adic cohomology and overconvergent Hilbert modular forms under classicality conditions. Specifically, the authors aim to prove that under certain conditions, overconvergent Hilbert modular forms with small slopes are actually classical (i.e., they can be regarded as Hilbert modular forms in the traditional sense). The core of this problem lies in understanding and describing the behavior of these forms in certain mathematical structures, especially when the prime number $p$ is unramified in the totally real field $F$. ### Overview of the Main Problem 1. **Research Object**: Overconvergent Hilbert modular forms. 2. **Goal**: Prove that these forms are classical under the small - slope condition of the $U_p$ operator. 3. **Method**: Use $p$-adic cohomology theory and Goren - Oort stratification to analyze the special fiber of the Hilbert modular variety. ### Specific Problem Description The authors are particularly concerned with: - Let $F$ be a totally real field of degree $g\geq2$, where the prime number $p$ is unramified. - Consider an overconvergent Hilbert modular form $f$ with multi - weight $(k, w)$, and for all eigenvalues $\lambda_{p_i}$ of the $U_{p_i}$ operators, satisfy a specific $p$-adic valuation condition: \[ \text{val}_p(\lambda_{p_i})<\sum_{\tau\in\Sigma_\infty/p_i}\frac{w - k_\tau}{2}+\min_{\tau\in\Sigma_\infty/p_i}\{k_\tau - 1\} \] In this case, the authors hope to prove that $f$ is actually a classical Hilbert modular form. ### Solution and Contribution By introducing and describing in detail the Goren - Oort stratification and using rigid cohomology techniques, the authors successfully link overconvergent Hilbert modular forms with classical Hilbert modular forms. This not only solves the above - mentioned problem but also provides new tools and perspectives for further research. In summary, the main contribution of this paper is to provide a novel method to prove the classicality of overconvergent Hilbert modular forms under specific conditions through $p$-adic cohomology theory. This result is of great significance in the fields of number theory and algebraic geometry.