Related papers: Constructing the relative Fukaya category
We study monoidal categories that enjoy a certain weakening of the rigidity property, namely, the existence of a dualizing object in the sense of Grothendieck and Verdier. We call them Grothendieck-Verdier categories. Notable examples…
To a conical symplectic resolution with Hamiltonian torus action, Braden--Proudfoot--Licata--Webster associate a category O, defined using deformation quantization (DQ) modules. It has long been expected, though not stated precisely in the…
We construct the cyclic open--closed map for the big (i.e., bulk-deformed) relative Fukaya category, in the semipositive case, and show that it is a morphism of `polarized variations of semi-infinite Hodge structures'. We also give a…
We develop a set of tools for doing computations in and of (partially) wrapped Fukaya categories. In particular, we prove (1) a descent (cosheaf) property for the wrapped Fukaya category with respect to so-called Weinstein sectorial…
We prove that the bounded derived category of coherent sheaves with proper support is equivalent to the category of locally-finite, cohomological functors on the perfect derived category of a quasi-projective scheme over a field. We…
Given a holomorphic family of Bridgeland stability conditions over a surface, we define a notion of spectral network which is an object in a Fukaya category of the surface with coefficients in a triangulated DG-category. These spectral…
We consider a definition of the Fukaya category of a singular hypersurface proposed by Auroux, given by localizing the Fukaya category of a nearby fiber at Seidel's natural transformation, and show that this possesses several desirable…
Let $X$ be a compact toric variety. The quantum cohomology of $X$ decomposes as a direct sum, and associated to each summand $Q$ is a toric fibre $L_Q$ with rank $1$ local system. By building an explicit twisted-complex-like object, we show…
A construction of Wehrheim and Woodward circumvents the problem that compositions of smooth canonical relations are not always smooth, building a category suitable for functorial quantization. To apply their construction to more examples,…
This paper surveys some recent results about Fourier--Mukai functors. In particular, given an exact functor between the bounded derived categories of coherent sheaves on two smooth projective varieties, we deal with the question whether…
We introduce a formalism which allows us to formulate a version of Fukaya category in presence of curves of higher genus.
This is an informal (and mostly conjectural) discussion of some aspects of Fukaya categories. We start by looking at exact symplectic manifolds which are obtained from a closed Calabi-Yau by removing a hyperplane section. We look at the…
We explain how to calculate the Fukaya category of the Milnor fiber of a Berglund-H\"ubsch invertible polynomial, mostly proving a conjecture of Yank{\i} Lekili and Kazushi Ueda on homological mirror symmetry. As usual, we begin by…
In this paper, we define a relative Morse complex for manifold with boundary using the handlebody decomposition of the manifold. We prove that the homology of the relative Morse complex is isomorphic to the relative singular homology.…
The derived category of coherent sheaves $\mathcal{T}_B$ associated to a birational cobordism which is either a weighted projective space, a stacky Atiyah flip, or a stacky blow-up of a point has a conjectural mirror Fukaya-Seidel category…
We propose a way of understanding homological mirror symmetry when a complex manifold is a smooth compact toric manifold. So far, in many example, the derived category $D^b(coh(X))$ of coherent sheaves on a toric manifold $X$ is compared…
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…
Due to a theorem by Orlov every exact fully faithful functor between the bounded derived categories of coherent sheaves on smooth projective varieties is of Fourier-Mukai type. We extend this result to the case of bounded derived categories…
In this paper, we construct a Fukaya category of any infinite type surface whose objects are gradient sectorial Lagrangians. This class of Lagrangian submanifolds is introduced by one of the authors in [Oh21b] which can serve as an object…
We study complexes of stable $\infty$-categories, referred to as categorical complexes. As we demonstrate, examples of such complexes arise in a variety of subjects including representation theory, algebraic geometry, symplectic geometry,…