and
nonabelian homological algebra
A double complex or bicomplex is a diagram of shape $\mathbb{Z}_{\leq} \times \mathbb{Z}_{\leq}$ (in some additive category):
such that each row and each column is a complex (the differentials square to 0: $\partial^v \circ \partial^v = 0$ and $\partial^h \circ \partial^h = 0$) and such that all the squares commute.
This means that a double complex is a complex in a category of complexes.
Accordingly, a double chain complex is a chain complex in a category of chain complexes.
In the presence of direct sums, there is a total complex $(Tot X)_\bullet$ associated to a double complex, which in degree $n$ is the direct sum of all terms of total degree $n$
Often it is such total complexes that are of interest.
The differential of the total complex is the sum of the horizontal and the vertical differential made anti-commutative by adjusting signs. There is a second convention in which one often sees the double complex defined as above from a complex of complexes, but then with the differentials in every second row (or every second column) multiplied by $(-1)$. This is just a different way of sign-bookkeeping, a detailed discussion of this is below. Which convention to use is sometimes influenced by the context, the traditions of the sources in that application of double complexes, and largely a question of taste, that is which one the writer is used to.
Double chain complexes often arise from the application of bifunctors – additive functors of two variables – of additive categories $C_1, C_2, C_3$
to complexes in their two arguments. Combining this with the formation of total complexes then yields bifunctors from categories of complexes to categories of complexes.
The most important examples of this are induced by the hom-functor and the tensor product functor together with their derived functors, Ext and Tor.
Notice that under the Dold-Kan correspondence and with sufficient resolutions, such $\tilde F$ can be understood as the internal hom or tensor products, etc., between higher groupoids.
Although we suggest (and prefer) the ‘complex of complexes’ definition, as above, rather than the equivalent anticommutiing diagram one, we give both and will discuss how to go between them in some detail.
A double complex, $X$, is a commutative diagram in an additive category in which the objects are bi-indexed by the integers,
and with two classes of ‘differentials’ or ‘boundary morphisms’:
and
such that all squares commute
(To state the obvious, this means $d_X^h d_X^v - d_X^v d_X^h=0$, in contrast to the formula in the second version below.)
This gives a commutative diagram:
A double complex, $X$, is an anticommutative diagram in an additive category in which the objects are bi-indexed by the integers,
and with two classes of ‘differentials’ or ‘boundary morphisms’:
and
in addition $\bar{d}_X^h d_X^v + d_X^v \bar{d}_X^h = 0$.
This gives an anticommutative diagram:
Which definition is ‘better’? ‘Commuting squares’, i.e., the first version, is convenient if you want to define a double complex as a chain complex in the category of chain complexes. On the other hand, ‘anticommuting squares’ and version 2 is sometimes convenient for defining the total complex (for computing total homology). Does it matter which you use? The following says they are just two views of the same situation.
One makes a double complex $X$ with commutative squares into a double complex with anticommutative squares by using the same vertical differential $d^v$ but taking $\bar{d}^h : X_{p,q} \to X_{p,q-1}$ to be $(-1)^p d^h$. The same trick can, of course, be used to make a double complex with anticommutative squares into a double complex with commutative squares.
The total complex of a double complex (under the convention that squares commute) is
bla bla
Note that these two coincide when the set of non-zero objects $X_{n,m}$ such that $n + m = k$ is finite, for example, when $X$ is a first quadrant double complex.
There is series of basic lemmas in homological algebra which determine the horizontal/vertical homology groups of a double complex in some row or column from exactness information in other columns. The most fundamental of these is maybe the
from which a series of others follow:
snake lemma (see also connecting homomorphism and long exact sequence in homology)