MathOverflow is a question and answer site for professional mathematicians. 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)$ and complex numbers a,b with imaginary part > 0, anybody knows how to prove the proposed identity,

$$\sum_{k=0}^{p-1} e^{2\pi i k/4}\eta^3\big(\tfrac{a+k}{p}\big)\eta^3\big(\tfrac{b+k}{p}\big) = p^3\eta^3(p a)\eta^3(p b)$$

where p is ANY prime of form $p = 4n-1$.

(This was inspired by Berndt and Hart's paper "An Identity for the Dedekind eta function involving two independent complex variables" (2007) wherein they discussed the case p = 3 but not p = 7, 11, etc.)

share|cite|improve this question
The expansion of $\eta^3$ involves only terms $\pm n q^{n^2/8}$ with $n$ odd. The sum over $k$ seems to isolate terms with $n^2 + {n'}^2$ divisible by $p$, and if $p\equiv -1 \bmod 4$ then $p|n^2 + {n'}^2$ if and only if $p|n$ and $p|n'$, from which the identity should follow. – Noam D. Elkies Sep 11 '12 at 17:16
Thank you, Dr. Elkies. Hart was kind enough to reply to my query, and said that a more recent paper, (Example 1) showed it was a special case true for all odd prime p. – Tito Piezas III Sep 12 '12 at 16:14

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.