First-time here... I hope my question isn't silly or anything... anyway...

Consider the category of chain complexes and chain maps. We can also define chain homotopies between chain maps. Does this form a 2-category? I am able to construct vertical and horizontal composition of chain homotopies but am unable to prove that the horizontal composition is associative and that the interchange law holds.

I like to include a lot of details in case the reader isn't familiar with everything, so the following is the problem in detail.

To be a bit more concrete, let's let $(C_n, \partial_n), (C'_n, \partial'_n),$ and $(C''_n, \partial''_n)$ be chain complexes (sorry, my differential is going up in degree) and let $f_n, g_n, h_n: C_n \to C'_n$ and $f'_n, g'_n, h'_n : C'_n \to C''_n$ be chain maps. Suppose that $\sigma : f \Rightarrow g,$ $\tau : g \Rightarrow h,$ $\sigma' : f' \Rightarrow g',$ and $\tau' : g' \Rightarrow h'$ are chain homotopies, where $\sigma_n, \tau_n : C_n \to C'_{n-1}$ and similarly for $\sigma'$ and $\tau'.$ Recall that these definitions say

$f_n \circ \partial_{n-1} = \partial'_{n-1} \circ f_{n-1}$

and similarly for primes, $g$'s, $h$'s, and

$\sigma_{n+1} \circ \partial_{n} + \partial'_{n-1} \circ \sigma_{n} = f_{n} - g_{n},$

$\tau_{n+1} \circ \partial_{n} + \partial'_{n-1} \circ \tau_{n} = g_{n} - h_{n},$

and similarly for primes.

We can define the vertical composition of $\sigma : f \Rightarrow g$ with $\tau : g \Rightarrow h$ by

$(\tau \diamond \sigma)_{n} := \tau_n + \sigma_n$

(I denote vertical composition with a diamond, $\diamond$).

We can also define the horizontal composition of $\sigma : f \Rightarrow g$ with $\sigma' : f' \Rightarrow g'$ by

$(\sigma' \circ \sigma)_n := \partial''_{n-2} \circ \sigma'_{n-1} \circ \sigma_{n} - \sigma'_{n} \circ \sigma_{n+1} \circ \partial_{n} + \sigma'_{n} \circ g_{n} + f'_{n-1} \circ \sigma_{n}.$

Now we just verify that these are indeed chain homotopies. The vertical composition is easy:

$(\tau \diamond \sigma)_{n+1} \circ \partial_{n} + \partial'_{n-1} \circ (\tau \diamond \sigma)_{n} = f_n - g_n + g_n - h_n = f_n - h_n$

and the horizontal composition is a bit more challenging but doable (I won't include the derivation here).

The identity for vertical composition is the zero map and similarly for the horizontal composition (note that for the vertical composition, the zero map is a chain homotopy between any two chain maps provided they are the same while for the horizontal composition, the chain maps are both the identities). The vertical composition is easily seen to be associative. However, the horizontal composition satisfies

$( \sigma'' \circ ( \sigma' \circ \sigma ) )_{n} - ( ( \sigma'' \circ \sigma' ) \circ \sigma )_n$

$= ( f''_{n-1} - g''_{n-1} ) \circ ( f'_{n-1} - g'_{n-1} ) \circ \sigma_{n} - \sigma''_{n} \circ ( f'_{n} - g'_{n} ) \circ ( f_n - g_n ).$

The interchange law doesn't hold either and the difference is given by

$( ( \tau' \diamond \sigma' ) \circ ( \tau \diamond \sigma ) )_{n} - ( ( \tau' \circ \tau ) \diamond ( \sigma' \circ \sigma ) )_{n}$

$= ( f'_{n-1} - g'_{n-1} ) \circ \tau_{n} + (g'_{n-1} - h'_{n-1} ) \circ \sigma_{n} - \tau'_{n} \circ ( f_{n} - g_{n} ) - \sigma'_{n} \circ (g_{n} - h_{n} )$

So I'm not sure if chain complexes, chain maps, and chain homotopies are supposed to form a 2-category, but I would've liked this result to be true. Does anyone know what the correct categorical structure of this category is? I have not yet considered chain homotopies of chain homotopies, so if the answer requires all such higher morphisms, then an answer in that direction would also be acceptable.

Any thoughts? Thanks in advance.

homotopy classesof chain homotopies. – Qiaochu Yuan Jan 28 '12 at 23:08