Exact functor

Exact functor

In homological algebra, an exact functor is a functor, from some category to another, which preserves exact sequences. Exact functors are very convenient in algebraic calculations, roughly speaking because they can be applied to presentations of objects easily. The whole subject of homological algebra is designed to cope with functors that "fail" to be exact, but in ways that can still be controlled.

Formal definitions

Formally, let "P" and "Q" be abelian categories, and let

:"F":"P"→"Q"

be a functor.

Let

:"0"→"A"→"B"→"C"→"0"

be a short exact sequence.

We say that "F" is
* half-exact if "F(A)"→"F(B)"→"F(C)" is exact (There is also similar notion of topological half-exact functor) .
* left-exact if "0"→"F(A)"→"F(B)"→"F(C)" is exact.
* right-exact if "F(A)"→"F(B)"→"F(C)"→"0" is exact.
* exact if "0"→"F(A)"→"F(B)"→"F(C)"→"0" is exact.If "G" is a contravariant functor from "C" to "D", we can make a similar set of definitions. We say that "G" is
* half-exact if "G(C)"→"G(B)"→"G(A)" is exact.
* left-exact if "0"→"G(C)"→"G(B)"→"G(A)" is exact.
* right-exact if "G(C)"→"G(B)"→"G(A)"→"0" is exact.
* exact if "0"→"G(C)"→"G(B)"→"G(A)"→"0" is exact.

In fact, it is not always necessary to start with a short exact sequence "0"→"A"→"B"→"C"→"0" to have some exactness preserved. It is equivalent to say
* "F" is left-exact if "0"→"A"→"B"→"C" exact implies "0"→"F(A)"→"F(B)"→"F(C)" exact.
* "F" is right-exact if "A"→"B"→"C"→"0" exact implies "F(A)"→"F(B)"→"F(C)"→"0" exact.
* "F" is exact if "A"→"B"→"C" exact implies "F(A)"→"F(B)"→"F(C)" exact.
* "G" is left-exact if "A"→"B"→"C"→"0" exact implies "0"→"G(C)"→"G(B)"→"G(A)" exact.
* "G" is right-exact if "0"→"A"→"B"→"C" exact implies "G(C)"→"G(B)"→"G(A)"→"0" exact.
* "G" is exact if "A"→"B"→"C" exact implies "G(C)"→"G(B)"→"G(A)" exact.

Examples

The most important examples of left exact functors are the Hom functors: if A is an abelian category and "A" is an object of A, then "F""A"("X") = HomA("A","X") defines a covariant left-exact functor from A to the category Ab of abelian groups. The functor "F""A" is exact if and only if "A" is projective. The functor "G""A"("X") = HomA("X","A") is a contravariant left-exact functor; it is exact if and only if "A" is injective.

If "k" is a field and "V" is a vector space over "k", we write "V"* = Hom"k"("V","k"). This yields an exact functor from the category of "k"-vector spaces to itself. (Exactness follows from the above: "k" is an injective "k"-module. Alternatively, one can argue that every short exact sequence of "k"-vector spaces splits, and any additive functor turns split sequences into split sequences.)

If "X" is a topological space, we can consider the abelian category of all sheaves of abelian groups on "X". The functor which associates to each sheaf "F" the group of global sections "F"("X") is left-exact.

If "R" is a ring and "T" is a right "R"-module, we can define a functor "H""T" from the abelian category of all left "R"-modules to Ab by using the tensor product over "R": "H""T"("X") = "T" ⊗ "X". This is a covariant right exact functor; it is exact if and only if "T" is flat.

If A and B are two abelian categories, we can consider the functor category BA consisting of all functors from A to B. If "A" is a given object of A, then we get a functor "E""A" from BA to B by evaluating functors at "A". This functor "E""A" is exact.

Note: In SGA4, tome I, section 1, the notion of left (right) exact functors have been defined for general categories, and not just abelian ones. The definition is as follows:

Let C be a category with finite projective (resp. inductive) limits. Then a functor u from C to another category C' is left (resp. right) exact if it commutes with projective (resp. inductive) limits.

Despite looking rather abstract, this general definition has a lot of useful consequences. For example in section 1.8, Grothendieck proves that a functor is pro-representable if and only if it is left exact. (Under some mild conditions on the category C).

Some facts

Every equivalence or duality of abelian categories is exact.

A covariant (not necessarily additive) functor is left exact if and only if it turns finite limits into limits; a covariant functor is right exact if and only if it turns finite colimits into colimits; a contravariant functor is left exact if and only if it turns finite colimits into limits; a contravariant functor is right exact if and only if it turns finite limits into colimits. A functor is exact if and only if it is both left exact and right exact.

The degree to which a left exact functor fails to be exact can be measured with its right derived functors; the degree to which a right exact functor fails to be exact can be measured with its left derived functors.

Left- and right exact functors are ubiquitous mainly because of the following fact: if the functor "F" is left adjoint to "G", then "F" is right exact and "G" is left exact.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Topological half-exact functor — In mathematics, a topological half exact functor F is a functor from a fixed topological category (for example CW complexes or pointed spaces) to an abelian category (most frequently in applications, category of abelian groups or category of… …   Wikipedia

  • Exact category — In mathematics, an exact category is a concept of category theory due to Daniel Quillen which is designed to encapsulate the properties of short exact sequences in abelian categories without requiring that morphisms actually possess kernels and… …   Wikipedia

  • Exact sequence — In mathematics, especially in homological algebra and other applications of abelian category theory, as well as in differential geometry and group theory, an exact sequence is a (finite or infinite) sequence of objects and morphisms between them… …   Wikipedia

  • Functor — For functors as a synonym of function objects in computer programming to pass function pointers along with its state, see function object. For the use of the functor morphism presented here in functional programming see also the fmap function of… …   Wikipedia

  • Derived functor — In mathematics, certain functors may be derived to obtain other functors closely related to the original ones. This operation, while fairly abstract, unifies a number of constructions throughout mathematics. Contents 1 Motivation 2 Construction… …   Wikipedia

  • Ext functor — In mathematics, the Ext functors of homological algebra are derived functors of Hom functors. They were first used in algebraic topology, but are common in many areas of mathematics. Definition and computation Let R be a ring and let mathrm{Mod}… …   Wikipedia

  • Tor functor — In higher mathematics, the Tor functors of homological algebra are the derived functors of the tensor product functor. They were first defined in generality to express the Künneth theorem and universal coefficient theorem in algebraic… …   Wikipedia

  • Hom functor — In mathematics, specifically in category theory, Hom sets, i.e. sets of morphisms between objects, give rise to important functors to the category of sets. These functors are called Hom functors and have numerous applications in category theory… …   Wikipedia

  • Inverse image functor — In mathematics, the inverse image functor is a contravariant construction of sheaves. The direct image functor is the primary operation on sheaves, with the simplest definition. The inverse image exhibits some relatively subtle… …   Wikipedia

  • Delta-functor — In homological algebra, a δ functor between two abelian categories A and B is a collection of functors from A to B together with a collection of morphisms that satisfy properties generalising those of derived functors. A universal δ functor is a… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”