3.1 Complexes of -modules
Denote by the category of complexes of
an abelian category An object of is a collection
of objects together with morphisms such that
A morphism of complexes
is a collection of morphisms
such that
A morphism is called a quasi-isomorphism if the induced
map of the cohomology groups is an isomorphism
for all
For denote by the automorphism of that
is defined on objects by
and continued to morphisms in the obvious way.
The cone of a morphism of complexes is a complex with
|
|
|
(26) |
The automorphism of shifting the grading down by introduced
in Section 2.1, can be naturally extended to an automorphism
of the category
of complexes of graded -modules. This automorphism of
will also be denoted
To a complex of graded -modules we associate a graded -module
Each is a graded
-module, and thus
is a bigraded -module when
we extend our usual grading of to a bigrading
with having degree
From this viewpoint the differential of a complex
is a homogeneous map of degree of bigraded -modules.