Related papers: Formality of the constructible derived category fo…

This paper contains detailed proofs of our results on the moduli space and the structure of noncommutative 3-spheres. We develop the notion of central quadratic form for quadratic algebras, and a general theory which creates a bridge…

We introduce the notion of being cohomologically complete for objects of the derived category of sheaves of $Z[\hbar]$-modules on a topological space. Then we consider a $Z[\hbar]$-algebra satisfying some suitable conditions and prove…

We show that a $\mathbb{P}$-object and simple configurations of $\mathbb{P}$-objects have a formal derived endomorphism algebra. Hence the triangulated category (classically) generated by such objects is independent of the ambient…

In this note we present a work in progress whose main purpose is to establish a categorified version of sheaf theory. We present a notion of derived categorical sheaves, which is a categorified version of the notion of complexes of sheaves…

We formalize the concept of sheaves of sets on a model site by considering variables thereof, or motifs, and we construct functorially defined derived algebraic stacks from them, thereby eliminating the necessity to choose derived…

A classical result asserts that the complex projective plane modulo complex conjugation is the 4-dimensional sphere. We generalize this result in two directions by considering the projective planes over the normed real division algebras and…

This paper is based on a talk at a conference "JDG 2017: Conference on Geometry and Topology". We survey recent progress on the DK hypothesis connecting the birational geometry and the derived categories stating that the K-equivalence of…

In these notes, an introduction to derived categories and derived functors is given. The main focus is the bounded derived category of coherent sheaves on a smooth projective variety.

Derived differential manifolds are constructed using the usual homotopy theory of simplicial rings of smooth functions. They are proved to be equivalent to derived differential manifolds of finite type, constructed using homotopy sheaves of…

Let $X$ be an affine, smooth, and Noetherian scheme over $\mathbb{C}$ acted on by an affine algebraic group $G$. Applying the technique developed in Arkhipov and {\O}rsted (2018a, 2018b), we define a dg-model for the derived category of…

Using log-geometry, we construct a model for the configuration category of a smooth algebraic variety. As an application, we prove the formality of certain configuration spaces.

The filtered derived category of an abelian category has played a useful role in subjects including geometric representation theory, mixed Hodge modules, and the theory of motives. We develop a natural generalization using current methods…

We prove a formality theorem for algebraic objects internal to smooth complex varieties that are not compact but whose mixed Hodge structure has a certain purity property.

The main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...)…

Given a stratified topological space, we answer the question whether the functor from the derived category of constructible sheaves to the derived category of sheaves with constructible cohomology is an equivalence. We also establish basic…

Building on the concept of a smooth DG algebra we define the notion of a smooth derived category. We the propose the definition of a categorical resolution of singularities. Our main example is the derived category $D(X)$ of quasi-coherent…

For a $p$-adic field $F$ of residual cardinality $q$, we provide a triangulated equivalence between the bounded derived category $D^b(\mathcal{B}_{1}(G)_{fg})$ of finitely generated unipotent representations of $G=\mathrm{GL}_2(F)$ and…

We study the homotopy category $\mathsf{K}_{N}(\mathcal{B})$ of $N$-complexes of an additive category $\mathcal{B}$ and the derived category $\mathsf{D}_{N}(\mathcal{A})$ of an abelian category $\mathcal{A}$. First we show that both…

Let X be a projective, equidimensional, singular scheme over an algebraically closed field. Then the existence of a geometric smoothing (i.e. a family of deformations of X over a smooth base curve whose generic fibre is smooth) implies the…

We construct the derived scheme of stable sheaves on a smooth projective variety via derived moduli of finite graded modules over a graded ring. We do this by dividing the derived scheme of actions of Ciocan-Fontanine and Kapranov by a…