Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2003/iii/paper-24/5/ii/solution
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 24 5 ii Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Logarithmically differentiate the convergent product of the modular discriminant. On compact subsets of , absolute convergence permits termwise differentiation and rearrangement of the resulting divisor sums:The division is valid because has no interior zeros. Its weight-twelve inversion law is . Taking a logarithmic derivative, including the derivative of , yieldsThus the Eisenstein series of weight two has the anomalous transformation
Let . Under inversion, becomes . Using , the anomalous term cancels:The Fourier expansion gives , and translation leaves unchanged. Since translation and inversion generate the projective modular group and weight two is unchanged by , the almost holomorphic weight-two Eisenstein series satisfiesIt is modular in the transformation sense, but is not a holomorphic modular form. Substituting into this law also gives the useful full-group anomaly
New to topics? Read the docs here!