5
$\begingroup$

Show that all Eisenstein series $G_k$ can be expressed as polynomials in $G_4$ and $G_6$, e.g. express $G_8$ and $G_{10}$ in this way. Hint: Setting $a_n := (2n+1)G_{2n+2}$, show that $2n(2n-1)a_n = 6(2a_n + \sum\limits_{k=1}^{n-2} a_{k}a_{n-1-k})$ , $n>2$

Obviously, what I have trouble proving, is the Hint. It seems, like I should use the second derivative of Weierstrass function representation, using the Eisenstein series (namely $\wp = \displaystyle\frac{1}{z^2} + \sum\limits_{m=1}^{\infty} (2m+1)G_{2m+2}z^{2m}$), but I'm not sure where the sum on the right comes from.

Any help will be appreciated.

EDIT: Can someone help some more?

1 Answers 1

3

Use the differential equaltion satisfied by $\wp$: \wp'^2 = 4\wp^3 -g_2 \wp -g_3 from this you get easily (as $g_2 = 60 G_4$) \wp'' = 6 \wp^2 -10 a_1 which translates directly into the hint if you substitute $\wp$ with the series you give.

EDIT: TO clarify further, squaring $ \wp(z) = \frac{1}{z^2} + \sum_{m>=1} a_m z^{2m} $ gives $\begin{align*} \wp(z)^2 &= \frac{1}{z^4} + \frac{2}{z^2}\sum_{m\ge1} a_m z^{2m} + \left(\sum_{m>=1} a_m z^{2m}\right)^2 =\\ &= \frac{1}{z^4} + 2\sum_{m\ge 1} a_m z^{2m-2} + \sum_{m\ge 1} z^{2m} \sum_{k,l \ge 1, k+l = m} a_ka_l\\ &= \frac{1}{z^4} + 2\sum_{m\ge 1} a_m z^{2m-2} + \sum_{m\ge 2} z^{2m-2} \sum_{k=1}^{m-2} a_ka_{m-1-k} \end{align*} $ I hope this helps.

  • 0
    Thanks! Never known a good way to work with sums like those.2011-03-07