A unipotent circle action on $p$-adic modular forms
HTML articles powered by AMS MathViewer
Abstract:
Following a suggestion of Peter Scholze, we construct an action of $\widehat {\mathbb {G}_m}$ on the Katz moduli problem, a profinite-รฉtale cover of the ordinary locus of the $p$-adic modular curve whose ring of functions is Serreโs space of $p$-adic modular functions. This action is a local, $p$-adic analog of a global, archimedean action of the circle group $S^1$ on the lattice-unstable locus of the modular curve over $\mathbb {C}$. To construct the $\widehat {\mathbb {G}_m}$-action, we descend a moduli-theoretic action of a larger group on the (big) ordinary Igusa variety of Caraiani-Scholze. We compute the action explicitly on local expansions and find it is given by a simple multiplication of the cuspidal and Serre-Tate coordinates $q$; along the way we also prove a natural generalization of Dworkโs equation $\tau =\log q$ for extensions of $\mathbb {Q}_p/\mathbb {Z}_p$ by $\mu _{p^\infty }$ valid over a non-Artinian base. Finally, we give a direct argument (without appealing to local expansions) to show that the action of $\widehat {\mathbb {G}_m}$ integrates the differential operator $\theta$ coming from the Gauss-Manin connection and unit root splitting, and explain an application to Eisenstein measures and $p$-adic $L$-functions.References
- Ana Caraiani and Peter Scholze, On the generic part of the cohomology of compact unitary Shimura varieties, Ann. of Math. (2) 186 (2017), no.ย 3, 649โ766. MR 3702677, DOI 10.4007/annals.2017.186.3.1
- Bill Casselman, Stability of lattices and the partition of arithmetic quotients, Asian J. Math. 8 (2004), no.ย 4, 607โ637. MR 2127941, DOI 10.4310/AJM.2004.v8.n4.a17
- Ching-Li Chai, Families of ordinary abelian varieties: canonical coordinates, p-adic monodromy, Tate-linear subvarieties and Hecke orbits, Available: https://www.math.upenn.edu/~chai/papers_pdf/fam_ord_av.pdf, 2003.
- Ellen Eischen and Elena Mantovan, $p$-adic families of automorphic forms in the $\mu$-ordinary setting, To appear in the American Journal of Mathematics, arXiv:1710.01864.
- Fernando Q. Gouvรชa, Arithmetic of $p$-adic modular forms, Lecture Notes in Mathematics, vol. 1304, Springer-Verlag, Berlin, 1988. MR 1027593, DOI 10.1007/BFb0082111
- Sean Howe, A completed Kirillov model for $p$-adic automorphic forms on $\mathrm {GL}_2$, In preparation.
- Sean Howe, The $p$-adic Jacquet-Langlands correspondence and a question of Serre, arXiv:1806.06807.
- Nicholas M. Katz, $p$-adic $L$-functions via moduli of elliptic curves, Algebraic geometry (Proc. Sympos. Pure Math., Vol. 29, Humboldt State Univ., Arcata, Calif., 1974) Amer. Math. Soc., Providence, R.I., 1975, pp.ย 479โ506. MR 0432649
- Nicholas M. Katz, $p$-adic interpolation of real analytic Eisenstein series, Ann. of Math. (2) 104 (1976), no.ย 3, 459โ571. MR 506271, DOI 10.2307/1970966
- Nicholas M. Katz, The Eisenstein measure and $p$-adic interpolation, Amer. J. Math. 99 (1977), no.ย 2, 238โ311. MR 485797, DOI 10.2307/2373821
- N. Katz, Serre-Tate local moduli, Algebraic surfaces (Orsay, 1976โ78) Lecture Notes in Math., vol. 868, Springer, Berlin-New York, 1981, pp.ย 138โ202. MR 638600
- Nicholas M. Katz and Barry Mazur, Arithmetic moduli of elliptic curves, Annals of Mathematics Studies, vol. 108, Princeton University Press, Princeton, NJ, 1985. MR 772569, DOI 10.1515/9781400881710
- Yifeng Liu, Shouwu Zhang, and Wei Zhang, A $p$-adic Waldspurger formula, Duke Math. J. 167 (2018), no.ย 4, 743โ833. MR 3769677, DOI 10.1215/00127094-2017-0045
- B. Mazur and William Messing, Universal extensions and one dimensional crystalline cohomology, Lecture Notes in Mathematics, Vol. 370, Springer-Verlag, Berlin-New York, 1974. MR 0374150, DOI 10.1007/BFb0061628
- William Messing, The crystals associated to Barsotti-Tate groups: with applications to abelian schemes, Lecture Notes in Mathematics, Vol. 264, Springer-Verlag, Berlin-New York, 1972. MR 0347836, DOI 10.1007/BFb0058301
- Peter Scholze and Jared Weinstein, Moduli of $p$-divisible groups, Camb. J. Math. 1 (2013), no.ย 2, 145โ237. MR 3272049, DOI 10.4310/CJM.2013.v1.n2.a1
- The Stacks Project Authors, Stacks Project, https://stacks.math.columbia.edu, 2018.
- J. T. Tate, $p$-divisible groups, Proc. Conf. Local Fields (Driebergen, 1966) Springer, Berlin, 1967, pp.ย 158โ183. MR 0231827
Additional Information
- Sean Howe
- Affiliation: Department of Mathematics, University of Utah, Salt Lake City, Utah 84112
- MR Author ID: 936764
- Email: sean.howe@utah.edu
- Received by editor(s): January 1, 2020
- Received by editor(s) in revised form: July 22, 2020
- Published electronically: November 5, 2020
- Additional Notes: The author was supported during the preparation of this work by the National Science Foundation under Award No. DMS-1704005.
- © Copyright 2020 by the author under Creative Commons Attribution-Noncommercial 3.0 License (CC BY NC 3.0)
- Journal: Trans. Amer. Math. Soc. Ser. B 7 (2020), 186-226
- MSC (2020): Primary 11F33, 11F77
- DOI: https://doi.org/10.1090/btran/52
- MathSciNet review: 4170572