In this paper we investigate a result of Ueno on the modularity of generating series associated to the zeta functions of binary Hermitian forms previously studied by Elstrodt et al. We improve his result by showing that the generating series are Eisenstein series. As a consequence we obtain an explicit formula for the special values of zeta functions associated with binary Hermitian forms.
This work is an example driven overview article of recent works on the connection of multiple zeta values, modular forms and q-analogues of multiple zeta values given by multiple Eisenstein series.
We study the double shuffle relations satisfied by the double zeta values of level 2, and introduce the double Eisenstein series of level 2 which satisfy the double shuffle relations. We connect the double Eisenstein series to modular forms of level 2.
We study a certain class of q-analogues of multiple zeta values, which appear in the Fourier expansion of multiple Eisenstein series. Studying their algebraic structure and their derivatives we propose conjectured explicit formulas for the derivatives of double and triple Eisenstein series.
We introduce the zeta function of the prehomogenous vector space of binary cubic forms, twisted by the real analytic Eisenstein series. We prove the meromorphic continuation of this zeta function and identify its poles and their residues. We also identify the poles and residues of the zeta function when restricted to irreducible binary cubic forms. This zeta function can be used to prove the equidistribution of the lattice shape of cubic rings.
In this article, we obtain a transformation formula for the higher power of odd zeta values, which generalizes Ramanujan's formula for odd zeta values. We have also investigated many important applications, which in turn provide generalizations of the transformation formula of the Eisenstein series, Dedekind eta function etc.
In this survey article, we discuss the algebraic structure of q-analogues of multiple zeta values, which are closely related to derivatives of Eisenstein series. Moreover, we introduce the formal double Eisenstein space, which generalizes the formal double zeta space of Gangl, Kaneko, and Zagier. Using the algebraic structure of q-analogues of multiple zeta values, we will present a realization of this space. As an application, we will obtain purely combinatorial proofs of identities among (quasi-)modular forms.
We introduce an integral version of the Eisenstein cocycle. As applications we prove a conjecture of Gross regarding the "order of vanishing" of Stickelberger elements relative to an abelian tower of fields and give a cohomological construction of the conjectural Gross--Stark units.
New expressions are given for the Fourier expansions of non-holomorphic Eisenstein series with weight $k$. Among other applications, this leads to non-holomorphic analogs of formulas of Ramanujan, Grosswald and Berndt containing Eichler integrals of holomorphic Eisenstein series.
We describe a decomposition algorithm for elliptic multiple zeta values, which amounts to the construction of an injective map $ψ$ from the algebra of elliptic multiple zeta values to a space of iterated Eisenstein integrals. We give many examples of this decomposition, and conclude with a short discussion about the image of $ψ$. It turns out that the failure of surjectivity of $ψ$ is in some sense governed by period polynomials of modular forms.
In their seminal paper "Double zeta values and modular forms" Gangl, Kaneko and Zagier defined a double Eisenstein series and used it to study the relations between double zeta values. One of their key ideas is to study the formal double space and apply the double shuffle relations. They also proved the double shuffle relations for the double Eisenstein series. More recently, Kaneko and Tasaka extended the double Eisenstein series to level 2, proved its double shuffle relations and studied the double zeta values of level 2. Motivated by the above works, we define in this paper the correspondin…
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 polynomials, which were defined by Oura, are analogues of the concept of an Eisenstein series. Oura conjectured that there exist some analogous properties between Eisenstein series and Eisenstein polynomials. In this paper, we provide new analogous properties of Eisenstein polynomials and zeta polynomials. These properties are finite analogies of certain properties of Eisenstein series.
We consider certain double series of Eisenstein type involving hyperbolic-sine functions. We define certain generalized Hurwitz numbers, in terms of which we evaluate those double series. Our main results can be regarded as a certain generalization of well-known results of Hurwitz, Herglotz, Katayama and so on. Our results also include recent formulas of the third-named author which are double analogues of the formulas of Cauchy, Mellin, Ramanujan, Berndt and so on, about certain Dirichlet series involving hyperbolic functions. As an application, we give some evaluation formulas for $q$-zeta f…
We solve Lehmer's problem for a class of polynomials arising from Hermitian matrices over the Eisenstein and Gaussian integers, that is, we show that all such polynomials have Mahler measure at least Lehmer's number τ_0 = 1.17628... .
Brown showed that the affine ring of the motivic path torsor $π_1^{\text{mot}}(\mathbb{P}^1 \backslash \left\{0,1,\infty\right\}, \vec{1}_0, -\vec{1}_1)$, whose periods are multiple zeta values, generates the Tannakian category $\mathsf{MT}(\mathbb{Z})$ of mixed Tate motives over $\mathbb{Z}$. Brown also introduced multiple modular values, which are periods of the relative completion of the fundamental group of the moduli stack $\mathcal{M}_{1,1}$ of elliptic curves. We prove that all motivic multiple zeta values may be expressed as $\mathbb{Q}[2 πi]$-linear combinations of motivic iterated Ei…
Eisenstein polynomials, which were defined by the second author, are analogues of the concept of an Eisenstein series. The second author conjectured that there exist some analogous properties between Eisenstein series and Eisenstein polynomials. In the previous paper, the first author provided new analogous properties of Eisenstein polynomials and zeta polynomials for the Type II case. In this paper, the analogous properties of Eisenstein polynomials and zeta polynomials are shown to also hold for the Type I, Type III, and Type IV cases. These properties are finite analogies of certain propert…
Multiple Eisenstein series are holomorphic functions in the complex upper-half plane, which can be seen as a crossbreed between multiple zeta values and classical Eisenstein series. They were originally defined by Gangl-Kaneko-Zagier in 2006, and since then, many variants and regularizations of them have been studied. They give a natural bridge between the world of modular forms and multiple zeta values. In this note, we give a new algebraic interpretation of stuffle regularized multiple Eisenstein series based on the Hopf algebra structure of the harmonic algebra introduced by Hoffman.
Subconvexity bounds are proved for general Epstein zeta functions of k-ary quadratic forms. This is related to sup-norm bounds for Eisenstein series on GL(k), and the exact sup-norm exponent is determined to be (k-2)/8 for k >= 2. In particular, if $k$ is odd, this exponent is not in Z/4, which shows that Sarnak's purity conjecture does not hold for Eisenstein series.
In the theory of elliptic functions and elliptic curves, the Weierstrass $zeta$ function (which is essentially an antiderivative of the Weierstrass $\wp$ function) plays a prominent role. Although it is not an elliptic function, Eisenstein constructed a simple (non-holomorphic) completion of this form which is doubly periodic. This theorem has begun to play an important role in the theory of harmonic Maass forms, and was crucial to work of Guerzhoy as well as Alfes, Griffin, Ono, and the author. In particular, this simple completion of $ζ$ provides a powerful method to construct harmonic Maass…
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.
In this paper, transformation formulas for a large class of Eisenstein series defined by \[ G(z,s;A_α,B_β;r_{1},r_{2})=\sum\limits_{m,n=-\infty}^{\infty }\ \hspace{-0.19in}^{^{\prime}}\frac{f(αm)f^{\ast}(βn)} {((m+r_{1})z+n+r_{2})^{s}},\text{ }\operatorname{Re}(s)>2,\text{ }\operatorname{Im}(z)>0 \] are investigated for $s=1-r$, $r\in\mathbb{N}$. Here $\left\{ f(n)\right\}$ and $\left\{ f^{\ast}(n)\right\}$, $-\infty<n<\infty$ are sequences of complex numbers with period $k>0$, and $A_α=\left\{ f(αn)\right\} $ and $B_β=\left\{ f^{\ast}(βn)\right\}$, $α,β\in\mathbb{Z}$. Appearing in the transfo…
We define certain higher-dimensional Dedekind sums that generalize the classical Dedekind-Rademacher sums, and show how to compute them effectively using a generalization of the continued-fraction algorithm. We present two applications. First, we show how to express special values of partial zeta functions associated to totally real number fields in terms of these sums via the Eisenstein cocycle introduced by the second author. Hence we obtain a polynomial-time algorithm for computing these special values. Second, we show how to use our techniques to compute certain special values of the Witte…
We consider the Hermitian Eisenstein series $E^{(\mathbb{K})}_k$ of degree $2$ and weight $k$ associated with an imaginary-quadratic number field $\mathbb{K}$ and determine the influence of $\mathbb{K}$ on the arithmetic and the growth of its Fourier coefficients. We find that they satisfy the identity $E^{{(\mathbb{K})}^2}_4 = E^{{(\mathbb{K})}}_8$, which is well-known for Siegel modular forms of degree $2$, if and only if $\mathbb{K} = \mathbb{Q} (\sqrt{-3})$. As an application, we show that the Eisenstein series $E^{(\mathbb{K})}_k$, $k=4,6,8,10,12$ are algebraically independent whenever $\…
College of Liberal Arts, Tsuda University（津田塾大学人文学部）；Faculty of Education, Shinshu University（信州大学教育学部）；Faculty of Science and Engineering, Kindai University（近畿大学理工学部）
We classify all cyclotomic matrices over the Eisenstein and Gaussian integers, that is, all Hermitian matrices over the Eisenstein and Gaussian integers that have all their eigenvalues in the interval [-2, 2].
Lie algebras for multiple Eisenstein series and multiple q-zeta values
Graduate School of Mathematics, Nagoya University（名古屋大学数学研究科）；Department of Mathematics, Graduate School of Science, Tokyo University of Science（东京理科大学理学部数学系）
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.
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 consider the genus of $20$ classes of unimodular Hermitian lattices of rank $12$ over the Eisenstein integers. This set is the domain for a certain space of algebraic modular forms. We find a basis of Hecke eigenforms, and guess global Arthur parameters for the associated automorphic representations, which recover the computed Hecke eigenvalues. Congruences between Hecke eigenspaces, combined with the assumed parameters, recover known congruences for classical modular forms, and support new instances of conjectured Eisenstein congruences for $\mathbb{U}(2,2)$ automorphic forms.
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.
Let p > 2 be a prime, let n > m > 0. Let pi_n be the norm of zeta_{p^n} - 1 under C_{p-1}, so that Z_(p)[pi_n] | Z_(p) is a purely ramified extension of discrete valuation rings of degree p^{n-1}. The minimal polynomial of pi_n over Q(pi_m) is an Eisenstein polynomial; we give lower bounds for its coefficient valuations at pi_m. The function field analogue, as introduced by Carlitz and Hayes, is studied as well.
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).
We introduce a new family of real analytic modular forms on the upper half plane. They are arguably the simplest class of `mixed' versions of modular forms of level one and are constructed out of real and imaginary parts of iterated integrals of holomorphic Eisenstein series. They form an algebra of functions satisfying many properties analogous to classical holomorphic modular forms. In particular, they admit expansions in $q, \overline{q}$ and $\log |q|$ involving only rational numbers and single-valued multiple zeta values. The first non-trivial functions in this class are real analytic Eis…
We discuss computation of the special values of partial zeta functions associated to totally real number fields. The main tool is the \emph{Eisenstein cocycle} $Ψ$, a group cocycle for $GL_{n} (\Z )$; the special values are computed as periods of $Ψ$, and are expressed in terms of generalized Dedekind sums. We conclude with some numerical examples for cubic and quartic fields of small discriminant.
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…
We study the algebra of certain $q$-series, called bi-brackets, whose coefficients are given by weighted sums over partitions. These series incorporate the theory of modular forms for the full modular group as well as the theory of multiple zeta values (MZV) due to their appearance in the Fourier expansion of regularised multiple Eisenstein series. Using the conjugation of partitions we obtain linear relations between bi-brackets, called the partition relations, which yield naturally two different ways of expressing the product of two bi-brackets similar to the stuffle and shuffle product of m…
We introduce the formal double Eisenstein space $\mathcal{E}_k$, which is a generalization of the formal double zeta space $\mathcal{D}_k$ of Gangl-Kaneko-Zagier, and prove analogues of the sum formula and parity result for formal double Eisenstein series. We show that $\mathbb Q$-linear maps $\mathcal{E}_k\rightarrow A$, for some $\mathbb Q$-algebra $A$, can be constructed from formal Laurent series (with coefficients in $A$) that satisfy the Fay identity. As the prototypical example, we define the Kronecker realization $ρ^{\mathfrak{K}}: \mathcal{E}_k\rightarrow \mathbb Q[[q]]$, which lifts …
We proof a Garrett-Böcherer decomposition of a vector valued Siegel Eisenstein series $E_{l,0}^2$ of genus 2 transforming with the Weil representation of $\text{Sp}_2(\mathbb{Z})$ on the group ring $\mathbb{C}[(L'/L)^2]$. We show that the standard zeta function associated to a vector valued common eigenform $f$ for the Weil representation can be meromorphically continued to the whole $s$-plane and that it satisfies a functional equation. The proof is based on an integral representation of this zeta function in terms of $f$ and $E_{l,0}^2$.
Relations and Derivatives of Multiple Eisenstein Series
Graduate School of Mathematics, Nagoya University（名古屋大学大学院数学研究科）；Mathematical Institute, Tohoku University（东北大学数学研究所）；Faculty of Mathematics, Kyushu University（九州大学数学研究院）
This paper studies the non-holomorphic Eisenstein series E(z,s) for the modular surface, and shows that integration with respect to certain non-negative measures gives meromorphic functions of s that have all their zeros on the critical line Re(s) = 1/2. For the constant term of the Eisenstein series it shows that all zeros are on the critical line for fixed y= Im(z) \ge 1, except possibly for two real zeros, which are present if and only if y > 4 πe^{-γ} = 7.0555+. It shows the Riemann hypothesis holds for all truncation integrals with truncation parameter T \ge 1. For T=1 this proves the Rie…
Asymptotic expansions for a class of generalized holomorphic Eisenstein series, Ramanujan's formula for $ζ(2k+1)$, Weierstrass' elliptic and allied functions
