Let $\scr A$ be an abelian category with exact products and a cogenerator (e.g. $\scr A$ is a category of modules). Let ${\mathbf K}(\scr A)$ be the homotopy category of cochain complexes over $\scr A$. We call homotopcally injective a complex $X\in{\mathbf K}(\scr A)$ with the property that every map $N\to X$, starting from an acyclic complex $N$ is null-homotopic, that is the abelian group ${\mathbf K}({\scr A})(N,X)$ vanishes, for any acyclic $N$. Inductively it is easy to show that every left bounded complex of injectives (that is, with injective entries) is homotopically injective. It is also known that if $\scr A$ has finite injective dimension, then every complex of injectives is homotopically injective. I found this statement as an exercise for the reader in many places, but I didn't succeed to prove it. Clearly the statement is equivalent to another, namely: Every acyclic complex of injectives is contractible. Could someone help me?



Why every complex of injectives is homotopically injective (provided that, the injective dimension is finite)? 
Let $J^\bullet$ be an acyclic complex of injective objects in an abelian category $\mathcal A$. Consider its finite subquotient complexes of canonical truncation $0\to Z^m\to J^m\to J^{m+1}\to \dotsb\to J^{n-1}\to Z^n\to 0$, where $Z^i$ denotes the kernel of the differential $J^i\to J^{i+1}$. This finite complex is a right resolution of the object $Z^m$ whose terms are all injective objects in $\mathcal A$, with a possible exception of the rightmost term $Z^n$. Now if the category $\mathcal A$ has finite homological dimension and the number $n-m$ is chosen to be large enough, it follows that the object $Z^n$ is also injective. Finally, an acyclic complex of injectives $J^\bullet$ with injective objects of cocycles $Z^i$ is easily seen to be contractible.


