Spectral Sequence Arrows Revisited

I don’t want to do much today. In fact, we’ll probably not cover any new ground, but start to fill in what is going on a little better. Notice that in order to work with the spectral sequence last time, we didn’t actually have to figure out what the {i, j,} or {k} or {d} maps were. We only needed that they existed. The main thing of today is to work out all these sequences. Some are exact. Some are chain complexes. Some are commutative diagrams. Most of them fit together in a really organized way, other parts are just related. It is useful to see how these fit together, since sometimes you can get by without the maps as long as you know it is part of a commutative exact diagram.

Recall that our current situation is that given a filtered chain complex {\cdots K^{p-1}\subset K^p\subset \cdots \subset K} we get an exact couple {(D_{p,q}, E_{p,q})} where {D_{p,q}= H_{p+q}(K^p)} and {E_{p,q}=H_{p+q}(K^p/K^{p-1})} by taking the long exact sequence in homology associated to the short exact sequence {0\rightarrow K^{p-1}\rightarrow K^p\rightarrow K^p/K^{p-1}\rightarrow 0}.

Two times ago we saw exactly what the {i_{p,q}}, {j_{p,q}} and {k_{p,q}} maps were.

Let’s develop them again, but being more careful as to how they all fit together. Well {i_{p,q}: H_{p+q}(K^p)\rightarrow H_{p+q}(K^{p+1})} and it comes from the induced maps on homology from the injection {K^p\hookrightarrow K^{p+1}}. So we get infinite strings of {i_{p,q}} for fixed {q} that relate as injections {p} changes. i.e we’ll get as part of a large diagram columns that look like {\cdots \rightarrow H_{p+q}(K^{p-2})\rightarrow H_{p+q}(K^{p-1})\rightarrow H_{p+q}(K^p)\rightarrow H_{p+q}(K^{p+1})\rightarrow\cdots}.

The {j_{p,q}: H_{p+q}(K^p)\rightarrow H_{p+q}(K^p/K^{p-1})} are induced on homology from the projection map {K^p\rightarrow K^p/K^{p-1}}.

The {k_{p,q}: H_{p+q}(K^p/K^{p-1})\rightarrow H_{p+q-1}(K^{p-1})} comes from the snake lemma. It is the boundary map in the long exact sequence.

Note that these last two will fit into rows: {\cdots \rightarrow H_{p+q}(K^p)\stackrel{j}{\rightarrow} H_{p+q}(K^p/K^{p-1})\stackrel{k}{\rightarrow} H_{p+q-1}(K^{p-1})\stackrel{j}{\rightarrow} H_{p+q-1}(K^{p-1}/K^{p-2})\rightarrow\cdots}.

Thus we can form a large commutative diagram from these long exact sequences, and figure out how to extrapolate the exact couple from it. Below is the diagram relating what was just said:

(Sorry about the image. I’ll figure this out eventually. For now you can click on it and zoom to get the full size).

The labelled arrows are the {i,j,k} maps of just a single exact couple. Note that there are infinitely many exact couples going on here, and they are all related. Note also that the exact couples don’t just go across or down.

Now let’s figure out the differentials and how to get the spectral sequence. Well, take the {H_{p+q}(K^p/K^{p-1})} spot. Recall that in the exact couple, this is the {E} term which is where our chain complex comes from. Then doing {j\circ k} is the {d} map. Note this is the really the {d^1} map. So our page of {E^1_{p,q}} comes from this row only.

Take homology with respect to this, and due to the nature of the exact couples, we’ll get another page of these things. Now we are on the {E^2_{p,q}} page of groups. The {d^2} map now is to go right, then up, then right. This is the composition {k\circ i^{-1} \circ j: H_{p+q}(K^p/K^{p-1})\rightarrow H_{p+q-1}(K^{p-2}/K^{p-3})}.

Take homology again. In general the {d^r} map is going right, then up {r-1} times then right one more time. This gives us exactly what we said last time, {d^r_{p,q}: E^r_{p,q}\rightarrow E^r_{p-r, q+r-1}}.

Hopefully this helps clarify some of the inner workings of what is going on here. Next time we’ll talk about why the conditions from last time imply that the spectral sequence converges. We won’t prove it, but there are some nice concepts behind why it works that should be enlightening.


Serre Spectral Sequence

Today we’re going to back up and not worry about the tediousness of the last post. Let’s try to form some motivation and see how these things work even if we have to just assume some of the theory works for now. I think it will be helpful. So why care about spectral sequences? Well, one thing is that sometimes it is really hard to compute say {H_n(C)}, but it isn’t so bad to do {H_n(C\otimes A)} for some {A}‘s. There is no good way to convert the information you get out of {H_n(C\otimes A)} to information about {H_n(C)}, but this is exactly what the Bockstein spectral sequence does.

Today, I’ll talk about the Serre spectral sequence. This will help us calculate the homology of the loop space of an {n}-sphere. There is a nice proof that Tor is independent of which resolution you take (i.e. {Tor(A, B)} can be calculated by resolving {A} or {B}). There is a nice proof of the Snake Lemma using spectral sequences. There is a proof of the K\:{u}nneth formula. For the algebraic geometers, the Leray spectral sequence tells us information about sheaf cohomology. Anyway, there are tons of examples hitting many areas of math of uses of spectral sequences.

Right now we’ll not worry about the technical details of when and how a spectral sequence converges, but recall that the situation we ended on was that given a complex {K}, we could form a spectral sequence from a filtration {\cdots \subset K^p\subset K^{p+1}\subset \cdots \subset K}. We’ll just accept for now that if we have {K^p=0} for {p\max(p, q+1)} then {E^r_{p,q}\simeq E^\infty_{p,q}}. This {E^\infty} term is the associated graded group of a filtration of {H_*(K)}.

This should be exciting. It means that if we can formulate a statement that reads, “There is a spectral sequence with {E^2_{p,q}=} (fill in the blank), differential map {d^r: E^r_{p,q}\rightarrow E^r_{p-r, q+r-1}}, that converges strongly to {H_{p+q}}(fill in again).” Then we can just chase around differentials and hope that everything collapses fast (lots of times these things only have a few terms or even {E^2=E^\infty}). If this happens then we can just read off what the known things are, and we’ll have figured out new information. Note that being able to say such a statement is not bad. We only need the mere existence to begin work, and taking those conditions above for granted, we actually can formulate lots of statements such as these.

Let {\Omega S^n} be the loop space of {S^n}, namely the space of loops based at the north pole. Let {PS^n} be the path space, the space of paths starting at the north pole. Note here that our standard tools of algebraic topology are not very useful in trying to calculate {H_q(\Omega S^n)}. But we know that {PS^n} is contractible using the obvious map of retracting along all the paths simultaneously. And we also know something very useful, that there is a spectral sequence with {E^2_{pq}=H_p(S^n)\otimes_\mathbb{Z} H_q(\Omega S^n)}, differentials {d^r : E^r_{pq}\rightarrow E^r_{p-r, q+r-1}} converging strongly to {H_{p+q}(PS^n)}.

So recall that we get an entire page of groups. The {E^2} groups ({r=2}). Since {H_p(S^n)} is {0} for all {p} except {p=0, n}, and is {\mathbb{Z}} in those spots. We also know that {H_0(\Omega S^n)=\mathbb{Z}}. This allows us to fill in the whole {q=0} row, and all {p} columns are completely {0} except in {p=0} and {p=n}.

The differential map {d^r} goes to the left {r} and up {r-1}.

Examine the bottom row. Due to all the {0}‘s in columns not {p=0} or {n}, all the differential maps that don’t land in the {p=0} column must be 0. Thus there is only one possible non-zero differential coming out of there. Namely, the {d^n_{n,0}} map. It lands in the {E^2_{0, n-1}=H_{n-1}(\Omega S^n)} spot. Now the complex of {d^n} maps is {\cdots \rightarrow 0\rightarrow \mathbb{Z}\stackrel{d^n_{n,0}}{\rightarrow} H_{n-1}(\Omega S^n)\rightarrow 0\rightarrow \cdots }. Recall that to get to the different {r} values in {E^r_{p,q}} you take homology with respect to the {d^r} maps. Since {E^\infty_{p,q}=H_{p+q}(PS^n)=0} for {p+q\neq 0} we must have {d^n_{n, 0}} an isomorphism in order for it to vanish. This gives us a {\mathbb{Z}} in the 0, {n-1} spot and hence another in the {n}, {n-1} spot. We can keep repeating this argument giving a {\mathbb{Z}} in the {p=0, n} and {q=} multiples of {n-1} spots.

Since the differentials are all {0} before {r=n}, nothing changes for {E^2=E^3=\cdots E^n}. Then at {r=n} we get isomorphisms except at the {E^2_{0,0}} position, so everything vanishes except that position which stays a {\mathbb{Z}}. Thus {H_q(\Omega S^n)=\begin{cases} \mathbb{Z} \ if \ (n-1)|q \\ 0 \ else\end{cases}}.

This is a pretty typical situation. Hopefully that gives a better overview of the process so that going back to the general case will have some sort of reference. If there are questions, feel free to ask. Maybe I’ll do another example before going back to theory.

Exact Couples

Today we begin a long set of posts on spectral sequences. I must first off say that I only learned what a spectral sequence was about 2 weeks ago, so I am far from knowledgable about them. This means if you have questions, I may not know the answers. I’m also going to go incredibly slowly. I want to carefully develop everything and give lots of motivating examples. Lastly, all of this is coming from the notes I’ve taken from John Palmieri’s class this quarter, so any great insights should be attributed to him and mistakes should be attributed to myself.

Like I’ve already said, I’m not familiar with the literature, so I’m not sure what the standard development is. For people who know some of this already, we’re going to define the spectral sequence associated to an exact couple. Then anytime we want a spectral sequence, we just need to figure out the exact couple it comes from. This is a different approach than say Weibel.

In general, this is going to work in any abelian category, but we’ll use the category of {A}-modules just to keep it less scary for those that haven’t worked with abelian categories.

Our first definition is that of an exact couple. This is a diagram of {A}-modules, {D} and {E} such that:

is exact in every spot. Then we immediately get a map {d: E\rightarrow E} by {d=j\circ k}. This may look strange, since we’re not just going around the diagram. We sort of jump, but this is fine since at this stage we aren’t identifying {i(D)\subset D} or anything. Now this map has a nice property, {d\circ d=j\circ k\circ j\circ k=j\circ (k\circ j)\circ k=j\circ (0)\circ k=0} by exactness that middle term is {0} making the whole thing {0}.

This means that {\cdots \stackrel{d}{\longrightarrow} E\stackrel{d}{\longrightarrow} E\stackrel{d}{\longrightarrow} E\rightarrow \cdots} is actually a chain complex. Thus we can take homology: \displaystyle {H(E, d)=\frac{ker d}{im d}}.

Now take {D'= im i}. Define the map {i': D'\rightarrow D'} by {i'=i\big|_{D'}}. Take {E'=H(E, d)}. We will now think of {j': D'\rightarrow E'} as {j\circ i^{'-1}}, but to be precise we pick an element whose preimage is {x=i^{-1}(y)}, and take an equivalence class, so {j'(x)=[j(y)]}. Lastly define {k': E'\rightarrow D'} by {k'([z])=k(z)}. Now we have made lots of choices, but as usual in homological things it turns out by examination that everything is well-defined. It is also the case that with these new maps, the corresponding diagram is exact at every place. We call this the derived exact couple.

Since the derived exact couple is an exact couple, there is nothing stopping us from defining the derived exact couple of the derived exact couple. Then do it again, and again, … . Obviously, if we aren’t careful we’ll lose track of where we are, so choosing notation is essential. Suppose {(D, E)} form an exact couple. Then let {D^1=D} and {E^1=E}. Next let {D^2=D'} and {E^2=E'}. This inductively gives us that {D^{r+1}=(D^r)'} and {E^{r+1}=(E^r)'}. In each of these we get three maps which tell us that each stage is an exact couple {i^r: D^r\rightarrow D^r}, also {j^r: D^r\rightarrow E^r}, and {k^r: E^r\rightarrow D^r}.

Since the triangle is exact, defining (which technically already happened in the definition of {E^{r+1}}) {d^r: E^r\rightarrow E^r} by {d^r=j^r\circ k^r} we get a chain complex and can take homology. We say that {\{(E^r, d^r)\}_{\{r\geq 1\}}} is the spectral sequence associated to the exact couple. Note that {E^{r+1}=H(E^r, d^r)}.

This is probably incredibly useless for people wanting to know what a spectral sequence is and how it is used. But in general we are going to have a lot more information floating around than just this abstract exact couple. More specifically, we have to get the exact couple somehow, and the process of forming it will give us things to work with. The other thing is that we want to know that {\displaystyle \lim_{r\rightarrow\infty}(E^r, d^r)} converges in some sense to something, and hopefully we have information about what this “{E^\infty}” term is.

I don’t want to go through an entire example today, but we’ll set up the situation for the example (for those who have seen this, it will be the Serre Spectral Sequence).

Suppose we have a chain complex {K}. Then given a filtration {\cdots \subset K^n\subset K^{n+1}\subset \cdots \subset K} (not necessarily starting at the 0 complex or ending at the total complex, but the {j}th grade of any {K^n} should be a submodule of the {j}th grade of {K} and the submodules should respect the differentials). Then we will get a short exact sequence of chain complexes {0\rightarrow K^{P-1}\rightarrow K^P\rightarrow K^P/K^{P-1}\rightarrow 0}. This is just because it works trivially on each grade.

Well, our old standby says that a short exact sequence of chain complexes induces a long exact sequence in homology, so {\cdots \rightarrow H_n(K^{P-1})\stackrel{i}{\rightarrow} H_n(K^P)\stackrel{j}{\rightarrow} H_n(K^P/K^{P-1})\stackrel{k}{\rightarrow} H_{n-1}(K^{P-1})\rightarrow \cdots}.

From here we define our exact couple. Let {D_{p,q}=H_{p+q}(K^p)} and {E_{p,q}=H_{p+q}(K^p/K^{p-1})}.

Now use the maps given in the long exact sequence.

So {i_{p,q}: H_{p+q}(K^p)\rightarrow H_{p+q}(K^{p+1})} which is really {D_{p,q}\rightarrow D_{p+1, q-1}}.

Our {j_{p,q}: H_{p+q}(K^p)\rightarrow H_{p+q}(K^p/K^{p-1})} which maps {D_{p,q}\rightarrow E_{p,q}}.

Lastly the map {k_{p,q}: H_{p+q}(K^p/K^{p-1})\rightarrow H_{p+q-1}(K^{p-1})} which maps {E_{p,q}\rightarrow D_{p-1, q}}.

Lastly, the differential {d_{p,q} = j_{p-1, q}\circ k_{p,q}: E_{p,q}\rightarrow E_{p-1, q}}.

Don’t worry if this seems horribly confusing. We’ll look at a very concrete example next time in which we’ll see that often everyting stays stationary or goes to 0 leaving us with very little. I’ll just try to summarize a little of this filtered chain complex example. We are getting infinitely many exact couples all mingled together somehow. If we think of a {(p,q)}-plane, then at each integer valued place we get a group {E_{p,q}}. The differential maps move us to the “left” on place. So we have rows of chain complexes for each fixed {q}. Remember that when we form the spectral sequence this is really only the {E^1_{p,q}} part. We can think of this term as an entire “sheet” or “page” of groups related to each other. We get a page {E^r_{p,q}} for each {r\geq 1}.

Some things that would be nice (and to get you thinking about why this might be useful) is if for each fixed pair {(p,q)} the groups stabilize, i.e. {E^N_{p,q}=E^{N+1}_{p,q}=\cdots}. Then we would have a notion of {E^\infty_{p,q}}. It would be nice to know how this limit term relates to the original chain complex, or filtration. It would be nice if the spectral sequence limit were somehow independent of the filtration, that way taking a limit of different filtrations would give us information we might not know. Like I said earlier, don’t worry if this post was confusing. It just needed to be done. After some examples, this will probably not seem so bad.

What to do next

Awhile ago I was talking mainly about algebra. I was mostly going by what I was reading in Matsumura, but recently the chapters in Matsumura that I’ve been reading I’ve already covered in previous posts, so I didn’t want to reopen those topics. This has been one of the main causes of my hiatus. My guess is that in general this quarter will be a lot sparser in posts.

Two ideas of where to go while I wait for my algebra to get back to a point where I can start posting again is to start in on some of the basic constructions underlying modern algebraic geometry, like developing sheaves and schemes. This seems to have been covered in a few other blogs, so I’m hesitant.

The other thing that would be really neat, and I’m pretty sure has not been covered by any other blog is to talk about spectral sequences. Right now I’m in a homological algebra class that is essentially devoted to them. I think they are quite a fascinating and brilliant construction. The main thing I’d like to do on this blog is to see where they come up in algebraic geometry, since this particular application is sure to not come up in class.

The problem with this is that it would be an incredibly massive undertaking. Just motivating and explaining the construction would take a long time. I would also really need to figure out a good way of doing diagrams in wordpress.

In any case, just thought I’d check in and see if anyone had opinions one way or another.