Serie de Eisenstein

Sea τ un número complejo con parte imaginaria estrictamente positiva. Se define la serie de Eisenstein holomorfa G_2k(τ) de peso 2k, donde k ≥ 2 es un entero, mediante la siguiente serie:

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

Esta serie convege absolutamente a una función holomorfa de τ en el semiplano superior y su expansión de Fourier dada abajo muestra que puede extendese a una función holomorfa τ = i∞. Es un hecho remarcable que la serie de Eisenstein es una forma modular. De hecho, la propiedad clave está en su SL(2, ${\displaystyle \mathbb {Z} }$)-invarianza. Explícitamente si a, b, c, d ∈ ${\displaystyle \mathbb {Z} }$ y ad − bc = 1 entonces

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

• Akhiezer, Naum Illyich (1970). Elements of the Theory of Elliptic Functions (en russian). Moscow.  Translated into English as Elements of the Theory of Elliptic Functions. AMS Translations of Mathematical Monographs 79. Providence, RI: American Mathematical Society. 1990. ISBN 0-8218-4532-2. 
• Apostol, Tom M. (1990). Modular Functions and Dirichlet Series in Number Theory (2nd edición). New York, NY: Springer. ISBN 0-387-97127-0. (requiere registro). 
• Chan, Heng Huat; Ong, Yau Lin (1999). «On Eisenstein Series». Proc. Amer. Math. Soc. 127 (6): 1735-1744. doi:10.1090/S0002-9939-99-04832-7. 
• Iwaniec, Henryk (2002). Spectral Methods of Automorphic Forms. Graduate Studies in Mathematics 53 (2nd edición). Providence, RI: American Mathematical Society. ch. 3. ISBN 0-8218-3160-7. 
• Serre, Jean-Pierre (1973). A Course in Arithmetic. Graduate Texts in Mathematics 7 (transl. edición). New York & Heidelberg: Springer-Verlag. (requiere registro).