Classical weight one forms in Hida families: Hilbert modular case
Tomomi Ozawa
备注：
18 pages. Comments welcome. v2: eliminated the assumption that there exists an integral free lattice of the Galois representation attached to a Hida family (it was not necessary), added a detailed description of the residual Galois representation in Section 2.3
The purpose of this paper is to investigate the number of classical weight one specializations of a non-CM ordinary Hida family of parallel weight Hilbert cusp forms. It is known that a specialization of a primitive ordinary Hida family at any arithmetic points of weight at least two is a classical holomorphic Hilbert cusp form. However, this is not always the case for weight one specializations. Balasubramanyam, Ghate and Vatsal proved that such a Hida family admits infinitely many classical weight one specializations if and only if it is of CM type. We give an explicit upper bound on the number of classical weight one specializations of a non-CM primitive ordinary Hida family.
In this paper, we discuss the variation of the numbers of the isomorphic classes of stable lattices when the weight and the level varies in a Hida deformation by using the Kubota-Leopoldt $p$-adic $L$-function. As a corollary, we give a sufficient condition for the numbers of the isomorphic classes of stable lattices in Hida deformation to be infinite.
We establish a duality result proving the `functional equation' of the characteristic ideal of the Selmer group associated to a nearly ordinary Hilbert modular form over the cyclotomic $\mathbb{Z}_{p}$ extension of a totally real number field. Further, we use this result to establish a duality or algebraic `functional equation' for the `big' Selmer groups associated to the corresponding nearly ordinary Hida deformation. The multivariable cyclotomic Iwasawa main conjecture for nearly ordinary Hida family of Hilbert modular forms is not established yet and this can be thought of as an evidence t…
Given a weight two modular form f with associated p-adic Galois representation V_f, for certain quadratic imaginary fields K one can construct canonical classes in the Galois cohomology of V_f by taking the Kummer images of Heegner points on the modular abelian variety attached to f. We show that these classes can be interpolated as f varies in a Hida family, and construct an Euler system of big Heegner points for Hida's universal ordinary deformation of V_f. We show that the specialization of this big Euler system to any form in the Hida family is nontrivial, extending results of Cornut and V…
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…
Let r : G_Q -> GL_2(Fpbar) be a p-ordinary and p-distinguished irreducible residual modular Galois representation. We show that the vanishing of the algebraic or analytic Iwasawa mu-invariant of a single modular form lifting r implies the vanishing of the corresponding mu-invariant for all such forms. Assuming that the mu-invariant vanishes, we also give explicit formulas for the difference in the algebraic or analytic lambda-invariants of modular forms lifting r. In particular, our formula shows that the lambda-invariant is constant on branches of the Hida family of r. We further show that ou…
We extend a result of Greenberg and Stevens on the interpolation of modular symbols in Hida families to the context of non-split rational quaternion algebras. Both the definite case and the indefinite case are considered.
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.
Bertolini-Darmon and Mok proved a formula of the second derivative of the two-variable $p$-adic $L$-function of a modular elliptic curve over a totally real field along the Hida family in terms of the image of a global point by some $p$-adic logarithm map. The theory of $p$-adic indefinite integrals and $p$-adic multiplicative integrals on $p$-adic upper half planes plays an important role in their work. In this paper, we generalize these integrals for $p$-adic measures which are not necessarily $\mathbf{Z}$-valued, and prove a formula of the second derivative of the two-variable $p$-adic $L$-…
We show that Hida's families of $p$-adic elliptic modular forms generalize to $p$-adic families of Jacobi forms. We also construct $p$-adic versions of theta lifts from elliptic modular forms to Jacobi forms. Our results extend to Jacobi forms previous works by Hida and Stevens on the related case of half-integral weight modular forms.
The central result of this paper is a refinement of Hida's duality theorem between ordinary Lambda-adic modular forms and the universal ordinary Hecke algebra. Specifically, we give a necessary condition for this duality to be integral with respect to particular submodules of the space ordinary Lambda-adic modular forms. This refinement allows us to give a simple proof that the universal ordinary cuspidal Hecke algebra modulo Eisenstein ideal is isomorphic to the Iwasawa algebra modulo an ideal related to the Kubota-Leopoldt p-adic L-function. The motivation behind these results stems from Oht…
We prove modularity of certain residually reducible ordinary 2-dimensional $p$-adic Galois representations with determinant a finite order odd character $χ$. For certain non-quadratic $χ$ we prove an $R=T$ result for $T$ the weight 1 specialisation of the Hida Hecke algebra acting on non-classical weight 1 forms, under the assumption that no two Hida families congruent to an Eisenstein series cross in weight 1. For quadratic $χ$ we prove that the quotient of $R$ corresponding to deformations split at $p$ is isomorphic to the Hecke algebra acting on classical CM weight 1 modular forms.
We prove a result of the following type: given a Hida family of modular forms, if there exists a weight two form in the family whose L-function vanishes to exact order one at s=1, then all but finitely many weight two forms in the family enjoy this same property. The analogous result for order of vanishing zero is also true, and is an easy consequence of the existence of the Mazur-Kitagawa two-variable p-adic L-function.
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.
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 which has been established by Ikeda. Moreover, we also give a similar results for the Siegel Eisenstein series of even genus with trivial Nebentypus.
This note is devoted to the study of families of quaternionic modular forms arising from orders defined by Pizer. In this situation, the Hecke-eigenspaces are 2-dimensional contrary to the classical case of Eichler orders. The main result is a Control Theorem in the spirit of Hida, interpolating these 2-dimensional Hecke-eigenspaces. We restrict our attention to a definite rational quaternion algebra ramified at a single odd prime $\ell$.
The theme of this work is the study of the Nekovář-Selmer group H^1_f(K,T) attached to a twisted Hida family T of Galois representations and a quadratic number field K. The results that we obtain have the following shape: if a twisted L-function of a suitable modular form in the Hida family has order of vanishing r at most 1 at the central critical point then the rank of H^1_f(K,T) as a module over a certain local Hida-Hecke algebra is equal to r. Under the above assumption, we also show that infinitely many twisted L-functions of modular forms in the Hida family have the same order of vanishi…
We study the vanishing of $L(f,χ,j)$ as $f$ runs through all classical forms in a $p$-adic Hida family (including forms with arbitrarily high nebentype at $p$), $χ$ runs through all characters of $p$-power conductor, and $j$ is a critical value. We show that if infinitely many of these $L$-values vanish (apart from the ones forced to vanish by the sign of their functional equation) then this infinitude of vanishing must be exceptionally regular, so regular in fact that one can typically rule out this possibility in any given example. Indeed, we systematically verified that such regular vanishi…
In 2006, Fukaya and Kato formulated a general conjecture about $p$-adic $L$-functions for a large class of motives and derived a precise conjectural interpolation formula from the ETNC. We study this conjectural $p$-adic $L$-function in the setting of Hida families and compare it to the $p$-adic $L$-function constructed by Kitagawa. A priori it is not clear whether the interpolation formulas coincide, mainly because of the rather inexplicit definition of periods (via comparison isomorphisms) that appear in the general formula. Using $p$-adic Eichler-Shimura isomorphisms and their interpolation…
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 construct the $Λ$-adic de Rham analogue of Hida's ordinary $Λ$-adic étale cohomology and of Ohta's $Λ$-adic Hodge cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic extension of $\mathbf{Q}_p$, we give a purely geometric proof of the expected finiteness, control, and $Λ$-adic duality theorems. Following Ohta, we then prove that our $Λ$-adic module of differentials is canonically isomorphic to the space of ordinary $Λ$-adic cuspforms. In the sequel to this paper, we construct the crystalline counterpart to Hida's ordinary $Λ$-adic étale cohomo…
We construct the three-variable p-adic triple product L-functions attached to Hida families of ellptic newforms and prove the explicit interpolation formulae at all critical specializations by establishing explicit Ichino's formulae for the trilinear period integrals of automorphic forms. Our formulae perfectly fit the conjectural shape of p-adic L-functions predicted by Coates and Perrin-Riou. As an application, we prove the factorization of certain unbalanced p-adic triple product L-functions into a product of anticyclotomic p-adic L-functions for modular forms. By this factorization, we giv…
Let $f$ be a newform of weight $2$, square-free level and trivial character, let $A_f$ be the abelian variety attached to $f$ and for every good ordinary prime $p$ for $f$ let $\boldsymbol f^{(p)}$ be the $p$-adic Hida family through $f$. We prove that, for all but finitely many primes $p$ as above, if $A_f$ is an elliptic curve such that $A_f(\mathbb Q)$ has rank $1$ and the $p$-primary part of the Shafarevich-Tate group of $A_f$ over $\mathbb Q$ is finite then all specializations of $\boldsymbol f^{(p)}$ of weight congruent to $2$ modulo $2(p-1)$ and trivial character have finite ($p$-primar…
This is the text of a talk to the study week on \emph{Modular forms and Galois representations} held in Luminy, 1997. We give a survey of $p$-adic modular forms, as developped by Serre, Katz, Hida, Wiles, Coleman and others...
Fix a prime $p > 2$. Let $ρ: \text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to \text{GL}_2(\mathbb{I})$ be the Galois representation coming from a non-CM irreducible component $\mathbb{I}$ of Hida's $p$-ordinary Hecke algebra. Assume the residual representation $\barρ$ is absolutely irreducible. Under a minor technical condition we identify a subring $\mathbb{I}_0$ of $\mathbb{I}$ containing $\mathbb{Z}_p[[T]]$ such that the image of $ρ$ is large with respect to $\mathbb{I}_0$. That is, $\text{Im} ρ$ contains $\text{ker}(\text{SL}_2(\mathbb{I}_0) \to \text{SL}_2(\mathbb{I}_0/\mathfrak{a}))$ for…
We construct Λ-adic de Rham and crystalline analogues of Hida's ordinary Λ-adic etale cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic extension of \Q_p, we prove appropriate finiteness and control theorems in each case. We then employ integral p-adic Hodge theory to prove Λ-adic comparison isomorphisms between our cohomologies and Hida's etale cohomology. As applications of our work, we provide a "cohomological" construction of the family of (ϕ,Γ)-modules attached to Hida's ordinary Λ-adic etale cohomology by Dee, and we give a new and purely…
In this short note, we observe that the techniques of our recent work "Pseudo-modularity and Iwasawa theory" can be used to provide a new proof of some of the residually reducible modularity lifting results of Skinner and Wiles. In these cases, we have found that a deformation ring of ordinary pseudorepresentations is equal to the Eisenstein local component of a Hida Hecke algebra. We also show that Vandiver's conjecture implies Sharifi's conjecture.
We develop a new strategy for studying low weight specializations of $p$-adic families of ordinary modular forms. In the elliptic case, we give a new proof of a result of Ghate--Vatsal which states that a Hida family contains infinitely many classical eigenforms of weight one if and only if it has complex multiplication. Our strategy is designed to explicitly avoid use of the related facts that the Galois representation attached to a classical weight one eigenform has finite image, and that classical weight one eigenforms satisfy the Ramanujan conjecture. We indicate how this strategy might be…
We generalize the work of Ohta on the congruence modules attached to elliptic Eisenstein series to the setting of Hilbert modular forms. Our work involves three parts. In the first part, we construct Eisenstein series adelically and compute their constant terms by computing local integrals. In the second part, we prove a control theorem for one-variable ordinary $Λ$-adic Hilbert modular forms following Hida's work on the space of multivariable ordinary $Λ$-adic Hilbert cusp forms. In part three, we compute congruence modules related to Hilbert Eisenstein series through an analog of Ohta's meth…
Given a newform f, we extend Howard's results on the variation of Heegner points in the Hida family of f to a general quaternionic setting. More precisely, we build big Heegner points and big Heegner classes in terms of compatible families of Heegner points on towers of Shimura curves. The novelty of our approach, which systematically exploits the theory of optimal embeddings, consists in treating both the case of definite quaternion algebras and the case of indefinite quaternion algebras in a uniform way. We prove results on the size of Nekovář's extended Selmer groups attached to suitable bi…
We provide a simple and efficient numerical criterion to verify the Iwasawa main conjecture and the indivisibility of derived Kato's Euler systems for modular forms of weight two at any good prime under mild assumptions. In the ordinary case, the criterion works for all members of a Hida family once and for all. The key ingredient is the explicit computation of the integral image of the derived Kato's Euler systems under the dual exponential map. We provide explicit new examples at the end. This work does not appeal to the Eisenstein congruence method at all.
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 function field over $\mathbb{F}_q$, $A$ its ring of regular functions outside a place $\infty$ and $\mathfrak{p}$ a prime ideal of $A$. First, we develop Hida theory for Drinfeld modular forms of rank $r$ which are of slope zero for a suitably defined Hecke operator $\mathrm{U}_{\mathfrak{p}}$. Second, we show the existence in the finite slope case of families of Drinfeld modular forms varying continuously with respect to the weight. Finally, we show a classicity result: an overconvergent Drinfeld modular form of sufficiently small slope with respect to the weight is a classical D…
In this paper we prove one side divisibility of the Iwasawa-Greenberg main conjecture for Rankin-Selberg product of a weight two cusp form and an ordinary CM form of higher weight, using congruences between Klingen Eisenstein series and cusp forms on $\mathrm{GU}(3,1)$, generalizing earlier result of the third-named author to allow non-ordinary cusp forms. The main result is a key input in the third author's proof for Kobayashi's $\pm$-main conjecture for supersingular elliptic curves. The new ingredient here is developing a semi-ordinary Hida theory along an appropriate smaller weight space, …
In this article, we prove an explicit Waldspurger formula for the toric Hilbert modular forms. As an application, we construct a class of anticyclotomic p-adic Rankin-Selberg L-functions for Hilbert modular forms, generalizing the construction of Bertolini, Darmon and Prasanna in the elliptic case. Moreover, building on works of Hida, we give a necessary and sufficient condition when the Iwasawa mu-invariant of this p-adic L-function vanishes and prove a result on the non-vanishing modulo $p$ of central Rankin-Selberg L-values with anticyclotomic twists.
The rank one Gross conjecture for Deligne-Ribet $p$-adic $L$-functions was solved in works of Darmon-Dasgupta-Pollack and Ventullo by the Eisenstein congruence among Hilbert modular forms. The purpose of this paper is to prove an analogue of the Gross conjecture for the Katz $p$-adic $L$-functions attached to imaginary quadratic fields via the congruences between CM forms and non-CM forms. The new ingredient is to apply the $p$-adic Rankin-Selberg method to construct a non-CM Hida family which is congruent to a Hida family of CM forms at the $1+\varepsilon$ specialization.
We study the structure of the Eisenstein component of Hida's ordinary p-adic Hecke algebra attached to modular forms, in connection with the companion forms in the space of modular forms (mod p). We show that such an algebra is a Gorenstein ring if certain space of modular forms (mod p) having companions is one-dimensional; and also give a numerical criterion for this one-dimensionality. This in part overlaps with a work of Skinner and Wiles; but our method, based on a work of Ulmer, is totally different. We then consider consequences of the above mentioned Gorenstein property. We especially d…
This note provides the construction of a three-variable family of cohomology classes arising from diagonal cycles on a triple product of towers of modular curves, and proves a reciprocity law relating it to the three variable triple-product $p$-adic $L$-function associated to a triple of Hida families by means of Perrin-Riou's $Λ$-adic regulator.
In this article, we discuss Iwasawa Main Conjecture for $p$-adic families of elliptic modular cuspforms. After the overview on the situation of the ordinary case of Hida family, we will introduce a Coleman map for Coleman family for the non-ordinary case (Coleman family) which was obtained as a joint work with Filippo Nuccio [NO16] and we give some results on Iwasawa Theory for Coleman families as applications of . First, we give a construction of a two-variable $p$-adic $L$-function for a Coleman family thanks to the ingredients given in [NO16] (Theorem 5.1). Combining this result and Coleman…
Associated to an (adelic) Hilbert modular form is a sequence of `Fourier coefficients' which uniquely determine the form. In this paper we characterize Hilbert modular cusp forms by the size of their Fourier coefficients. This answers in the affirmative a question posed by Winfried Kohnen.
