Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-27/3/b/solution
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 27 3 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
The normalized Eisenstein series satisfy and . Their weights are four and six. The valence formula for the modular group makes the normalized weight-twelve cusp form have one simple cusp zero and no zero in . Comparing its first coefficient gives .
Odd weights vanish because acts by . Weight two vanishes by the valence formula for the modular group: the forced zero at alone contributes . For every remaining nonnegative even weight, except two, choose with . Subtract the constant coefficient of times . The remainder is a cusp form; division by produces a holomorphic modular form of weight . The cusp and interior orders justify this division. Induction on the weight provesThe integral triangular basis of level-one modular forms is , with and . The induction just given shows these span, and their distinct leading terms show linear independence. Every coefficient is integral by the hypothesis on and the displayed Eisenstein expansions. In , compare coefficients successively: , then is minus an integer combination of already integral coefficients, and similarly for every . The largest permitted is at most , so the stipulated initial coefficients make every integral. Therefore all Fourier coefficients of are integers.
New to topics? Read the docs here!