nLab derived category

Redirected from "derived (infinity,1)-category".
Contents

Context

Homological algebra

homological algebra

(also nonabelian homological algebra)

Introduction

Context

Basic definitions

Stable homotopy theory notions

Constructions

Lemmas

diagram chasing

Schanuel's lemma

Homology theories

Theorems

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Contents

Idea

The derived (infinity,1)-category or derived category of an abelian category 𝒜\mathcal{A} is the setting for homological algebra in 𝒜\mathcal{A}: the (infinity,1)-categorical localization of the category of chain complexes in 𝒜\mathcal{A} at the class of quasi-isomorphisms. The derived category is a fundamental example of a stable (infinity,1)-category. In the case that 𝒜\mathcal{A} \simeq R Mod R Mod (cf. the Freyd-Mitchell embedding theorem), the stable Dold-Kan correspondence says that the derived \infty-category of 𝒜\mathcal{A} is equivalently the stable \infty -category of H R H R -module spectra.

The derived \infty-category is presented by various dg-model structures on the category of chain complexes, as described at model structures on chain complexes. As such it has also a natural incarnation as a pretriangulated dg-category, which might be called the derived dg-category.

Like any stable (infinity,1)-category, the homotopy category of the derived (infinity,1)-category admits a canonical triangulated category structure. Often in the literature, the term derived category refers to the homotopy category, viewed only as a triangulated category. The loss of information can often be problematic, but for many purposes is not important.

In what follows, we will describe only the homotopy category. See (infinity,1)-category of chain complexes for the full (infinity,1)-category.

Associated to 𝒜\mathcal{A} is

The derived category D(C)D(C) of 𝒜\mathcal{A} is equivalently

In either case, this means that under the canonical localization functor

Q:Ch (𝒜)D(𝒜) Q : Ch_\bullet(\mathcal{A}) \to D(\mathcal{A})

the quasi-isomorphisms of chain complexes become true isomorphisms and that D(𝒜)D(\mathcal{A}) is universal with respect to this property.

Hence the derived category is an approximation to the full simplicial localization of K(𝒜)K(\mathcal{A}). It is or can be equipped with several further properties and structure that give a more accurate approximation. Notably every derived category is a triangulated category, which is a way of remembering the suspension and de-suspension operations on its objects – the suspension of chain complexes – hence its “stability”.

History

Derived categories were introduced by Jean-Louis Verdier in his thesis under the supervision of Alexandre Grothendieck. It was originally used to extend Serre duality to a relative context. See Hartshorne‘s lecture notes “Residues and duality”.

Definition

Let 𝒜\mathcal{A} be an abelian category and K(𝒜)K(\mathcal{A}) its category of chain complexes modulo chain homotopy (the “homotopy category of chain complexes”).

Equip K(𝒜)K(\mathcal{A}) with the structure of a homotopical category by declaring the weak equivalences to be the quasi-isomorphisms: those morphisms f:VWf : V \to W which induce isomorphisms in homology, H(f):H(V)H(W)H(f) : H(V) \stackrel{\simeq}{\to} H(W).

Definition

The derived category D(𝒜)D(\mathcal{A}) is the homotopy category of K(𝒜)K(\mathcal{A}) with respect to these weak equivalences.

Analogously, for K +,,b(𝒜)K^{+,-,b}(\mathcal{A}) denoting the full subcategory on the chain complexes bounded above, bounded below, or bounded, respectively (see at category of chain complexes), one writes

D +,,b(𝒜)D(𝒜) D^{+,-,b}(\mathcal{A}) \hookrightarrow D(\mathcal{A})

for the correspponding full subcategory of the derived category.

Equivalent characterizations and constructions

There are various ways to construct or express the derived category more explicitly in terms of various special objects or morphisms in the category of chain complexes.

In terms of localization at a null system

The “homotopy category of chain complexesK(𝒜)K(\mathcal{A}) is already a triangulated category. The derived category can be obtained as the construction of a homotopy category of a triangulated category with respect to a null system.

Definition

Let

N(𝒜)K(𝒜) N(\mathcal{A}) \subset K(\mathcal{A})

and analogously

N +,n,b(𝒜)K +,,b(𝒜) N^{+,-n,b}(\mathcal{A}) \subset K^{+,-,b}(\mathcal{A})

be the full subcategory of K(C)K(C) or on K +,,bK^{+,-,b}, respectively, on those chain complexes VV whose chain homology vanishes in every degree, H (V)=0H_\bullet(V) = 0.

Proposition

A chain map f :V W f_\bullet : V_\bullet \to W_\bullet is a quasi-isomorphism precisely there exists a distinguished triangle in K(𝒜)K(\mathcal{A}) of the form

VfWcone(f) V \stackrel{f}{\to} W \to cone(f)

with the mapping cone cone(f)N(𝒞)cone(f) \in N(\mathcal{C}).

Proposition

The derived category is equivalently the localization of K(𝒜)K(\mathcal{A}) at the null system N(𝒜)N(\mathcal{A}).

D(𝒜)K(𝒜)/N(𝒜). D(\mathcal{A}) \simeq K(\mathcal{A})/N(\mathcal{A}) \,.

This perspective is discussed in (Kashiwara-Schapira, section 13) and (Schapira, section 6.2, 72).

In terms of injective and projective resolutions

In the case that the underlying abelian category 𝒜\mathcal{A} has enough injectives or enough projectives, the hom sets in the derived category may equivalently be obtained as homotopy-classes of chain maps from projective resolutions to injective resolutions of chain complexes.

In view of the existence of the injective and projective model structure on chain complexes this is a special case of the general fact that homotopy categories of model categories may be obtained by forming homotopy classes of maps in the model category from cofibrant resolutions to fibrant resolutions. For more details on the model-category point of view, see e.g. Appendix C of Toën, Vaquié. But here we spell out an direct discussion of this fact for chain complexes.

Definition

Write K +( 𝒜)K +(𝒜)K^+(\mathcal{I}_{\mathcal{A}}) \hookrightarrow K^+(\mathcal{A}) for the full subcategory of the homotopy category of chain complexes bounded above on those that are degreewise injective objects.

Dually, let K (𝒫 𝒜)K (𝒜)K^-(\mathcal{P}_{\mathcal{A}}) \hookrightarrow K^-(\mathcal{A}) for the full subcategory of the homotopy category of chain complexes bounded below on those that are degreewise projective objects.

Theorem

If 𝒜\mathcal{A} has enough injectives then the canonical functor

K +( 𝒜)D +(𝒜) K^+(\mathcal{I}_{\mathcal{A}}) \to D^+(\mathcal{A})

is an equivalence of categories.

Dually, if 𝒜\mathcal{A} has enough projectives then the canonical functor

K (𝒫 𝒜)D (𝒜) K^-(\mathcal{P}_{\mathcal{A}}) \to D^-(\mathcal{A})

is an equivalence of categories.

For instance (Schapira, cor. 7.2.3).

References

The original reference:

Systematic discussion from the point of view of localization and homotopy theory:

and, similarly, in section 7 of

For the model-category version of this story for an arbitrary ringed site, including details about the tensor, internal hom, and () !(-)_! and () *(-)^*, see Appendix C of

  • Bertrand Toën, Michel Vaquié, Algebraization of complex analytic varieties and derived categories (arXiv:math/0703555v1)

A detailed treatment of derived categories (including of DG modules over DG rings), with applications to noncommutative algebra, is in the book

A pedagogical introduction:

A good survey of the more general topic of derived categories is

See in particular also the list of references given there.

Other lecture notes include

  • Theo Bühler, An introduction to the derived category (pdf).

and for applications to coherent sheaves,

  • Franco Rota, An introduction to the derived category of coherent sheaves (pdf)

For a discussion in the context of (∞,1)-categories and in particular stable (∞,1)-categories see section 13, p. 53 of

On applications of derived categories in algebraic geometry:

On the algebraic K-theory of rings being encoded in the respective derived categories:

Last revised on September 29, 2024 at 02:45:51. See the history of this page for a list of all contributions to it.