Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $\Delta$ be the unique normalized cusp form of weight 12 and level $1$. Then Jacobi's wel-known formula states: $$\Delta(z) = q \prod_{n=1}(1-q^n)^{24},$$ where $q=e^{2 i \pi z}$.

For a graduate class I am teaching on modular forms, I am looking for a conceptual proof of this formula, probably using the elliptic interpretation of $\Delta(z)$ as the discriminant of the Weierstrass equation $\mathbb C / \langle 1, z \rangle$. I believe that such a proof exists because Serre, in "cours d'arithm├ętique", mentions it, with a reference to a prewar paper in German by Hurwitz (Gesamm. Abh, III, no 62), that I was not able to find in my library. Serre himself gives a proof based on the quasi-modularity of the false Eisenstein series $E_2$, and I known another proof from Apostol's textbook, attributed to Siegel, and that uses a clever computation of residues for the $\eta$ function. Both are interesting, but never can be qualified as conceptual by modern standards.

Do you know a proof of Jacobi's formula, or a reference (if possible modern and accessible) for such a proof ?

share|improve this question
1  
It would be nice to mention the Hurwitz reference here (which journal and which year ?). –  Chandan Singh Dalawat Oct 1 '12 at 16:00
    
You're right. Done. –  Joël Oct 1 '12 at 16:18
1  
It's not "conceptual" in the sense you desire, but Weil's "Sur une formule classique" (Collected works vol III pp 198-200) uses the primordial version of "converse theorems" (in a self-contained fashion) to give a substantially believable proof. –  paul garrett Oct 1 '12 at 16:51
    
Dear Paul, thanks for your answer. This is doubtlessly a conceptual proof, which for me is satisfying. But it is not something I can put in my course since I haven't time to discuss the converse theorems. –  Joël Oct 2 '12 at 13:59
1  
You may be aware of this already, but an anonymous blogger gave a nice argument using Hecke eigenvalues of the $E_2$ series: galoisrepresentations.wordpress.com/2012/10/26/… –  S. Carnahan Nov 6 '12 at 9:14

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.