Uniqueness of Lagrangians in \(T^*{\mathbb{R}}P^2\) (Q6993755)

The ``nearby Lagrangian conjecture'', due to Arnold, states that in a cotangent bundle, any exact Lagrangian is Hamiltonian isotopic to the zero section. The author presents a simpler proof of the fact that any Lagrangian \(\mathbb{R}P^2\) in \(T^*\mathbb{R}P^2\) is Hamiltonian isotopic to the zero section. His proof mirrors the one given by \textit{T.-J. Li} and \textit{W. Wu} [Geom. Topol. 16, No. 2, 1121--1169 (2012; Zbl 1253.53073)] for the Hamiltonian uniqueness of Lagrangians in \(T^*S^2\), using surgery to turn Lagrangian spheres into symplectic ones. The main novel contribution is a detailed proof of the folklore fact that the complement of a symplectic quadric in \(\mathbb{C}P^2\) can be identified with the unit cotangent disc bundle of \(\mathbb{R}P^2\).