Wrapped sheaves

DOI10.1016/J.AIM.2023.108882MaRDI QIDQ2684529zbMATH OpenOpenAlexFDO

Authors Christopher Kuo

Publication date 16 February 2023

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2102.06791

zbMATH Keywords

constructible sheaves with prescribed microsupport conditioncontinuation mapsmicrolocal sheaf theorysheaf quantization of contact isotopiestopological Fukaya categorieswrappings as adjunctions

Mathematics Subject Classification ID

Categories in geometry and topology (18Fxx) Topological geometry (51Hxx) Symplectic geometry, contact geometry (53Dxx) Sheaf cohomology in algebraic topology (55N30)

Abstract: We construct a sheaf-theoretic analogue of the wrapped Fukaya category in Lagrangian Floer theory, by localizing a category of sheaves microsupported away from some given $Lambdasubset{S}^{\ast }M$ along continuation maps constructed using the Guillermou-Kashiwara-Schapira sheaf quantization. When $Lambda$ is a subanalytic singular isotropic, we also construct a comparison map to the category of compact objects in the category of unbounded sheaves microsupported in $Lambda$, and show that it is an equivalence. The last statement can be seen as a sheaf theoretical incarnation of the sheaf-Fukaya comparison theorem of Ganatra-Pardon-Shende.

Review text

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.

Recommendations

• Sheaf quantization of Legendrian isotopy
• Sheaves and symplectic geometry of cotangent bundles
• Microlocal theory of sheaves in symplectic topology
• Quantitative Tamarkin theory
• Microlocal condition for non-displaceability
• Sheaf quantization and intersection of rational Lagrangian immersions
• scientific article; zbMATH DE number 3946593
• Sheaf quantization of Hamiltonian isotopies and applications to nondisplaceability problems
• Simple sheaves for knot conormals
• Microlocal study of sheaves. I: Contact transformations

Cites work

• A categorification of Morelli's theorem
• A study in derived algebraic geometry. Volume I: Correspondences and duality
• An open string analogue of Viterbo functoriality
• Cluster varieties from Legendrian knots
• Compact exact Lagrangian intersections in cotangent bundles via sheaf quantization
• Constructible sheaves and the Fukaya category
• Covariantly functorial wrapped Floer theory on Liouville sectors
• Definable triangulations with regularity conditions
• Higher Topos Theory (AM-170)
• Higher traces, noncommutative motives, and the categorified Chern character
• Homological mirror symmetry for punctured spheres
• scientific article; zbMATH DE number 47944 (Why is no real title available?)
• scientific article; zbMATH DE number 192849 (Why is no real title available?)
• Infinitely many Lagrangian fillings
• Lectures on dg-categories
• Legendrian knots and constructible sheaves
• Microlocal branes are constructible sheaves
• Microlocal condition for non-displaceability
• Microlocal theory of sheaves and Tamarkin's non displaceability theorem
• Mirror symmetry for the Landau-Ginzburg \(A\)-model \(M=\mathbb{C}^n\), \(W= z_1 \cdots z_n\)
• Nonsqueezing property of contact balls
• Notes on topological stability
• On partially wrapped Fukaya categories
• Persistence-like distance on Tamarkin's category and symplectic displacement energy
• Quantitative Tamarkin theory
• Sheaf quantization of Hamiltonian isotopies and applications to nondisplaceability problems
• Sheaves via augmentations of Legendrian surfaces
• The conormal torus is a complete knot invariant
• The nonequivariant coherent-constructible correspondence for toric surfaces
• Twisted polytope sheaves and coherent-constructible correspondence for toric varieties

Cited in

(13)

• Microlocal branes are constructible sheaves
• Sheaf quantization of Legendrian isotopy
• IIA/B, wound and wrapped
• Lagrangian cobordism functor in microlocal sheaf theory I
• Brane structures in microlocal sheaf theory
• Sheaves and symplectic geometry of cotangent bundles
• Regular Lagrangians are smooth Lagrangians
• Duality and kernels in microlocal geometry
• Lagrangian cobordism and shadow distance in Tamarkin category
• Variation of GIT and variation of Lagrangian skeletons. I: Flip and flop
• Positive microlocal holonomies are globally regular
• Non-linear microlocal cut-off functors
• Microlocal category for Weinstein manifolds via the h-principle

This page was built for publication: Wrapped sheaves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2684529)