Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-115/3/c/solution

The points are ordered orthonormal two-frames, so is the Stiefel manifold . Changing an orthonormal basis of the same plane gives the displayed free right -action. Since is compact, the action is proper, and the quotient is the Grassmannian of unoriented two-planes. The Free proper Lie-group action theorem makes
a principal -bundle.

New to topics? Read the docs here!