# The Stacks Project

## Tag 012A

### 12.20. Spectral sequences: filtered differential objects

We can build a spectral sequence starting with a filtered differential object.

Definition 12.20.1. Let $\mathcal{A}$ be an abelian category. A filtered differential object $(K, F, d)$ is a filtered object $(K, F)$ of $\mathcal{A}$ endowed with an endomorphism $d : (K, F) \to (K, F)$ whose square is zero: $d \circ d = 0$.

To describe the spectral sequence associated to such an object we assume, for the moment, that $\mathcal{A}$ is an abelian category which has countable direct sums and countable direct sums are exact (this is not automatic, see Remark 12.15.3). Let $(K, F, d)$ be a filtered differential object of $\mathcal{A}$. Note that each $F^nK$ is a differential object by itself. Consider the object $A = \bigoplus F^nK$ and endow it with a differential $d$ by using $d$ on each summand. Then $(A, d)$ is a differential object of $\mathcal{A}$ which comes equipped with a grading. Consider the map $$\alpha : A \to A$$ which is given by the inclusions $F^nK \to F^{n - 1}K$. This is clearly an injective morphism of differential objects $\alpha : (A, d) \to (A, d)$. Hence, by Definition 12.19.5 we get a spectral sequence. We will call this the spectral sequence associated to the filtered differential object $(K, F, d)$.

Let us figure out the terms of this spectral sequence. First, note that $A/\alpha A = \text{gr}(K)$ endowed with its differential $d = \text{gr}(d)$. Hence we see that $$E_0 = \text{gr}(K), \quad d_0 = \text{gr}(d).$$ Hence the homology of the graded differential object $\text{gr}(K)$ is the next term: $$E_1 = H(\text{gr}(K), \text{gr}(d)).$$ In addition we see that $E_0$ is a graded object of $\mathcal{A}$ and that $d_0$ is compatible with the grading. Hence clearly $E_1$ is a graded object as well. But it turns out that the differential $d_1$ does not preserve this grading; instead it shifts the degree by $1$.

To work this out precisely, we define $$Z_r^p = \frac{F^pK \cap d^{-1}(F^{p + r}K) + F^{p + 1}K}{F^{p + 1}K}$$ and $$B_r^p = \frac{F^pK \cap d(F^{p - r + 1}K) + F^{p + 1}K}{F^{p + 1}K}.$$ This notation, although quite natural, seems to be different from the notation in most places in the literature. Perhaps it does not matter, since the literature does not seem to have a consistent choice of notation either. With these choices we see that $B_r \subset E_0$, resp. $Z_r \subset E_0$ (as defined in Section 12.19) is equal to $\bigoplus_p B_r^p$, resp. $\bigoplus_p Z_r^p$. Hence if we define $$E_r^p = Z_r^p/B_r^p$$ for $r \geq 0$ and $p \in \mathbf{Z}$, then we have $E_r = \bigoplus_p E_r^p$. We can define a differential $d_r^p : E_r^p \to E_r^{p + r}$ by the rule $$z + F^{p + 1}K \longmapsto dz + F^{p + r + 1}K$$ where $z \in F^pK \cap d^{-1}(F^{p + r}K)$.

Lemma 12.20.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 $$\alpha : A \to A[-1]$$ 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.19.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.19.6 translates into a straightforward manner into the formulae for $Z_r^p$ and $B_r^p$ given above. $\square$

Lemma 12.20.3. Let $\mathcal{A}$ be an abelian category. Let $(K, F, d)$ be a filtered differential object of $\mathcal{A}$. The spectral sequence $(E_r, d_r)_{r \geq 0}$ associated to $(K, F, d)$ has $$d_1^p : E_1^p = H(\text{gr}^pK) \longrightarrow H(\text{gr}^{p + 1}K) = E_1^{p + 1}$$ equal to the boundary map in homology associated to the short exact sequence of differential objects $$0 \to \text{gr}^{p + 1}K \to F^pK/F^{p + 2}K \to \text{gr}^pK \to 0.$$

Proof. This is clear from the formula for the differential $d_1^p$ given just above Lemma 12.20.2. $\square$

Definition 12.20.4. Let $\mathcal{A}$ be an abelian category. Let $(K, F, d)$ be a filtered differential object of $\mathcal{A}$. The induced filtration on $H(K, d)$ is the filtration defined by $F^pH(K, d) = \mathop{\mathrm{Im}}(H(F^pK, d) \to H(K, d))$.

Writing out what this means we see that $$F^pH(K, d) = \frac{\mathop{\mathrm{Ker}}(d) \cap F^pK + \mathop{\mathrm{Im}}(d)}{\mathop{\mathrm{Im}}(d)}$$ and hence we see that $$\text{gr}^p H(K) = \frac{\mathop{\mathrm{Ker}}(d) \cap F^pK + \mathop{\mathrm{Im}}(d)}{\mathop{\mathrm{Ker}}(d) \cap F^{p + 1}K + \mathop{\mathrm{Im}}(d)} = \frac{\mathop{\mathrm{Ker}}(d) \cap F^pK}{\mathop{\mathrm{Ker}}(d) \cap F^{p + 1}K + \mathop{\mathrm{Im}}(d) \cap F^pK}$$

Lemma 12.20.5. Let $\mathcal{A}$ be an abelian category. Let $(K, F, d)$ be a filtered differential object of $\mathcal{A}$. If $Z_\infty^p$ and $B_\infty^p$ exist (see proof), then

1. the limit $E_\infty$ exists and is graded having $E_\infty^p = Z_\infty^p/B_\infty^p$ in degree $p$, and
2. the associated graded $\text{gr}(H(K))$ of the cohomology of $K$ is a graded subquotient of the graded limit object $E_\infty$.

Proof. The objects $Z_\infty$, $B_\infty$, and the limit $E_\infty = Z_\infty/B_\infty$ of Definition 12.17.2 are objects of $\text{Gr}(\mathcal{A})$ by our construction of the spectral sequence in the proof of Lemma 12.20.2. Since $Z_r = \bigoplus Z_r^p$ and $B_r = \bigoplus B_r^p$, if we assume that $$Z_\infty^p = \bigcap\nolimits_r Z_r^p = \frac{\bigcap_r (F^pK \cap d^{-1}(F^{p + r}K) + F^{p + 1}K)}{F^{p + 1}K}$$ and $$B_\infty^p = \bigcup\nolimits_r B_r^p = \frac{\bigcup_r (F^pK \cap d(F^{p - r + 1}K) + F^{p + 1}K)}{F^{p + 1}K}.$$ exist, then $Z_\infty$ and $B_\infty$ exist with degree $p$ parts $Z_\infty^p$ and $B_\infty^p$ (follows from an elementary argument about unions and intersections of graded subobjects). Thus $$E_\infty^p = \frac{\bigcap_r (F^pK \cap d^{-1}(F^{p + r}K) + F^{p + 1}K)} {\bigcup_r (F^pK \cap d(F^{p - r + 1}K) + F^{p + 1}K)}.$$ where the top and bottom exist. We have $$\tag{12.20.5.1} \mathop{\mathrm{Ker}}(d) \cap F^pK + F^{p + 1}K \subset \bigcap\nolimits_r \left(F^pK \cap d^{-1}(F^{p + r}K) + F^{p + 1}K\right)$$ and $$\tag{12.20.5.2} \bigcup\nolimits_r \left(F^pK \cap d(F^{p - r + 1}K) + F^{p + 1}K\right) \subset \mathop{\mathrm{Im}}(d) \cap F^pK + F^{p + 1}K.$$ Thus a subquotient of $E_\infty^p$ is $$\frac{\mathop{\mathrm{Ker}}(d) \cap F^pK + F^{p + 1}K}{\mathop{\mathrm{Im}}(d) \cap F^pK + F^{p + 1}K} = \frac{\mathop{\mathrm{Ker}}(d) \cap F^pK}{\mathop{\mathrm{Im}}(d) \cap F^pK + \mathop{\mathrm{Ker}}(d) \cap F^{p + 1}K}$$ Comparing with the formula given for $\text{gr}^pH(K)$ in the discussion following Definition 12.20.4 we conclude. $\square$

Definition 12.20.6. Let $\mathcal{A}$ be an abelian category. Let $(K, F, d)$ be a filtered differential object of $\mathcal{A}$. We say the spectral sequence associated to $(K, F, d)$

1. weakly converges to $H(K)$ if $\text{gr}H(K) = E_{\infty}$ via Lemma 12.20.5,
2. abuts to $H(K)$ if it weakly converges to $H(K)$ and we have $\bigcap F^pH(K) = 0$ and $\bigcup F^pH(K) = H(K)$,

Unfortunately, it seems hard to find a consistent terminology for these notions in the literature.

Lemma 12.20.7. Let $\mathcal{A}$ be an abelian category. Let $(K, F, d)$ be a filtered differential object of $\mathcal{A}$. The associated spectral sequence

1. weakly converges to $H(K)$ if and only if for every $p \in \mathbf{Z}$ we have equality in equations (12.20.5.2) and (12.20.5.1),
2. abuts to $H(K)$ if and only if it weakly converges to $H(K)$ and $\bigcap_p (\mathop{\mathrm{Ker}}(d) \cap F^pK + \mathop{\mathrm{Im}}(d)) = \mathop{\mathrm{Im}}(d)$ and $\bigcup_p (\mathop{\mathrm{Ker}}(d) \cap F^pK + \mathop{\mathrm{Im}}(d)) = \mathop{\mathrm{Ker}}(d)$.

Proof. Immediate from the discussions above. $\square$

The code snippet corresponding to this tag is a part of the file homology.tex and is located in lines 4550–4840 (see updates for more information).

\section{Spectral sequences: filtered differential objects}
\label{section-filtered-differential}

\noindent
We can build a spectral sequence starting with a filtered
differential object.

\begin{definition}
\label{definition-filtered-differential}
Let $\mathcal{A}$ be an abelian category.
A {\it filtered differential object} $(K, F, d)$ is a filtered object
$(K, F)$ of $\mathcal{A}$ endowed with an endomorphism
$d : (K, F) \to (K, F)$ whose square is zero: $d \circ d = 0$.
\end{definition}

\noindent
To describe the spectral sequence associated to such an object
we assume, for the moment, that $\mathcal{A}$ is an abelian category
which has countable direct sums and countable direct sums are exact
(this is not automatic, see Remark \ref{remark-direct-sums-not-exact}).
Let $(K, F, d)$ be a filtered differential object of $\mathcal{A}$.
Note that each $F^nK$ is a differential object by itself.
Consider the object $A = \bigoplus F^nK$ and endow it with a
differential $d$ by using $d$ on each summand.
Then $(A, d)$ is a differential object of $\mathcal{A}$
which comes equipped with a grading. Consider the map
$$\alpha : A \to A$$
which is given by the inclusions $F^nK \to F^{n - 1}K$.
This is clearly an injective morphism of differential objects
$\alpha : (A, d) \to (A, d)$. Hence, by
Definition \ref{definition-differential-object-selfmap}
we get a spectral sequence.
We will call this {\it the spectral sequence associated to
the filtered differential object $(K, F, d)$}.

\medskip\noindent
Let us figure out the terms of this spectral sequence.
First, note that $A/\alpha A = \text{gr}(K)$
endowed with its differential $d = \text{gr}(d)$. Hence we see that
$$E_0 = \text{gr}(K), \quad d_0 = \text{gr}(d).$$
Hence the homology of the graded differential object $\text{gr}(K)$
is the next term:
$$E_1 = H(\text{gr}(K), \text{gr}(d)).$$
In addition we see that $E_0$ is a graded object of $\mathcal{A}$
and that $d_0$ is compatible with the grading. Hence clearly $E_1$
is a graded object as well. But it turns out that the differential
$d_1$ does not preserve this grading; instead it shifts the degree by $1$.

\medskip\noindent
To work this out precisely, we define
$$Z_r^p = \frac{F^pK \cap d^{-1}(F^{p + r}K) + F^{p + 1}K}{F^{p + 1}K}$$
and
$$B_r^p = \frac{F^pK \cap d(F^{p - r + 1}K) + F^{p + 1}K}{F^{p + 1}K}.$$
This notation, although quite natural, seems to be different from the
notation in most places in the literature. Perhaps it does not matter,
since the literature does not seem to have a consistent choice of notation
either. With these choices we see that $B_r \subset E_0$,
resp.\ $Z_r \subset E_0$ (as defined in
Section \ref{section-differential-object}) is equal to
$\bigoplus_p B_r^p$, resp.\ $\bigoplus_p Z_r^p$.
Hence if we define
$$E_r^p = Z_r^p/B_r^p$$
for $r \geq 0$ and $p \in \mathbf{Z}$, then we have $E_r = \bigoplus_p E_r^p$.
We can define a differential $d_r^p : E_r^p \to E_r^{p + r}$
by the rule
$$z + F^{p + 1}K \longmapsto dz + F^{p + r + 1}K$$
where $z \in F^pK \cap d^{-1}(F^{p + r}K)$.

\begin{lemma}
\label{lemma-spectral-sequence-filtered-differential}
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)$.
\end{lemma}

\begin{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
$$\alpha : A \to A[-1]$$
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 \ref{remark-differential-object-selfmap}
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}$.

\medskip\noindent
To see that the description of the graded pieces hold, we argue
as above. Namely, first we have $E_0 = \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 \ref{remark-differential-object-selfmap}
translates into a straightforward manner into the formulae
for $Z_r^p$ and $B_r^p$ given above.
\end{proof}

\begin{lemma}
\label{lemma-spectral-sequence-filtered-differential-d1}
Let $\mathcal{A}$ be an abelian category. Let $(K, F, d)$ be a filtered
differential object of $\mathcal{A}$. The spectral sequence
$(E_r, d_r)_{r \geq 0}$ associated to $(K, F, d)$ has
$$d_1^p : E_1^p = H(\text{gr}^pK) \longrightarrow H(\text{gr}^{p + 1}K) = E_1^{p + 1}$$
equal to the boundary map in homology associated to the short
exact sequence of differential objects
$$0 \to \text{gr}^{p + 1}K \to F^pK/F^{p + 2}K \to \text{gr}^pK \to 0.$$
\end{lemma}

\begin{proof}
This is clear from the formula for the differential $d_1^p$
given just above Lemma \ref{lemma-spectral-sequence-filtered-differential}.
\end{proof}

\begin{definition}
\label{definition-filtration-cohomology-filtered-differential}
Let $\mathcal{A}$ be an abelian category.
Let $(K, F, d)$ be a filtered differential object of $\mathcal{A}$.
The {\it induced filtration} on $H(K, d)$ is the filtration defined
by $F^pH(K, d) = \Im(H(F^pK, d) \to H(K, d))$.
\end{definition}

\noindent
Writing out what this means we see that
$$F^pH(K, d) = \frac{\Ker(d) \cap F^pK + \Im(d)}{\Im(d)}$$
and hence we see that
$$\text{gr}^p H(K) = \frac{\Ker(d) \cap F^pK + \Im(d)}{\Ker(d) \cap F^{p + 1}K + \Im(d)} = \frac{\Ker(d) \cap F^pK}{\Ker(d) \cap F^{p + 1}K + \Im(d) \cap F^pK}$$

\begin{lemma}
\label{lemma-compute-filtered-cohomology}
Let $\mathcal{A}$ be an abelian category. Let $(K, F, d)$ be a filtered
differential object of $\mathcal{A}$. If $Z_\infty^p$ and $B_\infty^p$
exist (see proof), then
\begin{enumerate}
\item the limit $E_\infty$ exists and is graded having
$E_\infty^p = Z_\infty^p/B_\infty^p$ in degree $p$, and
\item the associated graded $\text{gr}(H(K))$ of the cohomology of $K$
is a graded subquotient of the graded limit object $E_\infty$.
\end{enumerate}
\end{lemma}

\begin{proof}
The objects $Z_\infty$, $B_\infty$, and the limit
$E_\infty = Z_\infty/B_\infty$ of
Definition \ref{definition-limit-spectral-sequence}
are objects of $\text{Gr}(\mathcal{A})$ by our construction of
the spectral sequence in the proof of
Lemma \ref{lemma-spectral-sequence-filtered-differential}.
Since $Z_r = \bigoplus Z_r^p$ and $B_r = \bigoplus B_r^p$, if we assume that
$$Z_\infty^p = \bigcap\nolimits_r Z_r^p = \frac{\bigcap_r (F^pK \cap d^{-1}(F^{p + r}K) + F^{p + 1}K)}{F^{p + 1}K}$$
and
$$B_\infty^p = \bigcup\nolimits_r B_r^p = \frac{\bigcup_r (F^pK \cap d(F^{p - r + 1}K) + F^{p + 1}K)}{F^{p + 1}K}.$$
exist, then $Z_\infty$ and $B_\infty$ exist with degree $p$ parts
$Z_\infty^p$ and $B_\infty^p$ (follows from an elementary argument
$$E_\infty^p = \frac{\bigcap_r (F^pK \cap d^{-1}(F^{p + r}K) + F^{p + 1}K)} {\bigcup_r (F^pK \cap d(F^{p - r + 1}K) + F^{p + 1}K)}.$$
where the top and bottom exist. We have

\label{equation-on-top}
\Ker(d) \cap F^pK + F^{p + 1}K
\subset
\bigcap\nolimits_r \left(F^pK \cap d^{-1}(F^{p + r}K) + F^{p + 1}K\right)

and

\label{equation-at-bottom}
\bigcup\nolimits_r \left(F^pK \cap d(F^{p - r + 1}K) + F^{p + 1}K\right)
\subset
\Im(d) \cap F^pK + F^{p + 1}K.

Thus a subquotient of $E_\infty^p$ is
$$\frac{\Ker(d) \cap F^pK + F^{p + 1}K}{\Im(d) \cap F^pK + F^{p + 1}K} = \frac{\Ker(d) \cap F^pK}{\Im(d) \cap F^pK + \Ker(d) \cap F^{p + 1}K}$$
Comparing with the formula given for $\text{gr}^pH(K)$ in the discussion
following
Definition \ref{definition-filtration-cohomology-filtered-differential}
we conclude.
\end{proof}

\begin{definition}
\label{definition-filtered-differential-ss-converges}
Let $\mathcal{A}$ be an abelian category.
Let $(K, F, d)$ be a filtered differential object of $\mathcal{A}$.
We say the spectral sequence associated to $(K, F, d)$
\begin{enumerate}
\item {\it weakly converges to $H(K)$} if $\text{gr}H(K) = E_{\infty}$
via Lemma \ref{lemma-compute-filtered-cohomology},
\item {\it abuts to $H(K)$} if it weakly converges to $H(K)$ and
we have $\bigcap F^pH(K) = 0$ and $\bigcup F^pH(K) = H(K)$,
\end{enumerate}
\end{definition}

\noindent
Unfortunately, it seems hard to find a consistent terminology for these
notions in the literature.

\begin{lemma}
\label{lemma-filtered-differential-ss-converges}
Let $\mathcal{A}$ be an abelian category.
Let $(K, F, d)$ be a filtered differential object of $\mathcal{A}$.
The associated spectral sequence
\begin{enumerate}
\item weakly converges to $H(K)$ if and only if for every
$p \in \mathbf{Z}$ we have equality in equations
(\ref{equation-at-bottom}) and (\ref{equation-on-top}),
\item abuts to $H(K)$ if and only if it weakly converges to $H(K)$ and
$\bigcap_p (\Ker(d) \cap F^pK + \Im(d)) = \Im(d)$
and $\bigcup_p (\Ker(d) \cap F^pK + \Im(d)) = \Ker(d)$.
\end{enumerate}
\end{lemma}

\begin{proof}
Immediate from the discussions above.
\end{proof}

Comment #1035 by JuanPablo on September 14, 2014 a 7:18 pm UTC

Hi. Here it says after the first definition that the morphism $\alpha$ is inyective, this seems to use that the (infinite) direct sum of inyective morphisms is inyective. This is true in all examples I can think of, but I can not prove it.

In the section <a href="http://stacks.math.columbia.edu/tag/09MF">09MF</a> on graded objects, for an abelian category $\mathcal{A}$ with countable sums there is defined a functor $\text{Gr}( \mathcal{A} ) \rightarrow \mathcal{A}$ and I can see it is faithfull, additive and right exact, but not that it is left exact which is my problem.

I can sidestep this issue by doing "graded" versions of the sections <a href="http://stacks.math.columbia.edu/tag/011M">011M</a>, <a href="http://stacks.math.columbia.edu/tag/09MF">011P</a> and <a href="http://stacks.math.columbia.edu/tag/09MF">011U</a> as follows: define a "graded" spectral sequence as $(E_r,d_r)_{r\geq r_0}$ with $E_r\in \text{Gr}(\mathcal{A})$ and $d_r:E_r\rightarrow E_r[r]$ homogeneous of degree $r$ with $d_rd_r[-r]=0$ and $E_{r+1}=\text{Ker}(d_r)/\text{Im}(d_r[-r])$. An exact "graded" couple is of the form $\alpha: A[1] \rightarrow A$, $f:E\rightarrow A[1]$ and $g:A\rightarrow E$, with the similar exactness condition. A "graded" differential object $(A,d)$ is a differential object in $\text{Gr}(\mathcal{A})$; and given a monomorphism of differential objects $\alpha:A[1]\rightarrow A$ we obtain a "graded" spectral sequence. This has the small bonus that $\mathcal{A}$ need not have countable sums.

All this can be avoided if the direct sum of inyective morphisms is inyective, that is my question.

Comment #1036 by JuanPablo on September 15, 2014 a 2:40 am UTC

After reading the next sections it seems that the "graded" version should replace objects by graded objects and morphisms by homogeneous morphisms (of any degree), and this section allows such version.

For example a "graded" spectral sequence is $(E_r,d_r)_{r\geq r_0}$ where $E_r\in\text{Gr}(\mathcal{A})$ and $d_r:E_r\rightarrow E_r$ is homogenous (that is there exists $k$ such that $d_r:E_r\rightarrow E_r[k]$ is a graded morphism) and $E_{r+1}=\text{Ker}(d_r)/\text{Im}(d_r)$ (shifting the $d_r$ where necessary).

Comment #1044 by Johan (site) on September 21, 2014 a 1:22 am UTC

You are right. I introduced the category of graded objects about a year ago, but the later sections didn't get upgraded. I've tried to improve the exposition, at the cost of introducing a somewhat complicated version of exact couples where one keeps tracks of shifts... The commit is here. Thanks!

Comment #2035 by Yu-Liang Huang on May 10, 2016 a 11:57 pm UTC

A typo in the paragraph next to the Definition 12.20.1: ''which is given by the inclusions $F^nA \to F^{n-1}A$'' should be $F^nK \to F^{n-1}K$.

Comment #2073 by Johan (site) on June 16, 2016 a 12:58 pm UTC

Thanks, fixed here.

## Add a comment on tag 012A

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 lower-right corner).