Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-27/4/a/solution
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 27 4 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Use the normalized Fricke involution , and let . Choose integers with . The matrix lies in , and has determinant one and lies in , with . The displayed identity in the PDF reads . Taking double cosets therefore identifies the reversed correspondence with the diamond operator times the original one. Conjugation by reverses the two diagonal entries, soThe same finite-correspondence change of variables in the Petersson inner product transfers a matrix to its inverse and yields . The diamond operators commute with , so . Thus is a normal operator. Multiplying by a nonzero scalar does not change the conjugation formula.
New to topics? Read the docs here!