In symplectic geometry, a branch of mathematics, Weinstein's neighbourhood theorem refers to a few distinct but related theorems, involving the neighbourhoods of submanifolds in symplectic manifolds and generalising the classical Darboux's theorem. They were proved by Alan Weinstein in 1971.
Darboux-Moser-Weinstein theorem This statement is a direct generalisation of Darboux's theorem, which is recovered by taking a point as X {\displaystyle X} .Let M {\displaystyle M} be a smooth manifold of dimension 2 n {\displaystyle 2n} , and ω 1 {\displaystyle \omega _{1}} and ω 2 {\displaystyle \omega _{2}} two symplectic forms on M {\displaystyle M} . Consider a compact submanifold i : X ↪ M {\displaystyle i:X\hookrightarrow M} such that i ∗ ω 1 = i ∗ ω 2 {\displaystyle i^{*}\omega _{1}=i^{*}\omega _{2}} . Then there exist two open neighbourhoods U 1 {\displaystyle U_{1}} and U 2 {\displaystyle U_{2}} of X {\displaystyle X} in M {\displaystyle M} ; a diffeomorphism f : U 1 → U 2 {\displaystyle f:U_{1}\to U_{2}} ; such that f ∗ ω 2 = ω 1 {\displaystyle f^{*}\omega _{2}=\omega _{1}} and f | X = i d X {\displaystyle f|_{X}=\mathrm {id} _{X}} .Its proof employs Moser's trick.
Generalisation: equivariant Darboux theorem The statement (and the proof) of Darboux-Moser-Weinstein theorem can be generalised in presence of a symplectic action of a Lie group.Let M {\displaystyle M} be a smooth manifold of dimension 2 n {\displaystyle 2n} , and ω 1 {\displaystyle \omega _{1}} and ω 2 {\displaystyle \omega _{2}} two symplectic forms on M {\displaystyle M} . Let also G {\displaystyle G} be a compact Lie group acting on M {\displaystyle M} and leaving both ω 1 {\displaystyle \omega _{1}} and ω 2 {\displaystyle \omega _{2}} invariant. Consider a compact and G {\displaystyle G} -invariant submanifold i : X ↪ M {\displaystyle i:X\hookrightarrow M} such that i ∗ ω 1 = i ∗ ω 2 {\displaystyle i^{*}\omega _{1}=i^{*}\omega _{2}} . Then there exist two open G {\displaystyle G} -invariant neighbourhoods U 1 {\displaystyle U_{1}} and U 2 {\displaystyle U_{2}} of X {\displaystyle X} in M {\displaystyle M} ; a G {\displaystyle G} -equivariant diffeomorphism f : U 1 → U 2 {\displaystyle f:U_{1}\to U_{2}} ; such that f ∗ ω 2 = ω 1 {\displaystyle f^{*}\omega _{2}=\omega _{1}} and f | X = i d X {\displaystyle f|_{X}=\mathrm {id} _{X}} .In particular, taking again X {\displaystyle X} as a point, one obtains an equivariant version of the classical Darboux theorem.
… excerpt ends here. Continue reading the full article.
