Derived Category - The Relation To Derived Functors

The Relation To Derived Functors

The derived category is a natural framework to define and study derived functors. In the following, let be a functor of abelian categories. There are two dual concepts:

  • right derived functors are "deriving" left exact functors and are calculated via injective resolutions
  • left derived functors come from right exact functors and are calculated via projective resolutions

In the following we will describe right derived functors. So, assume that F is left exact. Typical examples are, or for some fixed object A, or the global sections functor on sheaves or the direct image functor. Their right derived functors are Extn(–,A), Extn(A,–), Hn(X, F) or Rnf (F), respectively.

The derived category allows us to encapsulate all derived functors RnF in one functor, namely the so-called total derived functor . It is the following composition:, where the first equivalence of categories is described above. The classical derived functors are related to the total one via . One might say that the RnF forget the chain complex and keep only the cohomologies, whereas R F does keep track of the complexes.

Derived categories are, in a sense, the "right" place to study these functors. For example, the Grothendieck spectral sequence of a composition of two functors

such that F maps injective objects in A to G-acyclics (i.e. RiG(F(I)) = 0 for all i > 0 and injective I), is an expression of the following identity of total derived functors

R(GF) ≅ RGRF.

J.-L. Verdier showed how derived functors associated with an abelian category A can be viewed as Kan extensions along embeddings of A into suitable derived categories .

Read more about this topic:  Derived Category

Famous quotes containing the words relation and/or derived:

    There is undoubtedly something religious about it: everyone believes that they are special, that they are chosen, that they have a special relation with fate. Here is the test: you turn over card after card to see in which way that is true. If you can defy the odds, you may be saved. And when you are cleaned out, the last penny gone, you are enlightened at last, free perhaps, exhilarated like an ascetic by the falling away of the material world.
    Andrei Codrescu (b. 1947)

    All moral discipline, all moral perfection derived from the soul of literature.
    Thomas Mann (1875–1955)