Abstract
Let p be a prime \(\ge 5\). We establish explicit rates of overconvergence for some members of the “Eisenstein family”, notably for the p-adic modular function \(V(E_{(1,0)}^{*})/E_{(1,0)}^{*}\) (V the p-adic Frobenius operator) that plays a pivotal role in Coleman’s theory of p-adic families of modular forms. The proof goes via an in-depth analysis of rates of overconvergence of p-adic modular functions of form \(V(E_k)/E_k\) where \(E_k\) is the classical Eisenstein series of level 1 and weight k divisible by \(p-1\). Under certain conditions, we extend the latter result to a vast generalization of a theorem of Coleman–Wan regarding the rate of overconvergence of \(V(E_{p-1})/E_{p-1}\). We also comment on previous results in the literature. These include applications of our results for the primes 5 and 7.
Similar content being viewed by others
References
Buzzard, K., Kilford, L.J.P.: The \(2\)-adic eigencurve at the boundary of weight space. Compos. Math. 141, 605–619 (2005)
Coleman, R.F.: Classical and overconvergent modular forms. Invent. Math. 124, 215–241 (1996)
Coleman, R.F.: \(p\)-adic Banach spaces and families of modular forms. Invent. Math. 127, 417–479 (1997)
Coleman, R.F.: The Eisenstein family. Proc. Am. Math. Soc. 141, 2945–2950 (2013)
Coleman, R.F., Stevens, G., Teitelbaum, J.: Numerical experiments on families of \(p\)-adic modular forms. In: Buell, D.A., Teitelbaum, J.T. (eds) Computational perspectives on number theory. Proceedings of the Conference in Honor of A. O. L. Atkin, AMS/IP Studies in Advanced Mathematics, vol. 7, pp. 143–158 (1998)
Coleman, R.F., Mazur, B.: The eigencurve. In: Galois representations in arithmetic algebraic geometry (Durham, 1996), London Math. Soc. Lecture Note Ser. vol. 254, pp. 1–113 (1998)
Destefano, D.: Investigating slopes of overconvergent forms, thesis, University of Copenhagen (2017)
Emerton, M.J.: \(2\)-adic modular forms of minimal slope. Thesis, Harvard (1998)
Gouvêa, F.Q.: Arithmetic of \(p\)-adic modular forms, Lecture Notes in Math. vol. 1394. Springer (1988)
Katz, N. M.: \(p\)-adic properties of modular schemes and modular forms. In: Kuyk, W., Serre, J.-P. (eds.) Modular functions of one variable III, Lecture Notes in Math. vol. 350, pp. 69–190 (1973)
Lauder, A.G.B.: Computations with classical and \(p\)-adic modular forms. LMS J. Comput. Math. 14, 214–231 (2011)
Loeffler, D.: Spectral expansions of overconvergent modular functions. Int. Math. Res. Not, IMRN (2007)
Roe, D.: The \(3\)-adic eigencurve at the boundary of weight space. Int. J. Number Theory 10, 1791–1806 (2014)
SageMath, an open-source mathematics software system, https://www.sagemath.org/index.html
SageMath code used in section 5 is available at this url: https://sites.google.com/view/nrustom/other/eisenstein-series-and-overconvergence
Serre, J.-P.: Formes modulaires et fonctions zêta \(p\)-adiques, pp. 191–268. In: Kuyk, W., Serre, J.-P. (eds.) Modular functions of one variable III, Lecture Notes in Math. vol. 350. Springer (1973)
Smithline, L.M.: Slopes of \(p\)-adic modular forms. Thesis, Berkeley (2000)
The PARI Group, PARI/GP version 2.11.4, Univ. Bordeaux, 2020. http://pari.math.u-bordeaux.fr/
Wan, D.: Dimension variation of classical and \(p\)-adic modular forms. Invent. Math. 133, 449–463 (1998)
Washington, L.C.: Introduction to Cyclotomic Fields. Springer, New York (1982)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Kiming, I., Rustom, N. Eisenstein series, p-adic modular functions, and overconvergence. Res. number theory 7, 65 (2021). https://doi.org/10.1007/s40993-021-00292-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40993-021-00292-8