Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-140/4/a/solution
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 140 4 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
Let be the cotangent bundle projection and its canonical one-form on a cotangent bundle, defined by . Use the symplectic form , so in local coordinates .
The graph map is a smooth embedding, with , and henceIts image has dimension , half the dimension of . By the definition of a Lagrangian submanifold,This is the graph of a closed one-form is Lagrangian criterion. The opposite conventional sign for the symplectic form gives the same criterion.
New to topics? Read the docs here!