I have the following somewhat vague question. I am not sure if it is appropriate for this forum, please feel free to close (or migrate to stackexchange).
I have been "brought up" as an algebraic geometer. Spectral sequences are obviously ubiqutous and useful in this subject. The conclusion I have drawn from my exposure to spectral sequences there is that they express how you can compute ordinary (non-derived) invariants of "derived objects". An alternative way of saying this that whenever you have spectral sequence you should identify it as being either a grothendieck spectral sequence (you are really doing a derived a composition), or a hyper(co)homoloy spectral sequence (you legitimately want to know ordinary invariants of derived objects).
I have now begun studying (classical) stable homotopy theory, and there seems to be a bewildering set of spectral sequences. I cannot explain any of them in the above terms, but many of them "feel like they are close to being of the above type".
Let me give some examples. Consider the spectral sequence of a homotopy limit:
$\lim^* \pi_* E_\bullet \Rightarrow \pi_* \operatorname{holim} E_\bullet$
(I'm writing $*$ for all indices to avoid getting into details.) If you pretend that there is a nice functor $D\pi: SH \to DAb$ taking a spectrum to a chain complex with homology groups the homotopy groups of the spectrum ($h_* D\pi = \pi_*$) and which commutes with homotopy limits, then the above "is just the hyperhomology spectral sequence". Unfortunately I'm fairly sure $D\pi$ cannot exist.
If we keep up the pretense for a bit, we could try to say $Map(E, F) = RHom(D\pi E, D\pi F)$ (this is getting real silly now, since $D\pi$ is fully faithful and essentially surjective), and then the Atiyah-Hirzebruch spectral sequence also becomes "just a hyperhomology spectral sequence".
It seems similarly imaginable that the Atiyah-Hirzebruch spectral sequence is an incarnation of the Leray-Serre spectral sequence (for the inclusion $i: * \to X$), although I am less sure how to even put this in symbols.
I could go on; by dreaming up $D\pi$ (or a related gadget) to have various (eventually contradictory) properties many spectral sequences can be "interpreted" in this way. But enough woffling.
Now to my real question.
Is there a way in which sense can be made of these ideas? For example by replacing $DAb$ by a more complicated abelian category? Alternatively, is there a better organising principle for spectral sequences in algebraic topology?
Notes
If X is a topological abelian group (spectrum), then $D\pi X = N_\bullet Sing(X)$ (normalised chain complex of the singular simplicial abelian group of X) has some of the properties dreamed up above. Since the spectral sequences apply to topological abelian groups and their maps and in this case reduce to the hyperhomology spectral sequences I have shown, this perhaps explains why the topologists' spectral sequences feel familiar.
Thanks,
Tom
Best Answer
It seems to me that everything written so far is addressing the title, not the body of the question, in particular focusing on the unstable. Part of that is people asking their own questions. But I think it is best to start with the easiest questions. Indeed, Tom, you have singled out the right place to start: Yes, the Atiyah-Hirzebruch spectral sequence is a hypercohomology spectral sequence.
Of course, we need a generalization or abstraction of the hypercohomology spectral sequence to make sense of that. Surely, you know that as you move from homological algebra to stable homotopy theory, you should generalize from derived categories of abelian categories to the abstraction of triangulated categories.* But there is another abstraction that you should know about, that of t-structures.
As Dylan says, spectral sequences come from filtrations.** But where do filtrations come from? One source is taking a chain complex and filtering by degree. The subquotients reveal exactly the original chain complex, while we'd prefer something that depended only on the quasi-isomorphism class. (Though often this is good enough because, although its $E_1$ page is not canonical, the rest of the sequence is.) The steps of this filtration are called the "naive truncations." They have the property that their homology agrees with the original in low degrees, is zero in high degrees, and is not canonical in a single degree. With a little modification, this can be changed into the good truncation, which has no such intermediate degree, but goes directly from agreeing to disagreeing.
Here is one version of the hypercohomology spectral sequence, I think pretty close to way that you see it. Start with a right-derivable functor $F\colon A\to B$ between abelian categories and the goal of understanding its derived functor on chain complexes $RF\colon DA\to DB$. Start with a complex $C\in DA$, take its good filtration, so that its subquotients are $H^iC[i]$, shifts of objects of $A$, and apply $RF$ to get a chain complex made of $R^jF(H^iC)$. Then as you reassemble $C$ from the $H^iC$, the spectral sequence reassembles $RF(C)$ from $RF(H^iC)$.
Let us abstract what this argument required: not that $DA$ was the derived category of an abelian category, but merely that each object had a filtration whose subquotients lived in shifts of an abelian category, called the heart; and that it was easier to understand the functor restricted to this abelian category. The first condition, which does not mention the functor, is called a t-structure.
Ultimately, the point is that the stable homotopy category has a t-structure whose heart is the category of abelian groups, but exotic t-structures abound and the concept was introduced in algebraic geometry. The easiest example is given by duality: The derived category of perfect chain complexes of abelian groups (that is, bounded complexes of finitely generated free abelian groups) is equivalent to its opposite under the contravariant duality functor $\mathrm{Hom}(-,\mathbb Z)$. Thus, we can transport the t-structure across the duality to get a new t-structure on the old category. The old heart is the category of finitely generated abelian groups (placed in degree zero). The new heart is equivalent to the opposite of the old heart. It consists of objects that are the sum of a free abelian group in degree zero and a torsion group shifted by $1$.
The filtration from the t-structure on the stable homotopy category is called the Postnikov filtration. The objects of its heart are called the Eilenberg-MacLane spectra; their associated cohomology theories are usual cohomology. Thus if our functor of interest is cohomology of a fixed space $X$ with coefficients in the varying spectrum $E$, its restriction to the heart is ordinary cohomology, a well-understood starting point, and so the hypercohomology spectral sequence is $H^i(X;E^j)\Rightarrow E^{i+j}(X)$, the same form as the Atiyah-Hirzebruch spectral sequence. (You may have to do some work to check that it is the actually the same spectral sequence.)
* Probably what I have to say can be made to work under Verdier's axioms for triangulated categories, but I really mean stable $\infty$-categories. Or you could work with DG-categories, until you want to move to stable homotopy theory.
** The Bockstein spectral sequence is a purely algebraic spectral sequence that I do not know how to see as coming from a filtration, though I have a vague memory of another spectral sequence that does come from a filtration and carries the same information.