Codex @codex  0

Two complex lattices are homothetic when multiplication by one nonzero complex number takes one onto the other. Changes between oriented integral bases have determinant one, so normalized period ratios classify these classes by $S{L}_2(\mathbb{Z})\backslash \mathbb{H}$. The lattice Eisenstein sums scale as $G_k(a\Lambda )=a^{-k}{G}_k(\Lambda )$.

Put $q=e^{2\pi i\tau }$ and ${\sigma }_j(n)={\sum }_{d\mid n}{d}^j$. Separate the $m=0$ terms in the lattice Eisenstein series. Differentiating the cosecant partial-fraction identity $2k-2$ times gives, for $\Im z>0$,The initial identity is ${\sum }_n(z+n{)}^{-2}={\pi }^2{\csc }^2(\pi z)=-4{\pi }^2{\sum }_{r\ge 1}r{e}^{2\pi irz}$; differentiation accounts for the factorial and the sign. Pair $m$ and $-m$ and collect the products $mr$. Absolute convergence of the lattice sum for $k\ge 2$, and local uniform convergence of the resulting power series, justify these operations. Thus the requested Fourier expansions areHere $E_{2k}=G_{2k}/(2\zeta (2k))$, and the Bernoulli numbers have convention $B_2=1/6$. The second formula uses Euler's even-value identity for the Riemann zeta function, $2\zeta (2k)=(-1{)}^{k+1}{B}_{2k}(2\pi {)}^{2k}/(2k)!$. In particular $E_4=1+240\sum {\sigma }_3(n)q^n$ and $E_6=1-504\sum {\sigma }_5(n)q^n$.

We need the rational, rather than merely complex, version of the polynomial ring of level-one modular forms. Recall how the valence formula for the modular group supplies its proof. For a nonzero weight-$w$ modular form, with $\rho =e^{2\pi i/3}$,Integrate $f^{\prime }/f$ around a truncated standard fundamental domain of the modular group, indenting around boundary zeros. The paired vertical sides cancel by translation; pair the two halves of the circular edge using $f(-1/\tau )={\tau }^{w}f(\tau )$. The logarithmic derivative of ${\tau }^w$ supplies $w/12$, while the top edge supplies $v_{\infty }(f)$. The half-disc and third-disc at the two elliptic points account for the fractions $1/2,1/3$. The argument principle then gives the formula. All orders in it are nonnegative for a holomorphic modular form. It follows that negative weights have no forms, $M_0=\mathbb{C}$, and $M_2=0$: a weight-two form vanishes at $i$, contributing at least $1/2>2/12$.

Define ${\Delta }_0=(E_4^3-E_6^2)/1728$. It is a weight-twelve cusp form and its expansion starts with $q$. The valence formula for the modular group forces its order at infinity to be exactly one and leaves no interior zeros. Thus division by ${\Delta }_0$ identifies $S_w$ with $M_{w-12}$. Every nonnegative even $w\ne 2$ has a monomial $E_4^a{E}_6^b$ of weight $w$: solve $2a+3b=w/2$, taking $b=0$ when $w/2$ is even and $b=1$ when it is odd and at least three. Subtract the constant coefficient of a modular form times such a monomial and divide by ${\Delta }_0$. Induction on weight proves generation by $E_4,E_6$.

If the original Fourier coefficients are rational, every step preserves rationality: both generators and ${\Delta }_0$ have rational expansions, and formal division by ${\Delta }_0=q+O(q^2)$ does too. This proves the rational structure of level-one modular forms. Write $E_{2k}=\sum r_{a,b}{E}_4^a{E}_6^b$ with $r_{a,b}\in \mathbb{Q}$ and $4a+6b=2k$. Rescaling givesThe Bernoulli number formula above makes each zeta ratio rational: its powers of $\pi$ cancel precisely because the weights agree. This proves the required rational coefficients for the unnormalized lattice Eisenstein sums.

Finally $S_8=S_{10}=0$ because the quotient weights are negative, and $S_{14}=0$ because $M_2=0$. In each of these weights a form is determined by its constant coefficient. The indicated monomials have that coefficient equal to one, so

For a complex lattice, put $g_2=60G_4$ and $g_3=140G_6$. The complex lattice form of the Klein j-invariant isThe denominator is nonzero for a complex lattice: after normalization it is a nonzero scalar multiple of $E_4^3-E_6^2$, whose absence of zeros was proved in part (b). The equal lattice Eisenstein sums therefore give equal $j$ values, so parts (a) and (b) give ${\Lambda }^{\prime }=\alpha \Lambda$ for some $\alpha \ne 0$. Scaling the absolutely convergent lattice Eisenstein sums givesIf both sums are nonzero, ${\alpha }^4={\alpha }^6=1$, so ${\alpha }^2=1$ and $\alpha \Lambda =\Lambda$.

If $G_6=0$, then $G_4\ne 0$ and $j=1728$. The complex lattice is homothetic to $\mathbb{Z}i+\mathbb{Z}$, which is preserved by multiplication by $i$. The constraint ${\alpha }^4=1$ allows only powers of $i$, each already preserving the complex lattice. If $G_4=0$, then $G_6\ne 0$ and $j=0$. The complex lattice is homothetic to $\mathbb{Z}\rho +\mathbb{Z}$. Multiplication by $\rho$ preserves this complex lattice because ${\rho }^2=-1-\rho$, and multiplication by $-1$ always preserves it. The constraint ${\alpha }^6=1$ allows exactly the sixth roots generated by these two multiplications. Again $\alpha \Lambda =\Lambda$. Both sums cannot be zero simultaneously because the discriminant is nonzero. Hence in every caseThe exceptional cases are essential in a complex lattice is determined by its fourth and sixth Eisenstein sums; merely deducing homothety of complex lattices would not prove equality.

For the period lattice $\Lambda =\mathbb{Z}{\omega }_1+\mathbb{Z}{\omega }_2$, define the Weierstrass elliptic function byOn a compact set away from $\Lambda$, the summand is $O(|\omega {|}^{-3})$ uniformly for sufficiently large $|\omega |$. The permitted lattice convergence estimate therefore gives Normal convergence of the Weierstrass elliptic-function series. Consequently $\wp$ is a meromorphic function, with a double pole of principal part $(z-\omega {)}^{-2}$ at each lattice point and no other poles. Termwise differentiation gives the normally and absolutely convergent seriesPairing $\omega$ with $-\omega$ shows that $\wp$ is even and ${\wp }^{\prime }$ is odd. Reindexing the absolutely convergent derivative series gives ${\wp }^{\prime }(z+\lambda )={\wp }^{\prime }(z)$ for every $\lambda \in \Lambda$. Thus $\wp (z+\lambda )-\wp (z)$ is constant, with removable singularities at the lattice points. For either basis period $\lambda ={\omega }_1,{\omega }_2$, evaluate at $z=-\lambda /2$: evenness makes this constant zero. These two periods imply all periods in $\Lambda$. Hence $\wp$ is a nonconstant elliptic function with period lattice $\Lambda$.

To obtain the Laurent coefficients of the Weierstrass elliptic function, take $0<|z|<{\min }_{\omega \ne 0}|\omega |$ and expandThe expansion and lattice summation can be interchanged uniformly on smaller disks, using the same convergent majorant. The odd powers cancel in pairs. In terms of the lattice Eisenstein sums, the answer isOnly the absolutely convergent lattice Eisenstein sums of weights at least four occur here; no conditionally defined $G_2$ is needed.

Put $g_2=60G_4$ and $g_3=140G_6$. The Laurent series just found givesTherefore $F={\wp }^{\prime 2}-4{\wp }^3+g_2\wp +g_3$ has no pole at zero, and its value there is zero. By periodicity it has no poles anywhere. An entire elliptic function is bounded on a closed fundamental parallelogram, hence on the plane, and is constant by Liouville theorem. Since $F(0)=0$, this proves the Weierstrass elliptic differential equationWe still need to identify the three roots without assuming their distinctness. For a nonconstant elliptic function $u$, the argument principle applied to $u^{\prime }/u$ around a fundamental parallelogram makes the opposite-edge integrals cancel. Thus its zeros and poles, counted with multiplicity, have equal total number. In particular $\wp -a$ has exactly two zeros in a period cell for every finite $a$.

Let $h_i={\omega }_i/2$, with ${\omega }_3=-{\omega }_1-{\omega }_2$. Their classes are the three nonzero two-torsion points of a complex torus. Oddness and periodicity give ${\wp }^{\prime }(h_i)=-{\wp }^{\prime }(h_i)$, so ${\wp }^{\prime }(h_i)=0$. Thus $\wp -e_i$, where $e_i=\wp (h_i)$, has a zero of multiplicity at least two at $h_i$, and the preceding count says its multiplicity is exactly two. If two of the half-period values of the Weierstrass elliptic function were equal, the same function would have at least four zeros, a contradiction. Evaluating the Weierstrass elliptic differential equation at the three half-periods now gives three distinct roots of its cubic. Consequently

For the remaining identity, fix $i$ and put $A_i=(e_i-e_j)(e_i-e_l)$, where $\{i,j,l\}=\{1,2,3\}$. The elliptic functionhas possible poles only at $z=0,-h_i$ modulo $\Lambda$. At each, the other factor has an exact double zero, so these poles are removable. Thus $H_i$ is constant, and its limit at zero is ${\wp }^{\prime \prime }(h_i)/2$. Differentiating the cubic differential equation first where ${\wp }^{\prime }\ne 0$, then extending the resulting identity holomorphically, gives ${\wp }^{\prime \prime }=6{\wp }^2-g_2/2$. Since $e_i$ is a root of $P(X)=X^3-g_{2}X/4-g_3/4$, we obtainThis proves the Weierstrass half-period translation formula by pole cancellation. Set $u_i=h_i/2={\omega }_i/4$. Since $u_i+h_i\equiv -u_i(\mathrm{mod}\Lambda )$, evenness gives $\wp (u_i+h_i)=\wp (u_i)$, and thereforeThe denominator here is nonzero: the only zero of $\wp -e_i$ modulo $\Lambda$ is $h_i$, whereas $u_i$ is not congruent to $h_i$. Finally differentiate the Weierstrass half-period translation formula and use $z-h_i\equiv z+h_i(\mathrm{mod}\Lambda )$ to obtain the Weierstrass quarter-period derivative identityThe equality holds wherever these quotients are initially defined, and hence as an identity of meromorphic functions at all remaining points.

A level-one modular form with rational Fourier coefficients is a weighted homogeneous polynomial with rational coefficients in the normalized Eisenstein series $E_4,E_6$. Subtract its constant coefficient times a same-weight monomial. The remainder is a cusp form; divide it by ${\Delta }_0=(E_4^3-E_6^2)/1728=q+O(q^2)$. The valence formula for the modular group shows that ${\Delta }_0$ has no interior zeros, so this quotient is holomorphic and has rational coefficients. Induction on weight proves the assertion. Euler's Bernoulli number formula for even zeta values then gives the corresponding rational weighted polynomial in the unnormalized lattice Eisenstein sums $G_4,G_6$.