Related papers: Constructing the relative Fukaya category
In this work we shall introduce a new model structure on the category of pro-simplicial sheaves, which is very convenient for the study of \'etale homotopy. Using this model structure we define a pro-space associated to a topos, as a result…
This article uses relative symplectic cohomology, recently studied by the second author, to understand rigidity phenomena for compact subsets of symplectic manifolds. As an application, we consider a symplectic crossings divisor in a…
We give a unified interpretation of confluences, contiguity relations and Katz's middle convolutions for linear ordinary differential equations with polynomial coefficients and their generalization to partial differential equations. The…
The theory of integral, or Fourier-Mukai, transforms between derived categories of sheaves is a well established tool in noncommutative algebraic geometry. General "representation theorems" identify all reasonable linear functors between…
We prove the homological mirror symmetry conjecture of Kontsevich for K3 surfaces in the following form: The Fukaya category of a projective K3 surface is equivalent to the derived category of coherent sheaves on the mirror, which is a K3…
In this paper, we classify several subcategories of the category of coherent sheaves on a noetherian divisorial scheme (e.g. a quasi-projective scheme over a commutative noetherian ring). More precisely, we classify the torsionfree (resp.…
Reasoning about weak higher categorical structures constitutes a challenging task, even to the experts. One principal reason is that the language of set theory is not invariant under the weaker notions of equivalence at play, such as…
We give a construction of ``quantum Maslov characteristic classes'', generalizing to higher dimensional cycles the Hu-Lalonde-Seidel morphism. We also state a conjecture extending this to an $A _{\infty}$ functor from the exact path…
The main contribution of this thesis is a Tannaka duality theorem for proper Lie groupoids. This result is obtained by replacing the category of smooth vector bundles over the base manifold of a Lie groupoid with a larger category, the…
In this paper we prove an $\infty$-categorical version of the reflection theorem of Ad\'amek-Rosick\'y. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $\kappa$-filtered colimits is a…
We prove that every spherical object in the derived Fukaya category of a closed surface of genus at least two whose Chern character represents a non-zero Hochschild homology class is quasi-isomorphic to a simple closed curve equipped with a…
We incorporate pearly Floer trajectories into the transversality scheme for pseudoholomorphic maps introduced by Cieliebak-Mohnke. By choosing generic domain-dependent almost complex structures we obtain zero and one-dimensional moduli…
We consider semisimple super Tannakian categories generated by an object whose symmetric or alternating tensor square is simple up to trivial summands. Using representation theory, we provide a criterion to identify the corresponding…
The Fukaya category of a punctured surface can be reconstructed from a pair-of-pants decomposition using a formal construction that attaches a category to a trivalent graph. We extend this formal construction to include a choice of line…
In this chapter we survey some particular topics in category theory in a somewhat unconventional manner. Our main focus will be on monoidal categories, mostly symmetric ones, for which we propose a physical interpretation. These are…
We study relative integral functors for singular schemes and characterise those which preserve boundness and those which have integral right adjoints. We prove that a relative integral functor is an equivalence if and only if its…
We establish a duality between flat affine group schemes and rigid tensor categories equipped with a neutral fiber functor (called Tannakian lattice), both defined over a Dedekind ring. We use this duality and the known Tannakian duality…
Given a monotone Lagrangian $L$ in a compact symplectic manifold $X$, we construct a commutative diagram relating the closed-open string map $\mathcal{CO}_\lambda \colon \operatorname{QH}^*(X) \to \operatorname{HH}^*(\mathcal{F}…
We propose the notion of a supercategory as an alternative approach to supermathematics. We show that this setting is rich to carry out many of the basic constructions of supermathematics. We also prove generalizations of a number of…
We construct a functor valued invariant of oriented tangles on certain singular blocks of category O. Parabolic subcategories of these blocks categorify tensor products of various fundamental sl(k) representations. Projective functors…