A Floer-Gysin exact sequence for Lagrangian submanifolds (Q2436073)

This paper deals with the topology of Lagrangian submanifolds in symplectic manifolds, with a Floer-theoretic approach. More precisely, the context is the following. Assume that a symplectic manifold \(\Sigma\) can be realized as a ``symplectic hyperplane section'', i.e., as a codimension-2 symplectic submanifold of a symplectic manifold \((M,\omega)\), Poincaré-dual to the cohomology class of \(\omega\) and whose complement has the structure of a Weinstein manifold. The basic example of this is the \(n\)-dimensional complex projective space in the \((n+1)\)-dimensional projective space. To every Lagrangian \(L\subset\Sigma\) one can associate a Lagrangian submanifold \(\Gamma_L\) included in a neighborhood of \(\Sigma\) which is the total space of a circle bundle other \(L\). The goal of the paper is to extract information on \(L\) from the symplectic topology of the lifted Lagrangian \(\Gamma_L\). The main result is a long exact sequence that (under some assumptions, including \(L\) to be monotone) relates the Floer homology of \(L\) to that of \(\Gamma_L\) and which is completely analogous to the usual Gysin long exact sequence. The connecting operator is obtained as quantum multiplication with a certain class that the authors call Floer-Euler class, analogously to the Euler class appearing in the usual Gysin sequence. Moreover, the sequence is compatible with quantum product structures. The authors derive several applications. As an example, they consider the case where \(\Sigma\) is a quadric hypersurface in a complex projective space of complex dimension 3. Then, every monotone Lagrangian submanifold with Maslov number at least 2 and non-vanishing Floer homology must intersect the real part of \(\Sigma\) (which turns out to be a Lagrangian sphere).