Gromov-Hausdorff Distance Between Filtered $a_{\infty}$ Categories 1: Lagrangian Floer Theory

Kenji Fukaya
DOI: https://doi.org/10.48550/arxiv.2106.06378
2021-01-01
Abstract:In this paper we introduce and study a distance, Gromov-Hausdorff distance, which measures how two filtered A $A_{\infty}$ categories are far away each other. In symplectic geometry the author associated a filtered$A_{\infty}$ category, Fukaya category, to a finite set of Lagrangian submanifolds. The Gromov-Hausdorff distance then gives a new invariant of a finite set of Lagrangian submanifolds. One can estimate it by the Hofer distance of Hamiltonian diffeomorphisms needed to send one Lagrangain submanifold to the other. A motivation to introduce Gromov-Hausdorff distance is to obtain a certain completion of Fukaya category. If we have a sequence of sets of Lagrangian submanifolds, which is a Cauchy sequence in the sense of Hofer metric, then the associated filtered A infinity categories also form a Cauchy sequence in Gromov-Hausdorff distance. In this paper we develop a theory to obtain an inductive limit of such a sequence of filtered $A_{\infty}$ categories. In other words, we give an affirmative answer to [Fu5] Conjecture 15.34.
What problem does this paper attempt to address?