Immersed Lagrangian Floer theory (Q542360)

\textit{K. Fukaya, Y.-G. Oh, H. Ohta}, and \textit{K. Ono} developed the Lagrangian Floer cohomology for a compact embedded Lagrangian submanifold \(L\) of a compact symplectic manifold \((M,\omega)\) [Lagrangian intersection Floer theory. Anomaly and obstruction. Parts I and II. Providence, RI: American Mathematical Society (AMS); Somerville, MA: International Press (2009; Zbl 1181.53002; Zbl 1181.53003)]. Let \((M,\omega)\) be a compact symplectic manifold and \(L\) a compact embedded Lagrangian submanifold of \(M\). Fukaya, Oh, Ohta, and Ono associate to \(L\) a gapped filtered \(A_\infty\) algebra \(({\mathbb Q}{\mathcal X}\hat{\otimes}\Lambda_{\text{nov}}^0,{\mathfrak m})\). Given an element \(b \in {\mathbb Q}{\mathcal X}\hat{\otimes}\Lambda_{\text{nov}}^0\) that satisfies \(\sum_{k \geq 0} {\mathfrak m}_k(b,\ldots ,b) = 0\), called a bounding cochain, they define the Lagrangian Floer cohomology \(HF^\ast(L,b;\Lambda_{\text{nov}})\). For transversally intersecting Lagrangians \(L_1\) and \(L_2\) in \(M\) with bounding cochains \(b_1\) and \(b_2\), they also define the Lagrangian cohomology \(HF^\ast((L_1,b_1),(L_2,b_2);\Lambda_{\text{nov}})\). This paper extends the results of Fukaya, Oh, Ohta, and Ono to compact immersed Lagrangian submanifolds \(\iota: L \rightarrow M\) with only transverse double self-intersections. That is, \(\iota^{-1}(p)\) contains at most two points for each \(p \in \iota(L)\), and if \(\iota^{-1}(p) = \{p_+,p_-\}\) consists of two distinct points, then the two sheets of \(L\) intersect transversally. The authors construct a gapped filtered \(A_\infty\) category \(({\mathbb Q}{\mathcal X}\hat{\otimes}\Lambda_{\text{nov}}^0, {\mathfrak m})\) associated to \(L\) that is independent of the choices made to define it up to canonical homotopy equivalence. This allows them to define bounding cochains \(b\) for \(L\) and Lagrangian Floer cohomology groups \(HF^\ast(L,b;\Lambda_{\text{nov}})\) and \(HF^\ast((L_1,b_1),(L_2,b_2);\Lambda_{\text{nov}})\). In the immersed case, \(HF^\ast(L,b;\Lambda_{\text{nov}})\) is a quantized version of \(H_{n-\ast}(L;\Lambda_{\text{nov}}) \oplus \bigoplus_{(p_-,p_+)\in R}\Lambda_{\text{nov}}\cdot (p_-,p_+)\), where \(R = \{(p_-,p_+): p_-,p_+ \in L, p_- \neq p_+, \iota(p_-) = \iota(p_+)\}\) has two generators for each self-intersection point. The paper is quite long and technical. The authors have tried to make their paper independent of the books by Fukaya, Oh, Ohta, and Ono [loc. cit.], but readers familiar with those books will have a much easier time reading this paper than those who are unfamiliar with them. Numerous references highlighting the connections between the results in this paper and the results of Fukaya, Oh, Ohta, and Ono [loc. cit.] appear throughout the paper.