Related papers: A-infinity functors for Lagrangian correspondences

We establish a large class of homotopy coherent Morita-equivalences of Dold-Kan type relating diagrams with values in any weakly idempotent complete additive $\infty$-category; the guiding example is an $\infty$-categorical Dold-Kan…

Given a symmetrizable generalized Cartan matrix $A$, for any index $k$, one can define an automorphism associated with $A,$ of the field $\mathbf{Q}(u_1, >..., u_n)$ of rational functions of $n$ independent indeterminates $u_1,..., u_n.$ It…

Given a J-holomorphic Morse function on a symplectic manifold, a new construction of the Fukaya-Seidel category is outlined. Applying this construction in an infinite dimensional case, a Fukaya-Seidel-type category is associated to a smooth…

Affine Kac-Moody algebras give rise to interesting systems of differential equations, so-called Knizhnik-Zamolodchikov equations. The monodromy properties of their solutions can be encoded in the structure of a modular tensor category on (a…

We outline an interpretation of Heegaard-Floer homology of 3-manifolds (closed or with boundary) in terms of the symplectic topology of symmetric products of Riemann surfaces, as suggested by recent work of Tim Perutz and Yanki Lekili. In…

In the context of infinity categories, we rethink the notion of derived functor in terms of correspondences. This is especially convenient for the description of a passage from an adjoint pair (F,G) of functors to a derived adjoint pair…

We compare the bicategory of spans with that of bisets (a.k.a. bimodules, distributors, profunctors) in the context of finite groupoids. We construct in particular a well-behaved pseudo-functor from spans to bisets. This yields an…

For a localization of a smooth proper category along a subcategory preserved by the Serre functor, we show that morphisms in Efimov's algebraizable categorical formal punctured neighborhood of infinity can be computed using the natural cone…

We show that the functor which assigns to an A-infinity morphism between isotopy classes of A-infinity algebras whose linear part is a chain homotopy equivalence its underlying chain map is a discrete Grothendieck bifibration. We then…

We prove a homological mirror symmetry result for maximally degenerating families of hypersurfaces in $(\mathbb{C}^*)^n$ (B-model) and their mirror toric Landau-Ginzburg A-models. The main technical ingredient of our construction is a…

A functor of sets $\mathbb X$ over the category of $K$-commutative algebras is said to be an affine functor if its functor of functions, $\mathbb A_{\mathbb X}$, is reflexive and $\mathbb X=\Spec \mathbb A_{\mathbb X}$. We prove that affine…

We study the compact monotone Fukaya category of $T^*S^n$, for $n\geq 2$, and show that it is split-generated by two classes of objects: the zero-section $S^n$ (equipped with suitable bounding cochains) and a 1-parameter family of monotone…

In order to classify concordance classes of codimension 2 embeddings in a manifold M, we need to determine the complement of such an embedding. These complements are spaces over M well defined up to some homology equivalence. We construct a…

In this paper we prove that a morphism between schemes or stacks naturally corresponds to a symmetric monoidal functor between stable infinity-categories of quasi-coherent complexes. It can be viewed as a derived analogue of Tannaka…

To a noncompact orientable surface with no closed boundary, we associate the sum of Fukaya categories of (Liouville sectors associated to) its symmetric powers. We construct sectorial covers with the combinatorics of the bar resolution to…

We develop new tools to compute the index of symmetry in the context of homogeneous fibrations. As a consequence of our results, we determine the index of symmetry of every homogeneous space diffeomorphic to a compact rank-one symmetric…

Let $(M,I,J,K,g)$ be a hyperk\"ahler manifold. Then the complex manifold $(M,I)$ is holomorphic symplectic. We prove that for all real $x, y,$ with $x^2 + y^2 = 1$ except countably many, any finite energy $(xJ+yK)$-holomorphic curve with…

In this remark we discuss a relationship between (co)homology classes of a symplectic manifold realized by symplectic and lagrangian objects. We establish some transversality condition for the classes, realized by symplectic divisors and…

We show that certain hands-on A-infinity-categorical constructions satisfy desirable universal properties in the infinity-category of A-infinity categories. For sufficiently cofibrant A-infinity categories, two models for quotients of…

Fix a suitably convex, exact symplectic manifold M. We consider the stable oo-category Lag(M) of non-compact Lagrangians whose (higher) morphisms are (higher) Lagrangian cobordisms between them. We show that this oo-category pairs with the…