The logarithmic derivative of the modular discriminant gives . Differentiating its weight-twelve transformation yields the anomalous term . Subtracting the displayed inverse-height term cancels that anomaly. The result transforms with weight two under the modular group but is not holomorphic, so it is not a holomorphic modular form.
The finite Laurent coefficient in the Kronecker limit formula is invariant under the modular group. Its Wirtinger derivative satisfies , by differentiating the convergent product in that formula. Differentiating gives weight-two covariance for . Since , substitution gives the displayed transformation law. This proof needs no prior modularity assertion for the eta product.
For a matrix in the Gamma 0 congruence subgroup, argument dilation conjugates its action to an integral determinant-one matrix for each divisor of . The anomaly of is , so the displayed linear condition cancels it. Necessity follows by testing the matrix with rows and . The combinations , with dividing , span this space.

Articles by others on the same topic (0)

There are currently no matching articles.