Chain Complex
A chain complex is a sequence of objects and morphisms in an abelian category with the fundamental property that "the composition of two consecutive differentials is zero." Chain complexes are the basic objects from which cohomology, homotopy categories, and derived categories are built.
Definition
A (cochain) complex in an abelian category is a sequence of objects and morphisms (called differentials):
such that for all .
A chain map (or morphism of complexes) is a family of morphisms commuting with the differentials:
The category of complexes (or ) has cochain complexes as objects and chain maps as morphisms. We also use:
- : bounded below complexes ( for ).
- : bounded above complexes ( for ).
- : bounded complexes ( for ).
Examples
For a smooth manifold , the de Rham complex is where is the space of smooth -forms and is the exterior derivative. The condition is the Poincare lemma.
For a topological space , the singular chain complex has (free abelian group on singular -simplices) with the boundary map . The condition follows from the alternating signs.
For a commutative ring and elements , the Koszul complex is defined on the exterior algebra with the differential .
Any morphism in an abelian category gives a complex concentrated in two degrees. The cohomology is and .
Any object gives a complex concentrated in degree : all other terms are zero and all differentials are zero. This gives an embedding .
For a sheaf and an open cover of , the Cech complex has with the alternating restriction maps as differentials.
For a group and a -module , the bar resolution is a free resolution of as a -module. Applying gives the complex computing group cohomology .
For a chain map , the mapping cone is the complex with and differential . The condition uses being a chain map.
A double complex has horizontal differentials and vertical differentials with , , and (anticommutativity). The total complex is a single complex.
A complex of sheaves on is a complex in the abelian category . The hypercohomology generalizes ordinary sheaf cohomology.
A projective resolution of a module gives a complex with a quasi-isomorphism. This is the starting point for computing derived functors.
The shift of a complex is defined by with differential . The shift is an autoequivalence of and plays a central role in triangulated categories.
Properties
If is abelian, then is abelian. Kernels, cokernels, and exact sequences are computed degreewise.
The category has "too many" morphisms for the purposes of homological algebra: we want to identify chain maps that are chain homotopic. Passing to the homotopy category and then to the derived category gives categories where quasi-isomorphisms become isomorphisms.