Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-15/4/a/solution

For a covector , define the cotangent lift of a diffeomorphism by
The inverse derivative here maps to . This is a smooth diffeomorphism, its inverse is , and it satisfies .
For , the pullback of a differential form and the defining formula for the Liouville one-form give
Hence , and applying the exterior derivative also proves . The cotangent lift of a diffeomorphism thus preserves both canonical forms, with no extra choice of metric or connection.

New to topics? Read the docs here!