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. \par 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.


Sheel Ganatra

Department of Mathematics, University of Southern California, 3620 S. Vermont Ave., KAP 104, Los Angeles, CA 90089, USA

John Pardon

Department of Mathematics, Princeton University, Fine Hall, Washington Rd., Princeton, NJ 08544, USA

Current address:

Simons Center for Geometry and Physics, State University of New York, Stony Brook, NY 11794, USA Vivek Shende

Department of Mathematics, University of California, Berkeley, Berkeley, CA 94720, USA and Center for Quantum Mathematics, University of Southern Denmark, Campusvej 55, 5230 Odense M, Denmark