5
$\begingroup$

It is well known that given a short exact sequence $$0\rightarrow A \rightarrow B \rightarrow C \rightarrow 0,$$ we can form a long exact sequence in cohomology. (Example: the proof of the Mayer-Vietoris sequence.)

This is perhaps not too surprising. After all, we are given a nice algebraic relation between $A$, $B$, and $C$, so it seems sensible that we can get good information about their cohomology groups. And, if we're willing to get metaphorical, I suppose we can think of short exact sequences as some kind of algebraic version of a fibration and and the long exact sequence here as an analogue of the long exact sequence for a fibration from algebraic topology. I have two questions along these lines.

  1. Is there any way to make this intuition more precise? Why should short exact sequences lead to long exact sequences in cohomology? Is comparing this result to examples from algebraic topology the right way to think about it, or is another approach more philosophically enlightening? (I have heard that in general the right way to understand results from homological algebra is to go back to their roots in algebraic topology to get intuition. Comments on this would also be appreciated.)

  2. What's so special about exact sequences with three terms? Can we get any information about cohomology from exact sequences like

    $$0\rightarrow A \rightarrow B \rightarrow C \rightarrow D \rightarrow 0\, ?$$

I have glanced at nLab, and this page suggests there might be some satisfying general explanation in terms of category theory, but I can't make much sense of it. (I confess I always just assume abelian categories are categories of modules and try not to worry about the details...)

$\endgroup$
  • $\begingroup$ In response to $2$, I think that $3$ terms is special due to the fact that the maps from zero and to zero allows us to adquire precise information on the maps on the middle. If $4$ are allowed, the middle map is a bit mysterious. $\endgroup$ – Aloizio Macedo Oct 14 '15 at 16:14
8
$\begingroup$

I suppose we can think of short exact sequences as some kind of algebraic version of a fibration and and the long exact sequence here as an analogue of the long exact sequence for a fibration from algebraic topology.

This analogy can be made precise using the notion of homotopy limits, specifically the notion of homotopy fiber and fiber sequence. In short, in any higher category with zero objects (e.g. either chain complexes or pointed spaces), given a morphism $f : E \to B$, repeatedly taking homotopy fibers (the homotopy pullback of the diagram $E \rightarrow B \leftarrow \bullet$, where $\bullet$ is the zero object) gives a "long fiber sequence"

$$\cdots \to \Omega F \to \Omega E \to \Omega B \to F \to E \to B$$

where every object is the homotopy fiber of the preceding morphism. This construction, after possibly applying some auxiliary functors, is responsible for all long exact sequences in mathematics. There is a dual construction involving taking homotopy cofibers (which are certain homotopy pushouts), but it's just this construction in the opposite category, although it's sometimes done without zero objects (you can do it in spaces, not pointed spaces, using the point, which is the terminal object). That looks like

$$A \to B \to C \to \Sigma A \to \Sigma B \to \Sigma C \to \cdots$$

and it's the ability to form these "long cofiber sequences" that triangulated categories imperfectly attempt to capture.

In particular, this curious period-$3$ behavior in both of the above sequences is not an artifact and hasn't been put in by hand; it falls naturally out of higher-categorical universal properties.

What's special about short exact sequences with three terms is that the first term is the homotopy fiber of the morphism between the second two terms, or equivalently (this is special to "stable" contexts like chain complexes and spectra) the third term is the homotopy cofiber of the morphism between the first two terms.

An exact sequence with more than three terms gives rise to a spectral sequence. (Actually this is true even without exactness, although I think exactness makes the spectral sequence nicer.)

$\endgroup$
  • 1
    $\begingroup$ Which spectral sequence are you alluding to at the end? There is a spectral sequence for filtered chain complexes, but I don't think that's the one you mean... $\endgroup$ – Zhen Lin Oct 14 '15 at 16:37
  • $\begingroup$ Thanks! I was wondering, what references did you find helpful when trying to understand this material and get intuition for homological algebra? I find nLab almost impossible to read. $\endgroup$ – Potato Oct 14 '15 at 16:56
  • 1
    $\begingroup$ @Potato: unfortunately I did not find any references helpful. I read the nLab a bit and worked out some examples on my own. You might try Strom's Modern Classical Homotopy Theory. $\endgroup$ – Qiaochu Yuan Oct 14 '15 at 20:17
  • $\begingroup$ @Zhen: the spectral sequence for a double complex. $\endgroup$ – Qiaochu Yuan Oct 14 '15 at 20:17
  • 1
    $\begingroup$ @Potato: it's easier to explain on a blackboard... there's a big diagram of homotopy pullbacks showing how it happens but I don't know a place off the top of my head where it's written down online. If you want to try working it out on your own the main fact you need to know is that the homotopy pullback of $\bullet \rightarrow X \leftarrow \bullet$ ($X$ a pointed space) is the based loop space $\Omega X$, and dually the homotopy pushout of $\bullet \leftarrow X \rightarrow \bullet$ ($X$ a space) is the suspension $\Sigma X$. $\endgroup$ – Qiaochu Yuan Oct 14 '15 at 22:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.