Definition 12.24.7. Let $\mathcal{A}$ be an abelian category. Let $(E_ r, d_ r)_{r \geq r_0}$ be a spectral sequence of bigraded objects of $\mathcal{A}$ with $d_ r$ of bidegree $(r, -r + 1)$. We say such a spectral sequence is

*regular*if for all $p, q \in \mathbf{Z}$ there is a $b = b(p, q)$ such that the maps $d_ r^{p, q} : E_ r^{p, q} \to E_ r^{p + r, q - r + 1}$ are zero for $r \geq b$,*coregular*if for all $p, q \in \mathbf{Z}$ there is a $b = b(p, q)$ such that the maps $d_ r^{p - r, q + r - 1} : E_ r^{p - r, q + r - 1} \to E_ r^{p, q}$ are zero for $r \geq b$,*bounded*if for all $n$ there are only a finite number of nonzero $E_{r_0}^{p, n - p}$,*bounded below*if for all $n$ there is a $b = b(n)$ such that $E_{r_0}^{p, n - p} = 0$ for $p \geq b$.*bounded above*if for all $n$ there is a $b = b(n)$ such that $E_{r_0}^{p, n - p} = 0$ for $p \leq b$.

## Comments (2)

Comment #2036 by Yu-Liang Huang on

Comment #2074 by Johan on