Lemma 12.13.12. Notation and assumptions as in Lemma 12.13.10. Let $\alpha : A^\bullet \to B^\bullet$, $\beta : B^\bullet \to C^\bullet$ be the given morphisms of complexes. Suppose $(s')^ n : C^ n \to B^ n$ and $(\pi ')^ n : B^ n \to A^ n$ is a second choice of splittings. Write $(s')^ n = s^ n + \alpha ^ n \circ h^ n$ and $(\pi ')^ n = \pi ^ n + g^ n \circ \beta ^ n$ for some unique morphisms $h^ n : C^ n \to A^ n$ and $g^ n : C^ n \to A^ n$. Then

1. $g^ n = - h^ n$, and

2. the family of maps $\{ g^ n : C^ n \to A[1]^{n - 1}\}$ is a homotopy between $\delta , \delta ' : C^\bullet \to A[1]^\bullet$, more precisely $(\delta ')^ n = \delta ^ n + g^{n + 1} \circ d_ C^ n + d_{A[1]}^{n - 1} \circ g^ n$.

Proof. As $(s')^ n$ and $(\pi ')^ n$ are splittings we have $(\pi ')^ n \circ (s')^ n = 0$. Hence

$0 = ( \pi ^ n + g^ n \circ \beta ^ n ) \circ ( s^ n + \alpha ^ n \circ h^ n ) = g^ n \circ \beta ^ n \circ s^ n + \pi ^ n \circ \alpha ^ n \circ h^ n = g^ n + h^ n$

which proves (1). We compute $(\delta ')^ n$ as follows

$( \pi ^{n + 1} + g^{n + 1} \circ \beta ^{n + 1} ) \circ d_ B^ n \circ ( s^ n + \alpha ^ n \circ h^ n ) = \delta ^ n + g^{n + 1} \circ d_ C^ n + d_ A^ n \circ h^ n$

Since $h^ n = -g^ n$ and since $d_{A[1]}^{n - 1} = -d_ A^ n$ we conclude that (2) holds. $\square$

Comment #295 by arp on

Typos: In the statement of the lemma, the target of the map $\alpha$ is missing, should read $\alpha: A^{\bullet} \rightarrow B^{\bullet}$. Also $\beta$ should map to $C^{\bullet}$ not $C^n$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).