Invariants of the Legendrian lift of an exact Lagrangian submanifold in the circular contactization of a Liouville manifold
Invariants du relevé Legendrien d'une sous-variété Lagrangienne exacte dans la contactisation circulaire d'une variété de Liouville
Résumé
We study the relations between an exact Lagrangian submanifold $L$ in a Liouville manifold $P$ and one of its Legendrian lift $\Lambda^{\circ}$ in the circular contactization $S^1 \times P$. Unlike the well-studied case of the standard contactization $\mathbf{R} \times P$, each point of a Legendrian in $S^1 \times P$ gives rise to a (countable) infinite set of Reeb chords for the standard contact form, and we are in a so-called Morse-Bott situation.
We first demonstrate general homotopical properties of Legendrian contact homology using mapping cylinders of morphisms between diffrential graded algebras. Then, we introduce the notion of mapping torus associated to a quasi-autoequivalence of an $A_{\infty}$-category as homotopy colimit of some diagram. We show how to compute this colimit in certain circonstances by working with localizations of $A_{\infty}$-categories. Finally, we use the previous results in order to relate the Floer $A_{\infty}$-algebra of $L$ and the Chekanov-Eliashberg differential graded algebra of $\Lambda^{\circ}$.
On étudie les relations entre une sous-variété Lagrangienne exacte $L$ dans une variété de Liouville $P$ et un de ses relevés Legendriens $\Lambda^{\circ}$ dans la contactisation circulaire $S^1 \times P$.
Contrairement au cas bien étudié de la contactisation standard $\mathbf{R} \times P$, chaque point d'une Legendrienne dans $S^1 \times P$ donne lieu à une infinité (dénombrable) de cordes de Reeb pour la forme de contact standard, et on est dans une situation dite Morse-Bott.
On démontre d'abord des propriétés homotopiques générales de l'homologie de contact Legendrienne en utilisant les cylindres d'applications de morphismes entre algèbres différentielles graduées. Ensuite, on introduit la notion de tore d'application associé à une quasi-autoéquivalence d'une catégorie $A_{\infty}$ comme colimite homotopique d'un diagramme. On montre comment calculer cette colimite dans certaines circonstances en travaillant avec des localisations de catégories $A_{\infty}$. Enfin, on utilise les résultats précédents pour relier l'algèbre $A_{\infty}$ de Floer de $L$ et l'algèbre différentielle graduée de Chekanov-Eliashberg de $\Lambda^{\circ}$.
Domaines
Géométrie symplectique [math.SG]Origine | Fichiers produits par l'(les) auteur(s) |
---|