nLab long exact sequence in chain homology

Redirected from "long exact sequences in chain homology".
Contents

Context

Homological algebra

homological algebra

(also nonabelian homological algebra)

Introduction

Context

Basic definitions

Stable homotopy theory notions

Constructions

Lemmas

diagram chasing

Schanuel's lemma

Homology theories

Theorems

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

Let 𝒜\mathcal{A} be an abelian category and write Ch (𝒜)Ch_\bullet(\mathcal{A}) for its category of chain complexes. Under forming chain homology

H 0:Ch (𝒜)𝒜 H_0 : Ch_\bullet(\mathcal{A}) \to \mathcal{A}

in some (any) fixed degree, a homotopy fiber sequence in Ch (𝒜)Ch_\bullet(\mathcal{A}) is sent to a long exact sequence in 𝒜\mathcal{A}. This is the homology long exact sequence.

Often this is considered specifically for the case that the fiber sequence in Ch (𝒜)Ch_\bullet(\mathcal{A}) is that induced from a short exact sequence in 𝒜\mathcal{A}. In this case the further map (that which makes the sequence “long”) is called the connecting homomorphism.

Statement

(…)

For the moment see still at fiber sequence, for instance the section long exact sequence in cohomology there.

Properties

Relation to homotopy fiber sequences

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 A B A_\bullet \to B_\bullet is the degreewise kernel of a chain map B C B_\bullet \to C_\bullet, then if A^ A \hat A_\bullet \stackrel{\simeq}{\to} A_\bullet is a quasi-isomorphism (for instance a projective resolution of A A_\bullet) then of course the composite chain map A^ B \hat A_\bullet \to B_\bullet is in general far from being the degreewise kernel of C C_\bullet. 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 𝒜\mathcal{A} (for instance: not in the derived category of 𝒜\mathcal{A}).

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”:

Proposition

If A B C A_\bullet \to B_\bullet \to C_\bullet is a short exact sequence of chain complexes, then the commuting square

A 0 B C \array{ A_\bullet &\to& 0 \\ \downarrow && \downarrow \\ B_\bullet &\to& C_\bullet }

is not only a pullback square in Ch (𝒜)Ch_\bullet(\mathcal{A}), exhibiting A A_\bullet as the fiber of B C B_\bullet \to C_\bullet over 0C 0 \in C_\bullet, it is in fact also a homotopy pullback.

This means it is universal not just among commuting such squares, but also among such squares which commute possibly only up to a chain homotopy ϕ\phi:

Q 0 ϕ B C \array{ Q_\bullet &\to& 0 \\ \downarrow &\swArrow_{\phi}& \downarrow \\ B_\bullet &\to& C_\bullet }

and with morphisms between such squares being maps A A A_\bullet \to A'_\bullet correspondingly with further chain homotopies filling all diagrams in sight.

Proof

This follows from using the basic property (see at exact sequence – Definition) that in a short exact sequence A B C A_\bullet \to B_\bullet \to C_\bullet 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:

Proposition

If A B C A_\bullet \to B_\bullet \to C_\bullet is a short exact sequence of chain complexes, then the commuting square

A 0 B C \array{ A_\bullet &\to& 0 \\ \downarrow && \downarrow \\ B_\bullet &\to& C_\bullet }

is not only a pushout square in Ch (𝒜)Ch_\bullet(\mathcal{A}), exhibiting C C_\bullet as the cofiber of A B A_\bullet \to B_\bullet over 0C 0 \in C_\bullet, it is in fact also a homotopy pushout.

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 Ω()\Omega(-) or suspension Σ()\Sigma(-) 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 f:A B f : A_\bullet \to B_\bullet looks like this:

A f B 0 ϕ 0 cone(f) A[1] 0 f[1] 0 B[1] cone(f)[1] \array{ A_\bullet &\stackrel{f}{\to}& B_\bullet &\to& 0 \\ \downarrow &\swArrow_{\mathrlap{\phi}}& \downarrow &\swArrow& \downarrow \\ 0 &\to& cone(f) &\to& A[1]_{\bullet} &\stackrel{}{\to}& 0 \\ && \downarrow &\swArrow& \downarrow^{\mathrlap{f[1]}} &\swArrow& \downarrow \\ && 0 &\to& B[1] &\to& cone(f)[1]_\bullet &\to& \cdots \\ && && \downarrow && \downarrow &\ddots& \\ && && \vdots && && }

here

  • cone(f)cone(f) is a specific representative of the homotopy cofiber of ff called the mapping cone of ff, whose construction comes with an explicit chain homotopy ϕ\phi as indicated, hence cone(f)cone(f) is homology-equivalence to C C_\bullet above, but is in general a “bigger” model of the homotopy cofiber;

  • A[1]A[1] etc. is the suspension of a chain complex of AA, hence the same chain complex but pushed up in degree by one.

This is discussed in detail at mapping cone, see the section mapping cone - for chain complexes.

In conclusion we get from every morphim of chain complexes a long homotopy cofiber sequence

A fB cone(f)A[1] f[1]B[1] cone(f)[1] . \cdots \to A_\bullet \stackrel{f}{\to}B_\bullet \stackrel{}{\to} cone(f) \stackrel{}{\to} A[1]_\bullet \stackrel{f[1]}{\to} B[1]_\bullet \stackrel{}{\to} cone(f)[1]_\bullet \to \cdots \,.

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 A B C A_\bullet \to B_\bullet \to C_\bullet.

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.

References

Lecture notes:

  • Robert Ash, The long exact homology sequence and applications (pdf)

Last revised on January 17, 2021 at 06:39:49. See the history of this page for a list of all contributions to it.