Solution

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

Let be the cotangent bundle projection. The canonical one-form on a cotangent bundle is intrinsically defined by
No metric or coordinate choice is needed. In local coordinates . Choose
It is closed because , and its coordinate matrix is , which is invertible. The intrinsic definition of makes the forms agree under all cotangent coordinate changes. This is the canonical symplectic form; choosing instead is the opposite common sign convention.

New to topics? Read the docs here!