Related papers: $\mathcal D$-$\Omega$ duality on the contra side
Associated to a presentable $\infty$-category $\mathcal{C}$ and an object $X \in \mathcal{C}$ is the tangent $\infty$-category $\mathcal{T}_X\mathcal{C}$, consisting of parameterized spectrum objects over $X$. This gives rise to a…
We show that the category of ind-coherent sheaves on a quasi-smooth scheme is naturally tensored over the category of sheared D-modules on its shifted cotangent bundle, commuting with its natural action of categorified Hoschschild cochains.…
We give an explicit combinatorial description of the deformation theory of the Abelian category of (quasi)coherent sheaves on any separated Noetherian scheme $X$ via the deformation theory of path algebras of quivers with relations, by…
We show that for a quasicompact quasiseparated scheme $X$, the following assertions are equivalent: (1) the category $\operatorname{QCoh}(X)$ of all quasicoherent sheaves on $X$ has a flat generator; (2) for every injective object $\mathcal…
Realizing a part of the Derived Deformation Theory program, we construct a "derived" analog of the Grothendieck's Quot scheme parametrizing subsheaves in a given coherent sheaf F on a smooth projective variety X. This analog is a…
The goal of this papers is to extending to the complex analytic framework the relative Kleiman duality for quasi coherent sheaves. Precisely, he show that for any flat,locally projectivea and finitely presented morphism of schemes…
The purpose of this paper is to present a mathematical theory of the half-twisted $(0,2)$ gauged linear sigma model and its correlation functions that agrees with and extends results from physics. The theory is associated to a smooth…
Let ${\mathfrak o}$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ and ${\mathfrak X}_0$ a smooth formal scheme over the formal spectrum of ${\mathfrak o}$. Given an admissible formal blow-up ${\mathfrak X}$ of…
We promote Beilinson's triangulated equivalence between the bounded derived category of rational polarizable mixed Hodge structures and the derived category of rational polarizable mixed Hodge complexes to an equivalence of symmetric…
We give a generalization of Gabriel's Theorem on coherent sheaves to the case of coherent twisted sheaves on a smooth variety X over a field k. We show that the category Coh(X,\alpha) determines the scheme structure of X for \alpha in the…
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…
We introduce twisted arrow categories of operads and of algebras over operads. Up to equivalence of categories, the simplex category $\Delta$, Segal's category $\Gamma$, Connes cyclic category $\Lambda$, Moerdijk-Weiss dendroidal category…
We develop a version of Hodge theory for a large class of smooth formally proper quotient stacks $X/G$ analogous to Hodge theory for smooth projective schemes. We show that the noncommutative Hodge-de Rham sequence for the category of…
In this paper we construct the sheaf morphism from the sheaf of pseudodifferential operators to its symbol class. Since the map is hard to construct directly, we realize it with two original ideas as follows. First, to calculate…
In this paper, we study the category of twisted sheaves over a scheme $X$. Let $\mathcal{M}$ be a quasi-coherent sheaf on $X$, and $\alpha$ in $\operatorname{Br}(X)$. We show that the functor $ - \otimes_{\mathcal{O}_X} \mathcal{M} :…
Let $X$ be a smooth symplectic variety over a field $k$ of characteristic $p>2$ equipped with a restricted structure, which is a class $[\eta] \in H^0(X, \Omega^1_X/d\mathcal O_X)$ whose de Rham differential equals the symplectic form. In…
This note is mostly an exposition of an unpublished result of Deligne, which introduces an analogue of perverse $t$-structure on the derived category of coherent sheaves on a Noetherian scheme with a dualizing complex. Construction extends…
We define the triangulated category of relative singularities of a closed subscheme in a scheme. When the closed subscheme is a Cartier divisor, we consider matrix factorizations of the related section of a line bundle, and their analogues…
We develop an approach that allows to construct semiorthogonal decompositions of derived categories of surfaces with cyclic quotient singularities whose components are equivalent to derived categories of local finite dimensional algebras.…
We study the interaction between geometric operations on stacks and algebraic operations on their categories of sheaves. We work in the general setting of derived algebraic geometry: our basic objects are derived stacks X and their…