### Quick description

Computations with derived functors are used in many contexts in algebra, number theory, geometry (especially complex analytic or algebraic geometry), and topology. Often one needs to compute the result of some derived functor applied to a particular object, as an end in itself, or in order to substitute the answer into another calculation that one is making. In this article we discuss some of the basic techniques for computing derived functors.

It should be noted that often one just wants to compute the order (if it turns out to be a finite group) or the dimension (if it turns out to be a vector space) of the particular value of the derived functor in question. We also discuss techniques for doing this here.

### See also

How to compute group cohomology

How to compute Galois cohomology

### Prerequisites

A knowledge of basic homological algebra, together with other relevant fields (typically at the graduate level) depending on the example.

### Basic tools

Suppose that is a left exact functor (to fix ideas; but one could equally well apply this discussion to a right exact functor) on some abelian category (e.g. a category of sheaves or modules).

If is an exact sequence of objects, then applying and its derived functors gives a long exact sequence

where denote the th right derived functor of . So if we know a lot about the values of for two of the three objects in the original exact sequence, we can hope to obtain information about the values of applied to the remaining object.

### Example 1

The simplest situation occurs when all higher derived functors and (say) vanish. For example, suppose we wish to compute in the category of abelian groups, where is a finite abelian group and is a positive integer. We put in the short exact sequence

in which the second arrow is multiplication by , and the third arrow is multiplication by .

Applying to this short exact sequence, we get a long exact sequence of s. Since is divisible, and thus injective, we see that vanishes. Thus this long exact sequence of s simplifies somewhat to the four term exact sequence

where in particular the third arrow is multiplication by . Now is the Pontrjagin dual of the finite abelian group . Thus we obtain a natural isomorphism

where the first isomorphism comes from the long exact sequence, and the second isomorphism is a general property of Pontrjagin duality. (Here denotes the -torsion subgroup of .) In general, if is a homomorphism of finite abelian groups, it induces a transpose map , via the formula for any One then checks that the kernel of and the cokernel of are in natural duality. If is multiplication by thought of as a map from to itself, then coincides with multiplication by thought of as a map from to itself (as one verifies from the definition: ). Thus the and are in duality, as claimed. This gives about as an explicit solution to our computation as we could hope for. (Note that is makes sense that the answer is given in terms of the dual of , rather than directly in terms of , since is a contravariant functor of .)

### Example 2

The preceding example demonstrates a general principle, namely, that it is useful to have a good supply of objects some or all of the derived functors of which are known to vanish. This is one reason that vanishing theorems for derived functors are given so much prominence in the theory of various derived functors.

Here are some basic examples of vanishing results:

All higher right derived functors vanish when applied to an injective object (essentially by definition).

All higher left derived functors vanish when applied to a projective object (again, essentially by definition).

In particular, if and are modules over a ring , then vanishes if and either is projective (e.g. free) or is injective.

All higher s vanish when one of the arguments is flat. (Again, essentially by definition of flat.) One gets a good supply of flat modules over any commutative ring by noting that any localization of is flat over . If is furthermore Noetherian, then the Artin-Rees theorem shows that the completion of at any ideal is flat over .

If is a Galois extension of fields, with Galois group , then the group cohomology vanishes if , and also vanishes. (The latter result is Hilbert's celebrated Theorem 90.)

If is a sheaf of abelian groups on a topological space which is supported on a finite set of closed points, then (th sheaf cohomology) vanishes if .

### Example 3

The reader can examine the links given above for further examples of methods for computatings of derived functors.

## Comments

## Post new comment

(Note: commenting is not possible on this snapshot.)