The Stacks project

Exercise 111.30.1. Let $\mathcal{A}$ be an abelian category. Let $I$ be a filtered object of $\mathcal{A}$. Assume that the filtration on $I$ is finite and that each $\text{gr}^ p(I)$ is an injective object of $\mathcal{A}$. Show that there exists an isomorphism $I \cong \bigoplus \text{gr}^ p(I)$ with filtration $F^ p(I)$ corresponding to $\bigoplus _{p' \geq p} \text{gr}^ p(I)$.

Exercise 111.30.2. Let $\mathcal{A}$ be an abelian category. Let $I$ be a filtered object of $\mathcal{A}$. Assume that the filtration on $I$ is finite. Show the following are equivalent:

1. For any solid diagram

   $$\xymatrix{ A \ar[r]_\alpha \ar[d] & B \ar@{-->}[ld] \\ I & }$$

   of filtered objects with (i) the filtrations on $A$ and $B$ are finite, and (ii) $\text{gr}(\alpha )$ injective the dotted arrow exists making the diagram commute.

2. Each $\text{gr}^ p I$ is injective.

Exercise 111.30.5. Let $\mathcal{A}$ be an abelian category. Assume $\mathcal{A}$ has enough injectives. Let $A$ be an object of $\text{Fil}^ f(\mathcal{A})$. Show that there exists a strict monomorphism $\alpha : A \to I$ of $A$ into a filtered injective object $I$ of $\text{Fil}^ f(\mathcal{A})$.

Exercise 111.30.8. Let $\mathcal{A}$ be an abelian category. Let $\alpha : K^\bullet \to L^\bullet$ be a morphism of bounded below complexes of $\text{Fil}^ f(\mathcal{A})$. (Note the superscript $f$.) Show that the following are equivalent:

1. $\alpha$ is a filtered quasi-isomorphism,

2. for each $p \in \mathbf{Z}$ the map $\alpha : F^ pK^\bullet \to F^ pL^\bullet$ is a quasi-isomorphism,

3. for each $p \in \mathbf{Z}$ the map $\alpha : K^\bullet /F^ pK^\bullet \to L^\bullet /F^ pL^\bullet$ is a quasi-isomorphism, and

4. the cone of $\alpha$ (see Derived Categories, Definition 13.9.1) is a filtered acyclic complex.

Moreover, show that if $\alpha$ is a filtered quasi-isomorphism then $\alpha$ is also a usual quasi-isomorphism.

Exercise 111.30.9. Let $\mathcal{A}$ be an abelian category. Assume $\mathcal{A}$ has enough injectives. Let $A$ be an object of $\text{Fil}^ f(\mathcal{A})$. Show there exists a complex $I^\bullet$ of $\text{Fil}^ f(\mathcal{A})$, and a morphism $A[0] \to I^\bullet$ such that

1. each $I^ p$ is filtered injective,

2. $I^ p = 0$ for $p < 0$, and

3. $A[0] \to I^\bullet$ is a filtered quasi-isomorphism.

Exercise 111.30.10. Let $\mathcal{A}$ be an abelian category. Assume $\mathcal{A}$ has enough injectives. Let $K^\bullet$ be a bounded below complex of objects of $\text{Fil}^ f(\mathcal{A})$. Show there exists a filtered quasi-isomorphism $\alpha : K^\bullet \to I^\bullet$ with $I^\bullet$ a complex of $\text{Fil}^ f(\mathcal{A})$ having filtered injective terms $I^ n$, and bounded below. In fact, we may choose $\alpha$ such that each $\alpha ^ n$ is a strict monomorphism.

Exercise 111.30.11. Let $\mathcal{A}$ be an abelian category. Consider a solid diagram

of complexes of $\text{Fil}^ f(\mathcal{A})$. Assume $K^\bullet$, $L^\bullet$ and $I^\bullet$ are bounded below and assume each $I^ n$ is a filtered injective object. Also assume that $\alpha$ is a filtered quasi-isomorphism.

1. There exists a map of complexes $\beta$ making the diagram commute up to homotopy.

2. If $\alpha$ is a strict monomorphism in every degree then we can find a $\beta$ which makes the diagram commute.

Exercise 111.30.12. Let $\mathcal{A}$ be an abelian category. Let $K^\bullet$, $K^\bullet$ be complexes of $\text{Fil}^ f(\mathcal{A})$. Assume

1. $K^\bullet$ bounded below and filtered acyclic, and

2. $I^\bullet$ bounded below and consisting of filtered injective objects.

Then any morphism $K^\bullet \to I^\bullet$ is homotopic to zero.

Exercise 111.30.13. Let $\mathcal{A}$ be an abelian category. Consider a solid diagram

of complexes of $\text{Fil}^ f(\mathcal{A})$. Assume $K^\bullet$, $L^\bullet$ and $I^\bullet$ bounded below and each $I^ n$ a filtered injective object. Also assume $\alpha$ a filtered quasi-isomorphism. Any two morphisms $\beta _1, \beta _2$ making the diagram commute up to homotopy are homotopic.