Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2014/iii/paper-23/4/d/solution
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 23 4 d Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
Take a nonzero eigenform of positive weight, and put and . The original form belongs to level by inclusion of groups. For , the conjugate lies in , soIts Dirichlet character is therefore the specified reduced Dirichlet character; modular cusp holomorphy is permitted in the question. This is the Dirichlet character version of an oldform by argument dilation.
A nonzero positive-weight modular form cannot be constant, because the matrix would force a nonzero constant to equal times itself. Let be its first nonzero positive Fourier index. In a relation , the coefficient forces , then . Hence their span is two-dimensional, even when the original constant term is nonzero.
At the new level is a bad prime, so its operator is . The good-prime eigenrelation at the old level and part (c) giveThus the matrix in the ordered basis iswith characteristic polynomial . For its distinct roots,This is prime stabilization of an oldform.
The nonzero positive-weight qualification is necessary for the two-dimensional assertion. The zero form gives no such span, and if weight zero is allowed, at trivial Dirichlet character has distinct good-prime roots and , while spans only one dimension. The asserted result uses the usual nonzero positive-weight eigenform setting.
New to topics? Read the docs here!