TheoremComplete

Long Exact Sequence in Cohomology

The long exact sequence in cohomology is the fundamental theorem connecting short exact sequences of complexes to their cohomology. It is the primary computational tool in homological algebra, underlying the long exact sequences for Ext, Tor, sheaf cohomology, and group cohomology.


Statement

Theorem4.6Long Exact Sequence in Cohomology

Let 0AfBgC00 \to A^\bullet \xrightarrow{f} B^\bullet \xrightarrow{g} C^\bullet \to 0 be a short exact sequence of cochain complexes in an abelian category A\mathcal{A}. Then there exist connecting homomorphisms δn:Hn(C)Hn+1(A)\delta^n : H^n(C^\bullet) \to H^{n+1}(A^\bullet) for each nn, and the sequence

Hn(A)Hn(f)Hn(B)Hn(g)Hn(C)δnHn+1(A)Hn+1(f)Hn+1(B)\cdots \to H^n(A) \xrightarrow{H^n(f)} H^n(B) \xrightarrow{H^n(g)} H^n(C) \xrightarrow{\delta^n} H^{n+1}(A) \xrightarrow{H^{n+1}(f)} H^{n+1}(B) \to \cdots

is exact. Moreover, δn\delta^n is natural: a morphism of short exact sequences of complexes induces a morphism of long exact sequences.


Examples

ExampleMayer-Vietoris in singular cohomology

For X=UVX = U \cup V open, the short exact sequence 0C(X)C(U)C(V)C(UV)00 \to C^\bullet(X) \to C^\bullet(U) \oplus C^\bullet(V) \to C^\bullet(U \cap V) \to 0 gives the Mayer-Vietoris long exact sequence.

ExampleLong exact sequence of a pair

For AXA \subseteq X, the sequence 0C(A)C(X)C(X,A)00 \to C^\bullet(A) \to C^\bullet(X) \to C^\bullet(X, A) \to 0 gives Hn(A)Hn(X)Hn(X,A)δHn+1(A)\cdots \to H^n(A) \to H^n(X) \to H^n(X, A) \xrightarrow{\delta} H^{n+1}(A) \to \cdots.

ExampleLong exact sequence for Ext

From 0MMM00 \to M' \to M \to M'' \to 0 in R-ModR\text{-}\mathbf{Mod}, applying Hom(,N)\mathrm{Hom}(-, N) gives 0Hom(M,N)Hom(M,N)Hom(M,N)Ext1(M,N)0 \to \mathrm{Hom}(M'', N) \to \mathrm{Hom}(M, N) \to \mathrm{Hom}(M', N) \to \mathrm{Ext}^1(M'', N) \to \cdots.

ExampleLong exact sequence for Tor

From 0MMM00 \to M' \to M \to M'' \to 0, applying N- \otimes N gives Tor1(M,N)MNMNMN0\cdots \to \mathrm{Tor}_1(M'', N) \to M' \otimes N \to M \otimes N \to M'' \otimes N \to 0.

ExampleLong exact sequence in sheaf cohomology

For 0FFF00 \to \mathcal{F}' \to \mathcal{F} \to \mathcal{F}'' \to 0 on XX: 0Γ(F)Γ(F)Γ(F)δH1(X,F)0 \to \Gamma(\mathcal{F}') \to \Gamma(\mathcal{F}) \to \Gamma(\mathcal{F}'') \xrightarrow{\delta} H^1(X, \mathcal{F}') \to \cdots.

ExampleExponential sequence

0ZOXOX00 \to \underline{\mathbb{Z}} \to \mathcal{O}_X \to \mathcal{O}_X^* \to 0 gives H1(X,O)H1(X,O)c1H2(X,Z)H2(X,O)\cdots \to H^1(X, \mathcal{O}) \to H^1(X, \mathcal{O}^*) \xrightarrow{c_1} H^2(X, \mathbb{Z}) \to H^2(X, \mathcal{O}) \to \cdots.

ExampleGroup cohomology

For 0MMM00 \to M' \to M \to M'' \to 0 as GG-modules: Hn(G,M)Hn(G,M)Hn(G,M)δHn+1(G,M)\cdots \to H^n(G, M') \to H^n(G, M) \to H^n(G, M'') \xrightarrow{\delta} H^{n+1}(G, M') \to \cdots.

ExampleBockstein homomorphism

From 0Z/pZ/p2Z/p00 \to \mathbb{Z}/p \to \mathbb{Z}/p^2 \to \mathbb{Z}/p \to 0, the connecting homomorphism β:Hn(X;Z/p)Hn+1(X;Z/p)\beta : H^n(X; \mathbb{Z}/p) \to H^{n+1}(X; \mathbb{Z}/p) is the Bockstein homomorphism, used in Steenrod operations.

ExampleGysin sequence

For an oriented sphere bundle SnEBS^n \to E \to B, the Gysin sequence Hk(B)Hk+n(E)Hk+n(B)eHk+n+1(B)\cdots \to H^k(B) \to H^{k+n}(E) \to H^{k+n}(B) \xrightarrow{e \cup} H^{k+n+1}(B) \to \cdots arises from a long exact sequence.

ExampleWang sequence

For a fiber bundle FESnF \to E \to S^n with n2n \geq 2: Hk(E)Hk(F)Hkn+1(F)Hk+1(E)\cdots \to H^k(E) \to H^k(F) \to H^{k-n+1}(F) \to H^{k+1}(E) \to \cdots.

ExampleNaturality of delta

Given a morphism of SES of complexes, the connecting homomorphisms commute with the induced maps. This is essential for functoriality of long exact sequences and comparison arguments using the Five Lemma.

ExampleLES from a distinguished triangle

In a triangulated category, a distinguished triangle ABCA[1]A \to B \to C \to A[1] and a cohomological functor HH give a long exact sequence Hn(A)Hn(B)Hn(C)Hn+1(A)\cdots \to H^n(A) \to H^n(B) \to H^n(C) \to H^{n+1}(A) \to \cdots. The LES in cohomology of complexes is the special case where the triangulated category is K(A)K(\mathcal{A}) or D(A)D(\mathcal{A}).


Proof Reference

RemarkProof

The proof uses the Snake Lemma applied to the diagram relating cocycles/coboundaries in degrees nn and n+1n+1. See the detailed proof.