Solution

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

Put and . Choose a vector field near with , multiply it by a bump function, and extend it by zero to . At each , the restriction
is an isomorphism. Define as the unique horizontal lift of . Smoothness of the horizontal distribution makes smooth, and uniqueness gives .

New to topics? Read the docs here!