Lagrangian spheres in \(S^2\times S^2\) (Q1889811)

Let \(S^2\times S^2\) be the symplectic manifold with the direct sum symplectic form \(\omega:=\omega_0\oplus\omega_0\), where \(\omega_0\) is the standard area form on \(S^2\), and \(L\) a Lagrangian sphere in \(S^2\times S^2\). By A. Weinstein's Lagrangian neighborhood theorem, \(L\) is homologous to the Lagrangian submanifold \(\overline{\Delta}:=\{(x,-x)\mid x\in S^2\}\subset S^2\times S^2\). \textit{P. Seidel} [J. Differ. Geom. 52, 145--171 (1999; Zbl 1032.53068)] has given examples of Lagrangian spheres in symplectic manifolds which are smoothly isotopic but not Lagrangian isotopic. The author proves the existence of a Hamiltonian diffeomorphism of \(S^2\times S^2\) mapping \(L\) onto \(\overline{\Delta}\), so that \(L\) is Lagrangian isotopic to \(\overline{\Delta}\). By a result of \textit{M. Gromov} [Invent. Math. 82, 307--347 (1985; Zbl 0592.53025)], it is sufficient to construct a symplectomorphism taking \(L\) to \(\overline{\Delta}\). The main point of his proof is the construction of two transverse foliations of \(S^2\times S^2\) by spheres in the classes [point\(\times S^2\)] and [\(S^2\times\)point] such that these spheres should be holomorphic with respect to some almost complex structure compatible with \(\omega\) and each sphere should intersect \(L\) transversally at a single point. The proof is based on results due to [\textit{F. Bourgeois} in: Symplectic and Contact Topology: Interactions and Perspectives (Toronto, ON/Montreal, QC, 2001), Am. Math. Soc., Providence, RI 35, 55--77 (2003; Zbl 1046.57017); ``A Morse-Bott approach to contact homology'', dissertation, Stanford University, (2002)], \textit{F. Bourgeois, Y. Eliashberg, H. Hofer, K. Wysocki, E. Zehnder} [Geom. Topol. 7, 799--888 (2003; Zbl 1131.53312)], \textit{Y. Eliashberg, A. Givental, H. Hofer}, [GAFA 2000 (Tel Aviv, 1999), Birkhäuser, Basel, Part. II, 560--673 (2000; Zbl 0989.81114)] and \textit{H. Hofer, K. Wysocki, E. Zehnder}, [Ann. Inst. Henri Poincaré, Anal. Non Linéaire 13, No. 3, 337--379 (1996; Zbl 0861.58018); correction ibid. 15, No. 4, 535--538 (1998; Zbl 0861.58018); GAFA, Geom. Funct. Anal. 5, 2 (1995); Topics in Nonlinear Analysis, Birkhäuser, Basel, 35, 381--475 (1999; Zbl 0924.58003); Publ. Newton Inst. 8, Cambridge Univ. Press, Cambridge, 78--117 (1996; Zbl 0868.53043); Ann. Math. 157, No. 1, 125--255 (2003; Zbl 1215.53076)].