Kuldeep S. Meel, Moshe Vardi, et al.
AAAI 2016
We show that, up to Lagrangian isotopy, there is a unique Lagrangian torus inside each of the following uniruled symplectic four-manifolds: the symplectic vector space R4, the projective plane CP2, and the monotone S2× S2. The result is proven by studying pseudoholomorphic foliations while performing the splitting construction from symplectic field theory along the Lagrangian torus. A number of other related results are also shown. Notably, the nearby Lagrangian conjecture is established for T∗T2, i.e. it is shown that every closed exact Lagrangian submanifold in this cotangent bundle is Hamiltonian isotopic to the zero-section.
Kuldeep S. Meel, Moshe Vardi, et al.
AAAI 2016
Hana Chockler, Alexander Ivrii, et al.
FMCAD 2011
Arie Gurfinkel, Alexander Ivrii
FMCAD 2017
Pradeep Kumar Nalla, Raj Kumar Gajavelly, et al.
ICCAD 2016