JB asks whether there is a conceptual proof of Jacobi’s formula:
Here (to me) the best proof is one that requires the least calculation, not necessarily the “easiest.” Here is my attempt. We use the following property of 
, which follows from its moduli theoretic definition: the only zero of is a simple zero at the cusp, moreover, the evaluation of on the Tate curve is normalized so that the leading coefficient is 
.
Let 
be prime. I claim that
Observe that both these expressions are modular forms of level one and weight 
times the weight of . One can prove this “by hand,” but also by noting that the RHS is equal to the norm of 
on 
down to 
. On the other hand, the RHS also has a zero of order 
at 
, from which the result immediately follows, since the ratio will be holomorphic of weight zero. If one defines Hecke operators on -expansions in the usual way, it also immediately follows that the logarithmic derivative 
is (as a -expansion) an eigenform for 
of weight two with eigenvalue for all primes . In fact, the same argument as above (with replaced by 
) implies that this derivative is also an eigenform for 
with eigenvalue 
. This is almost enough to determine the -expansion uniquely: in particular, it implies that
for some integer 
, from which it follows that
To finish the argument, it suffices to check that 
, or that 
. One way to do this is to note (by uniqueness) that is a Hecke eigenform, and then use the equation 
which implies that 
; the cases 
are then ruled out by the equations 
and 
, and 
is ruled out by the fact that is not a modular form. Curiously enough, this determines without ever using the fact that it has weight 
. Another (more traditional way) is to show that 
. Is there a way to do this final step by pure thought?
Dear GR,
When you use uniqueness to infer the Hecke eigenform property, aren’t you implicitly using weight 12 to obtain uniqueness? Also, in order to get 24 by pure thought, I think the argument
recalled by BCnrd and Scott Carnahan here could give it, although it involves a detour through the weight two Eisenstein series (see my answer there, but reverse-engineer it, using the BCnrd/SC argument, as a tool for deducing the constant term of the wt. 2 Eisenstein series), and so it is a little roundabout.
Cheers,
Matt
Dear Matt, I’m not sure that’s true – certainly
has a zero at the cusp and has the same weight as 
, so 
is a constant. Perhaps something more needs to be said concerning the fact that the zero of 
has order one. I agree with your suggestion about ways to see “24″, although I wanted an argument that avoided using any (pseudo) modularity of 
.
This reminds me a bit of the proof by Kohnen, which also uses a multiplicative version of the Hecke operator (which is the right-hand side of your formula). But he uses the uniqueness of Delta and he computes the 24 by hand.
(“A Very Simple Proof of the q-Product Expansion of the ∆-Function”, The Ramanujan Journal, 10 (2005), pp. 71-73.)
Thanks for the reference, the proof is indeed very similar. (The proof is http://www.math.uni-mannheim.de/~fga/preprints2005/2005_kohnen_a_very.pdf for anyone who is interested.) Although, I would say that if you are proving that the discriminant of an elliptic curve is non-zero using complex analysis then you are using the wrong definition of the discriminant!