Solution

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

The vertical tangent space of the trivial principal -bundle is spanned by . Since
projects isomorphically onto the tangent space of , it is always complementary to the vertical direction. It is the horizontal distribution of a principal connection precisely when it is invariant under the principal translations . The horizontal lifts of and are unique, so this invariance is equivalent to
The functions must also be smooth and periodic in , as is already required for them to be functions on the cylinder.
Under these conditions the connection form is
It sends to , is translation-invariant, and has kernel , proving sufficiency as well. Since the structure group is abelian, the bracket term vanishes and

New to topics? Read the docs here!