(also nonabelian homological algebra)
Context
Basic definitions
Stable homotopy theory notions
Constructions
Lemmas
Homology theories
Theorems
Let be an additive category.
Recall the notion of chain complex, of chain map between chain complexes and of chain homotopy between chain maps in .
Call a chain complex
bounded below if there is such that ;
bounded above if there is such that ;
bounded if it is bounded below and bounded above. We have
Write for the category whose objects are chain complexes in and whose morphisms are chain maps between these.
This is the category of chain complexes in .
Several variants of this category are of relevance.
Write for the full subcategory on the chain complexes which are, respectively, bounded above, bounded below or bounded.
Write for the category obtained from by identifying homotopic chain maps.
Accordingly denotes the full subcategory on the chain complexes bounded above, bounded below or bounded, respectively.
This is sometimes called the homotopy category of chain complexes. But see the warning on terminology there, as this term is also appropriate for the category in the following remark.
If is moreover an abelian category, then there is also the derived category , obtained from or by universally inverting all quasi-isomorphisms. See at derived category for more on this.
For an abelian category also the category of chain complexes is again an abelian category.
We discuss the ingredients that go into this statement.
(β¦)
For a chain map,
A sequence of chain complexes is a short exact sequence in precisely if each component is a short exact sequence in .
(β¦)
In fact:
When is a Grothendieck abelian category then so is .
Since every Grothendieck abelian category is locally presentable (Beke 2000, Prop. 3.10, see this example), it follows that:
When is a Grothendieck abelian category then its category of chain complexes is locally presentable.
The assumption in Prop. is fulfilled in the usual situation of chain complexes of -modules (e.g.: of vector spaces, when is a field), since for any commutative ring the category Mod is a Grothendieck abelian category (by this example).
Equipped with the standard tensor product of chain complexes the category of chain complexes is a monoidal category . The unit object is the chain complex concentrated in degree 0 on the tensor unit of .
In fact is a closed monoidal category, the internal hom is the standard internal hom of chain complexes.
The closed monoidal category-structure on chain complexes:
Textbook account:
Discussion in the context of model structures on chain complexes:
Last revised on December 16, 2023 at 17:45:52. See the history of this page for a list of all contributions to it.