Eisenstein series

Template:Short description Template:Cleanup MOS Eisenstein series, named after German mathematician Gotthold Eisenstein, are particular modular forms with infinite series expansions that may be written down directly. Originally defined for the modular group, Eisenstein series can be generalized in the theory of automorphic forms.

Eisenstein series for the modular group

File:Gee three real.jpeg

The real part of G₆ as a function of Template:Mvar on the unit disk. Negative numbers are black.

File:Gee three imag.jpeg

The imaginary part of G₆ as a function of Template:Mvar on the unit disk.

Let Template:Mvar be a complex number with strictly positive imaginary part. Define the holomorphic Eisenstein series G_2k(τ) of weight 2k, where k ≥ 2 is an integer, by the following series:

$G_{2k}(\tau )=\sum _{(m,n)\in {\mathbb{\mathbb{Z}}}^2\setminus \{(0,0)\}}\frac{1}{(m+n\tau {)}^{2k}}.$

This series absolutely converges to a holomorphic function of Template:Mvar in the upper half-plane and its Fourier expansion given below shows that it extends to a holomorphic function at τ = i∞. It is a remarkable fact that the Eisenstein series is a modular form. Indeed, the key property is its SL(2, $\mathbb{\mathbb{Z}}$)-invariance. Explicitly if a, b, c, d ∈ $\mathbb{\mathbb{Z}}$ and ad − bc = 1 then

$G_{2k}\left(\frac{a\tau +b}{c\tau +d}\right)=(c\tau +d{)}^{2k}{G}_{2k}(\tau )$

(Proof)

$\begin{array}{rl}{G}_{2k}\left(\frac{a\tau +b}{c\tau +d}\right)& =\sum _{(m,n)\in {\mathbb{\mathbb{Z}}}^2\setminus \{(0,0)\}}\frac{1}{{(m+n\frac{a\tau +b}{c\tau +d})}^{2k}}\\ & =\sum _{(m,n)\in {\mathbb{\mathbb{Z}}}^2\setminus \{(0,0)\}}\frac{(c\tau +d{)}^{2k}}{(md+nb+(mc+na)\tau {)}^{2k}}\\ & =\sum _{\genfrac{}{}{0ex}{}{(m^{\prime },n^{\prime })=(m,n)\left(\begin{array}{c}dc\\ ba\end{array}\right)}{(m,n)\in {\mathbb{\mathbb{Z}}}^2\setminus \{(0,0)\}}}\frac{(c\tau +d{)}^{2k}}{{(m^{\prime }+n^{\prime }\tau )}^{2k}}\end{array}$

If ad − bc = 1 then

${\left(\begin{array}{cc}d& c\\ b& a\end{array}\right)}^{-1}=\left(\begin{array}{cc}a& -c\\ -b& d\end{array}\right)$

so that

$(m,n)\mapsto (m,n)\left(\begin{array}{cc}d& c\\ b& a\end{array}\right)$

is a bijection $\mathbb{\mathbb{Z}}$² → $\mathbb{\mathbb{Z}}$², i.e.:

$\sum _{\genfrac{}{}{0ex}{}{(m^{\prime },n^{\prime })=(m,n)\left(\begin{array}{c}dc\\ ba\end{array}\right)}{(m,n)\in {\mathbb{\mathbb{Z}}}^2\setminus \{(0,0)\}}}\frac{1}{{(m^{\prime }+n^{\prime }\tau )}^{2k}}=\sum _{(m^{\prime },n^{\prime })\in {\mathbb{\mathbb{Z}}}^2\setminus \{(0,0)\}}\frac{1}{(m^{\prime }+n^{\prime }\tau {)}^{2k}}=G_{2k}(\tau )$

Overall, if ad − bc = 1 then

$G_{2k}\left(\frac{a\tau +b}{c\tau +d}\right)=(c\tau +d{)}^{2k}{G}_{2k}(\tau )$

and G_2k is therefore a modular form of weight 2k.

Note that it is important to assume that k ≥ 2 to ensure absolute convergence of the series, as otherwise it would be illegitimate to change the order of summation in the proof of SL(2, $\mathbb{\mathbb{Z}}$)-invariance. In fact, there are no nontrivial modular forms of weight 2. Nevertheless, an analogue of the holomorphic Eisenstein series can be defined even for k = 1, although it would only be a quasimodular form. It is also necessary that the weight be even, as otherwise the sum vanishes because the (-m, -n) and (m, n) terms cancel each other.

Relation to modular invariants

The modular invariants g₂ and g₃ of an elliptic curve are given by the first two Eisenstein series:

$\begin{array}{rl}{g}_2& =60G_4\\ g_3& =140G_6.\end{array}$

The article on modular invariants provides expressions for these two functions in terms of theta functions.

Recurrence relation

Any holomorphic modular form for the modular group can be written as a polynomial in G₄ and G₆. Specifically, the higher order G_2k can be written in terms of G₄ and G₆ through a recurrence relation. Let d_k = (2k + 3)k! G_{2k + 4}, so for example, d₀ = 3G₄ and d₁ = 5G₆. Then the Template:Mvar satisfy the relation

$\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})d_k{d}_{n-k}=\frac{2n+9}{3n+6}{d}_{n+2}$

for all n ≥ 0. Here, $(\genfrac{}{}{0ex}{}{n}{k})$ is the binomial coefficient.

The d_k occur in the series expansion for the Weierstrass's elliptic functions:

$\begin{array}{rl}\mathrm{\wp }(z)& =\frac{1}{z^2}+z^2\sum _{k=0}^{\mathrm{\infty }}\frac{d_k{z}^{2k}}{k!}\\ & =\frac{1}{z^2}+\sum _{k=1}^{\mathrm{\infty }}(2k+1)G_{2k+2}{z}^{2k}.\end{array}$

Fourier series

File:Eisenstein 4.jpg

G₄

File:Eisenstein 6.jpg

G₆

File:Eisenstein 8.jpg

G₈

File:Eisenstein 10.jpg

G₁₀

File:Eisenstein 12.jpg

G₁₂

File:Eisenstein 14.jpg

G₁₄

Define q = e^2πiτ. (Some older books define Template:Mvar to be the nome q = e^{Template:Piiτ}, but q = e^{2Template:Piiτ} is now standard in number theory.) Then the Fourier series of the Eisenstein series is

$G_{2k}(\tau )=2\zeta (2k)(1+c_{2k}\sum _{n=1}^{\mathrm{\infty }}{\sigma }_{2k-1}(n)q^n)$

where the coefficients c_2k are given by

$\begin{array}{rl}{c}_{2k}& =\frac{(2\pi i{)}^{2k}}{(2k-1)!\zeta (2k)}\\ & =\frac{-4k}{B_{2k}}=\frac{2}{\zeta (1-2k)}.\end{array}$

Here, B_n are the Bernoulli numbers, ζ(z) is Riemann's zeta function and σ_p(n) is the divisor sum function, the sum of the Template:Mvarth powers of the divisors of Template:Mvar. In particular, one has

$\begin{array}{rl}{G}_4(\tau )& =\frac{{\pi }^4}{45}(1+240\sum _{n=1}^{\mathrm{\infty }}{\sigma }_3(n)q^n)\\ G_6(\tau )& =\frac{2{\pi }^6}{945}(1-504\sum _{n=1}^{\mathrm{\infty }}{\sigma }_5(n)q^n).\end{array}$

The summation over Template:Mvar can be resummed as a Lambert series; that is, one has

$\sum _{n=1}^{\mathrm{\infty }}{q}^n{\sigma }_a(n)=\sum _{n=1}^{\mathrm{\infty }}\frac{n^a{q}^n}{1-q^n}$

for arbitrary complex Template:Abs < 1 and Template:Mvar. When working with the [[q-expansion|Template:Mvar-expansion]] of the Eisenstein series, this alternate notation is frequently introduced:

$\begin{array}{rl}{E}_{2k}(\tau )& =\frac{G_{2k}(\tau )}{2\zeta (2k)}\\ & =1+\frac{2}{\zeta (1-2k)}\sum _{n=1}^{\mathrm{\infty }}\frac{n^{2k-1}{q}^n}{1-q^n}\\ & =1-\frac{4k}{B_{2k}}\sum _{n=1}^{\mathrm{\infty }}{\sigma }_{2k-1}(n)q^n\\ & =1-\frac{4k}{B_{2k}}\sum _{d,n\ge 1}{n}^{2k-1}{q}^{nd}.\end{array}$

Identities involving Eisenstein series

As theta functions

Source:

Given q = e^{2Template:Piiτ}, let

$\begin{array}{rl}{E}_4(\tau )& =1+240\sum _{n=1}^{\mathrm{\infty }}\frac{n^3{q}^n}{1-q^n}\\ E_6(\tau )& =1-504\sum _{n=1}^{\mathrm{\infty }}\frac{n^5{q}^n}{1-q^n}\\ E_8(\tau )& =1+480\sum _{n=1}^{\mathrm{\infty }}\frac{n^7{q}^n}{1-q^n}\end{array}$

and define the Jacobi theta functions which normally uses the nome e^{Template:Piiτ},

$\begin{array}{rl}a& ={\theta }_2(0;e^{\pi i\tau })={\vartheta }_{10}(0;\tau )\\ b& ={\theta }_3(0;e^{\pi i\tau })={\vartheta }_{00}(0;\tau )\\ c& ={\theta }_4(0;e^{\pi i\tau })={\vartheta }_{01}(0;\tau )\end{array}$

where θ_m and ϑ_ij are alternative notations. Then we have the symmetric relations,

$\begin{array}{rl}{E}_4(\tau )& =\frac{1}{2}(a^8+b^8+c^8)\\ E_6(\tau )& =\frac{1}{2}\sqrt{\frac{{(a^8+b^8+c^8)}^3-54(abc{)}^8}{2}}\\ E_8(\tau )& =\frac{1}{2}(a^{16}+b^{16}+c^{16})=a^8{b}^8+a^8{c}^8+b^8{c}^8\end{array}$

Basic algebra immediately implies

$E_4^3-E_6^2=\frac{27}{4}(abc{)}^8$

an expression related to the modular discriminant,

$\mathrm{\Delta }=g_2^3-27g_3^2=(2\pi {)}^{12}{\left(\frac{1}{2}abc\right)}^8$

The third symmetric relation, on the other hand, is a consequence of E₈ = E and a⁴ − b⁴ + c⁴ = 0.

Products of Eisenstein series

Eisenstein series form the most explicit examples of modular forms for the full modular group SL(2, $\mathbb{\mathbb{Z}}$). Since the space of modular forms of weight 2k has dimension 1 for 2k = 4, 6, 8, 10, 14, different products of Eisenstein series having those weights have to be equal up to a scalar multiple. In fact, we obtain the identities:

$E_4^2=E_8,E_4{E}_6=E_{10},E_4{E}_{10}=E_{14},E_6{E}_8=E_{14}.$

Using the Template:Mvar-expansions of the Eisenstein series given above, they may be restated as identities involving the sums of powers of divisors:

${(1+240\sum _{n=1}^{\mathrm{\infty }}{\sigma }_3(n)q^n)}^2=1+480\sum _{n=1}^{\mathrm{\infty }}{\sigma }_7(n)q^n,$

hence

${\sigma }_7(n)={\sigma }_3(n)+120\sum _{m=1}^{n-1}{\sigma }_3(m){\sigma }_3(n-m),$

and similarly for the others. The theta function of an eight-dimensional even unimodular lattice Γ is a modular form of weight 4 for the full modular group, which gives the following identities:

${\theta }_{\mathrm{\Gamma }}(\tau )=1+\sum _{n=1}^{\mathrm{\infty }}{r}_{\mathrm{\Gamma }}(2n)q^n=E_4(\tau ),r_{\mathrm{\Gamma }}(n)=240{\sigma }_3(n)$

for the number r_Γ(n) of vectors of the squared length 2n in the root lattice of the type E₈.

Similar techniques involving holomorphic Eisenstein series twisted by a Dirichlet character produce formulas for the number of representations of a positive integer Template:Mvar' as a sum of two, four, or eight squares in terms of the divisors of Template:Mvar.

Using the above recurrence relation, all higher E_2k can be expressed as polynomials in E₄ and E₆. For example:

$\begin{array}{rl}{E}_8& =E_4^2\\ E_{10}& =E_4\cdot E_6\\ 691\cdot E_{12}& =441\cdot E_4^3+250\cdot E_6^2\\ E_{14}& =E_4^2\cdot E_6\\ 3617\cdot E_{16}& =1617\cdot E_4^4+2000\cdot E_4\cdot E_6^2\\ 43867\cdot E_{18}& =38367\cdot E_4^3\cdot E_6+5500\cdot E_6^3\\ 174611\cdot E_{20}& =53361\cdot E_4^5+121250\cdot E_4^2\cdot E_6^2\\ 77683\cdot E_{22}& =57183\cdot E_4^4\cdot E_6+20500\cdot E_4\cdot E_6^3\\ 236364091\cdot E_{24}& =49679091\cdot E_4^6+176400000\cdot E_4^3\cdot E_6^2+10285000\cdot E_6^4\end{array}$

Many relationships between products of Eisenstein series can be written in an elegant way using Hankel determinants, e.g. Garvan's identity

${\left(\frac{\mathrm{\Delta }}{(2\pi {)}^{12}}\right)}^2=-\frac{691}{1728^2\cdot 250}\det \left|\begin{array}{ccc}{E}_4& E_6& E_8\\ E_6& E_8& E_{10}\\ E_8& E_{10}& E_{12}\end{array}\right|$

where

$\mathrm{\Delta }=(2\pi {)}^{12}\frac{E_4^3-E_6^2}{1728}$

is the modular discriminant.

Ramanujan identities

Srinivasa Ramanujan gave several interesting identities between the first few Eisenstein series involving differentiation. Let

$\begin{array}{rlrl}L(q)& =1-24\sum _{n=1}^{\mathrm{\infty }}\frac{n{q}^n}{1-q^n}& & =E_2(\tau )\\ M(q)& =1+240\sum _{n=1}^{\mathrm{\infty }}\frac{n^3{q}^n}{1-q^n}& & =E_4(\tau )\\ N(q)& =1-504\sum _{n=1}^{\mathrm{\infty }}\frac{n^5{q}^n}{1-q^n}& & =E_6(\tau ),\end{array}$

then

$\begin{array}{rl}q\frac{dL}{dq}& =\frac{L^2-M}{12}\\ q\frac{dM}{dq}& =\frac{LM-N}{3}\\ q\frac{dN}{dq}& =\frac{LN-M^2}{2}.\end{array}$

These identities, like the identities between the series, yield arithmetical convolution identities involving the sum-of-divisor function. Following Ramanujan, to put these identities in the simplest form it is necessary to extend the domain of σ_p(n) to include zero, by setting

$\begin{array}{rl}{\sigma }_p(0)=\frac{1}{2}\zeta (-p)⟹\sigma (0)& =-\frac{1}{24}\\ {\sigma }_3(0)& =\frac{1}{240}\\ {\sigma }_5(0)& =-\frac{1}{504}.\end{array}$

Then, for example

$\sum _{k=0}^n\sigma (k)\sigma (n-k)=\frac{5}{12}{\sigma }_3(n)-\frac{1}{2}n\sigma (n).$

Other identities of this type, but not directly related to the preceding relations between Template:Mvar, Template:Mvar and Template:Mvar functions, have been proved by Ramanujan and Giuseppe Melfi, as for example

$\begin{array}{rl}\sum _{k=0}^n{\sigma }_3(k){\sigma }_3(n-k)& =\frac{1}{120}{\sigma }_7(n)\\ \sum _{k=0}^n\sigma (2k+1){\sigma }_3(n-k)& =\frac{1}{240}{\sigma }_5(2n+1)\\ \sum _{k=0}^n\sigma (3k+1)\sigma (3n-3k+1)& =\frac{1}{9}{\sigma }_3(3n+2).\end{array}$

Generalizations

Automorphic forms generalize the idea of modular forms for general semisimple Lie groups, where the modular group is replaced by an arithmetic group. Robert Langlands generalised the theory of Eisenstein series to this setting.

When the Lie group is of type A₁ the theory resembles the classical case. For example Hilbert modular forms are well-studied.

Further reading

• Translated into English as