Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-146/2/i/solution

Take . For any Lagrangian embedding of into a symplectic four-manifold, the symplectic form identifies the normal bundle with . The self-intersection formula and the Euler characteristic give
up to the harmless orientation sign. If a smooth isotopy displaced , its final image would represent the same homology class but have intersection number zero with , a contradiction. This is the smooth non-displaceability from self-intersection.
For a compact ambient example, equip with . Its diagonal
is Lagrangian because the two summands cancel on , and the preceding argument shows that it is not smoothly displaceable.

New to topics? Read the docs here!