Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-29/3/b/solution
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 29 3 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Use . For , differentiating the weight- law givesThe transformations of under the generators , and the chain rule for their compositions, giveEquivalently, one can check just in the next cancellation, since they generate the group. Substituting these formulas intocancels the extra term and gives . Both constituents are holomorphic on and have Fourier expansions of a modular form with nonnegative exponents, so is holomorphic at the modular cusp. ThusThis operator is the Serre derivative.
If , then its derivative has constant coefficient zero, while has constant coefficient one. ThereforeFor this vanishes exactly when , proving the claimed cusp form equivalence in the intended positive-weight setting. At weight zero the printed equivalence is false: is a noncuspidal weight-zero modular form, but belongs to . Indeed all weight-zero forms are constants by compactness of . Negative-weight level-one modular forms are zero by the valence formula for the modular group, so there is no further nonzero exception. The transformation and holomorphy conclusion for remains true at weight zero.
New to topics? Read the docs here!