The monotone wrapped Fukaya category and the open-closed string map

Abstract

We build the wrapped Fukaya category ${\mathcal {W}}(E)$ for any monotone symplectic manifold E, convex at infinity. We define the open-closed and closed-open string maps, ${\mathrm {OC}}:{\mathrm {HH}}_*({\mathcal {W}}(E))\rightarrow { SH }^*(E)$ and ${\mathrm {CO}}: { SH }^*(E)\rightarrow {\mathrm {HH}}^*({\mathcal {W}}(E))$. We study their algebraic properties and prove that the string maps are compatible with the $c_1({ TE })$-eigenvalue splitting of ${\mathcal {W}}(E)$. We extend Abouzaid’s generation criterion from the exact to the monotone setting. We construct an acceleration functor ${\mathcal {AF}}: {\mathcal {F}}(E)\rightarrow {\mathcal {W}}(E)$ from the compact Fukaya category which on Hochschild (co)homology commutes with the string maps and the canonical map $c^*:{ QH }^*(E)\rightarrow { SH }^*(E)$. We define the ${ SH }^*(E)$-module structure on the Hochschild (co)homology of ${\mathcal {W}}(E)$ which is compatible with the string maps (this was proved independently for exact convex symplectic manifolds by Ganatra). The module and unital algebra structures, and the generation criterion, also hold for the compact Fukaya category ${\mathcal {F}}(E)$, and also hold for closed monotone symplectic manifolds. As an application, we show that the wrapped category of ${\mathcal {O}}(-k) \rightarrow \mathbb {C}\mathbb {P}^m$ is proper (cohomologically finite) for $1\le k \le m$. For any monotone negative line bundle E over a closed monotone toric manifold B, we show that ${ SH }^*(E)\ne 0$, ${\mathcal {W}}(E)$ is non-trivial and E contains a non-displaceable monotone Lagrangian torus ${\mathcal {L}}$ on which ${\mathrm {OC}}$ is non-zero.