Lemma 21.45.6. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Let $m \in \mathbf{Z}$. If $K \oplus L$ is $m$-pseudo-coherent (resp. pseudo-coherent) in $D(\mathcal{O})$ so are $K$ and $L$.

Proof. Assume that $K \oplus L$ is $m$-pseudo-coherent. Let $U$ be an object of $\mathcal{C}$. After replacing $U$ by the members of a covering we may assume $K \oplus L \in D^-(\mathcal{O}_ U)$, hence $L \in D^-(\mathcal{O}_ U)$. Note that there is a distinguished triangle

$(K \oplus L, K \oplus L, L \oplus L[1]) = (K, K, 0) \oplus (L, L, L \oplus L[1])$

see Derived Categories, Lemma 13.4.10. By Lemma 21.45.4 we see that $L \oplus L[1]$ is $m$-pseudo-coherent. Hence also $L[1] \oplus L[2]$ is $m$-pseudo-coherent. By induction $L[n] \oplus L[n + 1]$ is $m$-pseudo-coherent. Since $L$ is bounded above we see that $L[n]$ is $m$-pseudo-coherent for large $n$. Hence working backwards, using the distinguished triangles

$(L[n], L[n] \oplus L[n - 1], L[n - 1])$

we conclude that $L[n - 1], L[n - 2], \ldots , L$ are $m$-pseudo-coherent 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).