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 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.
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 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 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…
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.
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…
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…
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 …
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…
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~$χ$.
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$. …
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 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 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.
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.
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$.
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 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…
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.
We study $p$-adic Hodge theory for families of Galois representations over pseudorigid spaces. Such spaces are non-archimedean analytic spaces which may be of mixed characteristic, and which arise naturally in the study of eigenvarieties at the boundary of weight space. We introduce perfect and imperfect overconvergent period rings, and we use the Tate--Sen method to construct overconvergent $(φ, Γ)$-modules for Galois representations over pseudorigid spaces.
For ordinary modular forms, there are two constructions of a p-adic L-function attached to the non-unit root of the Hecke polynomial, which are conjectured but not known to coincide. We prove this conjecture for modular forms of CM type, by calculating the the critical-slope L-function arising from Kato's Euler system and comparing this with results of Bellaiche on the critical-slope L-function defined using overconvergent modular symbols.
This paper is a complement to the paper "On $p$-adic differential equations on semistable varieties" written by V. Di Proietto. Given an open variety over a DVR with semistable reduction, the author constructed in that paper a fully faithful algebraization functor from the category of certain log overconvergent isocrystals on the special fiber to the category of modules with regular integrable connection on the generic fiber. In this paper, we prove that, with convenable hypothesis, this functor is a tensor functor whose essential image is closed under extensions and subquotients. As a consequ…
Nearly higher Coleman theory and p-adic L-functions for $\mathrm{GSp}(4) \times \mathrm{GL}(2)$ and $\mathrm{GSp}(4) \times \mathrm{GL}(2) \times \mathrm{GL}(2)$
We construct $p$-adic $L$-functions associated with $p$-refined cohomological cuspidal Hilbert modular forms over any totally real field under a mild hypothesis. Our construction is canonical, varies naturally in $p$-adic families, and does not require any small slope or non-criticality assumptions on the $p$-refinement. The main new ingredients are an adelic definition of a canonical map from overconvergent cohomology to a space of locally analytic distributions on the relevant Galois group and a smoothness theorem for certain eigenvarieties at critically refined points.
We generalize some of the results of Andreatta, Iovita, and Pilloni and the author to Hodge type Shimura varieties having non-empty ordinary locus. For any $p$-adic weight $κ$, we give a geometric definition of the space of overconvergent modular forms of weight $κ$ in terms of sections of a sheaf. We show that our sheaves live in analytic families, interpolating the classical sheaves for integral weights. We define an action of the Hecke algebra, including a completely continuous operator at $p$. In some simple cases, we also build the eigenvariety.
The eigencurve is a powerful tool introduced by Coleman and Mazur to study $p$-adic families of overconvergent modular forms. In this article, we introduce an analogous set of tools for understanding families of "overconvergent" $p$-adic representations of $π_1(X)$, where $X$ is a smooth affine variety over a finite field of characteristic $p$. Our main theorem is a trace formula relating the $L$-function of such a family to the geometry of a sequence of associated eigenvarieties. In the case of a single $p$-adic representation, our result reduces to the well known trace formula of Monsky. We …
We show that the Galois cohomology groups of $p$-adic representations of a direct power of $\operatorname{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)$ can be computed via the generalization of Herr's complex to multivariable $(φ,Γ)$-modules. Using Tate duality and a pairing for multivariable $(φ,Γ)$-modules we extend this to analogues of the Iwasawa cohomology. We show that all $p$-adic representations of a direct power of $\operatorname{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)$ are overconvergent and, moreover, passing to overconvergent multivariable $(φ,Γ)$-modules is an equivalence of cate…
