In the mathematical subfield of category theory and homological algebra , a derived functor (also: derived functor ) of a left or right exact functor is a measure of how far it deviates from the exactness. The name comes from the fact that analogously the derivatives of a function measure how much it deviates from a constant function.
For the remainder of this article, let and be Abelian categories and a covariant left exact functor . In the case of a contravariant and / or right-hand exact functor, the same applies, whereby arrows may have to be turned around and injective objects replaced by projective objects .
exact, so is the corresponding sequence
exactly, but generally not the continuation through .
In principle, one could indeed continue the sequence - this is how the coke is finally defined - by exactly continuing, but this continuation would then depend on the homomorphism . One would like to have a dependency only on the objects.
The fact that one of the objects involved can already severely limit the deviation from the accuracy can be seen, for example, in the case that it is an injective object . It then follows that the original sequence cleaves and is isomorphic . This is carried over to the image sequence, which in this case is also a short, exact sequence.
In this respect, it is reasonable to assume that (at least under suitable additional conditions) one generally has an exact sequence
can be found, wherein the object functorial of dependent. In addition, there should be an object as “simple” as possible among all candidates; so should apply when is injective.
A sequence of functors for all hot δ- functors if there is any short exact sequence
natural homomorphisms there, so the long sequence
is exact. Strictly speaking, one should even count those with the data of a δ-functor, which results in a functor from the category of short exact sequences to the category of long exact sequences.
Let be universal among the δ-functors with natural transformation , i.e. H. there is a natural transformation and for everyone who in turn has a natural transformation , uniquely certain natural transformations for all , so that the corresponding long exact sequences are compatible. Then the -th (right-) derived functor of is called .
Existence and calculation
The following applies: If there are enough injective objects, the derived functors exist .
Sufficient number of injective objects means that there is an injective object and a monomorphism for each object . For each one such is chosen and it applies for the sake of simplicity if it is already injective.
Then we can set as well as (see above) for and injectives and then get from the short exact sequence
the long exact sequence to be formed
In order to make all of them functors, one still has to investigate the effect on homomorphisms, where it suffices to consider. If there is a homomorphism, this can be continued (in an ambiguous way!), So that a commutative diagram is obtained
gets a chart
induced. The fact that at least the right vertical arrow is unambiguous (and thus indeed defines a functor) can be demonstrated by a hunt for a diagram . Because if the null homomorphism is factored over , i.e. H. You can add a diagonal commutative to the original diagram , and consequently also the second diagram , which in turn results in the zero homomorphism on the right.
Alternatively, one forms an injective resolution of , i. H. an exact sequence
with injective objects (e.g. , etc.). One then wins all at once as the -th cohomology of the complex
with at the -th place, which is why this is probably the most common method in literature.
With the snake lemma and the horseshoe lemma one then shows that there is indeed a δ-functor. By further chart hunts one proves that the has universal property. Therefore, the result in particular "essentially" does not depend on the choice of the injective resolution. For the concrete calculation, instead of an injective one, you can even use a resolution using -acyclic objects (i.e. for is already known). It then applies .
Correspondingly, one can calculate left derivatives of right exact functors for categories with a sufficient number of projective objects (ie for each there is a projective and an epimorphism ) via projective resolutions .
- More general and only naturally equivalent functors; Equality is a peculiarity of the first construction given above.
- Is injective, so is for .
- If is an exact functor, then the zero functor is for .
- Ext is the right derivative of the Hom functor .
- Tor is the left derivative of the tensor product .
- Sheaf cohomology is the right derivative of the functor global cuts .
- Group cohomology is the right derivative of the functor invariants .