Related papers: A-infinity functors for Lagrangian correspondences

We continue our study of tempered oscillatory integrals $I_\varphi(a)$, here investigating the link with a suitable symplectic structure at infinity, which we describe in detail. We prove adapted versions of the classical theorems, which…

We investigate the extrinsic topology of Lagrangian submanifolds and of their submanifolds in closed symplectic manifolds using Floer homological methods. The first result asserts that the homology class of a displaceable monotone…

We first determine and then study the complete set of non-vanishing A-model correlation functions associated with the ``long-diagonal branes'' on the elliptic curve. We verify that they satisfy the relevant A-infinity consistency relations…

We prove, over any base ring, that the infinity-category of strictly unital A-infinity-categories (and strictly unital functors) is equivalent to the infinity-category of unital A-infinity-categories (and unital functors). We also identify…

The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…

We prove that, for nice classes of infinite-dimensional smooth groups G, natural constructions in smooth topology and symplectic topology yield homotopically coherent group actions of G. This yields a bridge between infinite-dimensional…

This paper is a fundamental study of comodules and contramodules over a comonoid in a symmetric closed monoidal category. We study both algebraic and homotopical aspects of them. Algebraically, we enrich the comodule and contramodule…

Let L be a (pro-nilpotent) curved L-infinity algebra, and let h be a homotopy between L and a subcomplex M. Using homotopical perturbation theory, Fukaya constructed from this data a curved L-infinity structure on M. We prove that…

Let $\mathfrak{g}$ and $\mathfrak{h}$ be two Lie algebras with $\mathfrak{h}$ finite dimensional and consider ${\mathcal A} = {\mathcal A} (\mathfrak{h}, \, \mathfrak{g})$ to be the corresponding universal algebra as introduced in…

We establish the continuous functoriality of wrapped Fukaya categories with respect to Liouville automorphisms, yielding a way to probe the homotopy type of the automorphism group of a Liouville sector. These methods prove Liouville and…

Let K be a subset of a smooth manifold M. In some cases functor calculus methods lead to a homotopical formula for M minus K in terms of the subspaces M minus S, where S runs through the finite subsets of K.

We show that the EH class and the LOSS invariant of Legendrian knots in contact 3-manifolds are functorial under regular Lagrangian concordances in Weinstein cobordisms. This gives computable obstructions to the existence of regular…

We lay out an infinity categorical interpretation of reconstruction theorems which are germane to the symmetric monoidal perspective of noncommutative algebraic geometry, present sufficient conditions which allow for the factorization of…

We give conditions on a finitary endofunctor of a finitely accessible category to admit a final coalgebra. Our conditions always apply to the case of a finitary endofunctor of a locally finitely presentable (l.f.p.) category and they bring…

We construct an $(\infty,1)$-functor that takes each smooth $G$-manifold with corners $M$ to the space of equivariant smooth $h$-cobordisms ${\mathcal H}_{\mathrm{Diff}}(M)$. We also give a stable analogue ${\mathcal H}^{\mathcal…

We formulate and prove a Riemann-Hilbert correspondence between $\hbar$-differential equations and sheaf quantizations, which can be considered as a correspondence between two kinds of quantizations (deformation and sheaf quantization) of…

Let $Ham (M,\omega ) $ denote the Frechet Lie group of Hamiltonian symplectomorphisms of a monotone symplectic manifold $(M, \omega) $. Let $NFuk (M, \omega)$ be the $A _{\infty} $-nerve of the Fukaya category $Fuk (M, \omega)$, and let…

We consider algebras defined over a complete, local and noetherian ground ring. They are gentle algebras in case the ground ring is a field. The unbounded homotopy category of complexes of projective modules is considered. Complexes with…

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…

We construct monotone Lagrangian tori in the standard symplectic vector space, in the complex projective space and in products of spheres. We explain how to classify these Lagrangian tori up to symplectomorphism and Hamiltonian isotopy, and…