Overconvergent modular forms are highest-weight vectors in the Hodge-Tate weight zero part of completed cohomology

DOI10.1017/FMS.2021.16zbMATH Open1470.11137arXiv2008.08029OpenAlexW3133830570MaRDI QIDQ4965877FDOQ4965877

Authors: Sean Howe 

Publication date: 10 March 2021

Published in: Forum of Mathematics, Sigma (Search for Journal in Brave)

Abstract: We construct a $(mathfrak{gl}_2,B(mathbb{Q}_p))$ and Hecke-equivariant cup product pairing between overconvergent modular forms and the local cohomology at $0$ of a sheaf on $mathbb{P}^1$, landing in the compactly supported completed $mathbb{C}_p$-cohomology of the modular curve. The local cohomology group is a highest-weight Verma module, and the cup product is non-trivial on a highest weight vector for any overconvergent modular form of infinitesimal weight not equal to $1$. For classical weight $kgeq2$, the Verma has an algebraic quotient $H^1(mathbb{P}^1,mathcalO(-k))$, and on classical forms the pairing factors through this quotient, giving a geometric description of "half" of the locally algebraic vectors in completed cohomology; the other half is described by a pairing with the roles of $H^1$ and $H^0$ reversed between the modular curve and $mathbb{P}^1$. Under minor assumptions, we deduce a conjecture of Gouvea on the Hodge-Tate-Sen weights of Galois representations attached to overconvergent modular forms. Our main results are essentially a strict subset of those obtained independently by Lue Pan in arXiv:2008.07099, but the perspective here is different and the proofs are short and use simple tools: a Mayer-Vietoris cover, a cup product, and a boundary map in group cohomology.

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

Recommendations

• On locally analytic vectors of the completed cohomology of modular curves
• Classical and overconvergent modular forms
• Classical and overconvergent modular forms
• Overconvergent modular forms
• Overconvergent modular forms and perfectoid Shimura curves

zbMATH Keywords

overconvergent modular formsHodge-Tate weight

Mathematics Subject Classification ID

Congruences for modular and (p)-adic modular forms (11F33) Automorphic forms and their relations with perfectoid spaces (11F77)

Cites Work

• Relative \(p\)-adic Hodge theory: foundations
• On the interpolation of systems of eigenvalues attached to automorphic Hecke eigenforms
• On torsion in the cohomology of locally symmetric varieties
• \(p\)-adic Hodge theory for rigid-analytic varieties
• A local-global compatibility conjecture in the \(p\)-adic Langlands programme for \(\text{GL}_{2}/\mathbb Q\)
• Locally analytic distributions and \(p\)-adic representation theory, with applications to \(\text{GL}_{2}\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hodge-Tate structures and modular forms
• Overconvergent modular forms
• Overconvergent modular forms and perfectoid Shimura curves
• A unipotent circle action on \(p\)-adic modular forms

Cited In (2)

• p-adic Eichler–Shimura maps for the modular curve
• On locally analytic vectors of the completed cohomology of modular curves

This page was built for publication: Overconvergent modular forms are highest-weight vectors in the Hodge-Tate weight zero part of completed cohomology

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