Character theta proof of the eta product
ID: character-theta-proof-of-the-eta-product
Take the even primitive Dirichlet character whose values at modulo twelve are . Its Gauss sum of a Dirichlet character is . The displayed series has and . Thus is the normalized weight-twelve modular discriminant. It has no interior zeros by the valence formula for the modular group. Its logarithmic derivative equals , so integration gives the Dedekind eta function product. The odd character modulo four similarly produces a series with and leading term ; consequently .
New to topics? Read the docs here!