\(A_\infty\) functors for Lagrangian correspondences (Q1652886): Difference between revisions

The article's main purpose is the construction of a \(A_{\infty}\)-functor between Fukaya categories associated to monotone Lagrangian correspondences between compact symplectic manifolds. It is proved that the composition of \(A_{\infty}\)-functor for the correspondence is homotopic to the functor for the composition, in the case the composition is smooth and embedded. Given a symplectic manifold \((M,\omega)\), a Fukaya category \(\mathcal{F}(M)\) of \((M,\omega)\) is a category whose objects are Lagrangian submanifolds of \(M\), and the morphisms are Floer chain groups \(\mathrm{Hom}(L_{0},L_{1})=FC(L_{0},L_{1})\). Because categories of this sort are \(A_{\infty}\)-categories, associated to them we have derived categories which are subject of the homological mirror symmetry conjectured by \textit{M. Kontsevich} in [in: Proceedings of the international congress of mathematicians, ICM '94, August 3-11, 1994, Zürich, Switzerland. Vol. I. Basel: Birkhäuser. 120--139 (1995; Zbl 0846.53021)]. Indeed, Kontsevich [loc. cit.] constructed a triangulated derived Fukaya category which is related via the homological mirror symmetry conjecture to the derived category of bounded complexes of coherent sheaves. The latter admits natural Mukai functors associated to correspondences [\textit{M. Reid}, Astérisque 276, 53--72, Exp. No. 867 (2002; Zbl 0996.14006)]. The article shows that the constructed \(A_{\infty}\) functors are associated to monotone Lagrangian correspondences which meant to be mirror analogs to the Mukai functors. Given \(A_{\infty}\)-categories \(\mathcal{C}_{0}\) \(\mathcal{C}_{1}\), let \(\mathrm{Func}(\mathcal{C}_{0},\mathcal{C}_{1})\) denote the \(A_{\infty}\)-category of functors from \(\mathcal{C}_{0}\) to \(\mathcal{C}_{1}\). For any pair of monotone symplectic manifolds \(M_{0}\) and \(M_{1}\), they construct a Fukaya category of admissible correspondences \(\mathrm{Fuk}^{\#}(M_{0},M_{1})\). The objects \(\mathrm{Fuk}^{\#}(M_{0},M_{1})\) are sequences of compact Lagrangian correspondences with a brane structure. The correspondence is required to be admissible, i.e., the Maslov numbers are at least 3, or vanishing disk invariant, and the fundamental groups are torsion for any choice of base point. Considering \(\mathrm{Fuk}^{\#}(M)=\mathrm{Fuk}^{\#}(pt,M)\) the natural enlargement of the Fukaya category \(\mathrm{Fuk}(M)\), whose objects are admissible generalized Lagrangian correspondences with brane structures from points to a compact monotone symplectic manifold \(M\), the main theorem is the following; {Main Theorem} (Functors for Lagrangian correspondences): Suppose that \(M_{0}\), \(M_{1}\) are compact monotone symplectic manifolds with the same monotonicity constant. There is an \(A_{\infty}\) functor \[ \mathrm{Fuk}^{\#}(M_{0},M_{1})\rightarrow \mathrm{Func}(\mathrm{Fuk}^{\#}(M_{0}), \mathrm{Fuk}^{\#}(M_{1})) \] inducing the functor of cohomology categories described in [the second and the third author, Quantum Topol. 1, No. 2, 129--170 (2010; Zbl 1206.53088), Definition 5.1].