Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 146 / 2 / Solution

The Weinstein neighborhood theorem states that if $L$ is a compact Lagrangian submanifold of $(M,\omega )$, then neighborhoods of $L$ in $M$ and of the zero section in its cotangent bundle $T^{\ast }L$ are symplectomorphic. The symplectomorphism restricts to the identity on $L$, and the canonical form on $T^{\ast }L$ is taken with the sign matching the chosen convention.