The Stacks project

Lemma 19.13.12. Let $\mathcal{A}$ be a Grothendieck abelian category. Suppose given an object $E \in D(\mathcal{A})$ and an inverse system $\{ E^ i\} _{i \in \mathbf{Z}}$ of objects of $D(\mathcal{A})$ over $\mathbf{Z}$ together with a compatible system of maps $E^ i \to E$. Picture:

\[ \ldots \to E^{i + 1} \to E^ i \to E^{i - 1} \to \ldots \to E \]

Then there exists a filtered complex $K^\bullet $ of $\mathcal{A}$ (Homology, Definition 12.24.1) such that $K^\bullet $ represents $E$ and $F^ iK^\bullet $ represents $E^ i$ compatibly with the given maps.

Proof. By Theorem 19.12.6 we can choose a K-injective complex $I^\bullet $ representing $E$ all of whose terms $I^ n$ are injective objects of $\mathcal{A}$. Choose a complex $G^{0, \bullet }$ representing $E^0$. Choose a map of complexes $\varphi ^0 : G^{0, \bullet } \to I^\bullet $ representing $E^0 \to E$. For $i > 0$ we inductively represent $E^ i \to E^{i - 1}$ by a map of complexes $\delta : G^{i, \bullet } \to G^{i - 1, \bullet }$ and we set $\varphi ^ i = \delta \circ \varphi ^{i - 1}$. For $i < 0$ we inductively represent $E^{i + 1} \to E^ i$ by a termwise injective map of complexes $\delta : G^{i + 1, \bullet } \to G^{i, \bullet }$ (for example you can use Derived Categories, Lemma 13.9.6). Claim: we can find a map of complexes $\varphi ^ i : G^{i, \bullet } \to I^\bullet $ representing the map $E^ i \to E$ and fitting into the commutative diagram

\[ \xymatrix{ G^{i + 1, \bullet } \ar[r]_\delta \ar[d]_{\varphi ^{i + 1}} & G^{i, \bullet } \ar[ld]^{\varphi ^ i} \\ I^\bullet } \]

Namely, we first choose any map of complexes $\varphi : G^{i, \bullet } \to I^\bullet $ representing the map $E^ i \to E$. Then we see that $\varphi \circ \delta $ and $\varphi ^{i + 1}$ are homotopic by some homotopy $h^ p : G^{i + 1, p} \to I^{p - 1}$. Since the terms of $I^\bullet $ are injective and since $\delta $ is termwise injective, we can lift $h^ p$ to $(h')^ p : G^{i, p} \to I^{p - 1}$. Then we set $\varphi ^ i = \varphi + h' \circ d + d \circ h'$ and we get what we claimed.

Next, we choose for every $i$ a termwise injective map of complexes $a^ i : G^{i, \bullet } \to J^{i, \bullet }$ with $J^{i, \bullet }$ acyclic, K-injective, with $J^{i, p}$ injective objects of $\mathcal{A}$. To do this first map $G^{i, \bullet }$ to the cone on the identity and then apply the theorem cited above. Arguing as above we can find maps of complexes $\delta ' : J^{i, \bullet } \to J^{i - 1, \bullet }$ such that the diagrams

\[ \xymatrix{ G^{i, \bullet } \ar[r]_\delta \ar[d]_{a^ i} & G^{i - 1, \bullet } \ar[d]^{a^{i - 1}} \\ J^{i, \bullet } \ar[r]^{\delta '} & J^{i - 1, \bullet } } \]

commute. (You could also use the functoriality of cones plus the functoriality in the theorem to get this.) Then we consider the maps

\[ \xymatrix{ G^{i + 1, \bullet } \times \prod \nolimits _{p > i + 1} J^{p, \bullet } \ar[r] \ar[rd] & G^{i, \bullet } \times \prod \nolimits _{p > i} J^{p, \bullet } \ar[r] \ar[d] & G^{i - 1, \bullet } \times \prod \nolimits _{p > i - 1} J^{p, \bullet } \ar[ld] \\ & I^\bullet \times \prod \nolimits _ p J^{p, \bullet } } \]

Here the arrows on $J^{p, \bullet }$ are the obvious ones (identity or zero). On the factor $G^{i, \bullet }$ we use $\delta : G^{i, \bullet } \to G^{i - 1, \bullet }$, the map $\varphi ^ i : G^{i, \bullet } \to I^\bullet $, the zero map $0 : G^{i, \bullet } \to J^{p, \bullet }$ for $p > i$, the map $a^ i : G^{i, \bullet } \to J^{p, \bullet }$ for $p = i$, and $(\delta ')^{i - p} \circ a^ i = a^ p \circ \delta ^{i - p} : G^{i, \bullet } \to J^{p, \bullet }$ for $p < i$. We omit the verification that all the arrows in the diagram are termwise injective. Thus we obtain a filtered complex. Because products in $D(\mathcal{A})$ are given by taking products of K-injective complexes (Lemma 19.13.4) and because $J^{p, \bullet }$ is zero in $D(\mathcal{A})$ we conclude this diagram represents the given diagram in the derived category. This finishes the proof. $\square$

Comments (0)

Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0ESJ. Beware of the difference between the letter 'O' and the digit '0'.