Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2002/iii/paper-16/4/b/solution

The cotangent fiber translation is a smooth diffeomorphism with inverse , and . For a tangent vector at , the intrinsic definition of the canonical one-form on a cotangent bundle gives
Thus . Taking its exterior derivative with the fixed sign convention yields
If is a closed differential one-form, the last term vanishes, proving that is a symplectomorphism. In fact the converse holds too: the pullback by the zero section shows that implies .

New to topics? Read the docs here!