Related papers: Derived categories for the working mathematician

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…

Category theory provides a collective description of many arrangements in mathematics, such as topological spaces, Banach spaces and game theory. Within this collective description, the perspective from any individual member of the…

We show that differential calculus (in its usual form, or in the general form of topological differential calculus) can be fully imdedded into a functor category (functors from a small category of anchord tangent algebras to anchored sets).…

This is a companion paper of arXiv:1901.09461, where different notions of dimension for triangulated categories are discussed. Here we compute dimensions for some examples of triangulated categories and thus illustrate and motivate material…

We show that for the path algebra $A$ of an acyclic quiver, the singularity category of the derived category $\mathsf{D}^{\rm b}(\mathsf{mod}\,A)$ is triangle equivalent to the derived category of the functor category of…

We survey the basics of homological algebra in exact categories in the sense of Quillen. All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3 x 3-lemma and the snake lemma. We briefly discuss exact functors,…

We recall the notions of a graded cocategory, conilpotent cocategory, morphisms of such (cofunctors), coderivations and define their analogs in $\mathbb L$-filtered setting. The difference with the existing approaches: we do not impose any…

We fill a gap in the literature regarding `transport of structure' for (n+2)-angulated, n-exact, n-abelian and n-exangulated categories appearing in (classical and higher) homological algebra. As an application of our main results, we show…

We interpret tensors on a smooth manifold M as differential forms over a graded commutative algebra called the algebra of iterated differential forms over M. This allows us to put standard tensor calculus in a new differentially closed…

Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades,…

We develop the deformation-obstruction calculus for morphisms of complexes with a fixed lift of the codomain, to derived categories of flat nilpotent deformations of abelian categories. As an application, we give an alternative proof that…

In this paper, we will consider derived equivalences for differential graded endomorphism algebras by Keller's approaches. First we construct derived equivalences of differential graded algebras which are endomorphism algebras of the…

We propose a geometric and categorical approach to the Hodge Conjecture for all smooth projective complex varieties. By embedding any such variety into a flat family with general fibers smooth complete intersections, we prove the conjecture…

The derived category of bounded complexes of coherent sheaves is one of the most important algebraic invariants of a smooth projective variety. An important approach to understand derived categories is to construct full strongly exceptional…

We study thick subcategories of derived categories of gentle algebras. Any thick subcategory of a derived category of a gentle algebra is generated by a set of string objects or a set of band objects. We show the thick subcategories…

This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…

Hyperspaces form a powerful tool in some branches of mathematics: lots of fractal and other geometric objects can be viewed as fixed points of some functions in suitable hyperspaces - as well as interesting classes of formal languages in…

We explain how the approach of Andre and Quillen to defining cohomology and homology as suitable derived functors extends to generalized (co)homology theories, and how this identification may be used to study the relationship between them.…

In this paper, we investigate properties of the bounded derived category of finite dimensional modules over a gentle or skew-gentle algebra. We show that the Rouquier dimension of the derived category of such an algebra is at most one.…

We prove the conjecture that higher Verlinde categories are geometrically reductive. This is one of the two properties required in order for recent results on algebraic geometry in tensor categories to apply to these categories. We also…