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 \begin{equation} \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) \end{equation} and \begin{equation} \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. \end{equation} 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
    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
    \begin{equation}
    \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)
    \end{equation}
    and
    \begin{equation}
    \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.
    \end{equation}
    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}

    Comments (5)

    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

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

    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 box. So in case this where tag 0321 you just have to write 0321. Beware of the difference between the letter 'O' and the digit 0.

    This captcha seems more appropriate than the usual illegible gibberish, right?