The Stacks project

Proof. Proof of TR1. By definition every triangle isomorphic to a distinguished one is distinguished. Also, any triangle $(K, K, 0, 1, 0, 0)$ is distinguished since $0 \to K \to K \to 0 \to 0$ is an admissible short exact sequence. Finally, given any homomorphism $f : K \to L$ of differential graded $A$-modules the triangle $(K, L, C(f), f, i, -p)$ is distinguished by Lemma 22.9.4.

Proof of TR2. Let $(X, Y, Z, f, g, h)$ be a triangle. Assume $(Y, Z, X[1], g, h, -f[1])$ is distinguished. Then there exists an admissible short exact sequence $0 \to K \to L \to M \to 0$ such that the associated triangle $(K, L, M, \alpha , \beta , \delta )$ is isomorphic to $(Y, Z, X[1], g, h, -f[1])$. Rotating back we see that $(X, Y, Z, f, g, h)$ is isomorphic to $(M[-1], K, L, -\delta [-1], \alpha , \beta )$. It follows from Lemma 22.9.2 that the triangle $(M[-1], K, L, \delta [-1], \alpha , \beta )$ is isomorphic to $(M[-1], K, C(\delta [-1]), \delta [-1], i, p)$. Precomposing the previous isomorphism of triangles with $-1$ on $Y$ it follows that $(X, Y, Z, f, g, h)$ is isomorphic to $(M[-1], K, C(\delta [-1]), \delta [-1], i, -p)$. Hence it is distinguished by Lemma 22.9.4. On the other hand, suppose that $(X, Y, Z, f, g, h)$ is distinguished. By Lemma 22.9.4 this means that it is isomorphic to a triangle of the form $(K, L, C(f), f, i, -p)$ for some morphism $f$ of $\text{Mod}_{(A, \text{d})}$. Then the rotated triangle $(Y, Z, X[1], g, h, -f[1])$ is isomorphic to $(L, C(f), K[1], i, -p, -f[1])$ which is isomorphic to the triangle $(L, C(f), K[1], i, p, f[1])$. By Lemma 22.9.1 this triangle is distinguished. Hence $(Y, Z, X[1], g, h, -f[1])$ is distinguished as desired.

Proof of TR3. Let $(X, Y, Z, f, g, h)$ and $(X', Y', Z', f', g', h')$ be distinguished triangles of $K(\mathcal{A})$ and let $a : X \to X'$ and $b : Y \to Y'$ be morphisms such that $f' \circ a = b \circ f$. By Lemma 22.9.4 we may assume that $(X, Y, Z, f, g, h) = (X, Y, C(f), f, i, -p)$ and $(X', Y', Z', f', g', h') = (X', Y', C(f'), f', i', -p')$. At this point we simply apply Lemma 22.6.2 to the commutative diagram given by $f, f', a, b$. $\square$

Proof. Say $\pi _1 : L \to K$ and $\pi _3 : M \to L$ are homomorphisms of graded $A$-modules which are left inverse to $\alpha $ and $\beta $. Then also $K \to M$ is an admissible monomorphism with left inverse $\pi _2 = \pi _1 \circ \pi _3$. Let us write $Q_1$, $Q_2$ and $Q_3$ for the cokernels of $K \to L$, $K \to M$, and $L \to M$. Then we obtain identifications (as graded $A$-modules) $Q_1 = \mathop{\mathrm{Ker}}(\pi _1)$, $Q_3 = \mathop{\mathrm{Ker}}(\pi _3)$ and $Q_2 = \mathop{\mathrm{Ker}}(\pi _2)$. Then $L = K \oplus Q_1$ and $M = L \oplus Q_3$ as graded $A$-modules. This implies $M = K \oplus Q_1 \oplus Q_3$. Note that $\pi _2 = \pi _1 \circ \pi _3$ is zero on both $Q_1$ and $Q_3$. Hence $Q_2 = Q_1 \oplus Q_3$. Consider the commutative diagram

The rows of this diagram are admissible short exact sequences, and hence determine distinguished triangles by definition. Moreover downward arrows in the diagram above are compatible with the chosen splittings and hence define morphisms of triangles

and

Note that the splittings $Q_3 \to M$ of the bottom sequence in the diagram provides a splitting for the split sequence $0 \to Q_1 \to Q_2 \to Q_3 \to 0$ upon composing with $M \to Q_2$. It follows easily from this that the morphism $\delta : Q_3 \to Q_1[1]$ in the corresponding distinguished triangle

is equal to the composition $Q_3 \to L[1] \to Q_1[1]$. Hence we get a structure as in the conclusion of axiom TR4. $\square$

Proof. We know that $K(\text{Mod}_{(A, \text{d})})$ is a pre-triangulated category. Hence it suffices to prove TR4 and to prove it we can use Derived Categories, Lemma 13.4.15. Let $K \to L$ and $L \to M$ be composable morphisms of $K(\text{Mod}_{(A, \text{d})})$. By Lemma 22.7.5 we may assume that $K \to L$ and $L \to M$ are admissible monomorphisms. In this case the result follows from Lemma 22.10.2. $\square$