We compute the $p$-adic $L$-functions of evil Eisenstein series, showing that they factor as products of two Kubota--Leopoldt $p$-adic $L$-functions times a logarithmic term. This proves in particular a conjecture of Glenn Stevens.
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.
A generalization of Serre's $p$-adic Eisenstein series in the case of Siegel modular forms is studied and a coincidence between a $p$-adic Siegel Eisenstein series and a genus theta series associated with a quaternary quadratic form is proved.
We construct a p-adic Eisenstein measure with values in the space of p-adic automorphic forms on certain unitary groups. Using this measure, we p-adically interpolate certain special values of both holomorphic and non-holomorphic Eisenstein series, as both the archimedean and the p-adic weights of the Eisenstein series vary.
We show that certain $p$-adic Eisenstein series for quaternionic modular groups of degree 2 become "real" modular forms of level $p$ in almost all cases. To prove this, we introduce a $U(p)$ type operator. We also show that there exists a $p$-adic Eisenstein series of the above type that has transcendental coefficients. Former examples of $p$-adic Eisenstein series for Siegel and Hermitian modular groups are both rational (i.e., algebraic).
In this paper, using p-adic integration with values in spaces of modular forms, we construct the p-adic analogue of Weil's elliptic functions according to Eisenstein in the book "Elliptic functions according to Eisenstein and and Kronecker". This construction extends Serre's p-adic family of Eisenstein series in "Formes modulaires et fonctions zêta p-adiques". We show that the power series expansion of Weil's elliptic functions also exists in the p-adic case.
We relate non-critical special values $p$-adic $L$-functions associated to algebraic Hecke characters of an imaginary quadratic number field with class number one to $p$-adic Coleman function called the $p$-adic Eisenstein-Kronecker series, when the conductors of the algebraic Hecke characters are divisible by $p$.
We construct a p-adic Eisenstein measure with values in the space of vector-weight p-adic automorphic forms on certain unitary groups. This measure allows us to p-adically interpolate special values of certain vector-weight C-infinity automorphic forms, including Eisenstein series, as their weights vary. We also explain how to extend our methods to the case of Siegel modular forms and how to recover Nicholas Katz's p-adic families of Eisenstein series for Hilbert modular forms.
This note points out that for any odd prime $p$, Zagier's weight $3/2$ mock Eisenstein series can be completed to a $p$-adic modular form in a way that bears some resemblance to its completion to a harmonic Maass form.
In this note, we give a criteria whether given two Eisenstein polynomials over a padic field define the same extension (Proposition 1.6). In particular, we completely identify Eisenstein polynomials of degree p (Theorem 1.16). This note is an English translation of a part of the original paper [12].
We consider the p-adic distributions derived from Eisenstein series in [GMPS], whose Mellin transforms are reciprocals of the Kubota-Leopoldt p-adic L-function. These distributions were shown there to be measures when p is regular. They fail to be measures when p is irregular; in this paper we give quantitative estimates that describe their behavior more precisely.
For any rational prime $p$, we define a certain $p$-stabilization of holomorphic Siegel Eisenstein series for the symplectic group ${\rm Sp}(2n)_{/\mathbb{Q}}$ of an arbitrary genus $n \ge 1$. In addition, we derive an explicit formula for the Fourier coefficients and conclude their $p$-adic interpolation problems. Consequently, for any odd prime $p$, we deduce the existence of a $Λ$-adic form (in the sense of A. Wiles, H. Hida and R.L. Taylor) such that after taking a suitable constant multiple, it interpolates $p$-adic analytic families of the above-mentioned $p$-stabilized Siegel Eisenstein…
We construct p-adic families of Klingen Eisenstein series and L-functions for cuspforms (not necessarily ordinary) unramified at an odd prime p on definite unitary groups of signature (r, 0) (for any positive integer r) for a quadratic imaginary field split at p. When r=2, we show that the constant term of the Klingen Eisenstein family is divisible by a certain p-adic L-function.
For any rational prime $p$, we define a certain $p$-stabilization of holomorphic Siegel Eisenstein series for the symplectic group $\text{Sp}(2n)_{/\mathbb{Q}}$ of an arbitrary genus $n \ge 1$. In addition, we derive an explicit formula for the Fourier coefficients and conclude their $p$-adic interpolation problems. Consequently, for any odd prime $p$, we deduce the existence of a $Λ$-adic form (in the sense of A. Wiles, H. Hida and R.L. Taylor) such that after taking a suitable constant multiple, it interpolates $p$-adic analytic families of the above-mentioned $p$-stabilized Siegel Eisenstei…
In this paper we prove that the motivic Eisenstein classes associated to polylogarithms of commutative group schemes can be $p$-adically interpolated in étale cohomology. This generalizes results for elliptic curves obtained in our former work. Already for one dimensional commutative groups the results proved here are much more flexible as they allow to treat degeneration questions easily.
The Fourier coefficients of the Siegel-Eisenstein series are p-adically continued for all primes p, as meromorphic functions, using the reciprocal of a product of L-functions. A construction of p-adic meromorphic families of such series is given in relation to the geometry of homogeneous spaces. Applications are given to p-adic L-functions, to Siegel's Mass Formula, to p-adic analytic families of automorphic representations. Based on author's talk for the Conference Automorphic Forms and Related Geometry, Assessing the Legacy of I.I. Piatetski-Shapiro
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.
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…
This is a completely rewritten version of the paper formerly entitled "Sheaves of Iwasawa modules, moment maps and the $\ell$-adic elliptic polylogarithm". The proof of the main result is also simplified. In the paper we study systematically the $\ell$-adic realization of the elliptic polylogarithm in the context of sheaves of Iwasawa modules. This leads to a description of the elliptic polylogarithm in terms of elliptic units. As an application we prove a precise relation between $\ell$-adic Eisenstein classes and elliptic Soulé elements. This allows to give a new proof of the formula for the…
Let p be a prime number and C be the p-adic tame level 1 eigencurve introduced by Coleman-Mazur. We prove that C is smooth at the evil Eisenstein points and we give necessary and sufficient conditions for etaleness of the map to the weight space at these points in terms of p-adic zeta values. A key step is the determination at these points of the schematic reducibility locus of the pseudo-character carried by C restricted to a decomposition group at p. Then, the smoothness appears to be a consequence of the fact that the Dirichlet L-functions only have simple zeros at integers.
Consider an elliptic curve defined over an imaginary quadratic field $K$ with good reduction at the primes above $p\geq 5$ and has complex multiplication by the full ring of integers $\mathcal{O}_K$ of $K$. In this paper, we construct $p$-adic analogues of the Eisenstein-Kronecker series for such elliptic curve as Coleman functions on the elliptic curve. We then prove $p$-adic analogues of the first and second Kronecker limit formulas by using the distribution relation of the Kronecker theta function.
We define an integral version of Sczech's Eisenstein cocycle on GLn by smoothing at a prime ell. As a result we obtain a new proof of the integrality of the values at nonpositive integers of the smoothed partial zeta functions associated to ray class extensions of totally real fields. We also obtain a new construction of the p-adic L-functions associated to these extensions. Our cohomological construction allows for a study of the leading term of these p-adic L-functions at s=0. We apply Spiess's formalism to prove that the order of vanishing at s=0 is at least equal to the expected one, as co…
In a recent work of Darmon, Pozzi and Vonk, the authors consider a particular $p$-adic family of Hilbert Eisenstein series $E_k(1,\brch)$ associated with an odd character $\brch$ of the narrow ideal class group of a real quadratic field $F$ and compute the first derivative of a certain one-variable twisted triple product $p$-adic $L$-series attached to $E_k(1,\brch)$ and an elliptic newform $f$ of weight $2$ on $Γ_0(p)$. In this paper, we generalize their construction to include the cyclotomic variable and thus obtain a two-variable twisted triple product $p$-adic $L$-series. Moreover, when $f…
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.
In this work we prove the so-called "torsion congruences" between abelian $p$-adic $L$-functions that are related to automorphic representations of definite unitary groups. These congruences play a central role in the non-commutative Iwasawa theory as it became clear in the works of Kakde, Ritter and Weiss on the non-abelian Main Conjecture for the Tate motive. We tackle these congruences for a general definite unitary group of $n$ variables and we obtain more explicit results in the special cases of $n=1$ and $n=2$. In both of these cases we also explain their implications for some particular…
Let $p\neq2$ be a prime. We show a technique based on local class field theory and on the expansions of certain resultants which allows to recover very easily Lbekkouri's characterization of Eisenstein polynomials generating cyclic wild extensions of degree $p^2$ over $\Q_p$, and to extend it to the case of the base field $K$ being an unramified extension of $\Q_p$. Furthermore, when a polynomial satisfies only some of the stated conditions, we show that the first unsatisfied condition gives information about the Galois group of the normal closure. This permits to give a complete classificatio…
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…
In this paper, we consider normalized newforms $f\in S_k(Γ_0(N),\varepsilon_f)$ whose non-constant term Fourier coefficients are congruent to those of an Eisenstein series modulo some prime ideal above a rational prime $p$. In this situation, we establish a congruence between the anticyclotomic $p$-adic $L$-function of Bertolini-Darmon-Prasanna and the Katz two-variable $p$-adic $L$-function. From this, we derive congruences between images under the $p$-adic Abel-Jacobi map of certain generalized Heegner cycles attached to $f$ and special values of the Katz $p$-adic $L$-function. In particular…
This paper provides an introduction to Eisenstein measures, a powerful tool for constructing certain $p$-adic $L$-functions. First seen in Serre's realization of $p$-adic Dedekind zeta functions associated to totally real fields, Eisenstein measures provide a way to extend the style of congruences Kummer observed for values of the Riemann zeta function (so-called {\em Kummer congruences}) to certain other $L$-functions. In addition to tracing key developments, we discuss some challenges that arise in more general settings, concluding with some that remain open.
We develop the topological polylogarithm which provides an integral version of Nori's Eisenstein cohomology classes for $GL_n(\mathbf{Z})$ and yields classes with values in an Iwasawa algebra. This implies directly the integrality properties of special values of $L$-functions of totally real fields and a construction of the associated $p$-adic $L$-function. Using a result of Graf, we also apply this to prove some integrality and $p$-adic interpolation results for the Eisenstein cohomology of Hilbert modular varieties.
The main new result is the computation of the degeneration of l-adic Eisenstein classes at the cusps. This is done by relating it to the degeneration of the elliptic polylog. These classes come from K-theory and their Hodge regulator can also be computed (see: Dirichlet motives via modula curves, on the K-theory server). This gives a new proof of a comparison conjecture of Bloch and Kato which was used in the proof of their Tamagawa number conjecture for the Riemann zeta-function. The paper contains appendices on the definition of the classical and elliptic polylog, its degeneration and the co…
This paper completes the construction of $p$-adic $L$-functions for unitary groups. More precisely, in 2006, the last three named authors proposed an approach to constructing such $p$-adic $L$-functions (Part I). Building on more recent results, including the first named author's construction of Eisenstein measures and $p$-adic differential operators, Part II of the present paper provides the calculations of local $ζ$-integrals occurring in the Euler product (including at $p$). Part III of the present paper develops the formalism needed to pair Eisenstein measures with Hida families in the set…
In this paper, we give a proof of the classical Kronecker limit formulas using the distribution relation of the Eisenstein-Kronecker series. Using a similar idea, we then prove $p$-adic analogues of the Kronecker limit formulas for the $p$-adic Eisenstein-Kronecker functions defined in our previous paper.
A classical construction of Katz gives a purely algebraic construction of Eisenstein--Kronecker series using the Gauß--Manin connection on the universal elliptic curve. This approach gives a systematic way to study algebraic and $p$-adic properties of real-analytic Eisenstein series. In the first part of this paper we provide an alternative algebraic construction of Eisenstein--Kronecker series via the Poincaré bundle. Building on this, we give in the second part a new conceptional construction of Katz' two-variable $p$-adic Eisenstein measure through $p$-adic theta functions of the Poincaré b…
For certain algebraic Hecke characters chi of an imaginary quadratic field F we define an Eisenstein ideal in a p-adic Hecke algebra acting on cuspidal automorphic forms of GL_2/F. By finding congruences between Eisenstein cohomology classes (in the sense of G. Harder) and cuspidal classes we prove a lower bound for the index of the Eisenstein ideal in the Hecke algebra in terms of the special L-value L(0,chi). We further prove that its index is bounded from above by the order of the Selmer group of the p-adic Galois character associated to chi^{-1}. This uses the work of R. Taylor et al. on a…
In this article, we compute the Gan-Gross-Prasad period integral of Klingen Eisenstein series over the unitary group $\mathrm{U}(m+1, n+1)$ with a cuspidal automorphic form over $\mathrm{U}(m+1, n)$, and show that it is related to certain special Rankin-Selberg $L$-values. We $p$-adically interpolate these Gan-Gross-Prasad period integrals as the Klingen Eisenstein series and the cuspidal automorphic form vary in Hida families. As a byproduct, we obtain a $p$-adic $L$-function of Rankin-Selberg type over $\mathrm{U}(m,n) \times \mathrm{U}(m+1, n)$. The ultimate motivation is to show the $p$-pr…
We construct a dual exponential map which relates the $p$-adic Eisenstein classes to Eisenstein series. From this map, we deduce a compatibility between the $p$-adic realization and the de Rham realization of the torsion sections of the elliptic polylogarithm prosheaf.
We construct $p$-adic measures which interpolate the special values of reciprocals of $p$-adic $L$-functions of totally real number fields $K$ at negative integers. These measures are defined by analyzing the non-constant term of partial Eisenstein series of the Hilbert modular group of $K$.
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.
We study the properties of Eisenstein-Kronecker numbers, which are related to special values of Hecke $L$-function of imaginary quadratic fields. We prove that the generating function of these numbers is a reduced (normalized or canonical in some literature) theta function associated to the Poincare bundle of an elliptic curve. We introduce general methods to study the algebraic and $p$-adic properties of reduced theta functions for CM abelian varieties. As a corollary, when the prime $p$ is ordinary, we give a new construction of the two-variable $p$-adic measure interpolating special values …
In this paper, based on Serre's $p$-adic family of Eisenstein series, we prove a general family of congruences for Eisenstein series $G_k$ in the form $$ \sum_{i=1}^n g_i(p)G_{f_i(p)}\equiv g_0(p)\mod p^N, $$ where $f_1(t),\ldots,f_n(t)\in\mathbb{Z}[t]$ are non-constant integer polynomials with positive leading coefficients and $g_0(t),\ldots,g_n(t)\in\mathbb{Q}(t)$ are rational functions. This generalizes the classical von Staudt-Clausen's and Kummer's congruences of Eisenstein series, and also yields some new congruences.
We introduce an analog of part of the Langlands-Shahidi method to the p-adic setting, constructing reciprocals of certain p-adic L-functions using the nonconstant terms of the Fourier expansions of Eisenstein series. We carry out the method for the group SL(2), and give explicit p-adic measures whose Mellin transforms are reciprocals of Dirichlet L-functions.
We define a cocycle on Gln using Shintani's method. It is closely related to cocycles defined earlier by Solomon and Hill, but differs in that the cocycle property is achieved through the introduction of an auxiliary perturbation vector Q. As a corollary of our result we obtain a new proof of a theorem of Diaz y Diaz and Friedman on signed fundamental domains, and give a cohomological reformulation of Shintani's proof of the Klingen-Siegel rationality theorem on partial zeta functions of totally real fields. Next we prove that the cohomology class represented by our Shintani cocycle is essenti…
In this paper, we give an overview of our previous paper concerning the investigation of the algebraic and $p$-adic properties of Eisenstein-Kronecker numbers using Mumford's theory of algebraic theta functions.