Lemma 13.42.4 (0G3C)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 13: Derived Categories
Section 13.42: Essentially constant systems
Lemma 13.42.4 (cite)

numberstags

Lemma 13.42.4. Let $\mathcal{D}$ be a triangulated category. Let

$A_ n \to B_ n \to C_ n \to A_ n[1]$

be an inverse system of distinguished triangles. If the system $C_ n$ is pro-zero (essentially constant with value $0$ ), then the maps $A_ n \to B_ n$ determine a pro-isomorphism between the pro-object $(A_ n)$ and the pro-object $(B_ n)$ .

Proof. For any object $X$ of $\mathcal{D}$ consider the exact sequence

$\mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Hom}}\nolimits (C_ n, X) \to \mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Hom}}\nolimits (B_ n, X) \to \mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Hom}}\nolimits (A_ n, X) \to \mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Hom}}\nolimits (C_ n[-1], X) \to$

Exactness follows from Lemma 13.4.2 combined with Algebra, Lemma 10.8.8. By assumption the first and last term are zero. Hence the map $\mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Hom}}\nolimits (B_ n, X) \to \mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Hom}}\nolimits (A_ n, X)$ is an isomorphism for all $X$ . The lemma follows from this and Categories, Remark 4.22.7. $\square$

Comments (0)

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).

Comments (0)

Post a comment