Solution

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

Let
The vertical space is spanned by the fundamental vector corresponding to . Define
It sends to , is -equivariant, and therefore is a principal connection. Its kernel consists exactly of those for which
These are precisely the velocities satisfying the stated horizontality condition. Every tangent vector has the unique decomposition
into vertical and horizontal parts, proving uniqueness. This is the Canonical principal connection on the Stiefel bundle over a Grassmannian.

New to topics? Read the docs here!