Spectral halo for Hilbert modular forms

DOI10.1007/S00208-021-02184-9MaRDI QIDQ2134205zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 6 May 2022

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2005.14267

zbMATH Keywords

$p$-adic analytic familyMazur's conjecturetotally real field

Mathematics Subject Classification ID

Congruences for modular and (p)-adic modular forms (11F33) (p)-adic theory, local fields (11F85) Estimates on exponential sums (11L07) Exponential sums (11T23) Witt vectors and related rings (13F35)

Abstract: Let $F$ be a totally real field and $p$ be an odd prime which splits completely in $F$. We prove that the eigenvariety associated to a definite quaternion algebra over $F$ satisfies the following property: over a boundary annulus of the weight space, the eigenvariety is a disjoint union of countably infinitely many connected components which are finite over the weight space; on each fixed connected component, the ratios between the $U_{m}athfrakp$-slopes of points and the $p$-adic valuations of the $mathfrakp$-parameters are bounded by explicit numbers, for all primes $mathfrakp$ of $F$ over $p$. Applying Hansen's $p$-adic interpolation theorem, we are able to transfer our results to Hilbert modular eigenvarieties. In particular, we prove that on every irreducible component of Hilbert modular eigenvarieties, as a point moves towards the boundary, its $U_p$ slope goes to zero. In the case of eigencurves, this completes the proof of Coleman-Mazur's `halo' conjecture.

Review text

The theory of $p$-adic analytic families of modular forms is a result of study of congruences of modular forms. The first example of such a family was given by \textit{J.-P. Serre} [Lect. Notes Math. 350, 191--268 (1973; Zbl 0277.12014)]. After a long time, Hida started the first attempt towards the construction of $p$-adic families of cuspforms [\textit{H. Hida}, Invent. Math. 85, 545--613 (1986; Zbl 0612.10021); Ann. Sci. Éc. Norm. Supér. (4) 19, No. 2, 231--273 (1986; Zbl 0607.10022)]. Hida's theory led Mazur to develop his general theory of deformations of Galois representations, which turns out to be a crucial ingredient of Wiles' proof of Fermat's last theorem [\textit{B. Mazur}, Publ., Math. Sci. Res. Inst. 16, 385--437 (1989; Zbl 0714.11076)]. This theory can be found in the celebrated work of Coleman and Mazur in which they constructed eigencurves [\textit{R. Coleman} and \textit{B. Mazur}, Lond. Math. Soc. Lect. Note Ser. 254, 1--113 (1998; Zbl 0932.11030)]. In the geometric description of the of the eigencurves, Coleman and Mazur raised a question that is turned out in the following conjecture: ``It is expected that over the boundary of the weight space, the eigencurve is a disjoint union of infinitely many connected components that are finite flat over the weight space [\textit{K. S. Kedlaya}, \(p\)-adic differential equations. Cambridge: Cambridge University Press (2010; Zbl 1213.12009)]. The authors of the paper under review generalize the results in [\textit{R. Liu} et al., Duke Math. J. 166, No. 9, 1739--1787 (2017; Zbl 1423.11089)] to the eigenvarieties associated to $p$-adic overconvergent automorphic forms for a definite quaternion algebra over a totally real field $F$ in which $p$ splits completely. Combining with the $p$-adic family versions of base change and Jacquet-Langlands correspondence, this result allows them to determine the boundary behavior for the entire Coleman-Mazur eigencurves. The paper is a long well written paper and is an excellent source for interested researchers in the field.

Recommendations

• scientific article; zbMATH DE number 43714
• On Hilbert modular forms
• Hilbert-Siegelsche singuläre Modulformen
• scientific article; zbMATH DE number 47158
• On Hilbert modular forms with integral Fourier coefficients
• On symmetric Hilbert modular forms
• Hilbert modular forms and their applications
• On the Fourier coefficients of certain Hilbert modular forms
• On the Fourier coefficients of Hilbert modular forms of half-integral weight
• Twisted Hilbert modular \(L\)-functions and spectral theory

Cites work

• p-adic cohomology and classicality of overconvergent Hilbert modular forms
• p-adic differential equations
• A \(p\)-adic Jacquet-Langlands correspondence
• Completed cohomology and the p-adic Langlands program
• Eigenvarieties
• Extended eigenvarieties for overconvergent cohomology
• Functions of a p-adic variable
• [[:Publication:1087904|Galois representations into \(\text{GL}_2(\mathbb Z_pX)\) attached to ordinary cusp forms.]]
• scientific article; zbMATH DE number 4175077 (Why is no real title available?)
• scientific article; zbMATH DE number 3674235 (Why is no real title available?)
• scientific article; zbMATH DE number 1302899 (Why is no real title available?)
• scientific article; zbMATH DE number 3435612 (Why is no real title available?)
• scientific article; zbMATH DE number 2164172 (Why is no real title available?)
• Iwasawa modules attached to congruences of cusp forms
• On \(p\)-adic families of Hilbert cusp forms of finite slope
• On overconvergent Hilbert modular cusp forms
• On p-adic Hecke algebras for \(GL_ 2\) over totally real fields
• Slopes for higher rank Artin-Schreier-Witt towers
• The 2-adic eigencurve at the boundary of weight space
• The eigencurve over the boundary of weight space
• The Jacquet-Langlands correspondence for overconvergent Hilbert modular forms
• Universal eigenvarieties, trianguline Galois representations, and \(p\)-adic Langlands functoriality

Cited in

(9)

• On the Hilbert eigenvariety at exotic and CM classical weight 1 points
• p-adic families of modular forms (after Hida, Coleman and Mazur)
• Base change for Hilbert eigenvarieties of unitary groups
• scientific article; zbMATH DE number 1302899 (Why is no real title available?)
• The spectral halo
• Parallel weight 2 points on Hilbert modular eigenvarieties and the parity conjecture
• Slopes in eigenvarieties for definite unitary groups
• ON A PROPERNESS OF THE HILBERT EIGENVARIETY AT INTEGRAL WEIGHTS: THE CASE OF QUADRATIC RESIDUE FIELDS
• Nonsmooth classical points on eigenvarieties

This page was built for publication: Spectral halo for Hilbert modular forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2134205)