For a primitive Dirichlet character modulo of parity , put , extending the character by zero on nonunits. The square root is analytic with positive value when is positive real. Apply Poisson summation separately in each residue class modulo , and use the finite Fourier transform of a primitive Dirichlet character. The Fourier transforms of and are and . These give the formula, including its odd-character phase.
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 .

Articles by others on the same topic (0)

There are currently no matching articles.