Lagrangian submanifold

A Lagrangian submanifold of a $2n$-dimensional symplectic manifold is an $n$-dimensional submanifold $L$ satisfying $\omega {|}_L=0$. The symplectic form identifies its normal bundle with its cotangent bundle.

A Lagrangian embedding is a smooth embedding whose image is a Lagrangian submanifold.

The cotangent bundle has the canonical one-form ${\lambda }_{(q,p)}(v)=p(d\pi (v))$ and the canonical symplectic form $d\lambda$ up to a conventional sign. Its zero section is a Lagrangian submanifold.

A neighborhood of a compact Lagrangian submanifold $L\subset (M,\omega )$ is symplectomorphic, by a map restricting to the identity on $L$, to a neighborhood of the zero section in $(T^{\ast }L,d\lambda )$, with the sign chosen to match the convention for the canonical form.

A Lagrangian $L\subset M$ is displaceable by a class of isotopies when some isotopy ${\varphi }_t$ in that class satisfies ${\varphi }_1(L)\cap L=\varnothing$.

For a compact orientable Lagrangian $L$, the identification $NL\cong T^{\ast }L$ givesIf $\chi (L)\ne 0$, no smoothly isotopic copy of $L$ can be disjoint from it.

A simple closed curve dividing a symplectic two-sphere into two regions of equal area cannot be displaced by a symplectic isotopy. Any disjoint image would lie in one complementary disc, yet it would still have to bound a disc of half the total area.