Wrapped sheaves (Q2684529)

The microlocal sheaf theory of \textit{M. Kashiwara} and \textit{P. Schapira} [Sheaves on manifolds. With a short history ``Les débuts de la théorie des faisceaux'' by Christian Houzel. Berlin etc.: Springer-Verlag (1990; Zbl 0709.18001)] relates sheaves on manifolds with the symplectic geometry of their cotangent bundles. The basic construction is the microsupport to a sheaf \(F\) on a \(C^{1}\) manifold \(M\), a closed conic subset \(\mathrm{SS}(F)\) in the cotangent bundle being associated. Deeper relationships between microlocal sheaf theory and symplectic geometry began to emerge in the mid 2000s. Nadler and Zaslow [\textit{D. Nadler}, Sel. Math., New Ser. 15, No. 4, 563--619 (2009; Zbl 1197.53116); \textit{D. Nadler} and \textit{E. Zaslow}, J. Am. Math. Soc. 22, No. 1, 233--286 (2009; Zbl 1227.32019)] related constructible sheaves to infinfitesimally wrapped Floer theory, while \textit{D. Tamarkin} [Springer Proc. Math. Stat. 269, 99--223 (2018; Zbl 1416.35019)] introduced genuinely sheaf-theoretical methods into symplectic topology in his study of non-displaceability. The subsequent Guillermon-Kashiwara-Schapira sheaf quantization of contact isotopies [\textit{S. Guillermou} et al., Duke Math. J. 161, No. 2, 201--245 (2012; Zbl 1242.53108)] led to a host of further incursions by sheaf theorists into symplectic topology. The notion of wrapped Fukaya category provides the correct mirrors to coherent sheaf categories on certain singular spaces. While such wrapped categories are by no means easy to compute, \textit{D. Nadler} [``Wrapped microlocal sheaves on pairs of pants'', Preprint, \url{arXiv:1604.00114}] conjectured that they match categories of compact objects inside categories of unbounded sheaves with prescribed microsupport, which was established by \textit{S. Ganatra}, \textit{J. Pardon} and \textit{V. Shende} [``Microlocal Morse theory of wrapped Fukaya categories'', Preprint, \url{arXiv:1809.08807}] so that sheaf-theoretic methods can be used to establish homological mirror symmetry within these settings. While Nadler termed his category the \textit{wrapped sheaves}, no wrapping is to be seen there, so that the name does not entirely reflect the construction. This paper studies the category which the name manifestly suits, namely, the localization of the category of sheaves along the continuation morphisms of [Zbl 1242.53108]. The main result of the paper is an entirely sheaf-theoretic proof after [\url{arXiv:1809.08807}] that it is equivalent to Nadler's category. Theorem. Let \(\Lambda\subseteq S^{\ast}M\) be a subanalytic singular isotropic. The comparison functor \[ \mathfrak{W}_{\Lambda}^{+}(M):\mathfrak{w}\mathrm{sh}_{\Lambda }(M)\rightarrow\mathrm{Sh}_{\Lambda}(M)^{c} \] is an equivalence. In order to contrast this paper with [\url{arXiv:1809.08807}], we should note that Ganatra, Pardon and Shende constructed an equivalence between the partially wrapped Fukaya category of a cotangent bundle, stopped along some subanalytic isotropic \(\Lambda\), and the category of compact objects in the category of unbounded sheaves microsupported in \(\Lambda\) \[ \mathrm{Perf}\mathcal{W}(T^{\ast}M,\Lambda)\cong\mathrm{Sh} _{\Lambda}(M)^{c} \] by introducing an abstract axiomatic characterization which both sides abide by.