Fukaya categories of plumbings and multiplicative preprojective algebras (Q2295747): Difference between revisions

If \(M=T^*S\) is a cotangent bundle with its canonical symplectic structure of a simply connected smooth compact manifold \(S\), then for a coefficient field \(\mathbb{K}\), Lagrangian Floer theory defines \(\mathbb{Z}\)-graded \(A_\infty\)-algebras \(\mathcal{A}=\text{CF}^*(S,S)\) and \(\mathcal{B}=\text{CW}^*(L,L)\) over \(\mathbb{K}\). The manifold \(S\) is an object of the Fukaya category \(\mathcal{F}(M)\) of closed exact Lagrangian branes in the Liouville manifold \(M\), and the endomorphisms of the object \(S\) are given by the Fukaya-Floer algebra \(\mathcal{A}\). On the other hand, \(L\) is an object of the wrapped Fukaya category \(\mathcal{W}\) of \(M\) and the endomorphisms of the object \(L\) in this category are given by the wrapped Floer cochain complex \(\mathcal{B}\). In [Geom. Topol. 21, No. 6, 3313--3389 (2017; Zbl 1378.57041)], the present authors considered symplectic invariants of an open symplectic manifold \(X_\Gamma\) obtained by plumbings of \(T^*S^2\) according to a plumbing tree \(\Gamma\). They examine plumbings of cotangent bundles of \(2\)-spheres and \(X_\Gamma\) was exhibited as a Legendrian surgery along a link \(L_\Gamma\subset(S^3,\xi_{\mathrm{std}})\). Finally the Chekanov-Eliashberg DG-algebra \(\mathcal{B}_\Gamma\) of \(L_\Gamma\) was computed explicitly for any tree \(\Gamma\). It is known that \(\mathcal{B}_\Gamma\) is \(A_\infty\)-quasi-isomorphic to the endomorphism algebra of the full subcategory of the wrapped Fukaya category \(\mathcal{W}(X_\Gamma)\) whose objects are the cocores of the 2-handles in the surgery presentation. In this paper, the authors continue their study of computing explicit models for the wrapped Fukaya category \(\mathcal{W}(X_\Gamma)\) of the 4-dimensional open symplectic manifold \(X_\Gamma\) obtained by plumbing cotangent bundles of surfaces according to a graph \(\Gamma\). They improve their results. No restriction is imposed on \(\Gamma\) which was assumed to be a tree and only plumbings of \(T^*S^2\) were considered. When \(\Gamma\) is not a tree or cotangent bundles of positive genus surfaces are used, Legendrian surgery description of \(X_\Gamma\) necessarily includes 1-handles, and the computation of \(\mathcal{B}_\Gamma\) is more involved. More precisely, for any connected graph \(\Gamma\) with \(s\) vertices and \(s+k-1\) edges and \(g=\sum\limits_v g_v\), the authors construct a Legendrian \(L_\Gamma\) in \(\#^{k+2g}(S^1\times S^2,\xi_{\mathrm{std}})\) with \(s\) components such that \(X_\Gamma\) is obtained by Legendrian surgery on \(L_\Gamma\). The authors first restrict to the case \(g=0\) and show that for any finite graph \(\Gamma\), \(\mathcal{B}_\Gamma\) is quasi-isomorphic to the derived multiplicative preprojective algebra \(\mathcal{L}_\Gamma\) whose zeroth cohomology is isomorphic to the multiplicative preprojective algebra \(\Lambda_\Gamma\). Next, they extend this to the case where \(g\) is arbitrary. The resulting DG-algebra is quasi-isomorphic to a positive genus version of the derived multiplicative algebra \(\mathcal{L}_{\Gamma,\mathbf{g}}\) with its zeroth cohomology \(H^0(\mathcal{L}_{\Gamma,\mathbf{g}})=\Lambda_{\Gamma,\mathbf{g}}\), where \(\mathbf{g}=(g_1,\dots,g^s)\) is an \(s\)-tuple of non-negative integers recording the genus \(g_v\) associated to vertices of \(\Gamma\). The main result of the paper states that for any graph \(\Gamma\) and \(\mathbf{g}\), there is a quasi-isomorphism between the derived multiplicative preprojective algebra \(\mathcal{L}_{\Gamma,\mathbf{g}}\) and the Chekanov-Eliashberg DG-algebra \(\mathcal{B}_{\Gamma,\mathbf{g}}\). The main theorem is proved by identifying \(\mathcal{B}_{\Gamma,\mathbf{g}}\) and \(\mathcal{L}_{\Gamma,\mathbf{g}}\) as DG-algebras by direct computation of the Chekanov-Eliashberg DG-algebra of the Legendrian \(L_{\Gamma,\mathbf{g}}\) by computations of various wrapped Fukaya categories via an \(A_\infty\)-quasi-isomorphism \(\mathcal{B}_{\Gamma,\mathbf{g}}\cong\bigoplus\limits_{v,w}CW^*(C_v,C_w)\).