OpenAI reports a nearby Lagrangian counterexample
- Mathematics
For some sufficiently large even N, the cotangent bundle of S⁹×Sᴺ⁻¹ contains a closed exact smoothly embedded Lagrangian diffeomorphic to the base that is not Hamiltonian isotopic to the zero section.