We study $N$-differential graded ($NDG$) categories and their the derived categories. First, we introduce $N$-differential modules over an $NDG$ category $\mathcal{A}$. Then we show that the category $\mathsf{C}_{Ndg}(\mathcal{A})$ of $N$-differential $\mathcal{A}$-modules is a Frobenius category, and that its homotopy category $\mathsf{K}_{Ndg}(\mathcal{a})$ is a triangulated category. Second, we study the properties of the derived category $\mathsf{D}_{Ndg}(\mathcal{A})$ and give triangle equivalences of Morita type between derived categories of $NDG$ categories. Finally, we show $\mathsf{D}_{Ndg}(\mathcal{A})$ is triangle equivalent to the derived category of some ordinary DG category.
The aim of this paper is to reformulate the theory of unbounded derived categories, including more recent categories of first and second kind, using the language of $(\infty,1)$-categories.
We give some examples of abelian categories A for which the derived category D(A) is not left-complete. Perhaps the most natural of these is where A is the category of representations of the additive group G_a over a field k of characteristic p>0.
In a paper by Ford, it is claimed that to any pushout square of categories with all involved functors injective, there is associated an exact "Mayer--Vietoris" sequence of derived (co)limits. We provide a counter-example to this general statement. Further, we construct the Mayer--Vietoris sequence under some restrictions that cover the well-known case of a pushout square of group monomorphisms.
This is an extended version of my earlier articel "Projective and injective objects in symmetric categorical groups. arXiv:1007.0121v1." Several new facts added, including the material on the derived 2-functors and the proof of the Gabriel-Mitchel theorem and the Morita theory for 2-rings.
Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category with a proper class $ξ$ of $\mathbb{E}$-triangles. In this paper, we study Gorenstein derived functors for extriangulated categories. More precisely, we first introduce the notion of the proper $ξ$-Gorenstein projective resolution for any object in $\mathcal{C}$ and define the functors $ξ\text{xt}_{\mathcal{GP}(ξ)}$ and $ξ\text{xt}_{\mathcal{GI}(ξ)}$. Under some assumptions, we give some equivalent characterizations for any object with finite $ξ$-Gorenstein projective dimension. Next we get some nice results by using der…
In this note we provide an example of an endomorphism of a short exact sequence of perfect complexes, with the trace of the middle map not equal to the sum of the traces of the two other ones. The point is that the squares involved are commutative only up to homotopy. In view of this example I have found in 1968, Deligne immediately created his "categories spectrales", and soon afterwards Illusie introduced the "filtered derived categories" where a satisfactory kind of additivity is restored for the trace. This paper, written in French, ends up with a brief chronological comment.
We endow the homotopy category of well generated (pretriangulated) dg categories with a tensor product satisfying a universal property. The resulting monoidal structure is symmetric and closed with respect to the cocontinuous RHom of dg categories (in the sense of Toën [26]). We give a construction of the tensor product in terms of localisations of dg derived categories, making use of the enhanced derived Gabriel-Popescu theorem [21]. Given a regular cardinal alpha, we define and construct a tensor product of homotopically alpha-cocomplete dg categories and prove that the well generated tensor…
For any positive integer $n$, $n$-derived-simple derived discrete algebras are classified up to derived equivalence. Furthermore, the Jordan-Hölder theorems for all kinds of derived categories of derived discrete algebras are obtained.
We investigate certain categorical aspects of Voevodsky's triangulated categories of motives. For this, various recollements for Grothendieck categories of enriched functors and their derived categories are established. In order to extend these recollements further with respect to Serre's localization, the concept of the (strict) Voevodsky property for Serre localizing subcategories is introduced. This concept is inspired by the celebrated Voevodsky theorem on homotopy invariant presheaves with transfers. As an application, it is shown that Voevodsky's triangulated categories of motives fit in…
This paper is a sequel to "t-structures and twisted complexes on derived injectives" by the same authors. We develop the foundations of the infinitesimal derived deformation theory of pretriangulated dg-categories endowed with t-structures. This generalizes the deformation theory of abelian categories developed by the last two authors. We show how deformations of dg-categories of derived injectives yield derived deformations of the associated t-structures.
For an abelian category, a category equivalent to its derived category is constructed by means of specific projective (injective) multicomplexes, the so-called homological resolutions.
The derived category $D[C,V]$ of the Grothendieck category of enriched functors $[C,V]$, where $V$ is a closed symmetric monoidal Grothendieck category and $C$ is a small $V$-category, is studied. We prove that if the derived category $D(V)$ of $V$ is a compactly generated triangulated category with certain reasonable assumptions on compact generators or $K$-injective resolutions, then the derived category $D[C,V]$ is also compactly generated triangulated. Moreover, an explicit description of these generators is given.
This is the third paper in a series. In part I we developed a deformation theory of objects in homotopy and derived categories of DG categories. Here we show how this theory can be used to study deformations of objects in homotopy and derived categories of abelian categories. Then we consider examples from (noncommutative) algebraic geometry. In particular, we study noncommutative Grassmanians that are true noncommutative moduli spaces of structure sheaves of projective subspaces in projective spaces.
An adjoint pair of contravariant functors between abelian categories can be extended to the adjoint pair of their derived functors in the associated derived categories. We describe the reflexive complexes and interpret the achieved results in terms of objects of the initial abelian categories. In particular we prove that, for functors of any finite cohomological dimension, the objects of the initial abelian categories which are reflexive as stalk complexes form the largest class where a Cotilting Theorem in the sense of Colby and Fuller works.
In this paper we develop the obstruction theory for lifting complexes, up to quasi-isomorphism, to derived categories of flat nilpotent deformations of abelian categories. As a particular case we also obtain the corresponding obstruction theory for lifting of objects in terms of Yoneda Ext-groups. In appendix we prove the existence of miniversal derived deformations of complexes.
We study the derived categories of small categories over commutative noetherian rings. Our main result is a parametrization of the localizing subcategories in terms of the spectrum of the ring and the localizing subcategories over residue fields. In the special case of representations of Dynkin quivers over a commutative noetherian ring we give a complete description of the localizing subcategories of the derived category, a complete description of the thick subcategories of the perfect complexes and show the telescope conjecture holds. We also present some results concerning the telescope con…
We lift Grothendieck-Verdier-Spaltenstein's six functor formalism for derived categories of sheaves on ringed spaces over a field to differential graded enhancements. Our main tools come from enriched model category theory.
We show how derived categories build bridges across the current mathematical mainstream, linking geometric and algebraic, commutative and noncommutative, local and global banks. Arches in these bridges are pieces of semiorthogonal decompositions of triangulated categories. To appear in the Proceedings of the ICM 2002 in Beijing.
We prove that the derived categories of abelian categories have unique enhancements -- all of them, the unbounded, bounded, bounded above and bounded below derived categories. The unseparated and left completed derived categories of a Grothendieck abelian category are also shown to have unique enhancements. Finally we show that the derived category of complexes with quasi-coherent cohomology and the category of perfect complexes have unique enhancements for quasi-compact and quasi-separated schemes.
Derived decompositions of abelian categories are introduced in internal terms of abelian subcategories to construct semi-orthogonal decompositions (or Bousfield localizations, or hereditary torsion pairs) in various derived categories of abelian categories. We give a sufficient condition for arbitrary abelian categories to have such derived decompositions and show that it is also necessary for abelian categories with enough projectives and injectives. For bounded derived categories, we describe which semi-orthogonal decompositions are determined by derived decompositions. The necessary and suf…
We introduce a notion of derived Azumaya's algebras over rings and schemes. We prove that any such algebra $B$ on a scheme $X$ provides a class $ϕ(B)$ in $H^{1}_{et}(X,\mathbb{Z})\times H^{2}_{et}(X,\mathbb{G}_{m})$. We prove that for $X$ a quasi-compact and quasi-separated scheme $ϕ$ defines a bijective correspondence, and in particular that any class in $H^{2}_{et}(X,\mathbb{G}_{m})$, torsion or not, can be represented by a derived Azumaya's algebra on $X$. Our result is a consequence of a more general theorem about the existence of compact generators in \emph{twisted derived categories, wit…
We study semiorthogonal decompositions of bounded derived categories of gentle algebras and how they are manifested in the geometric model of these categories as constructed by Opper, Plamondon and Schroll. We prove that there is a one-to-one correspondence between such semiorthogonal decompositions and suitable cuts of the marked surface underlying the geometric model. Our main tool is the characterization of basis morphisms between indecomposable objects due to Arnesen, Laking and Pauksztello.
In this article we classify indecomposable objects of the derived categories of finitely-generated modules over certain infinite-dimensional algebras. The considered class of algebras (which we call nodal algebras) contains such well-known algebras as the complete ring of a double nodal point $\kk[[x,y]]/(xy)$ and the completed path algebra of the Gelfand quiver. As a corollary we obtain a description of the derived category of Harish-Chandra modules over $SL_{2}({\mathbb R})$. We also give an algorithm, which allows to construct projective resolutions of indecomposable complexes. In the appen…
Let S be a commutative ring with topologically noetherian spectrum and let R be the absolutely flat approximation of S. We prove that subsets of the spectrum of R parametrise the localising subcategories of D(R). Moreover, we prove the telescope conjecture holds for D(R). We also consider unbounded derived categories of absolutely flat rings which are not semi-artinian and exhibit an example of a cohomological Bousfield class that is not a Bousfield class.
This survey is based on my talk at the conference `Classical algebraic geometry today' at the MSRI. Some new results on the action of symplectomorphisms on the Chow group are added.
These notes are based on a series of five lectures given during the summer school ``Interactions between Homotopy Theory and Algebra'' held at the University of Chicago in 2004.
We introduce new enhancements for the bounded derived category $D^b(Coh(X))$ of coherent sheaves on a suitable scheme $X$ and for its subcategory $Perf(X)$ of perfect complexes. They are used for translating Fourier-Mukai functors to functors between derived categories of dg algebras, for relating homological smoothness of $Perf(X)$ to geometric smoothness of $X,$ and for proving homological smoothness of $D^b(Coh(X)).$ Moreover, we characterize properness of $Perf(X)$ and $D^b(Coh(X))$ geometrically.
New homotopy invariant finiteness conditions on modules over commutative rings are introduced, and their properties are studied systematically. A number of finiteness results for classical homological invariants like flat dimension, injective dimension, and Gorenstein dimension, are established. It is proved that these specialize to give results concerning modules over complete intersection local rings. A noteworthy feature is the use of techniques based on thick subcategories of derived categories.
In recent years, Benson, Iyengar and Krause have developed a theory of stratification for compactly generated triangulated categories with an action of a graded commutative Noetherian ring. Stratification implies a classification of localizing and thick subcategories in terms of subsets of the prime ideal spectrum of the given ring. In this paper two stratification results are presented: one for the derived category of a commutative ring-spectrum with polynomial homotopy and another for the derived category of cochains on certain spaces. We also give the stratification of cochains on a space a…
In this paper we establish an equivalence between the category of graded D-branes of type B in Landau-Ginzburg models with homogeneous superpotential W and the triangulated category of singularities of the fiber of W over zero. The main result is a theorem that shows that the graded triangulated category of singularities of the cone over a projective variety is connected via a fully faithful functor to the bounded derived category of coherent sheaves on the base of the cone. This implies that the category of graded D-branes of type B in Landau-Ginzburg models with homogeneous superpotential W …
We show that the projectivization of the exceptional rank 2 vector bundle on an arbitrary smooth V14 Fano threefold after a certain natural flop turns into the projectivization of an instanton vector bundle on a smooth cubic threefold. And vice versa, starting from a smooth cubic threefold with an instanton vector bundle of charge 2 on it we reconstruct V14 threefold. Relying on the geometric properties of the above correspondence we prove that the orthogonals to the exceptional pairs in the bounded derived categories of coherent sheaves on a smooth V14 threefold and on the corresponding cubic…
Generalizing Eisenbud's matrix factorizations, we define factorization categories. Following work of Positselski, we define their associated derived categories. We construct specific resolutions of factorizations built from a choice of resolutions of their components. We use these resolutions to lift fully-faithfulness statements from derived categories of Abelian categories to derived categories of factorizations and to construct a spectral sequence computing the morphism spaces in the derived categories of factorizations from Ext-groups of their components in the underlying Abelian category.
We introduce syzygies for derived categories and study their properties. Using these, we prove the derived invariance of the following classes of artin algebras: (1) syzygy-finite algebras, (2) Igusa-Todorov algebras, (3) AC algebras, (4) algebras satisfying the finitistic Auslander conjecture, and (5) algebras satisfying the generalized Auslander-Reiten conjecture. In particular, Gorenstein CM-finite algebras are derived invariants.
We show that every thick subcategory of the singularity category of a complete intersection ring is self dual. We also prove the analogous statement for thick subcategories of the bounded derived category and give applications to the symmetry of vanishing of cohomology. These results are also proved for certain complete intersection schemes.
We prove that the bounded derived category of the incidence algebra of the Tamari lattice is fractionally Calabi-Yau, giving a positive answer to a conjecture of Chapoton. The proof involves a combinatorial description of the Serre functor of this derived category on a sufficiently nice family of indecomposable objects.
For a locally presentable abelian category $\mathsf B$ with a projective generator, we construct the projective derived and contraderived model structures on the category of complexes, proving in particular the existence of enough homotopy projective complexes of projective objects. We also show that the derived category $\mathsf D(\mathsf B)$ is generated, as a triangulated category with coproducts, by the projective generator of $\mathsf B$. For a Grothendieck abelian category $\mathsf A$, we construct the injective derived and coderived model structures on complexes. Assuming Vopenka's prin…
For an abelian category $\mathcal{A}$, we establish the relation between its derived and extension dimensions. Then for an artin algebra $Λ$, we give the upper bounds of the extension dimension of $Λ$ in terms of the radical layer length of $Λ$ and certain relative projective (or injective) dimension of some simple $Λ$-modules, from which some new upper bounds of the derived dimension of $Λ$ are induced.
This paper can be thought of as an extended introduction to arXiv:0708.3398; nevertheless, most of its results are not covered by loc. cit. We consider the derived categories of DG-modules, DG-comodules, and DG-contramodules, the coderived and contraderived categories of CDG-modules, the coderived categories of CDG-comodules, and the contraderived categories of CDG-contramodules. The equivalence between the latter two categories (the comodule-contramodule correspondence) is established. Nonhomogeneous Koszul duality or "triality" (an equivalence between exotic derived categories corresponding …
It is proved that an element $r$ in the center of a coherent ring $Λ$ annihilates $\mathrm{Ext}^{n}_Λ(M,N)$, for some positive integer $n$ and all finitely presented $Λ$-modules $M$ and $N$, if and only if the bounded derived category of $Λ$ is an extension of the subcategory consisting of complexes annihilated by $r$ and those obtained as $n$-fold extensions of $Λ$. This has applications to finiteness of dimension of derived categories.
For an exact category having enough projective objects, we establish a bijection between thick subcategories containing the projective objects and thick subcategories of the stable derived category. Using this bijection we classify thick subcategories of finitely generated modules over local complete intersections and produce generators for the category of coherent sheaves on a separated noetherian scheme with an ample family.
For an essentially small triangulated category $\mathcal{T}$, we introduce the notion of prime thick subcategories and define the spectrum of $\mathcal{T}$, which shares the basic properties with the spectrum of a tensor triangulated category introduced by Balmer. We mainly focus on triangulated categories that appear in algebraic geometry such as the derived and the singularity categories of a noetherian scheme $X$. We prove that certain classes of thick subcategories are prime thick subcategories of these triangulated categories. Furthermore, we use this result to show that certain subspaces…
