This entry is about conditional convergence of spectral sequences in homological algebra and stable homotopy theory. For conditional convergence of series in real analysis and functional analysis, see conditional convergence.
(also nonabelian homological algebra)
Context
Basic definitions
Stable homotopy theory notions
Constructions
Lemmas
Homology theories
Theorems
In the context of algebraic topology, conditional convergence refers to a more general kind of convergence of spectral sequences than actual (“strong”) convergence (def.). It is the right concept of convergence for spectral sequences that are not concentrated in the first or third quadrant.
Notably an $E$-Adams spectral sequence is in general only conditionally convergent (to the $E$-nilpotent completion), unless finiteness conditions are imposed
Given a spectral sequence induced from an unrolled exact couple of the form
then it is said to converge conditionally to $\mathcal{D}^{0,\bullet}$ if, when regarding $\{\mathcal{D}^{s,\bullet}\}$ as a filtering for $\mathcal{D}^{0,\bullet}$ it is exhaustive and complete, in that:
$\underset{\longleftarrow}{\lim}_s \mathcal{D}^{s,\bullet} = 0$ (the limit over the filtering vanishes);
$\underset{\longleftarrow}{\lim}^1_s \mathcal{D}^{s,\bullet} = 0$ (the lim^1 over the filtering vanishes).
(Boardman 99, def. 5.10, see also Rognes 12, def. 2.20)
The point is that: Given a spectral sequence $\{E_r^{\bullet,\bullet}, d_r\}_r$ as above, that converges conditionally, then sufficient condition that it converges strongly (def.) is that also the lim^1 over its pages vanishes:
(Boardman 99, theorem 7.3, see also Rognes 12, theorem 2.24)
Due to
Lecture notes include
Last revised on January 4, 2023 at 19:03:43. See the history of this page for a list of all contributions to it.