Spectral sequences: opening the black box slowly with an example

Question

My friend and I are attempting to learn about spectral sequences at the moment, and we've noticed a common theme in books about spectral sequences: no one seems to like talking about differentials.

While there are a few notable examples of this (for example, the transgression), it seems that by and large one is supposed to use the spectral sequence like one uses a long exact sequence of a pair- hope that you don't have to think too much about what that boundary map does.

So, after looking at some of the classical applications of the Serre spectral sequence in cohomology, we decided to open up the black box, and work through the construction of the spectral sequence associated to a filtration. And now that we've done that, and seen the definition of the differential given there... we want some examples.

To be more specific, we were looking for an example of a filtration of a complex that is both nontrivial (i.e. its spectral sequence doesn't collapse at the $E^2$ page or anything silly like that) but still computable (i.e. we can actually, with enough patience, write down what all the differentials are on all the pages).

Notice that this is different than the question here: Simple examples for the use of spectral sequences, though quite similar. We are looking for things that don't collapse, but specifically for the purpose of explicit computation (none of the answers there admit explicit computation of differentials except in trivial cases, I think).

For the moment I'm going to leave this not community wikified, since I think the request for an answer is specific and non-subjective enough that a person who gives a good answer deserves higher reputation for it. If anyone with the power to thinks otherwise, then feel free to hit it with the hammer.

Answer 1

Two simple examples with lots of interesting differentials are given by the Serre spectral sequences for integer homology (rather than cohomology) for the fibrations $$K({\mathbb Z}_2,1) \to K({\mathbb Z}_4,1)\to K({\mathbb Z}_2,1)$$ and $$K({\mathbb Z}_2,1) \to K({\mathbb Z},2) \to K({\mathbb Z},2)$$ where in the second case the map $K({\mathbb Z},2) \to K({\mathbb Z},2)$ induces multiplication by $2$ on $\pi_2$. In both cases one knows the homology of all three spaces and this allows one to work out what all the differentials must be. The differentials give a real shoot-out, with nontrivial differentials on more than one page, and in the second case there are nontrivial differentials on infinitely many pages. The best thing is to work everything out oneself, but if you want to check your answers these two examples are worked out as Examples 1.6 and 1.11 in Chapter 1 of my spectral sequence notes, available on my webpage.

These examples may not really be the sort of thing you're looking for since they involve computing differentials purely formally, not by actually digging into the construction of the spectral sequence. But of course a lot of spectral sequence calculations have to be formal if one is to have any chance of succeeding.

Answer 2

This is more than you bargained for, but it's too good an opportunity to pass up plugging a couple cool and readable papers with impact beyond containing computable spectral sequences. In the 1980s Ravenel and Wilson famously used Hopf rings to compute some extraordinary homologies of a variety of families of infinite loopspaces. In the specific case where the loopspaces are Eilenberg-Mac Lane spaces, they used a bar spectral sequence (which arises as a filtration spectral sequence), together with Hopf ring information, to compute $E_* K(G, *)$ for various $E$ and $G$. One of the cool features of their work is that everything involved is explicit and identifiable.^† You might try:

Doug Ravenel and Steve Wilson, The Morava $K$-theories of Eilenberg-Mac Lane spaces, published in 1980 in the American Journal of Mathematics, vol. 102, no. 4, pages 691-748

for a mildly complicated but very rewarding example. Or, the algebras $H_*(K(\mathbb{Z}/p, *); \mathbb{Z}/p)$ (along with a million other things!) are computed in Wilson's exceptionally nice book

Steve Wilson, Brown-Peterson Homology: An Introduction and Sampler, published in 1980, no. 48 in the CBMS series of conference notes,

which uses all the same machinery as the Morava $K$-theory paper but employs singular homology and tells you about some algebras which you already understand. The familiarity of these two things will probably ease digestion of the ideas.

^† -- Well, this is kind of a lie, since they argue the existence or nonexistence of some of their differentials by knowing what the $E^\infty$ page must look like together with some kind of sparseness of the $E^2$ page. However, the way they build the spectral sequence does actually give you a formula for the differentials, and it's certainly possible, if difficult, for you to make the relevant calculations once you read their argument so you know whereabouts to look. At small primes (and small heights, in the Morava K-theory paper), this is probably even accessible.

Answer 3

$\DeclareMathOperator{\Ext}{Ext} \newcommand{\A}{\mathcal{A}} \newcommand{\F}{\mathbb{F}} \newcommand{\Sq}{\mathrm{Sq}} \newcommand{\Z}{\mathbb{Z}}$Here's another another example that's worth considering. The method I'll suggest for computing the differentials is a lot hairier and more technically complex than the others, but it is a generic method, and it's very rewarding to watch work. I should immediately mention this that I first heard of this from Mark Behrens, who in turn said he heard of it from Mikes Hill and Hopkins. I don't know whether the chain stops there or if it continues on.

Tilman Bauer mentioned a nice example of a spectral sequence, the homotopy fixed point spectral sequence arising from the complex conjugation $C_2$-action on complex $K$-theory $KU$: $$E_2^{*, *} = H^*(C_2; \pi_* KU) \Rightarrow \pi_* KU^{hC_2} \cong \pi_* KO.$$ The $E_2$ page of this is simple enough to compute; it ends up looking like $E_2 = \Z[\eta, [\beta^2]^{\pm}] / (2 \eta)$, where $[\beta^2]$ is a class in degree $(4, 0)$ coming from $\beta^2 \in \pi_* KU = \Z[\beta^\pm]$, and $\eta$ is a class in degree $(1, 1)$ coming from the nontriviality of complex conjugation on the Bott bundle $\beta$. For good measure, here's a picture of this spectral sequence:

What's much less obvious to compute is the first nontrivial differential I've drawn in: $$d_3 [\beta^2] = \eta^3.$$ The way people usually see this, as far as I've heard, is to independently identify $KU^{hC_2}$ with $KO$ and then notice that this differential must exist for real Bott periodicity to be true.

But that isn't what you were asking for, as you were hoping to compute differentials more manually. Here is a different route to producing this differential. As $KU$ is a ring spectrum, it comes with a unit map $\mathbb{S}^0 \to KU$, which is equivariant for the trivial $C_2$-action on $\mathbb{S}^0$. The naturality of fixed point constructions then begets a map of spectral sequences $$\begin{array}{ccc} H^*(C_2; \pi_* \mathbb{S}^0) & \Rightarrow & \pi_* (\mathbb{S}^0)^{hC_2} \\ \downarrow & & \downarrow \\ H^*(C_2; \pi_* KU) & \Rightarrow & \pi_* KU^{hC_2}. \end{array}$$ This becomes useful after making an identification: $(\mathbb{S}^0)^{hC_2}$ for the trivial action is given by the function spectrum $F(BC_2{}_+, \mathbb{S}^0)$, i.e., for the Spanier-Whitehead dual spectrum $D \Sigma^\infty_+ \mathbb{R}\mathrm{P}^\infty$.

Now recall the cell structure of the top bits of $D \Sigma^\infty_+ \mathbb{R}\mathrm{P}^\infty$. Diagrammatically, this is drawn as $$\cdots \overbrace{\bullet - \bullet \phantom{{}-{}} \bullet} - \bullet \phantom{{}-{}} \bullet,$$ where each $\bullet$ denotes a cell (with the rightmost one in dimension 0), each $-$ denotes the multiplication-by-2 map, and the brace denotes the element $\eta$ in the stable stem $\pi_1 \mathbb{S}^0$. This cell structure is actually what dictates the map $H^*(C_2; \pi_0 \mathbb{S}^0) \to H^*(C_2; \pi_0 KU)$ in the spectral sequence: on the $E_1$-page, each cell is represented by a $\Z$ and sent isomorphically to a corresponding $\Z$ in the $E_1$-page for $\pi_* KU^{hC_2}$. The multiplication by $2$ attaching maps become $d_1$-differentials; the action of $d_1$ on the cell in dimension $-s$, corresponding to $H^s(C_2; \pi_0 \mathbb{S}^0)$, is given by multiplication by the degree of the attaching map, and what survives is sent to the elements $1$, $\beta^{-2} \eta^2$, $\beta^{-4} \eta^4$, ... in the $E_2$-page for $\pi_* KU^{hC_2}$.

The exciting (and final) observation is that this same procedure determines the $d_3$-differential: it acts on $H^2(C_2; \pi_0 \mathbb{S}^0)$ (i.e., the $(-2)$-cell representative) by mapping to $\eta$ times $H^4(C_2; \pi_0 \mathbb{S}^0)$ (i.e., the $(-4)$-cell representative). Pushing this forward into the spectral sequence for $\pi_* KU^{hC_2}$ begets the differential $$d_3(\beta^{-2} \eta^2) = \beta^{-4} \eta^4 \cdot \eta = \beta^{-4} \eta^5.$$ Translating this differential around using the Leibniz structure recovers the differential I claimed at the start.

These are a lot of fancy words, and proving all the relationships I've claimed in this response is not an easy task, but the end result is very neat! It's also a very general technique: studying these equivariant cells in other $G$-spectra (e.g., some variants of tmf) allows you to produce scores of interesting differentials that you didn't know about before. This specific example is not something I would push on someone "opening the black box" for the first time, but maybe the second or third hundredth time it seems like a fine idea.

In the meantime, the message to take away is that importing differentials by naturality from a filtration spectral sequence which you understand well is a powerful tool when the filtration complex for your favorite spectral sequence is not so easy to write down or to compute with directly.

Think of the specific example as something to look forward to after digesting the rest of the responses to this question.

Answer 4

There are some examples at http://www.shef.ac.uk/nps/courses/bestiary/ss.pdf that you might or might not find useful.

Answer 5

Computing differentials in spectral sequences can be fun and very useful, and I absolutely agree with OP that the literature does not cover this adequately -- surely not in a book, but even articles using this are few and far between (Ravenel-Wilson being an excellent one, as Eric mentioned). I think there are a number of reasons for this:

• Like diagram chases (but on a higher level), print form without the time coordinate doesn't lend itself to a good presentation of what's happening from page to page in a spectral sequence
• Spectral sequence charts are hard to draw (but, if you don't know it, take a look at the "sseq" TeX package)
• for many people, computing higher differentials in spectral sequences is the epitome of technicality, and they don't want to read it.

So, it seems to be considered more of a craft than something that can be laid out in a textbook. Additionally, correct me if I'm wrong, this is only done in homotopy theory. I don't really understand why that is, there are plenty of spectral sequences in algebraic geometry, for example, but they tend to collapse. I notice you're based at Seattle, so my strong recommendation would be to go ask an expert to teach you -- you've got Ethan Devinatz and John Palmieri right there, right?

I'll add a few random comments about things to learn. One of my favorite (simple) examples is to compute the homotopy groups of connective K-theory by 1) producing a free resolution of $F_2$ over $A(1)$, the subalgebra of the mod-2 Steenrod algebra generated by $Sq^1$ and $Sq^2$. Then notice that this is $H^*(bo;F_2)$ and run the Adams spectral sequence on this. You can also compute the homotopy groups of real K-theory as the fixed points of the conjugation action on complex K-theory using the homotopy fixed point spectral sequence. If you liked that, you can take this one chromatic step up (compute the homotopy groups of topological modular forms) and see lots of techniques in action -- you'll find that in some readily available notes by Charles Rezk or (excuse me for advertising again) my paper "Computation of the homotopy of the spectrum tmf".

One thing that happens very frequently when there's more than just a few differentials is that there is a strong interplay between multiplicative extensions, Massey products/Toda brackets and differentials. Often, one needs to compute all three pieces of data at once to inductively derive longer differentials/longer extensions. This is what happens for tmf. By the way, there is something completely absent in any treatment of spectral sequences I know: multiplicative extensions in $E^r$ terms (with $r<\infty$).

I realize this is turning into some fairly unstructured rant, so I'll stop and reiterate: go ask the masters to teach you in person.

Answer 6

Here's another answer that addresses the question more directly. Take $A^\ast=\mathbb{Z}[x]\otimes E[a]$ with $d(x^k)=kx^{k-1}a$ and $d(x^ka)=0$, and filter it by $F_kA^\ast=2^kA^\ast$. This gives a Bockstein spectral sequence with $E_1=(\mathbb{Z}/2)[x,a,t]/a^2$ (where $t$ represents $2$). It converges to the cohomology of the $2$-adic completion of $A^\ast$ rather than $A^\ast$, so it gives a natural example where the target is not the group you first thought of. Moreover, you can work out everything very explicitly from the definitions, the main point being that $x^{2^r(2k+1)}$ survives to the $E_r$ page and then $d_r(x^{2^r(2k+1)})=t^rx^{2^r(2k+1)-1}a$.

Answer 7

Let me elaborate on part of Tyler's answer, and "second" the importance of constructing examples yourself in a setting where that is feasible, namely that of bicomplexes. Even though as you say they seem more algebraic, they do come up in topology (as I note below) and you can "see everything" in first examples. Here's what I usually suggest to my students (often in or right after a first-year course).

Exercise: Show that the bicomplex with entries of ${\bf k}$ (the ground ring) at (0,1), (1,1), (1,0) and (2,0) and all horizontal and veritcal differentials given by identity maps is acyclic, but the spectral sequence obtained by taking homology vertically first has a non-trivial $E^2$ page and a non-trivial $d_2$ differential which kills that $E^2$ page.

Exercise: Construct bicomplexes with arbitrarily long differentials.

Playing with these for a while you see what's going on, but they might seem too algebraic/ artificial. Here's something which you can understand at almost the same level of detail but which computes something interesting.

Definition: Let $A \bigoplus A^i$ be a differential graded associative algebra (that is, a cochain complex with an associative multiplication for which the differential is governed by the Leibniz rule), defined in non-negative degrees with say $H^0(A) = {\bf k}$. Then Bar(A), the bar construction on $A$, is the bicomplex which in bidegree (-p, q) is the degree $q$ part of $\overline{A}^{\otimes p}$ - which we denote $a_1 | a_2 | \cdots | a_p$ (you can pretend at first that $\overline{A}$ is just $A$ - really, $\overline{A}$ agrees with $A$ in degrees two and greater, is 0 in degree zero, and in degree one we replace $A^1$ by $A^1/ im(d)$). The vertical differential is the standard one on $A^{\otimes p}$ (using the Leibniz rule to extend to the tensor product), and the horizontal differential is defined as a sum obtained by "removing bars and multiplying." Let ${\bf k}$ be $F_2$ if you don't want to worry about signs.

Exercise: Show this is a bicomplex. If you're brave, do so with signs.

Exercise: The spectral sequence for this bicomplex obtained by taking homology vertically first has $E^1$ given by $Bar(H_*(A))$, where the homology of $A$ is a differential graded algebra with zero differential. (This is an immediate application of one of the main theorems from a first algebraic topology course.)

Theorem (Eilenberg-Moore, after Adams-Hilton): If $X$ is simply connected and $A$ is (quasi-isomorphic to) the cochains of $X$, then the homology of $Bar(A)$ is isomorphic to the cohomology of the loopspace of $X$.

Exercises: first compute for $A$ with all products zero. Then compute when $A$ is a free associative algebra, and then free commutative algebra. Finally, try to make examples with higher differentials.

(I might elaborate more later... and we can talk at the Cascade seminar this week-end).

Answer 8

One fruitful example of differentials is the Lyndon-Hochschild-Serre spectral sequence associated to a short exact sequence of groups $1 \to N \to G \to G/N \to 1$, which is of the form $$H^p(G/N, H^q(N, M)) \Rightarrow H^{p+q}(G, M)$$ and similarly for homology. Since you know specific interpretations for low-level groups in terms of crossed homomorphisms and extensions, you might try working out differentials (to put together the inflation-restriction sequence) more explicitly. You might also try full computations with mod-p cohomology for $G$ a small p-group, and $N$ something like its center or its commutator subgroup.

But as most of the previous examples have concentrated on examples arising from topological considerations, let me advocate the idea that you should build examples yourself.

When learning about chain complexes it's helpful to write down small, illustrative examples from algebra when learning to compute homology, and this is no different. One of the simplest ways to do this is to work with the spectral sequence associated to a double complex. This has two different associated spectral sequences, one for filtering the total complex by rows and one for filtering by columns, and this gives you two ways to compute the result that you can play off each other to determine differentials (and extensions).

For example, if you write down any double complex where the rows are exact, the "vertical differentials first" spectral sequence must ultimately result in the death of all classes.

Other double complex examples are "limit/colimit" spectral sequences where you only have nonzero entries for two values of $p+q$, and where the nonzero horizontal differentials are all isomorphisms. These ones are simple enough that you can get some intuition for chasing higher differentials.

Finally, another suggested exercise is to look carefully into the exact couple formalism. If you have an exact triangle $D \to D \to E \to D$ where you understand all the groups and maps, you can trace explicitly through the derived couples and see how they're building up the limiting object. (Unfortunately a lot of exact couples seem somewhat artificial in nature at first because they are formed by summing up a large number of separate long exact sequences. They're much more common than one might think.)

Answer 9

In Jim Stasheff's original papers on $A_\infty$-algebras he generalises the bar construction and its spectral sequence to $A_\infty$-algebras, and then he identifies all of the differentials explicitly in terms of things that look like (duals of) Massey products - he calls them Yessam products.

I realise that this isn't exactly an explicit compution, but it is at least a general explicit description of the higher differentials that is not formal, and to get it requires a bit of the guts of the spectral sequence.

Answer 10

There's a paper of Fadell and Hurewicz (in the Annals, mid 1950's) identifying certain differentials with cap products. I can't recall the precise result.

Answer 11

Verdier and Deligne introduced more terms in a spectral sequence of a filtered complex (indexed by 4+1 indices instead of 2+1), thus in particular factoring the differentials into epis and monos. This enables one to splice certain short exact sequences to obtain Massey triangles or to obtain H(E_r) = E_{r+1}. Not sure whether this helps for calculations, but it does help with understanding what's going on with differentials. Cf. Deligne, Décompositions dans la catégorie dérivée, appendix, MR1265526; cf. also Verdier, Des catégories dérivées des catégories abéliennes, MR1453167.

Answer 12

In another direction, you can consider the Hodge spectral sequence of complex manifolds: for compact Kähler manifolds it degenerates ar $E_1$ but examples can be provided for which the Hodge spectral sequence degenerates at an arbitrary page and is fairly explicit. You can look at this paper: http://www.mathematik.uni-marburg.de/~rollenske/papers/froelicher.pdf