Weinstein's neighbourhood theorem

This statement is a direct generalisation of Darboux's theorem, which is recovered by taking a point as ${\displaystyle X}$.[1][2]

Let ${\displaystyle M}$ be a smooth manifold of dimension ${\displaystyle 2n}$, and ${\displaystyle \omega _{1}}$ and ${\displaystyle \omega _{2}}$ two symplectic forms on ${\displaystyle M}$. Consider a compact submanifold ${\displaystyle i:X\hookrightarrow M}$ such that ${\displaystyle i^{*}\omega _{1}=i^{*}\omega _{2}}$. Then there exist

• two open neighbourhoods ${\displaystyle U_{1}}$ and ${\displaystyle U_{2}}$ of ${\displaystyle X}$ in ${\displaystyle M}$;
• a diffeomorphism ${\displaystyle f:U_{1}\to U_{2}}$;

such that ${\displaystyle f^{*}\omega _{2}=\omega _{1}}$ and ${\displaystyle f|_{X}=\mathrm {id} _{X}}$.

Its proof employs Moser's trick.[3][4]

Let ${\displaystyle M}$ be a smooth manifold of dimension ${\displaystyle 2n}$, and ${\displaystyle \omega _{1}}$ and ${\displaystyle \omega _{2}}$ two symplectic forms on ${\displaystyle M}$. Consider a compact submanifold ${\displaystyle i:L\hookrightarrow M}$ of dimension ${\displaystyle n}$ which is a Lagrangian submanifold of both ${\displaystyle (M,\omega _{1})}$ and ${\displaystyle (M,\omega _{2})}$, i.e. ${\displaystyle i^{*}\omega _{1}=i^{*}\omega _{2}=0}$. Then there exist

• two open neighbourhoods ${\displaystyle U_{1}}$ and ${\displaystyle U_{2}}$ of ${\displaystyle L}$ in ${\displaystyle M}$;
• a diffeomorphism ${\displaystyle f:U_{1}\to U_{2}}$;

such that ${\displaystyle f^{*}\omega _{2}=\omega _{1}}$ and ${\displaystyle f|_{L}=\mathrm {id} _{L}}$.

This statement is proved using the Darboux-Moser-Weinstein theorem, taking ${\displaystyle X=L}$ a Lagrangian submanifold, together with a version of the Whitney Extension Theorem for smooth manifolds.[1]

While Darboux's theorem identifies locally a symplectic manifold ${\displaystyle M}$ with ${\displaystyle T^{*}L}$, Weinstein's theorem identifies locally a Lagrangian ${\displaystyle L}$ with the zero section of ${\displaystyle T^{*}L}$. More precisely

Let ${\displaystyle (M,\omega )}$ be a symplectic manifold and ${\displaystyle L}$ a Lagrangian submanifold. Then there exist

• an open neighbourhood ${\displaystyle U}$ of ${\displaystyle L}$ in ${\displaystyle M}$;
• an open neighbourhood ${\displaystyle V}$ of the zero section ${\displaystyle L_{0}}$ in the cotangent bundle ${\displaystyle T^{*}L}$;
• a symplectomorphism ${\displaystyle f:U\to V}$;

such that ${\displaystyle f}$ sends ${\displaystyle L}$ to ${\displaystyle L_{0}}$.