Microlocal Morse theory of wrapped Fukaya categories

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.