Weinstein Lagrangian Neighborhood Theorem
Let be a compact Lagrangian submanifold of . There exists a neighborhood of in and a neighborhood of the zero section in such that is symplectomorphic to via a diffeomorphism that restricts to the identity on .
The proof uses the Moser technique. The normal bundle of in is (since via the symplectic form). Choose a tubular neighborhood identification with . Consider and on . Both restrict to zero on (Lagrangian condition) and are non-degenerate near . The convex combination is non-degenerate near for all . By the relative Moser argument (fixing ), there exists a diffeomorphism with and . The composition gives the desired symplectomorphism.
The nearby Lagrangian conjecture asserts that every exact Lagrangian in is Hamiltonian isotopic to the zero section. This is known for (by Floer theory) and (Hind) but remains open in general. It is one of the central open problems in symplectic topology.
By the Weinstein theorem, small deformations of a Lagrangian correspond to closed 1-forms on . Exact Lagrangian deformations correspond to exact 1-forms (Hamiltonian isotopies), so the space of nearby Lagrangians modulo Hamiltonian isotopy is locally .