The graph of a one-form on a smooth manifold is a Lagrangian submanifold of its cotangent bundle exactly when . Indeed the graph pulls the tautological one-form back to , and therefore pulls the canonical symplectic form back to . Locally the Poincaré lemma writes , giving . Globally a closed one-form may have nonzero periods and no single generating function.
New to topics? Read the docs here!