On expressions of theta series by \(\eta\)-products (Q763997): Difference between revisions

The following result is proved: Let \(N>0\) be square-free, \(N\equiv -1\pmod{24}\), and let \(Q_1\), \(Q_2\) be the binary quadratic forms of discriminant \(-N\) which are given by \(6x^2+ xy+{N+1\over 24}y^2\) and \(6x^2+ 5xy+ {N+25\over 24} y^2\), respectively. Then we have the identity \({1\over 2}(\theta_{Q_1}(\tau)- \theta_{Q_2}(\tau))= \eta(\tau)\eta(N_\tau)\), where \(\theta_Q(\tau)\) denotes the theta series of weight 1 corresponding to \(Q\) and \(\eta\) is Dedekind's eta function. This was already proved by \textit{B. Schoeneberg} [Nederl. Akad. Wet., Proc., Ser. A 70, 177--182 (1967; Zbl 0148.27307)].