
Lemma 13.18.4. Let $\mathcal{A}$ be an abelian category. Let $K^\bullet$ be an acyclic complex. Let $I^\bullet$ be bounded below and consisting of injective objects. Any morphism $K^\bullet \to I^\bullet$ is homotopic to zero.

Proof. Let $\alpha : K^\bullet \to I^\bullet$ be a morphism of complexes. Assume that $\alpha ^ j = 0$ for $j < n$. We will show that there exists a morphism $h : K^{n + 1} \to I^ n$ such that $\alpha ^ n = h \circ d$. Thus $\alpha$ will be homotopic to the morphism of complexes $\beta$ defined by

$\beta ^ j = \left\{ \begin{matrix} 0 & \text{if} & j \leq n \\ \alpha ^{n + 1} - d \circ h & \text{if} & j = n + 1 \\ \alpha ^ j & \text{if} & j > n + 1 \end{matrix} \right.$

This will clearly prove the lemma (by induction). To prove the existence of $h$ note that $\alpha ^ n|_{d^{n - 1}(K^{n - 1})} = 0$ since $\alpha ^{n - 1} = 0$. Since $K^\bullet$ is acyclic we have $d^{n - 1}(K^{n - 1}) = \mathop{\mathrm{Ker}}(K^ n \to K^{n + 1})$. Hence we can think of $\alpha ^ n$ as a map into $I^ n$ defined on the subobject $\mathop{\mathrm{Im}}(K^ n \to K^{n + 1})$ of $K^{n + 1}$. By injectivity of the object $I^ n$ we can extend this to a map $h : K^{n + 1} \to I^ n$ as desired. $\square$

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).