Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/ii/paper-4/21g/solution
Past exam of the mathematics course of the University of Cambridge 2015 ii Paper 4 21G Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-06
Regard complex matrices as a real vector space of dimension and Hermitian matrices as a real vector space of dimension . Set . Its derivative is . At a unitary , any Hermitian is reached by . Hence is a regular value, and the regular level set theorem makes a smooth real manifold of dimension .
The tangent space is the kernel of this derivative. Equivalently,At , therefore, is skew-Hermitian. The explicit geodesic with initial point and velocity is . The matrix exponential is unitary because , and . Its acceleration is . Since is Hermitian and every tangent vector at is with skew-Hermitian, the induced real inner product satisfiesIndeed the trace of a Hermitian matrix times a skew-Hermitian matrix is purely imaginary. Its acceleration is therefore always normal to the manifold, which is the geodesic equation for an induced Euclidean metric. Diagonalizing gives the equivalent explicit construction .
New to topics? Read the docs here!