The monotone wrapped Fukaya category and the open-closed string map (Q508436): Difference between revisions

Let \(\mathcal{W}(E)\) be the wrapped Fukaya category of a non-compact symplectic manifold \(E\) (Wrapped Fukaya category is explained in \S3. cf. [\textit{M. Abouzaid} and \textit{P. Seidel}, Geom. Topol. 14, No. 2, 627--718 (2010; Zbl 1195.53106)]). If \(E\) is an exact convex symplectic manifold, Aboudzaid's generation criterion states if the open-closed map (explained in \S6) from Hochschild homology to symplectic cohomology \[ \mathrm{OC}:\mathrm{HH}_\ast(\mathcal{W}(E))\to SH^\ast(E), \] is restricted to the subcategory generated by a collection \(L_1,\ldots,L_n\in\mathrm{Ob}(\mathcal{W}(E))\) of exact Lagrangian submanifolds, hits the unit \(1\in SH^\ast(E)\), then \(L_1,\ldots,L_n\) split-generate the category \(\mathrm{W}(E)\) [\textit{M. Abouzaid}, Publ. Math., Inst. Hautes Étud. Sci. 112, 191--240 (2010; Zbl 1215.53078)]. Hochschild (co)homology of \(A_\infty\)-categories is explained in \S2. Symplectic cohomology and its relation to quantum cohomology \(QH^\ast(e)\) are explained \S4. In this paper, a corresponding generation result when \(E\) is a monotone convex symplectic manifold (definition is given in \S3) is presented. This class contains non-compact Fano toric varieties. To obtain the corresponding generation results, some restriction on \(\mathcal{W}(E)\), etc. by using a unital algebraic homomorphism \[ c^\ast:QH^\ast(E)=\oplus_\lambda QH^\ast(E)_\lambda\to \oplus_\lambda SH^\ast(E)_\lambda\subset SH^\ast(E) \] is needed. Here \(QH^\ast(E)_\lambda\), etc. means the generalized \(\lambda\)-eigenspace under multiplication by the first Chern class \(c_1(TE)\). On the other hand, \(\mathcal{W}(E)\) is defined as a collection of mutually orthogonal \(A_\infty\)-categories \(\mathcal{W}_\lambda(E)\) indexed by the spectrum of quantum multiplication by \(c_1(TE)\) acting by quantum product on \(QH^\ast(E)\). These two eigensummand decompositions are shown to be related, and the open-closed map \[ \mathrm{OC}: \mathrm{HH}_ast(\mathcal{W}_\lambda)(E))\to SH^\ast(E)_\lambda\subset SH^\ast(E) \] is obtained. Then the main theorem of this paper is the following. Theorem 1.1. Let \(\mathcal{C}\subset\mathcal{W}_\lambda(E)\) be a full subcategory. If \(\mathrm{OC}|_\mathcal{C}\) hits an invertible element in \(SH^\ast(E)_\lambda\), then \(\mathcal{C}\) split-generates \(\mathcal{W}_\lambda(E)\). (Theorem 11.3) This also holds for the compact Fukaya category \(\mathcal{F}_\lambda(E)\) using \(\mathrm{OC}|_\mathcal{C}:\mathcal{F}(E)_\lambda\to QH^\ast(E)_\lambda\), and it also holds if we replace \(E\) by a closed monotonic symplectic manifold \(B\). (Theorem 11.6). To prove Theorem 1.1, first instead of Abouzaid's generation criterion, which is a general consequence of homological algebra once the wrapped Fukaya category can be constructed together with the necessary Floer machinery to define string maps and a coproduct, the acceleration functor \[ \mathcal{AF}:\mathcal{F}(E)\to \mathcal{W}(E), \] which on the Hochschild (co)homology commutes with the string maps and the canonical map \(c^\ast\), is introduced when \(E\) is monotone symplectic (Theorem 1.4 and \S7). The authors remark that a new double-telescope complex for the coproduct is needed in the study of acceleration functor (\S10). Secondly, \(\mathrm{HH}^\ast(\mathcal{W}_\lambda(E))\) is shown (\S9) to be a module over \(SH^\ast(E)\) and the Chern class \(c_1(TE)=\lambda\mathrm{Id}\) acts on each element of \(\mathrm{HH}_\ast(\mathcal{W}_\lambda(E))\). Moreover OC is shown to be an \(SH^\ast(E)\)-module homomorphism (\S8). These show that OC lands in \(SH^\ast(E)_\lambda\) and hitting any invertible element in that eigensummand is as good as hitting the identity of \(SH^\ast(E)\). As applications, several generation results for monotone symplectic manifolds are presented in \S12, the last section. For example, if \(E=\mathcal{O}_{\mathbb{P}^m}(-k), 1\leq k\leq m\) (in this case, its symplectic cohomology can be identified with the Jacobian ring of the superpotential [the first author, Adv. Math. 262, 1035--1106 (2014; Zbl 1294.53075)]), the followings are shown (Theorem 12.16); {\parindent=0.7cm \begin{itemize}\item[--] \(\mathcal{W}(E)\) is compactly generated. \item[--] \(\mathcal{W}(E)\) is proper, so \(\mathrm{dim}HW^\ast(L_1,L_2)<\infty\). \item[--] \(HF^\ast(\mathcal{L},\mathcal{L})\cong HW^\ast(\mathcal{L},\mathcal{L})\not=0\). \item[--] \(\mathrm{OC}^0:HW^\ast(\mathcal{L},\mathcal{L})\to SH^\ast(E)\) is non-zero. \end{itemize}}