Talk:Chain duality II (Ex)
[edit] Solution
By definition , where is the total complex of the Hom complex. We claim that for applying gives a natural map of chain complexes. We will leave the subscript understood in the following. On double complexes induces on groups and the contravariance of assures that this is still a double complex with grading as well as the naturality of that map. It remains to indentify with . But this holds as the complexes are finite, so we can pull all sums out of the before any totalization and get the same quadruple complexes. Then note that it does not matter in which order one takes totalization.
Consider the diagram
It commutes because of the naturality of . The vertical left composition induces the map , the lower horizontal composition the map . We show the composition is the identity. An element in is represented by a map of chain complexes. It gets mapped to . As is a natural transformation by the chain duality condition. But , so gets mapped to .