Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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].)

share|cite|improve this question
A detailed discussion is given here:… – Tito Piezas III Sep 18 '12 at 10:21

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.