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 0→A∙→fB∙→gC∙→00 \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=U∪VX = U \cup V open, the short exact sequence 0→C∙(X)→C∙(U)⊕C∙(V)→C∙(U∩V)→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 A⊆XA \subseteq X, the sequence 0→C∙(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 0→M′→M→M′′→00 \to M' \to M \to M'' \to 0 in R-ModR\text{-}\mathbf{Mod}, applying Hom(−,N)\mathrm{Hom}(-, N) gives 0→Hom(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 0→M′→M→M′′→00 \to M' \to M \to M'' \to 0, applying −⊗N- \otimes N gives ⋯→Tor1(M′′,N)→M′⊗N→M⊗N→M′′⊗N→0\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 0→F′→F→F′′→00 \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

0→Z‾→OX→OX∗→00 \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 0→M′→M→M′′→00 \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 0→Z/p→Z/p2→Z/p→00 \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 Sn→E→BS^n \to E \to B, the Gysin sequence ⋯→Hk(B)→Hk+n(E)→Hk+n(B)→e∪Hk+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 F→E→SnF \to E \to S^n with n≥2n \geq 2: ⋯→Hk(E)→Hk(F)→Hk−n+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 A→B→C→A[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.