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_\mathfrak {p}\)-slopes of points and the p-adic valuations of the \(\mathfrak {p}\)-parameters are bounded by explicit numbers, for all primes \(\mathfrak {p}\) 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.
Similar content being viewed by others
References
Andreatta, F., Iovita, A., Pilloni, V.: On overconvergent Hilbert modular cusp forms. Astérisque 382, 163–193 (2016)
Birkbeck, C.: The Jacquet–Langlands correspondence for overconvergent Hilbert modular forms. Int. J. Number Theory 15(3), 479–504 (2019)
Birkbeck, C.D.: Eigenvarieties associated to Hilbert modular forms. PhD thesis, University of Warwick (2017)
Buzzard, K.: Eigenvarieties. London Math. Soc. Lecture Note Series 1(320), 59–120 (2007)
Buzzard, K.: On p-adic families of automorphic forms. In: Modular Curves and Abelian Varieties, pp. 23–44. Springer (2004)
Buzzard, K., Kilford, L.J.P.: The 2-adic eigencurve at the boundary of weight space. Compos. Math. 141(3), 605–619 (2005)
Chenevier, G.: Une correspondance de Jacquet–Langlands p-adique. Duke Math. J. 126(1), 161–194 (2005)
Christopher, B.: Slopes of overconvergent Hilbert modular forms. Exp. Math., pp. 1–20 (2019)
Coleman, R., Mazur, B.: The Eigencurve. London Math. Soc. Lecture Note Series, pp. 1–114 (1998)
Colmez, P.: Fonctions d’une variable p-adique. Astérisque 330, 13–59 (2010)
Hansen, D., Newton, J.: Universal eigenvarieties, trianguline Galois representations, and p-adic Langlands functoriality. Journal für die reine und angewandte Mathematik 2017(730), 1–64 (2017)
Hida, H.: Galois representations into \({\rm {GL}}_2 ({\mathbb{Z}}_p [\![X]\!])\) attached to ordinary cusp forms. Inventiones mathematicae 85(3), 545–613 (1986)
Hida, H.: Iwasawa modules attached to congruences of cusp forms. Annales scientifiques de l’École Normale Supérieure 19, 231–273 (1986)
Hida, H.: On p-adic Hecke algebras for over totally real fields. Ann. Math. 295–384 (1988)
Jacobs, D.: Slopes of Compact Hecke Operators, vol. 2. Citeseer (2003)
Johansson, C., Newton, J.: Parallel weight 2 points on Hilbert modular eigenvarieties and the parity conjecture In: Forum of Mathematics, Sigma (2018). arXiv preprint. arXiv:1801.04719
Johansson, C., Newton, J.: Extended eigenvarieties for overconvergent cohomology. Algebra Number Theory 13(1), 93–158 (2019)
Kedlaya, K.S.: \(p\)-Adic Differential Equations, vol. 125. Cambridge University Press (2010)
Liu, R., Wan, D., Xiao, L.: The eigencurve over the boundary of weight space. Duke Math. J. 166(9), 1739–1787 (2017)
Matthew, E.: Completed cohomology and the p-adic Langlands program. In: Proceedings of the International Congress of Mathematicians, vol. 2. pp. 319–342 (2014)
Mazur, B.: Deforming Galois representations. In: Galois Groups Over \({\mathbb{Q}}\), pp. 385–437. Springer (1989)
Milne, J.S.: Étale Cohomology (PMS-33), vol. 33. Princeton University Press (2016)
Ren, R., Wan, D., Xiao, L., Myungjun, Y.: Slopes for higher rank Artin–Schreier–Witt towers. Trans. Am. Math. Soc. 370(9), 6411–6432 (2018)
Serre, J.-P.: Formes modulaires et fonctions zêta p-adiques. In: Modular Functions of One Variable III, pp. 191–268. Springer (1973)
Tian, Y., Xiao, L.: Arithmétique p-adique des formes de hilbert p-adic cohomology and classicality of overconvergent Hilbert modular forms. Astérisque 382, 73–162 (2016)
Yamagami, A.: On p-adic families of Hilbert cusp forms of finite slope. J. Number Theory 123(2), 363–387 (2007)
Ye, L.: Slopes in eigenvarieties for definite unitary groups. Preprint available at http://www.math.harvard.edu/~lynnelle/lynnelle-ye-draft.pdf (2019)
Acknowledgements
We thank Liang Xiao for sharing his ideas and answering many questions on this topic. We would also like to thank Yiwen Ding, Yongquan Hu and Daqing Wan for helpful comments and conversations. Finally we would like to thank the anonymous referees for their impressively helpful report that significantly improved the exposition of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Wei Zhang.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
About this article
Cite this article
Ren, R., Zhao, B. Spectral halo for Hilbert modular forms. Math. Ann. 382, 821–899 (2022). https://doi.org/10.1007/s00208-021-02184-9
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-021-02184-9