Symplectic neighborhood theorem
= Symplectic neighborhood theorem
If a symplectomorphism between compact symplectic submanifolds lifts to an isomorphism of their <symplectic normal bundles>, then it extends to a symplectomorphism between neighborhoods. Thus the germ of a symplectic neighborhood is determined by the restricted form and the symplectic normal bundle.