Solution

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

Let be the projection and the section with image . For the canonical one-form on a cotangent bundle,
Since , evaluation on a tangent vector gives
Use the same position-first standard symplectic form as before, . Pullback commutes with the exterior derivative, so
The graph of a differential one-form is an embedded submanifold, because its projection is the inverse of the section on the graph. Its dimension is , half that of . Therefore the vanishing of the pulled-back symplectic form is exactly the Lagrangian submanifold condition, and
This proves that the graph of a closed one-form is Lagrangian using the intrinsic one-form rather than a coordinate guess.

New to topics? Read the docs here!