# Eisenstein Series ## The Simplest Modular Forms Among all modular forms, Eisenstein series are the most explicit and computationally accessible. They arise naturally by summing simple rational functions over lattice points in the plane. Despite their elementary definition, they encode deep arithmetic information. Their Fourier coefficients involve divisor sums, their products generate large parts of the algebra of modular forms, and their analytic properties connect modular form theory with zeta functions and $L$-functions. Eisenstein series therefore form the foundational examples of modular forms. ## Lattices in the Complex Plane Let $$ \Lambda = \mathbb{Z}\omega_1+\mathbb{Z}\omega_2 $$ be a lattice in $\mathbb{C}$, where $$ \frac{\omega_2}{\omega_1}\in\mathbb{H}. $$ After scaling, one may normalize: $$ \omega_1=1, \qquad \omega_2=z, $$ with $$ z\in\mathbb{H}. $$ Thus the lattice becomes $$ \Lambda_z = \mathbb{Z}+\mathbb{Z}z. $$ Many analytic objects associated with elliptic curves arise by summing over nonzero lattice points. Eisenstein series emerge from precisely this construction. ## Definition of Eisenstein Series Let $k\ge4$ be an even integer. The Eisenstein series of weight $k$ is defined by $$ G_k(z) = \sum_{(m,n)\ne(0,0)} \frac1{(mz+n)^k}. $$ The sum extends over all nonzero integer lattice points. For odd $k$, the series vanishes identically because terms cancel in pairs: $$ (m,n)\leftrightarrow(-m,-n). $$ The series converges absolutely for even $k>2$. The resulting function is holomorphic on the upper half-plane. ## Modular Transformation Law The Eisenstein series satisfies the modular transformation property $$ G_k\left( \frac{az+b}{cz+d} \right) = (cz+d)^k G_k(z) $$ for all $$ \begin{pmatrix} a&b\\ c&d \end{pmatrix} \in SL_2(\mathbb{Z}). $$ Thus $G_k(z)$ is a modular form of weight $k$. The proof follows by transforming the lattice summation variables under the modular group action. This modular symmetry explains why Eisenstein series are fundamental examples of modular forms. ## Normalized Eisenstein Series It is customary to normalize Eisenstein series so that the constant term equals $1$. The normalized Eisenstein series is denoted $$ E_k(z). $$ Its Fourier expansion is $$ E_k(z) = 1 - \frac{2k}{B_k} \sum_{n=1}^\infty \sigma_{k-1}(n)q^n, $$ where: - $q=e^{2\pi iz}$; - $B_k$ is the $k$-th Bernoulli number; - $\sigma_r(n)$ is the divisor sum $$ \sigma_r(n)=\sum_{d\mid n} d^r. $$ Thus the coefficients are arithmetic functions. This is one of the earliest appearances of multiplicative number theory inside complex analysis. ## Examples ### Weight Four The Eisenstein series of weight four is $$ E_4(z) = 1+240\sum_{n=1}^\infty \sigma_3(n)q^n. $$ The expansion begins $$ E_4(z) = 1 + 240q + 2160q^2 + 6720q^3 +\cdots. $$ ### Weight Six Similarly, $$ E_6(z) = 1-504\sum_{n=1}^\infty \sigma_5(n)q^n. $$ Its expansion begins $$ E_6(z) = 1 - 504q - 16632q^2 -\cdots. $$ These two modular forms generate the entire algebra of modular forms for the full modular group. ## Algebra of Modular Forms A remarkable theorem states: **Theorem.** $$ M_\ast(SL_2(\mathbb{Z})) = \mathbb{C}[E_4,E_6]. $$ Thus every modular form for the full modular group can be expressed as a polynomial in $$ E_4 \quad\text{and}\quad E_6. $$ This makes Eisenstein series the basic building blocks of modular form theory. For example, the discriminant modular form satisfies $$ \Delta(z) = \frac{E_4(z)^3-E_6(z)^2}{1728}. $$ Hence cusp forms arise naturally from relations among Eisenstein series. ## Connection with Elliptic Functions Eisenstein series appear naturally in the theory of elliptic functions. The Weierstrass invariants $$ g_2 \quad\text{and}\quad g_3 $$ are essentially Eisenstein series: $$ g_2 = 60G_4, \qquad g_3 = 140G_6. $$ The associated elliptic curve is $$ y^2 = 4x^3-g_2x-g_3. $$ Thus Eisenstein series encode the geometry of elliptic curves. The modular parameter $z$ determines the lattice, which determines the elliptic curve. ## Bernoulli Numbers and Zeta Values The constant terms of Eisenstein series involve Bernoulli numbers. These numbers arise in the special values of the Riemann zeta function: $$ \zeta(2k) = \frac{(-1)^{k+1}(2\pi)^{2k}B_{2k}} {2(2k)!}. $$ Thus Eisenstein series connect modular forms with special zeta values. This relationship later generalizes to automorphic $L$-functions and spectral theory. ## Eisenstein Series and Hecke Operators Eisenstein series are eigenfunctions of Hecke operators. Their eigenvalues are explicit and determined by divisor sums. For example, the Fourier coefficients satisfy multiplicative relations: $$ \sigma_r(mn) = \sigma_r(m)\sigma_r(n) $$ whenever $$ \gcd(m,n)=1. $$ Thus Eisenstein series provide explicit examples of Hecke eigenforms. Their arithmetic simplicity contrasts with the much deeper behavior of cusp forms. ## Eisenstein Series in Spectral Theory Modern theory interprets Eisenstein series as continuous-spectrum automorphic forms. In harmonic analysis on modular curves, cusp forms form the discrete spectrum, while Eisenstein series contribute the continuous spectrum. This viewpoint becomes fundamental in: - trace formulas; - automorphic representations; - the Langlands program. Thus Eisenstein series lie simultaneously in complex analysis, spectral theory, and arithmetic. ## Non-Holomorphic Eisenstein Series There are also non-holomorphic Eisenstein series: $$ E(z,s) = \sum_{\gamma\in\Gamma_\infty\backslash SL_2(\mathbb{Z})} \operatorname{Im}(\gamma z)^s. $$ These functions satisfy: - functional equations; - analytic continuation; - spectral decomposition properties. They play a central role in analytic number theory and automorphic forms. The classical holomorphic Eisenstein series appear as special values of these more general analytic objects. ## Importance in Modern Number Theory Eisenstein series appear throughout modern mathematics. They connect: - divisor sums; - Bernoulli numbers; - zeta functions; - elliptic curves; - automorphic representations; - spectral theory. Their explicit nature makes them computationally accessible, while their deep structural properties place them at the center of arithmetic geometry and the Langlands program. In many ways, Eisenstein series represent the simplest visible manifestation of modular symmetry in arithmetic.