Back to the index. Or to the chambers

This article has 33 links. View as Cloud or List.

1	Category
1	Functor
1	Polygon
1	Convex Angle
1	Complex
1	Basic Polynomial
1	Property
1	Terms From Foreign Languages Used In Mathematics
1	Proof
1	Sequence
1	Injective Function
1	Necessary And Sufficient
1	Implication
1	Continuation Of Exponent
1	Group
2	Monoidal Category
2	Independent
2	Sheaf
3	Abelian Category
3	T F A E
4	Lie Algebra Cohomology
5	Categorical Sequence
6	Exact Sequence
6	Section Of A Fiber Bundle
7	Proof Of Cohomology Group Theorem
9	Exact Functor
9	Sheaf Cohomology
11	Projective Resolution
13	Enough Injectives
16	Injective Resolution
18	Chain Homotopy Equivalence
22	Ext
22	Tor

Loading ...

Planetmath Browser (2008—2009)

BSD licence | A django site

All articles taken from PlanetMath.org snapshot under CC-BY-SA licence.

→ The original article on PlanetMath.org

Other Formats: LaTeX

New! You can click on formulas to copy the LaTeX source to your clipboard. | Math Videos

Derived Functor

Let $\mathcal{A},\mathcal{B}$ be abelian categories, $\mathcal{A}$ having enough injectives, and $F:\mathcal{A}\to\mathcal{B}$ be a covariant left-exact functor.

Given an object $A\in \mathcal{A}$ , we can construct an injective resolution

$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{A\to \mathbf{A}\colon 0\ar[r]& A\ar[r]& I^1\ar[r]& I^2\ar[r]&\cdots} } \end{xy}$

which is unique up to chain homotopy equivalence. Then we apply the functor

to the injectives in the resolution to to get a complex

$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{F(\mathbf{A})\colon 0\ar[r]&F(I^1)\ar[r]& F(I^2)\ar[r]&\cdots} } \end{xy}$

(notice that the term involving

has been left out. This is not an accident, in fact, it is crucial). This complex is also independent of the choice of

's (up to chain homotopy equivalence). Now, we define the classical right derived functors

to be the cohomology groups $H^i(F(\mathbf{A}))$ . These only depend on

A completely analogous construction can be carried out for right-exact functors and for contravariant functors exact on either side, but it is traditional to only describe one case, as doing the others mostly consists of reversing arrows (and replacing “injective” with projective when appropriate), and the result is that of a left derived functor for a given right-exact covariant functor via a projective resolution.

Important properties of the classical derived functors are these: If the sequence $0\to A\to A'\to A''\to 0$ is exact, then there is a long exact sequence

$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{0\ar[r]&F(A)\ar[r]& F(A')\ar[r]& F(A'')\ar[r]& R^1F(A)\ar[r]&\cdots} } \end{xy}$

which is natural (a morphism of short exact sequences induces a morphism of long exact sequences). This, along with a couple of other properties determine the derived functors completely, giving an axiomatic definition, though the construction used above is usually necessary to show existence. One can often confirm that some other functors constructed in some different way are equal to the right derived functors by checking that they satisfy these properties; such a proof is called a “universal $\delta$ -functor argument”.

From the definition, one can see immediately that the following are equivalent:

is exact
for $n\geq 1$ and all $A\in \mathcal{A}$ .
for all $A\in \mathcal{A}$ .

However, for a particular does not imply that for all $n\geq 1$ .

Important examples are:

The Ext functors $\mathrm{Ext}^n$ are the right derived functors of $\mathrm{Hom}$ .
The Tor functors $\mathrm{Tor}_n$ are the left derived functors of the tensor product.
Sheaf cohomology arises as the right derived functors of the global section functor on sheaves.
Group cohomology arises as the right derived functors of the “fixed submodule” functor on the category of -modules for some group .
Étale cohomology arises as the right derived functors of the global sections functor on the category of étale sheaves; this example includes as special cases the previous two.