No Arabic abstract
In this paper, we discuss Floer homology of Lagrangian submanifolds in an open symplectic manifold given as the complement of a smooth divisor. Firstly, a compactification of moduli spaces of holomorphic strips in a smooth divisor complement is introduced. Next, this compactification is used to define Lagrangian Floer homology of two Lagrangians in the divisor complement. The main new feature of this paper is that we do not make any assumption on positivity or negativity of the divisor.
In the first part of the present paper, we study the moduli spaces of holomorphic discs and strips into an open symplectic, isomorphic to the complement of a smooth divisor in a closed symplectic manifold. In particular, we introduce a compactification of this moduli space, which is called the relative Gromov-Witten compactification. The goal of this paper is to show that the RGW compactifications admit Kuranishi structures which are compatible with each other. This result provides the remaining ingredient for the main construction of the first part: Floer homology for monotone Lagrangians in a smooth divisor complement.
We show that cellular Floer cohomology of an immersed Lagrangian brane is invariant under smoothing of a self-intersection point if the quantum valuation of the weakly bounding cochain vanishes and the Lagrangian has dimension at least two. The chain-level map replaces the two orderings of the self-intersection point with meridianal and longitudinal cells on the handle created by the surgery, and uses a bijection between holomorphic disks developed by Fukaya-Oh-Ohta-Ono. Our result generalizes invariance of potentials for certain Lagrangian surfaces in Dimitroglou-Rizell--Ekholm--Tonkonog, and implies the invariance of Floer cohomology under mean curvature flow with this type of surgery, as conjectured by Joyce.
We use quilted Floer theory to construct functor-valued invariants of tangles arising from moduli spaces of flat bundles on punctured surfaces. As an application, we show the non-triviality of certain elements in the symplectic mapping class groups of moduli spaces of flat bundles on punctured spheres.
In all known explicit computations on Weinstein manifolds, the self-wrapped Floer homology of non-compact exact Lagrangian is always either infinite-dimensional or zero. We show that a global variant of this observed phenomenon holds in broad generality: the wrapped Fukaya category of any positive-dimensional Weinstein (or non-degenerate Liouville) manifold is always either non-proper or zero, as is any quotient thereof. Moreover any non-compact connected exact Lagrangian is always either a (both left and right) non-proper object or zero in such a wrapped Fukaya category, as is any idempotent summand thereof. We also examine criteria under which the argument persists or breaks if one drops exactness, which is consistent with known computations of non-exact wrapped Fukaya categories which are smooth, proper, and non-vanishing (e.g., work of Ritter-Smith).
Around 1988, Floer introduced two important theories: instanton Floer homology as invariants of 3-manifolds and Lagrangian Floer homology as invariants of pairs of Lagrangians in symplectic manifolds. Soon after that, Atiyah conjectured that the two theories should be related to each other and Lagrangian Floer homology of certain Lagrangians in the moduli space of flat connections on Riemann surfaces should recover instanton Floer homology. However, the space of flat connections on a Riemann surface is singular and the first step to address this conjecture is to make sense of Lagrangian Floer homology on this space. In this note, we formulate a possible approach to resolve this issue. A strategy to construct the desired isomorphism in the Atiyah-Floer conjecture is also sketched. We also use the language of A infty-categories to state generalizations of the Atiyah-Floer conjecture.