Solution

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

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 hence
Its 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!