A topological model for the Fukaya categories of plumbings (Q542364): Difference between revisions

Let \(Q_1\) and \(Q_2\) be closed smooth manifolds with interior base points \(b_i\). \(Q_i\) are equipped with simplicial triangulations \(\mathcal Q_i\) with top-dimensional simplex \(\Delta_i\) respectively containing \(b_i\), and \(\Delta_i\) has a unique identification with the standard \(n\)-simplex \(\Delta\). The author defines a differential graded category \(Simp(Q_1, Q_2)\) with two objects \(Q_1\) and \(Q_2\) and morphisms of the simplicial cochain complexes with cup product, \(\Hom^S_*(Q_i, Q_i)=C^*(\mathcal Q_i),\Hom^S_*(Q_1, Q_2)=C^*(\Delta)\) and \(\Hom^S_*(Q_2, Q_1)=C^*(\Delta, \partial\Delta)\). Within an exact symplectic manifold with vanishing first Chern class and a choice of a complex volume form, the author defines a brane to be an exact Lagrangian submanifold \(Q\) which is relatively spin and such that the restriction of the complex volume form to some Weinstein neighborhood of \(Q\) is isotopic to the complexification of the (real) volume form on \(Q\). The Fukaya category is defined over the group of integers and admits a natural grading. Given a pair of Lagrangian branes \(Q_1\) and \(Q_2\) intersecting cleanly along a submanifold \(B\), the normal bundles of \(Q_1\cap Q_2\) in the two sheets are isomorphic. The author obtains a differential graded category Simp\((Q_1, Q_2)\) with morphism spaces given by simplicial cochains on \(Q_i\), the unit normal bundle \(NB\) of \(B\) and \((NB, \partial NB)\). By a choice of Morse-Smale function, a Morse theoretic model \(M(Q_1, Q_2)\) is defined and the full subcategory of the Fukaya category\(Fuk(Q_1, Q_2)\) with objects \(Q_1\) and \(Q_2\) is formulated by the classical plumbing construction of cotangent bundles having boundary with corners. The main result (Theorem 1.3) says that for a symplectic manifold \((M, \omega)\) with the condition \(\omega|_{\pi_2(M,Q_1\cup Q_2)}=0\), there are \(A_{\infty}\) equivalences Simp\((Q_1, Q_2)\rightarrow Morse(Q_1, Q_2)\leftarrow Fuk(Q_1, Q_2)\). In the proof, the notion of \(Fuk(Q_1, Q_2)\) is based on the description of [\textit{P. Seidel}, Fukaya categories and Picard-Lefschetz theory. Zürich Lectures in Advanced Mathematics. Zürich: European Mathematical Society (EMS). (2008; Zbl 1159.53001)]. In order to show the equivalence of the \(A_{\infty}\) structures coming from Floer and Morse theory the author considers moduli spaces that are built from gradient trees and holomorphic discs with one Lagrangian boundary condition along an arbitrary leaf of the foliation of the cotangent bundle by fibers. Up to an appropriate notion of deformation equivalence which does not affect the Fukaya category, the author gets a canonical symplectic form on the plumbing. Compactness of the moduli space of discs with marked boundary points and transversality of the space of isomorphism classes of trees are discussed in detail. The arguments proceed by consideration of the case of clean intersections which is proved in an appendix.