We study Hilbert modular forms in characteristic $p$ and over $p$-adic rings. In the characteristic $p$-theory we describe the kernel and image of the $q$-expansion map and prove the existence of filtration for Hilbert modular forms; we define operators $U$, $V$ and $Θ_χ$ and study the variation of the filtration under these operators. In particular, we prove that every ordinary eigenform has filtration in a prescribed box of weights. Our methods are geometric -- comparing holomorphic Hilbert modular forms with rational functions on a moduli scheme with level-$p$ structure, whose poles are supported on the non-ordinary locus.
In the $p$-adic theory we study congruences between Hilbert modular forms. This applies to the study of congruences between special values of zeta functions of totally real fields. It also allows us to define $p$-adic Hilbert modular forms "à la Serre" as $p$-adic uniform limit of classical modular forms, and compare them with the $p$-adic modular forms "à la Katz" that are regular functions on a certain formal moduli scheme. We show that the two notions agree for cusp forms and for a suitable class of weights containing all the classical ones. We extend the operators $V$ and $Θ_χ$ to the $p$-adic setting.
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…
Let p be an odd prime and g an integer greater or equal to 2. We prove that a finite slope Siegel cuspidal eigenform of genus g can be p-adically deformed over the g-dimensional weight space. The proof of this result relies on the construction of a family of sheaves of locally analytic overconvergent modular forms.
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.
In this paper we prove a Gross-Zagier type formula for the anticyclotomic p-adic L-function of an elliptic modular form f of higher weight and of multiplicative type at p. For such f we also decribe explicitely the local Galois representation attached to it at p and compare the Fontaine-Mazur and Teitelbaum L-invariants.
The specializations of the motivic elliptic polylog are called motivic Eisenstein classes. For applications to special values of L-Functions, it is important to compute the realizations of these classes. In this paper, we prove that the syntomic realization of the motivic Eisenstein classes, restricted to the ordinary locus of the modular curve, may be expressed using p-adic Eisenstein-Kronecker series. These p-adic modular forms are defined using the two-variable p-adic measure with values in p-adic modular forms constructed by Katz.
Mazur, Tate, and Teitelbaum gave a p-adic analogue of the Birch and Swinnerton-Dyer conjecture for elliptic curves. We provide a generalization of their conjecture in the good ordinary case to higher dimensional modular abelian varieties over the rationals by constructing the p-adic L-function of a modular abelian variety and showing that it satisfies the appropriate interpolation property. This relies on a careful normalization of the p-adic L-function, which we achieve by a comparison of periods. Our generalization agrees with the conjecture of Mazur, Tate, Teitelbaum in dimension 1 and the …
We interpolate cohomology classes attached to families of Hilbert modular forms. Using this we construct a two variable $p$-adic L-function which interpolates one variable $p$-adic L-functions.
In this paper, we consider the question of correcting mock modular forms in order to obtain $p$-adic modular forms. In certain cases we show that a mock modular form $M^+$ is a $p$-adic modular form. Furthermore, we prove that otherwise the unique correction of $M^+$ is intimately related to the shadow of $M^+$.
We show that Siegel modular forms of level Γ_0(p^m) are p-adic modular forms. Moreover we show that derivatives of such Siegel modular forms are p-adic. Parts of our results are also valid for vector-valued modular forms. In our approach to p-adic Siegel modular forms we follow Serre closely; his proofs however do not generalize to the Siegel case or need some modifications.
Ming-Lun Hsieh constructed three-variable triple product p-adic L-functions attached to triples of primitive Hida families and proved interpolation formulas. We generalize his result in the unbalanced case and construct a three-variable triple product p-adic L-function attached to a primitive Hida family and two more general p-adic families of modular forms.
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…
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 will survey some results in the theory of modular representations of a reductive $p$-adic group, in positive characteristic $\ell \neq p$ and $\ell=p$.
We compute the p-adic Abel-Jacobi map of the product of a Hilbert modular surface and a modular curve at a null-homologous (modified) embedding of the modular curve in this product, evaluated on differentials associated to a Hilbert cuspidal form f of weight (2,2) and a cuspidal form of weight 2. We generalize this computation to suitable null-homological cycles in the fibre products of the universal families on the surface and the curve, evaluated at differentials associated to f and g of higher weights. We express the values of the p-adic Abel-Jacobi map at these weights in terms of a p-adic…
We extend previous work of the author using an idea of Buzzard and give an elementary construction of non-ordinary $p$-adic families of Hilbert Modular Eigenforms.
In this preprint we prove that any finite slope modular form fits into a p-adic family of modular forms which is indexed by the weight. Here, the term p-adic family means that p-adic congruences between weights entail certain p-adic congruences between the corresponding modular forms. We also show that the dimension of the slope subspace of the space of modular forms does not depend on the weight. Both statements are predicted by the Mazur-Gouvea Conjecture, which has been proven by Coleman using methods from rigid analytic geometry. In contrast our proof is based on a comparison of (topologic…
We prove a variant of Oesterlé's conjecture about $p$-adic periods of the modular curve $X_0(p)$, with an additional $Γ(2)$-structure. We use de Shalit's techniques and $p$-adic uniformization of curves whose reduction is semi-stable.
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 …
Let $p$ be a prime. We discuss $p$-adic properties of various arithmetical functions related to the coefficients of modular form and generating functions. Modular forms are considered as a tool of solving arithmetical problems. Examples of congruences between modular forms modulo $p$ and modulo $p^n$ are given, and the use of a computer for the study of modular forms is illistrated.
Yau Mathematical Sciences Center, Tsinghua University（清华大学丘成桐数学科学中心）；Department of Mathematics, The Hong Kong University of Science and Technology（香港科技大学数学系）；College of Mathematics and Statistics, Center of Mathematics, Chongqing University（重庆大学数学与统计学院，数学中心）
In this paper we establish certain identities connecting $p$-adic hypergeometric functions with 4-th twisted Kloosterman sheaf sum. To prove these identities we express certain character sum over finite field in terms of special values of $p$-adic hypergeometric functions. One conjecture of Evans behaves as a bridge to connect $p$-adic hypergeometric functions with Kloosterman sheaf sum. We also connect $p$-adic hypergeometric functions with Fourier coefficients of certain modular forms.
We show that if an Eisenstein component of the $p$-adic Hecke algebra associated to modular forms is Gorenstein, then it is necessary that the plus-part of a certain ideal class group is trivial. We also show that this condition is sufficient whenever a conjecture of Sharifi holds.
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.
We prove hypergeometric type identities for a function defined in terms of quotients of the $p$-adic gamma function. We use these identities to prove a supercongruence conjecture of Rodriguez-Villegas between a truncated $_4F_3$ hypergeometric series and the Fourier coefficients of certain weight four modular form.
We introduce a geometric formalism for studying modular forms of half-integral weight and explore some of its basic properties. Geometric Hecke operators are constructed and some basic spaces of $p$-adic forms are introduced. The $p$-adic theory is greatly expanded in subsequent papers, making that part of this paper largely obsolete.
We show how our p-adic method to compute Galois representations occurring in the torsion of Jacobians of algebraic curves can be adapted to modular curves. The main ingredient is the use of "moduli-friendly" Eisenstein series introduced by Makdisi, which allow us to evaluate modular forms at p-adic of modular curves points and dispenses us of the need for equations of modular curves and for q-expansion computations. The resulting algorithm compares very favourably to the complex-analytic method.
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…
We consider the p-adic Galois representation associated to a Hilbert modular form. We show the compatibility with the local Langlands correspondence at a place divising p under a certain assumption. We also prove the monodromy-weight conjecture. The prime-to-p case is established by Carayol.
In this paper, we study the parallel cases of Zagier's and Folsom-Ono's grids of weakly holomorphic (resp. weakly holomorphic and mock modular) forms of weights 3/2 and 1/2, investigating their $p$-adic properties under the action of Hecke operators.
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.
We give a construction of a wide class of modular symbols attached to reductive groups. As an application we construct a p-adic distribution interpolating the special values of the twisted Rankin-Selberg L-function attached to cuspidal automorphic representations of GL(n) and GL(n-1) over number fields. If the representations are ordinary at p, our distribution is bounded and yields analyticity of the associated p-adic L-function.
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 define a pro-$p$ Abelian sheaf on a modular curve of a fixed level $N \geq 5$ divisible by a prime number $p \neq 2$. Every $p$-adic representation of $\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ associated to an eigenform is obtained as a quotient of its étale cohomology. For any compact $\mathbb{Z}_p[[1 + N \mathbb{Z}_p]]$-algebra $Λ_1$ satisfying certain suitable conditions, we construct a representation of $\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ over $Λ_1$ associated to a $Λ_1$-adic cuspidal eigenform of finite slope as a scalar extension of a quotient of the étale cohomology.
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 construct a meromorphic function on the eigencurve that interpolates a square root of the ratio of the central values of two quadratic twists of the $L$-function at classical points.
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.
We investigate hyperderivatives of Drinfeld modular forms and determine formulas for these derivatives in terms of Goss polynomials for the kernel of the Carlitz exponential. As a consequence we prove that v-adic modular forms in the sense of Serre, as defined by Goss and Vincent, are preserved under hyperdifferentiation. Moreover, upon multiplication by a Carlitz factorial, hyperdifferentiation preserves v-integrality.
We examine the Fourier coefficients of modular forms in a canonical basis for the spaces of weakly holomorphic modular forms of weights 4, 6, 8, 10, and 14, and show that these coefficients are often highly divisible by the primes 2, 3, and 5.
We study the behaviour of ordinary parts of the homology modules of modular curves, associated to a decreasing sequence of congruence subgroups $Γ_1(N2^r)$ for $r \geq 2$, and prove a control theorem for these homology modules.
In this paper we study the $p$-adic dynamics of prime-to-$p$ Hecke operators on the set of points of modular curves in both cases of good ordinary and supersingular reduction. We pay special attention to the dynamics on the set of CM points. In the case of ordinary reduction we employ the Serre-Tate coordinates, while in the case of supersingular reduction, we use a parameter on the deformation space of the unique formal group of height $2$ over $\overline{\mathbb{F}}_p$, and take advantage of the Gross-Hopkins period map.
The aim of this article is to show that p-adic geometry of modular curves is useful in the study of p-adic properties of traces of singular moduli. In order to do so, we partly answer a question by Ono. As our goal is just to illustrate how p-adic geometry can be used in this context, we focus on a relatively simple case, in the hope that others will try to obtain the strongest and most general results. For example, for p=2, a result stronger than Thm.1 is proved in [Boylan], and a result on some modular curves of genus zero can be found in [Osburn] . It should be easy to apply our method, bec…
Suppose $\ell$ is a prime number, ${\mathbf Q}_\ell$ is the field of $\ell$-adic numbers, ${\mathbf F}_\ell$ is the finite field of $\ell$ elements, and $d$ is a positive integer. Suppose $G$ is a finite subgroup of a symplectic group $Sp_{2d}({\mathbf Q}_\ell)$. We prove that $G$ can be embedded in $Sp_{2d}({\mathbf F}_\ell)$ in such a way that the characteristic polynomials are preserved (mod $\ell$), as long as $\ell>3$.
Modular and mock modular forms possess many striking $p$-adic properties, as studied by Bringmann, Guerzhoy, Kane, Kent, Ono, and others. Candelori developed a geometric theory of harmonic Maass forms arising from the de Rham cohomology of modular curves. In the setting of over-convergent $p$-adic modular forms, Candelori and Castella showed this leads to $p$-adic analogs of harmonic Maass forms. In this paper we take an analytic approach to construct $p$-adic analogs of harmonic Maass forms of weight $0$ %and $1/2$ with square free level. Although our approaches differ, where the two theories…
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.
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…
Let $E$ be a modular elliptic curve over a totally real number field $F$. We prove the weak exceptional zero conjecture which links a (higher) derivative of the $p$-adic $L$-function attached to $E$ to certain $p$-adic periods attached to the corresponding Hilbert modular form at the places above $p$ where $E$ has split multiplicative reduction. Under some mild restrictions on $p$ and the conductor of $E$ we deduce the exceptional zero conjecture in the strong form (i.e.\ where the automorphic $p$-adic periods are replaced by the $\cL$-invariants of $E$ defined in terms of Tate periods) from a…
Let $p$ be a prime $\ge 5$. We establish explicit rates of overconvergence for members of the "Eisenstein family", notably for the $p$-adic modular function $V(E_{(1,0)}^{\ast})/E_{(1,0)}^{\ast}$ ($V$ the $p$-adic Frobenius operator) that plays a pi\-votal role in Coleman's theory of $p$-adic families of modular forms. The proof goes via an in-depth analysis of rates of overconvergence of $p$-adic modular functions of form $V(E_k)/E_k$ where $E_k$ is the classical Eisenstein series of level $1$ and weight $k$ divisible by $p-1$. Under certain conditions, we extend the latter result to a vast g…
Suppose that p > 5 is a rational prime. Starting from a well-known p-adic analytic family of ordinary elliptic cusp forms of level p due to Hida, we construct a certain p-adic analytic family of holomorphic Siegel cusp forms of arbitrary even genus and of level p associated with Hida's p-adic analytic family via the Duke-Imamoglu lifting provided by Ikeda. Moreover, we also give a similar results for the Siegel Eisenstein series of even genus with trivial Nebentypus.
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…
