Lemma 13.26.6 (05TT)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 13: Derived Categories
Section 13.26: Filtered derived category and injective resolutions
Lemma 13.26.6 (cite)

numberstags

Lemma 13.26.6. Let $\mathcal{A}$ be an abelian category with enough injectives. For any object $A$ of $\text{Fil}^ f(\mathcal{A})$ there exists a filtered quasi-isomorphism $A[0] \to I^\bullet$ where $I^\bullet$ is a complex of filtered injective objects with $I^ n = 0$ for $n < 0$ .

Proof. First choose a strict monomorphism $u_0 : A \to I^0$ of $A$ into a filtered injective object, see Lemma 13.26.5. Next, choose a strict monomorphism $u_1 : \mathop{\mathrm{Coker}}(u_0) \to I^1$ into a filtered injective object of $\mathcal{A}$ . Denote $d^0$ the induced map $I^0 \to I^1$ . Next, choose a strict monomorphism $u_2 : \mathop{\mathrm{Coker}}(u_1) \to I^2$ into a filtered injective object of $\mathcal{A}$ . Denote $d^1$ the induced map $I^1 \to I^2$ . And so on. This works because each of the sequences

$0 \to \mathop{\mathrm{Coker}}(u_ n) \to I^{n + 1} \to \mathop{\mathrm{Coker}}(u_{n + 1}) \to 0$

is short exact, i.e., induces a short exact sequence on applying $\text{gr}$ . To see this use Homology, Lemma 12.19.13. $\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