TheoremComplete

Weinstein Lagrangian Neighborhood Theorem

Theorem6.1Weinstein Lagrangian Neighborhood

Let LL be a compact Lagrangian submanifold of (M2n,ω)(M^{2n}, \omega). There exists a neighborhood UU of LL in MM and a neighborhood VV of the zero section in TLT^*L such that (U,ωU)(U, \omega|_U) is symplectomorphic to (V,ωcan)(V, \omega_{\text{can}}) via a diffeomorphism that restricts to the identity on LL.

Proof

The proof uses the Moser technique. The normal bundle of LL in MM is NLTLNL \cong T^*L (since TML=TLTLTLTLTM|_L = TL \oplus TL^* \cong TL \oplus T^*L via the symplectic form). Choose a tubular neighborhood identification ψ:VU\psi: V \to U with ψL=id\psi|_L = \mathrm{id}. Consider ω0=ωcan\omega_0 = \omega_{\text{can}} and ω1=ψω\omega_1 = \psi^*\omega on VV. Both restrict to zero on LL (Lagrangian condition) and are non-degenerate near LL. The convex combination ωt=(1t)ω0+tω1\omega_t = (1-t)\omega_0 + t\omega_1 is non-degenerate near LL for all tt. By the relative Moser argument (fixing LL), there exists a diffeomorphism ϕ:VV\phi: V \to V with ϕL=id\phi|_L = \mathrm{id} and ϕω1=ω0\phi^*\omega_1 = \omega_0. The composition ψϕ1\psi \circ \phi^{-1} gives the desired symplectomorphism. \square

ExampleNearby Lagrangian Conjecture

The nearby Lagrangian conjecture asserts that every exact Lagrangian in TLT^*L is Hamiltonian isotopic to the zero section. This is known for L=S1L = S^1 (by Floer theory) and L=S2L = S^2 (Hind) but remains open in general. It is one of the central open problems in symplectic topology.

RemarkDeformations of Lagrangians

By the Weinstein theorem, small deformations of a Lagrangian LL correspond to closed 1-forms on LL. Exact Lagrangian deformations correspond to exact 1-forms (Hamiltonian isotopies), so the space of nearby Lagrangians modulo Hamiltonian isotopy is locally H1(L;R)H^1(L; \mathbb{R}).