Microlocal Morse theory of wrapped Fukaya categories

TL;DR

This paper extends the Nadler--Zaslow correspondence to include infinite-dimensional morphism spaces via wrapping, linking partially wrapped Fukaya categories with categories of sheaves with unbounded microsupport, advancing homological mirror symmetry.

Contribution

It generalizes the Nadler--Zaslow correspondence to infinite-dimensional morphism spaces using wrapping, connecting Fukaya categories with unbounded sheaves and confirming new instances of homological mirror symmetry.

Findings

Equivalence between partially wrapped Fukaya categories and categories of sheaves with microsupport in $ ext{S}^*M$.

Sheaf theoretic description of wrapped Fukaya categories of Weinstein sectors.

Confirmation of new homological mirror symmetry instances.

Abstract

The Nadler--Zaslow correspondence famously identifies the finite-dimensional Floer homology groups between Lagrangians in cotangent bundles with the finite-dimensional Hom spaces between corresponding constructible sheaves. We generalize this correspondence to incorporate the infinite-dimensional spaces of morphisms 'at infinity', given on the Floer side by Reeb trajectories (also known as "wrapping") and on the sheaf side by allowing unbounded infinite rank sheaves which are categorically compact. When combined with existing sheaf theoretic computations, our results confirm many new instances of homological mirror symmetry. More precisely, given a real analytic manifold $M$ and a subanalytic isotropic subset $\Lambda$ of its co-sphere bundle $S^*M$, we show that the partially wrapped Fukaya category of $T^*M$ stopped at $\Lambda$ is equivalent to the category of compact objects in the unbounded derived category of sheaves on $M$ with microsupport inside $\Lambda$. By an embedding trick, we also deduce a sheaf theoretic description of the wrapped Fukaya category of any Weinstein sector admitting a stable polarization.