Solution

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

A Lagrangian submanifold of a -dimensional symplectic manifold is an embedded -dimensional submanifold on which the symplectic form restricts to zero. The dimension requirement distinguishes it from a lower-dimensional isotropic submanifold.
A differential one-form on gives an embedded section of its cotangent bundle, since . Directly from the canonical one-form on a cotangent bundle,
Its graph already has half the ambient dimension. Therefore
This proves the graph of a closed one-form is Lagrangian criterion, in both directions.

New to topics? Read the docs here!