Lemma 13.6.2. Let $F : \mathcal{D} \to \mathcal{D}'$ be an exact functor of pre-triangulated categories. Let $\mathcal{D}''$ be the full subcategory of $\mathcal{D}$ with objects
\[ \mathop{\mathrm{Ob}}\nolimits (\mathcal{D}'') = \{ X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{D}) \mid F(X) = 0\} \]
Then $\mathcal{D}''$ is a strictly full saturated pre-triangulated subcategory of $\mathcal{D}$. If $\mathcal{D}$ is a triangulated category, then $\mathcal{D}''$ is a triangulated subcategory.
Proof.
It is clear that $\mathcal{D}''$ is preserved under $[1]$ and $[-1]$. If $(X, Y, Z, f, g, h)$ is a distinguished triangle of $\mathcal{D}$ and $F(X) = F(Y) = 0$, then also $F(Z) = 0$ as $(F(X), F(Y), F(Z), F(f), F(g), F(h))$ is distinguished. Hence we may apply Lemma 13.4.16 to see that $\mathcal{D}''$ is a pre-triangulated subcategory (respectively a triangulated subcategory if $\mathcal{D}$ is a triangulated category). The final assertion of being saturated follows from $F(X) \oplus F(Y) = 0 \Rightarrow F(X) = F(Y) = 0$.
$\square$
Comments (1)
Comment #8350 by Elías Guisado on
There are also: