v2. The current version is the synthesis of §1-§3 of the first version of this article with the content of arXiv:0807.4008 "The Kronecker limit formulas via the distribution relation." §4,§5 of the first version of this paper will be treated in a subsequent article
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.
The classical Kronecker limit formula gives the constant term of the non-holomorphic Eisenstein series E(z,s) for SL(2,Z) at s=1 in terms of the Dedekind eta function. Here we compute the analagous formula for an Eisenstein series twisted by modular symbols (periods of weight two holomorphic cusp forms) for general Fuchsian groups of the first kind.
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 develop two applications of the Kronecker's limit formula associated to elliptic Eisenstein series: A factorization theorem for holomorphic modular forms, and a proof of Weil's reciprocity law. Several examples of the general factorization results are computed, specifically for certain moonshine groups, congruence subgroups, and, more generally, non-compact subgroups with one cusp. In particular, we explicitly compute the Kronecker limit function associated to certain elliptic points for a few small level moonshine groups.
The classical Kronecker limit formula describes the constant term in the Laurent expansion at the first order pole of the non-holomorphic Eisenstein series associated to the cusp at infinity of the modular group. Recently, the meromorphic continuation and Kronecker limit type formulas were investigated for non-holomorphic Eisenstein series associated to hyperbolic and elliptic elements of a Fuchsian group of the first kind by Jorgenson, Kramer and the first named author. In the present work, we realize averaged versions of all three types of Eisenstein series for $Γ_0(N)$ as regularized theta …
Let $Γ\subset\mathrm{PSL}_{2}(\mathbb{R})$ be a Fuchsian subgroup of the first kind acting by fractional linear transformations on the upper half-plane $\mathbb{H}$, and let $M=Γ\backslash\mathbb{H}$ be the associated finite volume hyperbolic Riemann surface. Associated to any cusp of $M$, there is the classically studied non-holomorphic (parabolic) Eisenstein series. In 1979, Kudla and Millson studied non-holomorphic (hyperbolic) Eisenstein series associated to any closed geodesic on $Γ\backslash\mathbb{H}$. In 2004, Jorgenson and Kramer introduced so-called elliptic Eisenstein series associa…
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.
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.
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.
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…
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 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.
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.
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…
Kronecker's first limit formula gives the polar and constant terms of the Laurent series expansion of the Eisenstein series for SL(2,Z) at s=1. In this article, we generalize the formula to certain maximal parabolic Eisenstein series associated to SL(n,Z) for n greater than or equal to 2. We also show how the generalized formula can be used to give the polar and constant terms of the Dedekind zeta function of any number field at s=1.
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…
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.
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…
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 $X$ be a smooth, compact, projective Kähler variety and $D$ be a divisor of a holomorphic form $F$, and assume that $D$ is smooth up to codimension two. Let $ω$ be a Kähler form on $X$ and $K_{X}$ the corresponding heat kernel which is associated to the Laplacian that acts on the space of smooth functions on $X$. Using various integral transforms of $K_{X}$, we will construct a meromorphic function in a complex variable $s$ whose special value at $s=0$ is the log-norm of $F$ with respect to $μ$. In the case when $X$ is the quotient of a symmetric space, then the function we construct is a …
This note contains an attempt to relate Hecke's presentation of an ideal class zeta function in a real quadratic field as an integral of the nonholomorphic Eisenstein series along the loop on modular curve and Zagier's decomposition of this zeta function into the sum of zeta functions of indefinite quadratic forms. (See D.Zagier, A Kronecker limit formula for real quadratic field.) It is a preliminary version.
Eisenstein series are real analytic functions which play a central role in spectral theory of the hyperbolic Laplacian. Kronecker limit formulas determine their connection to modular forms. The main result of this work is Theorem 7.2 in which a Kronecker limit formula for a family of non-congruence subgroups associated with the Fermat curves is presented. As an application we can determine the scattering constants for the Fermat curves in Theorem 8.1.
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…
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, 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.
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…
Let $E(z,s)$ be the non-holomorphic Eisenstein series for the modular group $SL(2,{\mathbb Z})$. The classical Kronecker limit formula shows that the second term in the Laurent expansion at $s=1$ of $E(z,s)$ is essentially the logarithm of the Dedekind eta function. This eta function is a weight $1/2$ modular form and Dedekind expressed its multiplier system in terms of Dedekind sums. Building on work of Goldstein, we extend these results from the modular group to more general Fuchsian groups $Γ$. The analogue of the eta function has a multiplier system that may be expressed in terms of a map …
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.
We prove that the generating function of overpartition $M2$-rank differences is, up to coefficient signs, a component of the vector-valued mock Eisenstein series attached to a certain quadratic form. We use this to compute analogs of the class number relations for $M2$-rank differences. As applications we split the Kronecker-Hurwitz relation into its "even" and "odd" parts and calculate sums over Hurwitz class numbers of the form $\sum_{r \in \mathbb{Z}} H(n - 2r^2)$.
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.
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…
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…
