Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-1/3/b/solution
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 1 3 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Take any . A smooth representation has an open stabilizer, so some sufficiently small congruence subgroup of fixes . It can be written , where the diagonal entries in belong to and all entries above the diagonal in belong to , with . These are compact-open in their respective groups, normalizes , and their product is compact-open in .
By part (a), this vector lies in for every sufficiently large . Given any , the coordinate contraction eventually puts it in . Choose large enough for both properties. Then , so . Since and were arbitrary,Thus every admissible representation of this upper-triangular group factors through its diagonal quotient. The argument uses finite-dimensional fixed spaces essentially; smoothness alone does not force the unipotent action to be trivial.
New to topics? Read the docs here!