Lemma 84.13.5. In Situation 84.3.3. If $K, K' \in D(\mathcal{C}_{total})$. Assume

1. $K$ is cartesian,

2. $\mathop{\mathrm{Hom}}\nolimits (K_ i[i], K'_ i) = 0$ for $i > 0$, and

3. $\mathop{\mathrm{Hom}}\nolimits (K_ i[i + 1], K'_ i) = 0$ for $i \geq 0$.

Then any map $K \to K'$ which induces the zero map $K_0 \to K'_0$ is zero.

Proof. Consider the objects $X_ n$ and the Postnikov system $Y_ n$ associated to $K$ in Lemma 84.13.4. As $K = \text{hocolim} Y_ n[n]$ the map $K \to K'$ induces a compatible family of morphisms $Y_ n[n] \to K'$. By (1) and Lemma 84.12.9 we have $X_ n = g_{n!}K_ n$. Since $Y_0 = X_0$ we find that $K_0 \to K'_0$ being zero implies $Y_0 \to K'$ is zero. Suppose we've shown that the map $Y_ n[n] \to K'$ is zero for some $n \geq 0$. From the distinguished triangle

$Y_ n[n] \to Y_{n + 1}[n + 1] \to X_{n + 1}[n + 1] \to Y_ n[n + 1]$

we get an exact sequence

$\mathop{\mathrm{Hom}}\nolimits (X_{n + 1}[n + 1], K') \to \mathop{\mathrm{Hom}}\nolimits (Y_{n + 1}[n + 1], K') \to \mathop{\mathrm{Hom}}\nolimits (Y_ n[n], K')$

As $X_{n + 1}[n + 1] = g_{n + 1!}K_{n + 1}[n + 1]$ the first group is equal to

$\mathop{\mathrm{Hom}}\nolimits (K_{n + 1}[n + 1], K'_{n + 1})$

which is zero by assumption (2). By induction we conclude all the maps $Y_ n[n] \to K'$ are zero. Consider the defining distinguished triangle

$\bigoplus Y_ n[n] \to \bigoplus Y_ n[n] \to K \to (\bigoplus Y_ n[n])[1]$

for the homotopy colimit. Arguing as above, we find that it suffices to show that

$\mathop{\mathrm{Hom}}\nolimits ((\bigoplus Y_ n[n])[1], K') = \prod \mathop{\mathrm{Hom}}\nolimits (Y_ n[n + 1], K')$

is zero for all $n \geq 0$. To see this, arguing as above, it suffices to show that

$\mathop{\mathrm{Hom}}\nolimits (K_ n[n + 1], K'_ n) = 0$

for all $n \geq 0$ which follows from condition (3). $\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).