Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-137/3/b/solution
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 137 3 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
Write and use the Serre derivative . Translation invariance of and the Eisenstein series of weight two gives .
Differentiate the weight- transformation . The chain rule yieldsThe assumed transformation of the Eisenstein series of weight two givesSubtracting cancels the extra term. Hence . Since and generate the modular group, these two transformations prove the weight- law for all its elements. Holomorphy on the complex upper half-plane follows from the formula.
For the Fourier expansion of a modular form , differentiation gives . The product of the convergent series for and likewise has no negative powers. Thus is holomorphic at a cusp at infinity, and therefore at every cusp of the modular group. Its constant coefficient is . Since , it vanishes exactly when . Consequently
New to topics? Read the docs here!