Lemma 12.23.2. Let $\mathcal{A}$ be an abelian category. Let $(K, F, d)$ be a filtered differential object of $\mathcal{A}$. There is a spectral sequence $(E_ r, d_ r)_{r \geq 0}$ in $\text{Gr}(\mathcal{A})$ associated to $(K, F, d)$ such that $d_ r : E_ r \to E_ r[r]$ for all $r$ and such that the graded pieces $E_ r^ p$ and maps $d_ r^ p : E_ r^ p \to E_ r^{p + r}$ are as given above. Furthermore, $E_0^ p = \text{gr}^ p K$, $d_0^ p = \text{gr}^ p(d)$, and $E_1^ p = H(\text{gr}^ pK, d)$.

**Proof.**
If $\mathcal{A}$ has countable direct sums and if countable direct sums are exact, then this follows from the discussion above. In general, we proceed as follows; we strongly suggest the reader skip this proof. Consider the object $A = (F^{p + 1}K)$ of $\text{Gr}(\mathcal{A})$, i.e., we put $F^{p + 1}K$ in degree $p$ (the funny shift in numbering to get numbering correct later on). We endow it with a differential $d$ by using $d$ on each component. Then $(A, d)$ is a differential object of $\text{Gr}(\mathcal{A})$. Consider the map

which is given in degree $p$ by the inclusions $F^{p + 1}A \to F^ pA$. This is clearly an injective morphism of differential objects $\alpha : (A, d) \to (A, d)[-1]$. Hence, we can apply Remark 12.22.6 with $S = \text{id}$ and $T = [1]$. The corresponding spectral sequence $(E_ r, d_ r)_{r \geq 0}$ in $\text{Gr}(\mathcal{A})$ is the spectral sequence we are looking for. Let us unwind the definitions a bit. First of all we have $E_ r = (E_ r^ p)$ is an object of $\text{Gr}(\mathcal{A})$. Then, since $T^ rS = [r]$ we have $d_ r : E_ r \to E_ r[r]$ which means that $d_ r^ p : E_ r^ p \to E_ r^{p + r}$.

To see that the description of the graded pieces hold, we argue as above. Namely, first we have $E_0 = \mathop{\mathrm{Coker}}(\alpha : A \to A[-1])$ and by our choice of numbering above this gives $E_0^ p = \text{gr}^ pK$. The first differential is given by $d_0^ p = \text{gr}^ pd : E_0^ p \to E_0^ p$. Next, the description of the boundaries $B_ r$ and the cocycles $Z_ r$ in Remark 12.22.6 translates into a straightforward manner into the formulae for $Z_ r^ p$ and $B_ r^ p$ given above. $\square$

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

## Comments (0)

There are also: