3
$\begingroup$

Given the Dedekind eta function $\eta(\tau)$. Define,

$y_p = e^{\pi i p/6}\,\eta(\tfrac{\tau+2p}{5})$

Prove the multi-grade identity [1],

$y_0^k + y_1^k + y_2^k + y_3^k + y_4^k + (\sqrt{5}\,\eta(5\tau))^k = 0$

for k = {2, 4, 8, 14}.

(P.S. This is similar to the Jacobi theta function identity,

$\vartheta_{00}(0;\tau)^4 = \vartheta_{01}(0;\tau)^4 + \vartheta_{10}(0;\tau)^4$

which can also be expressed in terms of the $\eta(\tau)$, though I have no idea how to prove [1].)

  • 0
    A detailed discussion is given here: http://mathoverflow.net/questions/107327/a-14th-and-26th-power-dedekind-eta-function-identity2012-09-18

0 Answers 0