ScalingStacks

3.1 Complexes of RR-modules

Denote by Kom​(ℬ)\mbox{Kom}(\mathcal{B}) the category of complexes of an abelian category ℬ.\mathcal{B}. An object NN of Kom​(ℬ)\mbox{Kom}(\mathcal{B}) is a collection of objects Ni∈ℬ,i∈ℤN^{i}\in\mathcal{B},i\in\mathbb{Z} together with morphisms di:Ni⟶Ni+1,i∈ℤd^{i}:N^{i}\longrightarrow N^{i+1},i\in\mathbb{Z} such that di+1​di=0.d^{i+1}d^{i}=0. A morphism f:M→Nf:M\to N of complexes is a collection of morphisms fi:Mi→Nif^{i}:M^{i}\to N^{i} such that fi+1​di=di​fi,i∈ℤ.f^{i+1}d^{i}=d^{i}f^{i},i\in\mathbb{Z}. A morphism f:M→Nf:M\to N is called a quasi-isomorphism if the induced map of the cohomology groups Hi​(f):Hi​(M)→Hi​(N)H^{i}(f):H^{i}(M)\to H^{i}(N) is an isomorphism for all i∈ℤ.i\in\mathbb{Z}.

For n∈ℤn\in\mathbb{Z} denote by [n][n] the automorphism of Kom​(ℬ)\mbox{Kom}(\mathcal{B}) that is defined on objects by N​[n]i=Ni+n,d​[n]i=(−1)n​di+nN[n]^{i}=N^{i+n},d[n]^{i}=(-1)^{n}d^{i+n} and continued to morphisms in the obvious way.

The cone of a morphism f:M→Nf:M\to N of complexes is a complex C⁡(f)C(f) with

C​(f)i=M​[1]i⊕Ni,dC⁡(f)​(mi+1,ni)=(−dM​mi+1,f⁡(mi+1)+dN​ni).\displaystyle C(f)^{i}=M[1]^{i}\oplus N^{i},\hskip 7.22743ptd_{C(f)}(m^{i+1},n^{i})=(-d_{M}m^{i+1},f(m^{i+1})+d_{N}n^{i}). (26)

The automorphism {n}\{n\} of shifting the grading down by n,n, introduced in Section 2.1, can be naturally extended to an automorphism of the category Kom​(R​-mod0)\mbox{Kom}(R{\mbox{-mod}_{0}}) of complexes of graded RR-modules. This automorphism of Kom​(R​-mod0)\mbox{Kom}(R{\mbox{-mod}_{0}}) will also be denoted {n}.\{n\}.

To a complex MM of graded RR-modules we associate a graded RR-module ⊕i∈ℤMi.{\mathop{\oplus}\limits_{i\in\mathbb{Z}}}M^{i}. Each MiM^{i} is a graded RR-module, Mi=⊕j∈ℤMjiM^{i}={\mathop{\oplus}\limits_{j\in\mathbb{Z}}}M^{i}_{j} and thus ⊕i∈ℤMi{\mathop{\oplus}\limits_{i\in\mathbb{Z}}}M^{i} is a bigraded RR-module when we extend our usual grading of RR to a bigrading with c∈Rc\in R having degree (0,2).(0,2).

From this viewpoint the differential dMd_{M} of a complex MM is a homogeneous map of degree (1,0)(1,0) of bigraded RR-modules.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Mikhail Khovanov

Original source: arXiv:math/9908171v2