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
There are also: