Gromov-Hausdorff distance between filtered $A_{\infty}$ categories 1: Lagrangian Floer theory

TL;DR

This paper introduces a Gromov-Hausdorff distance for filtered A∞ categories in symplectic geometry, providing a new invariant for Lagrangian submanifolds and developing a theory for their inductive limits.

Contribution

It defines a Gromov-Hausdorff distance for filtered A∞ categories and constructs a completion of Fukaya categories related to Lagrangian submanifolds.

Findings

Gromov-Hausdorff distance measures differences between filtered A∞ categories.

The distance provides a new invariant for finite sets of Lagrangian submanifolds.

Established a theory for inductive limits of these categories.

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.