Lemma 20.49.7. Let $(X, \mathcal{O}_ X)$ be a ringed space. Let $(K, L, M, f, g, h)$ be a distinguished triangle in $D(\mathcal{O}_ X)$. If two out of three of $K, L, M$ are perfect then the third is also perfect.
Proof. First proof: Combine Lemmas 20.49.5, 20.47.4, and 20.48.6. Second proof (sketch): Say $K$ and $L$ are perfect. After replacing $X$ by the members of an open covering we may assume that $K$ and $L$ are represented by strictly perfect complexes $\mathcal{K}^\bullet $ and $\mathcal{L}^\bullet $. After replacing $X$ by the members of an open covering we may assume the map $K \to L$ is given by a map of complexes $\alpha : \mathcal{K}^\bullet \to \mathcal{L}^\bullet $, see Lemma 20.46.8. Then $M$ is isomorphic to the cone of $\alpha $ which is strictly perfect by Lemma 20.46.2. $\square$
Comments (0)
There are also: