Classical and overconvergent modular forms (Q5970593)

Let \(F(q) = \sum_{n \geq 0} a_n q^n\) be an overconvergent \(p\)-adic modular form of level \(N\), \((N,p) = 1\), and let \(U\) be the Atkin operator acting on \(q\)-expansions by \(UF(q) = \sum_{n \geq 0} a_{pn} q^n\). The author proves that if \(F\) is a generalized eigenvector for \(U\) with eigenvalue \(\lambda\) of weight \(k + 2\) and \(\lambda\) has \(p\)-adic valuation less than \(k + 1\), then \(F\) is a classical modular form (Theorem 6.1). This implies Gouvêa's conjecture that every overconvergent \(p\)-adic modular form of sufficiently small slope is classical. The main ingredient in the proof of Theorem 6.1 is the assertion relating overconvergent modular forms to the de Rham cohomology of a certain coherent sheaf with connection on an algebraic curve (Theorem 5.4). Also, a generalization of Theorem 6.1 to level \(Np\) is proved (Theorem 8.1), and an interpretation of overconvergent forms of level \(Np\) as certain Serre \(p\)-adic modular forms with non-integral weight is given (Theorem 9.1).