# Some intuition behind the five lemma?

Slightly simplified, the five lemma states that if we have a commutative diagram (in, say, an abelian category)

$$\require{AMScd} \begin{CD} A_1 @>>> A_2 @>>> A_3 @>>> A_4 @>>> A_5\\ @VVV @VVV @VVV @VVV @VVV\\ B_1 @>>> B_2 @>>> B_3 @>>> B_4 @>>> B_5 \end{CD}$$ where the rows are exact and the maps $A_i \to B_i$ are isomorphisms for $i=1,2,4,5$, then the middle map $A_3\to B_3$ is an isomorphism as well.

This lemma has been presented to me several times in slightly different contexts, yet the proof has always been the same technical diagram chase and no further intuition behind the statement was provided. So my question is: do you have some intuition when thinking about the five lemma? For instance, particular choices of the $A_i, B_i$ which make it more transparent why the result should be true? Some analogy, heuristic, ...?

-
@Armin, I think you're taking the tag soft-question to a bit of extreme. Good answers to your question will likely provide some computations and examples of homology, and perhaps quite hard computations, the subject being homological algebra. So (as the author of the tag ;)) I think I'll do some retag. –  Ilya Nikokoshev Oct 26 '09 at 23:17
Feel free to correct my tagging, of course. –  Ilya Nikokoshev Oct 26 '09 at 23:17
Another place where a tag "intuition" would be good. –  Alex Fink Oct 27 '09 at 1:50
I added an intuition tag - feel free to kill it or tell me to kill it if you don't think it is reasonable. –  Greg Stevenson Oct 27 '09 at 1:59
Thanks for all the retagging! –  Armin Straub Oct 27 '09 at 2:22

One can think of the five lemma in terms of the two four lemmas. I think this makes it clearer... for instance drop the $A_1$ and $B_1$ from your diagram. If the maps from $A_2$ and $A_4$ to $B_2$ and $B_4$ are epimorphisms and the morphism $A_5 \to B_5$ is monic then the cokernel of $A_3 \to A_4$ is a subobject of the cokernel of $B_3 \to B_4$. So morally $B_3$ is an "extension" of quotients of $A_2$ and $A_4$ and we have not "killed less stuff" in the bottom row so $A_3 \to B_3$ should also be an epimorphism.

-

Since long exact sequences come from splicing together short exact sequences, you might as well worry about the case where $A_1=A_5=B_1=B_5=0$ (at least as far as intuition is concerned). This follows from the Snake Lemma, of course, but the version where the outside vertical maps are isomorphisms is an even easier diagram chase. Perhaps that will illuminate.

In terms of why it's true without chasing elements, think about the same simplified version, but just for Abelian groups. In general, of course, you can have $G/H \cong G'/H'$ for lots of groups $G,G'$ and respective subgroups $H,H'$. In general, that isomorphism won't even lift to a homomorphism $G \to G'$, much less an isomorphism. Similarly, you could have $H \cong H'$ without that isomorphism extending to a homomorphism $G \to G'$. If, however, you have both, then the attempt to lift the one isomorphism and the attempt to extend the other both succeed.

-
Thanks a lot for working on my intuition! Maybe I'm misreading your final statement but I think you need to assume the map between G and G' to exist from the beginning. Take eg. G=Z/4, G'=Z/2xZ/2 and factor out by Z/2 subgroups. –  Armin Straub Oct 26 '09 at 22:57
Yes, you're right. Silly me. Still, for intuition's sake maybe it's close to the truth (he said, trying to save face). –  Graham Leuschke Oct 26 '09 at 23:59

One example would be a map induced by a morphism $f: X \to Y$ in the long homology sequence.

E.g. suppose the top row is a cohomology of pair $(X, A)$ and the bottom row is the cohomology of pair $(Y, B)$. Then the theorem says that the $H^n(X, A)$ can be squeezed between the $n$-th and $(n-1)$-th cohomology of $X$ and $A$, because any morphism inducing isomorphism on those extends to $H^n(X, A)$.

-
Q: Where does the long homology sequence come from? A: From repeated application of the 5 Lemma or Snake Lemma. So perhaps not very illuminating. –  Graham Leuschke Oct 26 '09 at 23:56
Duh! That's the statement about snake lemma being the technical equivalent of our intuition about cohmology. –  Ilya Nikokoshev Oct 26 '09 at 23:59
The long exact sequences found in homotopy theory (hence in homological algebra) can be proved perfectly well from abstract homotopy theory without any knowledge of the five or snake lemmas. –  Denis-Charles Cisinski Oct 27 '09 at 0:39