Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-146/1/b/solution

The unitary group acts on the Lagrangian Grassmannian by . Every Lagrangian subspace has an orthonormal basis, and adjoining its -image gives a unitary basis, so this action is transitive. The stabilizer of the standard real subspace consists exactly of real unitary matrices, namely . Hence
is a continuous bijection from a compact space to a Hausdorff space and is therefore a homeomorphism.
For , every line in is Lagrangian. Thus
Concretely, the line making angle with the real axis corresponds to .

New to topics? Read the docs here!