Often this is considered specifically for the case that the fiber sequence in is that induced from a short exact sequence in . In this case the further map (that which makes the sequence “long”) is called the connecting homomorphism.
We discuss the relation of homology long exact sequences to homotopy cofiber sequences of chain complexes. Technical details corresponding to the following survey are at mapping cone in the section Mapping cone – Homology exact sequences and fiber sequences.
While the notion of a short exact sequence of chain complexes is very useful for computations, it does not have invariant meaning if one considers chain complexes as objects in (abelian) homotopy theory, where one takes into account chain homotopies between chain maps and takes equivalence of chain complexes not to be given by isomorphism, but by quasi-isomorphism.
For if a chain map is the degreewise kernel of a chain map , then if is a quasi-isomorphism (for instance a projective resolution of ) then of course the composite chain map is in general far from being the degreewise kernel of . Hence the notion of degreewise kernels of chain maps and hence that of short exact sequences is not meaningful in the homotopy theory of chain complexes in (for instance: not in the derived category of ).
That short exact sequences of chain complexes nevertheless play an important role in homological algebra is due to what might be called a “technical coincidence”:
and with morphisms between such squares being maps correspondingly with further chain homotopies filling all diagrams in sight.
This follows from using the basic property (see at exact sequence – Definition) that in a short exact sequence the morphism on the right is a degreewise surjection together with a basic result in the theory of model categories or in fact that of categories of fibrant objects which is discussed in detail at homotopy pullback and also at factorization lemma:
by the existence of the projective model structure on chain complexes, we may regard every chain complex as a fibrant object and every degreewise surjection as a fibration. By the basic theorem discussed at Homotopy pullback – Properties – General these are sufficient conditions for the ordinary pullback as above to produce a chain complex that represents the homotopy-correct homotopy pullback (which, beware, is defined up “weak chain homology equivalence” only, hence up to zig-zags of quasi-isomorphism).
Equivalently, we have the formally dual result, proved using instead the existence of the injective model structure on chain complexes:
But a central difference between fibers/cofibers on the one hand and homotopy fibers/homotopy cofibers on the other is that while the (co)fiber of a (co)fiber is necessarily trivial, the homotopy (co)fiber of a homotopy (co)fiber is in general far from trivial: it is instead the looping or suspension of the codomain/domain of the original morphism: by the pasting law for homotopy pullbacks the pasting composite of successive homotopy cofibers of a given morphism looks like this:
is a specific representative of the homotopy cofiber of called the mapping cone of , whose construction comes with an explicit chain homotopy as indicated, hence is homology-equivalence to above, but is in general a “bigger” model of the homotopy cofiber;
etc. is the suspension of a chain complex of , hence the same chain complex but pushed up in degree by one.
In conclusion we get from every morphim of chain complexes a long homotopy cofiber sequence
And applying the chain homology functor to this yields the long exact sequence in chain homology which is traditionally said to be associated to the short exact sequence .
In conclusion this means that it is not really the passage to homology groups which “makes a short exact sequence become long”. It’s rather that passing to homology groups is a shadow of passing to chain complexes regarded up to quasi-isomorphism, and this is what makes every short exact sequence be realized as but a special presentation of a stage in a long homotopy fiber sequence.
Lecture notes include