Remark 12.18.7. Let $\mathcal{A}$ be an additive category with countable direct sums. Let $\text{DoubleComp}(\mathcal{A})$ denote the category of double complexes. We can consider an object $A^{\bullet , \bullet }$ of $\text{DoubleComp}(\mathcal{A})$ as a complex of complexes as follows
For the variant where we switch the role of the indices, see Remark 12.18.6. In this remark we show that taking the associated total complex is compatible with all the structures on complexes we have studied in the chapter so far.
First, observe that the shift functor on double complexes viewed as complexes of complexes in the manner given above is the functor $[1, 0]$ defined in Remark 12.18.5. By Remark 12.18.5 the functor
is compatible with shift functors, in the sense that we have a functorial isomorphism $\gamma : \text{Tot}(A^{\bullet , \bullet })[1] \to \text{Tot}(A^{\bullet , \bullet }[1, 0])$.
Second, if
are homotopic when $f$ and $g$ are viewed as morphisms of complexes of complexes in the manner given above, then
are homotopic maps of complexes. Indeed, let $h = (h^ p)$ be a homotopy between $f$ and $g$. If we denote $h^{p, q} : A^{p, q} \to B^{p - 1, q}$ the component in degree $p$ of $h^ q$, then this means that
The fact that $h^ p : A^{p, \bullet } \to B^{p - 1, \bullet }$ is a map of complexes means that
Let us define $h' = ((h')^ n)$ the homotopy given by the maps $(h')^ n : \text{Tot}^ n(A^{\bullet , \bullet }) \to \text{Tot}^{n - 1}(B^{\bullet , \bullet })$ using $h^{p, q}$ on the summand $A^{p, q}$ for $p + q = n$. Then we see that
restricted to the summand $A^{p, q}$ is equal to
which evaluates to $f^{p, q} - g^{p, q}$ by the equations given above. This proves the second compatibility.
Third, suppose that in the paragraph above we have $f = g$. Then the assignment $h \leadsto h'$ above is compatible with the identification of Lemma 12.14.9. More precisely, if we view $h$ as a morphism of complexes of complexes $A^{\bullet , \bullet } \to B^{\bullet , \bullet }[-1, 0]$ via this lemma then
is equal to $h'$ viewed as a morphism of complexes via the lemma. Here $\gamma $ is the identification of Remark 12.18.5. The verification of this third point is immediate.
Fourth, let
be a complex of double complexes and suppose we are given splittings $s^ p : C^{p, \bullet } \to B^{p, \bullet }$ and $\pi ^ p : B^{p, \bullet } \to A^{p, \bullet }$ of this as in Lemma 12.14.10 when we view double complexes as complexes of complexes in the manner given above. This on the one hand produces a map
by the procedure in Lemma 12.14.10. On the other hand taking $\text{Tot}$ we obtain a complex
which is termwise split (see below) and hence comes with a morphism
well defined up to homotopy by Lemmas 12.14.10 and 12.14.12. Claim: these maps agree in the sense that
is equal to $\delta '$ where $\gamma $ is as in Remark 12.18.5. To see this denote $s^{p, q} : C^{p, q} \to B^{\bullet , q}$ and $\pi ^{p, q} : B^{p, q} \to A^{p, q}$ the components of $s^ q$ and $\pi ^ q$. As splittings $(s')^ n : \text{Tot}^ n(C^{\bullet , \bullet }) \to \text{Tot}^ n(B^{\bullet , \bullet })$ and $(\pi ')^ n : \text{Tot}^ n(B^{\bullet , \bullet }) \to \text{Tot}^ n(A^{\bullet , \bullet })$ we use the maps whose components are $s^{p, q}$ and $\pi ^{p, q}$ for $p + q = n$. We recall that
The restriction of this to the summand $C^{p, q}$ is equal to
The equality holds because $s^ p$ is a morphism of complexes (with $d_2$ as differential) and because $\pi ^{p, q + 1} \circ s^{p, q + 1} = 0$ as $s$ and $\pi $ correspond to a direct sum decomposition of $B$ in every bidegree. On the other hand, for $\delta $ we have
whose restriction to the summand $C^{p, q}$ is equal to $\pi ^{p + 1, q} \circ d_1^{p, q} \circ s^{p, q}$. Thus we get the same as before which matches with the fact that the isomorphism $\gamma : \text{Tot}(A^{\bullet , \bullet })[1] \to \text{Tot}(A^{\bullet , \bullet }[1, 0])$ is defined without the intervention of signs.
Comments (0)
There are also: