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 of Hecke $L$-functions of imaginary quadratic fields, originally constructed by Manin-Vishik and Katz. Our method via theta functions also gives insight for the case when $p$ is supersingular. The method of this paper will be used in subsequent papers to study the precise $p$-divisibility of critical values of Hecke $L$-functions associated to Hecke characters of quadratic imaginary fields for supersingular $p$, as well as explicit calculation in two-variables of the $p$-adic elliptic polylogarithm for CM elliptic curves.
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 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…
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.
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 …
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 …
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.
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.
Siegel modular forms in the space of the mod $p$ kernel of the theta operator are constructed by the Eisenstein series in some odd-degree cases. Additionally, a similar result in the case of Hermitian modular forms is given.
We find nice representatives for the 0-dimensional cusps of the degree $n$ Siegel upper half-space under the action of $Γ_0(\stufe)$. To each of these we attach a Siegel Eisenstein series, and then we make explicit a result of Siegel, realizing any integral weight average Siegel theta series of arbitrary level $\stufe$ and Dirichlet character $χ_L$ modulo $\stufe$ as a linear combination of Siegel Eisenstein series.
We derive explicit formulas for the action of the Hecke operator $T(p)$ on the genus theta series of a positive definite integral quadratic form and prove a theorem on the generation of spaces of Eisenstein series by genus theta series. We also discuss connections of our results with Kudla's matching principle for theta integrals.
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 consider the Kudla-Millson theta series associated to a quadratic space of signature $(N,N)$. By combining a `see-saw' argument with the Siegel-Weil formula, we show that its (regularized) integral along a torus attached to a totally real field of degree $N$ is the diagonal restriction of an Eisenstein series. It allows us to express the Fourier coefficients of the diagonal restriction as intersection numbers, which generalizes a result of Darmon-Pozzi-Vonk to totally real fields.
In this paper, we explicitly construct mock modular forms whose shadows are Eisenstein series of arbitrary integral and half-integral weight, level and character at the cusps $\infty$ and $0$. As an application, we give explicit construction of harmonic weak Maass forms which are Hecke eigenforms and are the preimages of $Θ^k, k \in \{ 3, 5, 7\}$ under the shadow operator, where $Θ$ is the classical Jacobi theta function.
The Kronecker theta function is a quotient of the Jacobi theta functions, which is also a special case of Ramanujan's $_1ψ_1$ summation. Using the Kronecker theta function as building blocks, we prove a decomposition theorem for theta functions. This decomposition theorem is the common source of a large number of theta function identities. Many striking theta function identities, both classical and new, are derived from this decomposition theorem with ease. A new addition formula for theta functions is established. Several known results in the theory of elliptic theta functions due to Ramanuja…
We derive a precise relation of poles of Eisenstein series associated to the cuspidal datum $χ\otimesσ$ and the lowest occurrence of theta lifts of a cuspidal automorphic representation $σ$ of a unitary group, where $χ$ is a conjugate self-dual character. A key ingredient of the proof is the computation of period integrals of truncated Eisenstein series.
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 paper, we give an explicit description of the de Rham and p-adic polylogarithms for elliptic curves using the Kronecker theta function. We prove in particular that when the elliptic curve has complex multiplication and good reduction at p, then the specializations to torsion points of the p-adic elliptic polylogarithm are related to p-adic Eisenstein-Kronecker numbers, proving a p-adic analogue of the result of Beilinson and Levin expressing the complex elliptic polylogarithm in terms of Eisenstein-Kronecker-Lerch series. Our result is valid even if the elliptic curve has supersingular…
We evaluate the classic sum $\sum_{n\in\mathbb{Z}} e^{-πn^2}$. The novelty of our approach is that it does not require any prior knowledge about modular forms, elliptic functions or analytic continuations. Even the $Γ$ function, in terms of which the result is expressed, only appears as a complex function in the computation of a real integral by the residue theorem. Another contribution of this note is to provide a very simple proof of the Kronecker limit formula.
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.
It is known that average Siegel theta series lie in the space of Siegel Eisenstein series. Also, every lattice equipped with an even integral quadratic form lies in a maximal lattice. Here we consider average Siegel theta series of degree 2 attached to maximal lattices; we construct maps for which the average theta series is an eigenform. We evaluate the action of these maps on Siegel Eisenstein series of degree 2 (without knowing their Fourier coefficients), and then realise the average theta series as an explicit linear combination of the Eisenstein series.
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 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 demonstrate that quotients of septic theta functions appearing in S. Ramanujan's Notebooks and in F. Klein's work satisfy a new coupled system of nonlinear differential equations with interesting symmetric form. This differential system bears a close resemblance to an analogous system for quintic theta functions. The proof extends a technique used by Ramanujan to prove the classical differential system for normalized Eisenstein series on the full modular group. In the course of our work, we show that Klein's quartic relation induces new symmetric representations for low weight Eisenstein se…
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)$.
We study the arithmetic of degree $N-1$ Eisenstein cohomology classes for locally symmetric spaces associated to $\mathrm{GL}_N$ over an imaginary quadratic field $k$. Under natural conditions we evaluate these classes on $(N-1)$-cycles associated to degree $N$ extensions $F/k$ as linear combinations of generalised Dedekind sums. As a consequence we prove a remarkable conjecture of Sczech and Colmez expressing critical values of $L$-functions attached to Hecke characters of $F$ as polynomials in Kronecker--Eisenstein series evaluated at torsion points on elliptic curves with multiplication by …
Zagier proved that the traces of singular moduli, i.e., the sums of the values of the classical j-invariant over quadratic irrationalities, are the Fourier coefficients of a modular form of weight 3/2 with poles at the cusps. Using the theta correspondence, we generalize this result to traces of CM values of (weakly holomorphic) modular functions on modular curves of arbitrary genus. We also study the theta lift for the weight 0 Eisenstein series for SL(2,Z) and realize a certain generating series of arithmetic intersection numbers as the derivative of Zagier's Eisenstein series of weight 3/2.…
Let K/F be a quadratic extension of number fields. After developing a theory of the Eisenstein series over F, we prove a formula which expresses a partial zeta function of K as a certain integral of the Eisenstein series. As an application, we obtain a limit formula of Kronecker's type which relates the 0-th Laurent coefficients at s=1 of zeta functions of K and F.
First, we recount a history of how certain methods using natural self-adjoint operators have, thus far, failed to prove the Riemann Hypothesis. In Section 2, we set the analytical context necessary to have genuine proofs in later sections, rather than attractive heuristics. In Section 3, we recall the utility of designed pseudo-Laplacians by reproving meromorphic continuation of certain Eisenstein series and proving a spacing result for zeros of $ζ_k(s)$ for $k$ a complex quadratic field with negative determinant. In Section 4, we construct an automorphic Hamiltonian which has purely discrete …
In this paper we define multiple Dedekind zeta values (MDZV), using a new type of iterated integrals, called iterated integrals on a membrane. One should consider MDZV as a number theoretic generalization of Euler's multiple zeta values. Over imaginary quadratic fields MDZV capture, in particular, multiple Eisenstein series (Gangl, Kaneko and Zagier). We give an analogue of multiple Eisenstein series over real quadratic field and an alternative definition of values of multiple Eisenstein-Kronecker series (Goncharov). Each of them is a special case of multiple Dedekind zeta values. MDZV are int…
This article sketches relations among algebraic cycles for the Shimura varieties defined by arithmetic quotients of symmetric domains for O(n,2), theta functions, values and derivatives of Eisenstein series and values and derivatives of certain L-functions. In the geometric case, results of joint work with John Millson imply that the generating functions for the classes in cohomology of certain algebraic cycles of codimension r are Siegel modular forms of genus r and weight n/2+1. A result of Borcherds shows that, for r=1, the same is true for the generating function for the classes of such di…
Elliptic modular graph functions and forms (eMGFs) are defined for arbitrary graphs as natural generalizations of modular graph functions and forms obtained by including the character of an Abelian group in their Kronecker--Eisenstein series. The simplest examples of eMGFs are given by the Green function for a massless scalar field on the torus and the Zagier single-valued elliptic polylogarithms. More complicated eMGFs are produced by the non-separating degeneration of a higher genus surface to a genus one surface with punctures. eMGFs may equivalently be represented by multiple integrals ove…
In this paper, we initiate a generous amount of new-found general theorems for explicit evaluations of product of the theta functions $b_{m, n}$ using Kronecker's limit formula and other various novel explicit evaluations that were introduced thereupon. Also, we have obtained a few novel values of Ramanujan's class invariant $g_n$ using new-found values of $b_{m, n}$. Eventually, we have shown that $b_{m, n}$ is the unit in certain algebraic number fields.
Properties of four quintic theta functions are developed in parallel with those of the classical Jacobi null theta functions. The quintic theta functions are shown to satisfy analogues of Jacobi's quartic theta function identity and counterparts of Jacobi's Principles of Duplication, Dimidiation and Change of Sign Formulas. The resulting library of quintic transformation formulas is used to describe series multisections for modular forms in terms of simple matrix operations. These efforts culminate in a formal technique for deducing congruences modulo powers of five for a variety of combinator…
We generalize the construction from arXiv:2102.09329 of theta series for quadratic forms of signature $(n-1,1)$ with homogeneous and spherical polynomials. Namely, we allow that the parameters $c_1,c_2$, which define the theta series and ensure the convergence of the defining series, are located on the boundary of the cone $C_Q$. This enables us to study several interesting examples such as Eisenstein series, modular forms on $Γ_0(4)$ which appear during the investigation of quadratic polynomials of a fixed discriminant, and a mock theta function of order 2 that is connected to the generating …
