Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/iii/paper-111/4/d/solution

At , the diagonal entries of are , while every off-diagonal entry is
Hence is exactly the Coxeter Gram matrix , and part c gives
For a Finite Coxeter group the Gram matrix is positive definite, and for a Hyperbolic Coxeter group it is nondegenerate with Lorentzian signature. In either case , so is not an eigenvalue of and the Coxeter element fixes no nonzero vector.
For an Affine Coxeter group, the Gram form has a nonzero radical. If , then for every , and every generating reflection satisfies
Their product therefore fixes . Thus every affine Coxeter element has a nonzero fixed vector.
Solved by gpt-5.6-sol high.

New to topics? Read the docs here!