The slope of a p-adic overconvergent eigenform of weight k is the p-adic valuation of its U_p eigenvalue. We find the slope of all 2-adic finite slope overconvergent eigenforms of tame level 1 and weight 0. As a consequence we prove that any finite slope 2-adic overconvergent eigenform of tame level 1 and weight 0 has coefficients in Q_2. These results provide evidence towards conjectures of the first author that predict the slopes of classical p-adic modular forms under a mild ``Gamma_0(N)''-regular hypothesis on p.
In this article we will show how to compute $U_p$ acting on spaces of overconvergent $p$-adic modular forms when $X_0(p)$ has genus 1. We first give a construction of Banach bases for spaces of overconvergent $p$-adic modular forms, and then give an algorithm to approximate both the characteristic power series of the $U_p$ operator and eigenvectors of finite slope for $U_p$, and present some explicit examples. We will also relate this to the conjectures of Clay on the slopes of overconvergent modular forms.
The goal of this paper is to construct the p-adic analytic family of overconvergent half-integral weight modular forms using Hecke-equivariant overconvergent Shintani lifting. The classical Shintani map is the Hecke-equivariant map from the space of cusp forms of integral weight to the space of cusp forms of half-integral weight. Glenn Stevens proved in [St1] that there is Lamda-adic lifting of this map to the Hida family of ordinary cusp forms of integral weight and consequently constructed Lamda-adic modular eigen form of half-integral weight. The natural thing to do is generalizing his resu…
We generalize the definition of overconvergent $p$-adic multiple polylogarithms and of $p$-adic cyclotomic multiple zeta values and we prove a bound on their norm. A byproduct of the proof is a characterization of these objects in terms of certain regularized $p$-adic iterated integrals. The generalization of the definition consists in replacing the underlying Frobenius structure by its iterations. The bound on the norms of overconvergent $p$-adic multiple polylogarithms that we obtain is a prerequisite for our subsequent papers on $p$-adic cyclotomic multiple zeta values.
We come back to the construction of p-adic L-functions attached to cusp forms of even weight k in the spirit of G. Stevens, R. Pollack [7] and M. Greenberg [3] with a new unified presentation including the non-ordinary case. This construction is based on Stevens's modular symbols rather than q-developments. We review the proofs in order to obtain an effective algorithm guaranteeing a given p-adic accuracy.
The use of overconvergent cohomology in constructing $p$-adic $L$-functions, initiated by Stevens and Pollack--Stevens in the setting of classical modular forms, has now been established in a number of settings. The method is compatible with constructions of eigenvarieties by Ash--Stevens, Urban and Hansen, and is thus well-adapted to non-ordinary situations and variation in $p$-adic families. In this note, we give an exposition of the ideas behind the construction of $p$-adic $L$-functions via overconvergent cohomology. Conditional on the non-abelian Leopoldt conjecture, we illustrate them by…
We construct an Euler system of $p$-adic zeta elements over the eigencurve which interpolates Kato's zeta elements over all classical points. Applying a big regulator map gives rise to a purely algebraic construction of a two-variable $p$-adic $L$-function over the eigencurve. As a first application of these ideas, we prove the equality of the $p$-adic $L$-functions associated with a critical-slope refinement of a modular form by the works of Bellaïche/Pollack-Stevens and Kato/Perrin-Riou.
We reinterpret the explicit construction of Gross points given by Chida-Hsieh as a non-Archimedian analogue of the standard geodesic cycle from zero to the infinity on the Poincare upper half plane. This analogy allows us to consider certain distributions, which can be regarded as anticyclotomic p-adic L-functions for modular forms of non-critical slope following the overconvergent strategy a la Stevens. We also give a geometric interpretation of their Gross points for the case of weight two forms. Our construction generalizes those of Bertolini-Darmon, Bertolini-Darmon-Iovita-Spiess, and Chid…
Let $τ$ be the primitive Dirichlet character of conductor 4, let $χ$ be the primitive even Dirichlet character of conductor 8 and let $k$ be an integer. Then the $U_2$ operator acting on cuspidal overconvergent modular forms of weight $2k+1$ and character $τ$ has slopes in the arithmetic progression ${2,4,...,2n,...}$, and the $U_2$ operator acting on cuspidal overconvergent modular forms of weight $k$ and character $χ\cdot τ^k$ has slopes in the arithmetic progression ${1,2,...,n,...}$. We then show that the characteristic polynomials of the Hecke operators $U_2$ and $T_p$ acting on the space…
In this note, we construct explicit bases for spaces of overconvergent $p$-adic modular forms when $p=2,3$ and study their stability under the Atkin operator. The resulting extension of the algorithms of Lauder is illustrated with computations of slope sequences of some $2$-adic eigencurves and the construction of Chow-Heegner points on elliptic curves via special values of Rankin triple product L-functions.
We show that the slopes of the~$U_5$ operator acting on slopes of 5-adic overconvergent modular forms of weight~$k$ with primitive Dirichlet character~$χ$ of conductor~25 are given by either \[ \left\{{1/4}\cdot\lfloor\frac{8i}{5}\rfloor: i \in \N\right\}\text{or }\left\{{1/4}\cdot\lfloor\frac{8i+4}{5}\rfloor: i \in \N\right\}, \] depending on~$k$ and~$χ$.
We interpolate the Gauss-Manin connection in p-adic families of nearly overconvergent modular forms. This gives a family of Maass-Shimura type differential operators from the space of nearly overconvergent modular forms of type r to the space of nearly overconvergent modular forms of type r + 1 with p-adic weight shifted by 2. Our construction is purely geometric, using Andreatta-Iovita-Stevens and Pilloni's geometric construction of eigencurves, and should thus generalize to higher rank groups.
Let f be a modular form with complex multiplication. If f has critical slope, then Coleman's classicality theorem implies that there is a p-adic overconvergent generalized Hecke eigenform with the same Hecke eigenvalues as f. We give a formula for the Fourier coefficiets of this generalized Hecke eigenform. We also investigate the dimension of the generalized Hecke eigenspace of p-adic overconvergent forms containing f.
In [Pollack-Stevens 2011], efficient algorithms are given to compute with overconvergent modular symbols. These algorithms then allow for the fast computation of $p$-adic $L$-functions and have further been applied to compute rational points on elliptic curves (e.g. [Darmon-Pollack 2006, Trifković 2006]). In this paper, we generalize these algorithms to the case of families of overconvergent modular symbols. As a consequence, we can compute $p$-adic families of Hecke-eigenvalues, two-variable $p$-adic $L$-functions, $L$-invariants, as well as the shape and structure of ordinary Hida-Hecke alge…
We provide a geometric Hodge-Tate map giving generic description of the overconvergent modular symbols of some p-adic (accessible) weight k, base-changed to C_p, in terms of overconvergent modular forms of weight k+2.
We study the rigid cohomology of the ordinary locus in some compact PEL Shimura varieties of type C with values in automorphic local systems and use it to prove a small slope criterion for classicality of overconvergent Hecke eigenforms. This generalises the work of Coleman, and is a first step in an ongoing project to extend the cohomological approach to classicality to higher-dimensional Shimura varieties.
We prove an analogue of the Tate isogeny conjecture and the semi-simplicity conjecture for overconvergent crystalline Dieudonné modules of abelian varieties defined over global function fields of characteristic $p$. As a corollary we deduce that monodromy groups of such overconvergent crystalline Dieudonné modules are reductive, and after a finite base change of coefficients their connected components are the same as the connected components of monodromy groups of Galois representations on the corresponding $l$-adic Tate modules, for $l$ different from $p$. We also show such a result for gener…
We give a new proof of Faltings's p-adic Eichler-Shimura decomposition of the modular curves via BGG methods and the Hodge-Tate period map. The key property is the relation between the Tate module and the Faltings extension, which was already used in the original proof. Then, we construct overconvergent Eichler-Shimura (ES) maps for the modular curves providing ''the second half'' of the overconvergent ES map of Andreatta-Iovita-Stevens. We use higher Coleman theory on the modular curve developed by Boxer-Pilloni to show that the small slope part of the ES maps interpolates the classical p-adi…
Let χ be the primitive Dirichlet character of conductor 49 defined by χ(3)=ζ, for ζ a primitive 42nd root of unity. We explicitly compute the slopes of the U_7 operator acting on the space of overconvergent modular forms on X_1(49) with weight k and character either χ^{7k-6} or χ^{8-7k}, depending on the embedding of Q(ζ) into C_7. By applying results of Coleman, and of Cohen-Oesterlé, we are then able to conclude the slopes of U_7 acting on all classical Hecke newforms of the same weight and character.
For p=2 and tame level N=1 we prove that the map from the (Coleman-Mazur) Eigencurve to weight space satisfies the valuative criterion of properness. More informally, we show that the Eigencurve has no "holes"; given a punctured disc of finite slope overconvergent eigenforms over weight space, the center can be "filled in" with a finite slope overconvergent eigenform.
We give an explicit description of the matrix associated to the $U_p$ operator acting on spaces of overconvergent Hilbert modular forms over totally real fields. Using this, we compute slopes for weights in the centre and near the boundary of weight space for certain real quadratic fields. \added[id=h]{Near the boundary of weight space we see that the slopes do not appear to be given by finite unions of arithmetic progressions but instead can be produced by a simple recipe from which we make a conjecture on the structure of slopes. We also prove a lower bound on the Newton polygon of the $U_p$…
Using the overconvergent cohomology modules introduced by Ash and Stevens, we construct eigenvarieties associated with reductive groups and establish some basic geometric properties of these spaces, building on work of Ash-Stevens, Urban, and others. We also formulate a precise modularity conjecture linking trianguline Galois representations with overconvergent cohomology classes. In the course of giving evidence for this conjecture, we establish several new instances of \emph{p-}adic Langlands functoriality. Our main technical innovations are a family of universal coefficients spectral sequen…
Let $G'$ be a connected reductive group over $\mathbb{Q}$ such that $G = G'/\mathbb{Q}_p$ is quasi-split, and let $Q \subset G$ be a parabolic subgroup. We introduce parahoric overconvergent cohomology groups with respect to $Q$, and prove a classicality theorem showing that the small slope parts of these groups coincide with those of classical cohomology. This allows the use of overconvergent cohomology at parahoric, rather than Iwahoric, level, and provides flexible lifting theorems that appear to be particularly well-adapted to arithmetic applications. When $Q$ is the Borel, we recover the …
Let $F$ be a totally real field in which $p$ is unramified. We prove that, if a cuspidal overconvergent Hilbert cuspidal form has small slopes under $U_p$-operators, then it is classical. Our method follows the original cohomological approach of Coleman. The key ingredient of the proof is giving an explicit description of the Goren-Oort stratification of the special fiber of the Hilbert modular variety. A byproduct of the proof is to show that, at least when $p$ is inert, of the rigid cohomology of the ordinary locus has the same image as the classical forms in the Grothendieck group of Hecke …
We p-adically interpolate the relative de Rham cohomology of the universal elliptic curve over strict neighbourhoods of the ordinary locus of modular curves, together with the Hodge filtration and Gauss-Manin connection. Sections of these sheaves provide the so called nearly overconvergent modular forms. This extends previous work of Andreatta, Iovita and Pilloni where we p-adically interpolate powers of the Hodge bundle and in that case the sections coincide with Coleman overconvergent modular forms. We also show that, under suitable assumptions, one can p-adically interpolate the Gauss-Manin…
Since Rob Pollack and Glenn Stevens used overconvergent modular symbols to construct p-adic L-functions for non-critical slope rational modular forms, the theory has been extended to construct p-adic L-functions for non-critical slope automorphic forms over totally real and imaginary quadratic fields by the first and second authors respectively. In this paper, we give an analogous construction over a general number field. In particular, we start by proving a control theorem stating that the specialisation map from overconvergent to classical modular symbols is an isomorphism on the small slope…
Let $K$ be a finite extension of $\mathbb{Q}_{p}$ and let $Γ$ be the Galois group of the cyclotomic extension of $K$. Fontaine's theory gives a classification of $p$-adic representations of $\mathrm{Gal}\left(\overline{K}/K\right)$ in terms of $(φ,Γ)$-modules. A useful aspect of this classification is Berger's dictionary which expresses invariants coming from $p$-adic Hodge theory in terms of these $\left(φ,Γ\right)$-modules. In this paper, we use the theory of locally analytic vectors to generalize this dictionary to the setting where $Γ$ is the Galois group of a Lubin-Tate extension of $K$. …
In a previous paper, we stated a general almost purity theorem in the style of Faltings: if R is a ring for which the Frobenius maps on finite p-typical Witt vectors over R are surjective, then the integral closure of R in a finite étale extension of R[p^{-1}] is "almost" finite étale over R. Here, we use almost purity to lift the finite étale extension of R[p^{-1}] to a finite étale extension of rings of overconvergent Witt vectors. The point is that no hypothesis of p-adic completeness is needed; this result thus points towards potential global analogues of p-adic Hodge theory. As an illustr…
We give a new construction of $p$-adic overconvergent Hilbert modular forms by using Scholze's perfectoid Shimura varieties at infinite level and the Hodge--Tate period map. The definition is analytic, closely resembling that of complex Hilbert modular forms as holomorphic functions satisfying a transformation property under congruence subgroups. As a special case, we first revisit the case of elliptic modular forms, extending recent work of Chojecki, Hansen and Johansson. We then construct sheaves of geometric Hilbert modular forms, as well as subsheaves of integral modular forms, and vary ou…
In this paper we define Banach spaces of overconvergent half-integral weight $p$-adic modular forms and Banach modules of families of overconvergent half-integral weight $p$-adic modular forms over admissible open subsets of weight space. Both spaces are equipped with a continuous Hecke action for which $U_{p^2}$ is moreover compact. The modules of families of forms are used to construct an eigencurve parameterizing all finite-slope systems of eigenvalues of Hecke operators acting on these spaces. We also prove an analog of Coleman's theorem stating that overconvergent eigenforms of suitably l…
We resolve the local semistable reduction problem for overconvergent F-isocrystals at monomial valuations (Abhyankar valuations of height 1 and residue transcendence degree 0). We first introduce a higher-dimensional analogue of the generic radius of convergence for a p-adic differential module, which obeys a convexity property. We then combine this convexity property with a form of the p-adic local monodromy theorem for so-called fake annuli.
The main result of this paper is an instance of the conjecture made by Gouvea and Mazur (Math. Res. Lett., 1995) which asserts that for certain values of r the space of r-overconvergent p-adic modular forms of tame level N and weight k should be spanned by the finite slope Hecke eigenforms. Using methods adapted from the work of Buzzard and Calegari I show that for p=2, k = 0, N = 1, this holds for all r in (5/12, 7/12). The proof relies on a certain factorisation of the U_p operator which is known in this case but I conjecture also holds for p = 3 and 5; this conjecture also implies exact for…
Let $F$ be a quadratic real field, $p$ be a rational prime inert in $F$. In this paper, we prove that an overconvergent $p$-adic Hilbert eigenform for $F$ of small slope is actually a classical Hilbert modular form.
We prove a gluing lemma for sections of line bundles on a rigid analytic variety. We apply the lemma, in conjunction with a result of Buzzard's, to give a proof of (a generalization) of Coleman's theorem which states that overconvergent modular forms of small slope are classical. The proof is "geometric" in nature, and is suitable for generalization to other PEL Shimura varieties.
We give a new proof of the slope classicality theorem in classical and higher Coleman theory for modular curves at arbitrary level using the completed cohomology classes attached to overconvergent modular forms. The latter give an embedding of the quotient of overconvergent modular forms by classical modular forms, which is the obstruction space for classicality in either cohomological degree, into a unitary representation of $\mathrm{GL}_2(\mathbb{Q}_p)$. The $U_p$ operator becomes a double-coset, and unitarity yields the slope vanishing.
In a previous article, we constructed an entire power series over $p$-adic weight space (the 'ghost series') and conjectured, in the $Γ_0(N)$-regular case, that this series encodes the slopes of overconvergent modular forms of any $p$-adic weight. In this paper, we construct 'abstract ghost series' which can be associated to various natural subspaces of overconvergent modular forms. This abstraction allows us to generalize our conjecture to, for example, the case of slopes of overconvergent modular forms with a fixed residual representation that is locally reducible at $p$. Ample numerical evi…
The minimal slope conjecture, which was proposed by K.Kedlaya, asserts that two irreducible overconvergent $F$-isocrystals on a smooth variety are isomorphic to each other if both minimal slope constitutions of slope filtrations are isomorphic to each other. We affirmatively solve the minimal slope conjecture for overconvergent $F$-isocrystals on curves and for overconvergent $\bar{\mathbb Q}_p$-$F$-isocrystals on smooth varieties over finite fields.
The theory of overconvergent modular symbols, developed by Rob Pollack and Glenn Stevens, gives a beautiful and effective construction of the $p$-adic $L$-function of a modular form. In this paper, we give an analogue of their results for Bianchi modular forms, that is, modular forms over imaginary quadratic fields. In particular, we prove control theorems that say that the canonical specialisation map from overconvergent to classical Bianchi modular symbols is an isomorphism on small slope eigenspaces of suitable Hecke operators. We also give an explicit link between the classical modular sym…
We prove an analogue for $p$-adic coefficients of the Deligne--Laumon theorem on local acyclicity for curves. That is, for an overconvergent $F$-isocrystal $E$ on a relative curve $f:U\rightarrow S$ admitting a good compactification, we show that the cohomology sheaves of $\mathbf{R}f_!E$ are overconvergent isocrystals if and only if $E$ has constant Swan conductor at infinity.
We consider a novel version of the classical Jacquet-Langlands {correspondence}, explore a $p$-adic extension of the Jacquet-Langlands correspondence, and as an explicit example we find an overconvergent automorphic form of weight~1 which corresponds to a classical modular form of weight~1, using both experimental and theoretical methods.
This paper generalises previous work of the author to the setting of overconvergent $p$-adic automorphic forms for a definite quaternion algebra over a totally real field. We prove results which are analogues of classical `level raising' results in the theory of mod $p$ modular forms. Roughly speaking, we show that an overconvergent eigenform whose associated local Galois representation at some auxiliary prime $ł$ is (a twist of) a direct sum of trivial and cyclotomic characters lies in a family of eigenforms whose local Galois representation at $ł$ is generically (a twist of) a ramified exten…
Using a local construction from a previous paper, we exhibit a numerical invariant, the differential Swan conductor, for an isocrystal on a variety over a perfect field of positive characteristic overconvergent along a boundary divisor; this leads to an analogous construction for certain p-adic and l-adic representations of the etale fundamental group of a variety. We then demonstrate some variational properties of this definition for overconvergent isocrystals, paying special attention to the case of surfaces.
We compute the p-adic L-function (in the sense of Pollack-Stevens and Bellaiche) of the "evil twin" Eisenstein series. We use Solomon's Shintani cocycle to construct a p-adic Shintani modular symbol, and show how to specialize this modular symbol to overconvergent modular symbols with the same p-adic L-function as evil/critical-slope Eisenstein series. This gives a new proof of recent results of Bellaiche and Dasgupta.
I present a general theory of overconvergent p-adic automorphic forms and eigenvarieties for connected reductive algebraic groups G whose real points are compact modulo centre, extending earlier constructions due to Buzzard, Chenevier and Yamagami for forms of GL(n). This leads to some new phenomena, including the appearance of intermediate spaces of "semi-classical" automorphic forms; this gives a hierarchy of interpolation spaces (eigenvarieties) interpolating classical automorphic forms satisfying different finite slope conditions (corresponding to a choice of parabolic subgroup of G at p).…
We study the asymptotic behavior of solutions of Frobenius equations defined over the ring of overconvergent series. As an application, we prove Chiarellotto-Tsuzuki's conjecture on the rationality and right continuity of Dwork's logarithmic growth filtrations associated to ordinary linear $p$-adic differential equations with Frobenius structures.
We construct differential operators for families of overconvergent Hilbert modular forms by interpolating the Gauss--Manin connection on strict neighborhoods of the ordinary locus. This is related to work done by Harron and Xiao and by Andreatta and Iovita in the case of modular forms and by Zheng Liu for Siegel modular forms. It has applications in particular to $p$-adic $L$-functions of CM fields.
In this work we construct an eigencurve for p-adic modular forms attached to an indefinite quaternion algebra over Q. Our theory includes the definition, both as rules on test objects and sections of line bundle, of p-adic modular forms, convergent and overconvergent, of any p-adic weight. We prove that our modular forms can be put in analytic families over the weight space and we introduce the Hecke operators U and T_l, that can also be put in families. We show that the U-operator acts compactly on the space of overconvergent modular forms. We finally construct the eigencurve, a rigid analyti…
In this work, we set up a theory of p-adic modular forms over Shimura curves over totally real fields which allows us to consider also non-integral weights. In particular, we define an analogue of the sheaves of k-th invariant differentials over the Shimura curves we are interested in, for any p-adic character. In this way, we are able to introduce the notion of overconvergent modular form of any p-adic weight. Moreover, our sheaves can be put in p-adic families over a suitable rigid-analytic space, that parametrizes the weights. Finally, we define Hecke operators, including the U operator, th…
We show that for arithmetic weights with a fixed finite order character, the slopes of $U_p$ (for $p=2$) acting on overconvergent Hilbert modular forms of level $U_0(4)$ are independent of the (algebraic part of the) weight and can be obtained by a simple recipe from the classical slopes in parallel weight $3$.
Bringmann, Guerzhoy and Kane have shown how to correct mock modular forms by a certain linear combination of the Eichler integral of their shadows in order to obtain p-adic modular forms in the sense of Serre. In this paper, we give a new proof of their results (for good primes p) by employing the geometric theory of harmonic Maass forms developed by the first author and the theory of overconvergent modular forms due to Katz and Coleman.
We construct some $n$-dimensional eigenvarieties for finite slope overconvergent eigenforms over some unitary Shimura varieties with signature $(1,n-1)\times(0,n)\times\cdots\times(0,n)$ by adapting Andreatta-Iovita-Pilloni's method. We also show that there are some Galois pseudo-characters over our eigenvarieties by studying analytic continuation of finite slope eigenforms over these Shimura varieties.
Following Apery's proof of the irrationality of zeta(3), Beukers found an elegant reinterpretation of Apery's arguments using modular forms. We show how Beukers arguments can be adapted to a p-adic setting. In this context, certain functional equations arising from Eichler integrals are replaced by the notion of overconvergent p-adic modular forms, and the periods themselves arise not as coefficients of period polynomials but as constant terms of p-adic Eisenstein series. We prove that the analogue of zeta(3) is irrational for p = 2 and 3, as well as the 2-adic analogue of Catalan's constant.
