Lemma 12.25.3. Let $\mathcal{A}$ be an abelian category. Let $K^{\bullet , \bullet }$ be a double complex. Assume that for every $n \in \mathbf{Z}$ there are only finitely many nonzero $K^{p, q}$ with $p + q = n$. Then

the two spectral sequences associated to $K^{\bullet , \bullet }$ are bounded,

the filtrations $F_ I$, $F_{II}$ on each $H^ n(K^\bullet )$ are finite,

the spectral sequences $({}'E_ r, {}'d_ r)_{r \geq 0}$ and $({}''E_ r, {}''d_ r)_{r \geq 0}$ converge to $H^*(sK^\bullet )$,

if $\mathcal{C} \subset \mathcal{A}$ is a weak Serre subcategory and for some $r$ we have ${}'E_ r^{p, q} \in \mathcal{C}$ for all $p, q \in \mathbf{Z}$, then $H^ n(sK^\bullet )$ is in $\mathcal{C}$. Similarly for $({}''E_ r, {}''d_ r)_{r \geq 0}$.

## Comments (0)