Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2002/iii/paper-16/4/a/solution
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 16 4 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Let be the projection and the section with image . For the canonical one-form on a cotangent bundle,Since , evaluation on a tangent vector givesUse the same position-first standard symplectic form as before, . Pullback commutes with the exterior derivative, soThe 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, andThis 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!