Derived functors vs universal delta functors

2009-10-28T02:29:06Z

I would like to understand the relationship between the derived category definition of a right derived functor Rf (which involves an initial natural transformation n: Qf → (Rf)Q, where Q is the map to the derived category) and the "universal delta functor" definition given in Hartshorne III.1.

I already know that R^if(A) = H^i(Rf(A)). What I want to know most is:

What is the role of the natural transformation n in this comparison?

I guess it can be thought of as a natural map from a injective resolution of f(A) to f(an injective resolution of A), but I'm not sure what is the significance of this... Does anyone know a good reference explaining such things?

Answer by Reid Barton for Derived functors vs universal delta functors

2009-10-28T04:22:15Z

I don't have a complete answer, but maybe this is helpful: Unpacking the definition of "universal", a universal delta functor whose 0th functor is f is the same thing as an initial object in the category {delta functors T together with a natural transformation f → T^0} (provided, I guess, that the former object exists). Giving your n : Qf → (Rf)Q is the same as giving f → H^0 ∘ Rf ∘ Q, which looks rather similar.

Answer by Agusti Roig for Derived functors vs universal delta functors

2009-10-28T15:04:41Z

I haven't checked all the details, but I think the story could go like this. (I have to apologize: it's a bit long.)

(1) Let F: A ---> B be an additive left exact functor between two abelian categories. Take an injective resolution of an object A in A :

0---> A ---> I^0 ---> I^1 ---> ...

Let us call i: A ---> I^0 the first morphism. Apply F to this exact sequence:

0---> FA ---> FI^0 ---> FI^1 ---> ...

Now, the total right derived functor of F applied to A (thought as a complex concentrated in degree zero) is the complex

RF(A) = { FI^0 ---> FI^1 ---> FI^2 ---> ... }

and the classical right derived functors of F are its cohomology:

R^nF(A) = H^n(RF(A)) = H^n(FI^*) .

These {R^nF}_n are a universal cohomological delta-functor and we have a natural transformation of functors

qF ===> (RF)q

which is essentially

Fi: FA ---> RF(A)

(here we have extended F degree-wise to the category of complexes, and this is the degree zero of the natural transformation, because RF(A)^0 = FI^0 ).

(2) Now, let { T^n : A ---> B } be a cohomological delta-functor and f^0 : F ---> T^0 a natural transformation. We have to extend this f^0 to a unique morphism of delta-functors { f^n : R^nF ---> T^n } .

To do this, observe that, in general, given two right-derivable functors between two, say, model categories

F, G: C ---> D ,

and a natural transformation between them

t: F ===> G

we have a natural transformation between the total right derived functors

Rt : RF ===> RG

because of the universal property of the derived functors: indeed, if

f : qF ===> (RF)q and g : qG ===> (RG)q

are the universal morphisms of the derived functors, then we have a natural transformation

gt : F ===> (RG)q

and, so, because of the universal property of derived functors, a unique natural transformation

Rt : RF ===> RG

such that (Rt)qf = g .

(3) So, take our f^0 : F ---> T^0 , extend it to a natural transformation between the degree-wise induced functors between complexes. Passing to the derived functors, we obtain

Rf^0 : RF ===> RT^0 .

Taking cohomology, for each n , we get

H^n(Rf^0) : H^n (RF) ===> H^n (RT^0) .

But these are the classical right derived functors, so we have natural transformations

R^nf : R^n F ===> R^nT^0

and because the classical right derived functors are universal delta-functors, we have unique natural transformations

i^n : R^nT^0 ===> T^n

which extend the identity

i^0 : R^0T^0 = T^0 .

The composition

i^n R^f : R^F ===> T^n

is, I think, the required morphisms of delta-functors that we need.

Derived functors vs universal delta functors - MathOverflow

Derived functors vs universal delta functors

Answer by Reid Barton for Derived functors vs universal delta functors

Answer by Agusti Roig for Derived functors vs universal delta functors