No Arabic abstract
Given a Lagrangian V cong CP^n in a symplectic manifold (M,omega), there is an associated symplectomorphism phi_V of M. We define the notion of a CP^n-object in an A-infinity-category A and use this to construct algebraically an A-infinity-functor Phi_V and prove that it induces an autoequivalence of the derived category DA. We conjecture that Phi_V corresponds to the action of phi_V and prove this in the lowest dimension n=1. The construction is designed to be mirror to a construction of Huybrechts and Thomas.
We construct A-infinity functors between Fukaya categories associated to monotone Lagrangian correspondences between compact symplectic manifolds. We then show that the composition of A-infinity functors for correspondences is homotopic to the functor for the composition, in the case that the composition is smooth and embedded.
We introduce partially lax limits of infinity-categories, which interpolate between ordinary limits and lax limits. Most naturally occurring examples of lax limits are only partially lax; we give examples arising from enriched categories and operads. Our main result is a formula for partially lax limits and colimits in terms of the Grothendieck construction. This generalizes a formula of Lurie for ordinary limits and of Gepner-Haugseng-Nikolaus for fully lax limits.
We study Dehn twists along Lagrangian submanifolds that are finite quotients of spheres. We decribe the induced auto-equivalences to the derived Fukaya category and explain its relation to twists along spherical functors.
We prove a rectification theorem for enriched infinity-categories: If V is a nice monoidal model category, we show that the homotopy theory of infinity-categories enriched in V is equivalent to the familiar homotopy theory of categories strictly enriched in V. It follows, for example, that infinity-categories enriched in spectra or chain complexes are equivalent to spectral categories and dg-categories. A similar method gives a comparison result for enriched Segal categories, which implies that the homotopy theories of n-categories and (infinity,n)-categories defined by iterated infinity-categorical enrichment are equivalent to those of more familia
In this paper we introduce the following new ingredients: (1) rework on part of the Lagrangian surgery theory; (2) constructions of Lagrangian cobordisms on product symplectic manifolds; (3) extending Biran-Cornea Lagrangian cobordism theory to the immersed category. As a result, we manifest Seidels exact sequences (both the Lagrangian version and the symplectomorphism version), as well as Wehrheim-Woodwards family Dehn twist sequence (including the codimension-1 case missing in the literature) as consequences of our surgery/cobordism constructions. Moreover, we obtain an expression of the autoequivalence of Fukaya category induced by Dehn twists along Lagrangian $mathbb{RP}^n$, $mathbb{CP}^n$ and $mathbb{HP}^n$, which matches Huybrechts-Thomass mirror prediction of the $mathbb{CP}^n$ case modulo connecting maps. We also prove the split generation of any symplectomorphism by Dehn twists in $ADE$-type Milnor fibers.