ConceptComplete

Chain Complex

A chain complex is a sequence of objects and morphisms in an abelian category with the fundamental property that "the composition of two consecutive differentials is zero." Chain complexes are the basic objects from which cohomology, homotopy categories, and derived categories are built.


Definition

Definition4.1Cochain Complex

A (cochain) complex Aβˆ™A^\bullet in an abelian category A\mathcal{A} is a sequence of objects and morphisms (called differentials):

β‹―β†’dnβˆ’2Anβˆ’1β†’dnβˆ’1Anβ†’dnAn+1β†’dn+1β‹―\cdots \xrightarrow{d^{n-2}} A^{n-1} \xrightarrow{d^{n-1}} A^n \xrightarrow{d^n} A^{n+1} \xrightarrow{d^{n+1}} \cdots

such that dn∘dnβˆ’1=0d^n \circ d^{n-1} = 0 for all n∈Zn \in \mathbb{Z}.

Definition4.2Chain Map

A chain map (or morphism of complexes) f:Aβˆ™β†’Bβˆ™f : A^\bullet \to B^\bullet is a family of morphisms fn:Anβ†’Bnf^n : A^n \to B^n commuting with the differentials:

fn+1∘dAn=dBn∘fnfor all nf^{n+1} \circ d_A^n = d_B^n \circ f^n \quad \text{for all } n

Definition4.3Category of Complexes

The category of complexes Ch(A)\mathbf{Ch}(\mathcal{A}) (or C(A)\mathbf{C}(\mathcal{A})) has cochain complexes as objects and chain maps as morphisms. We also use:

  • Ch+(A)\mathbf{Ch}^+(\mathcal{A}): bounded below complexes (An=0A^n = 0 for nβ‰ͺ0n \ll 0).
  • Chβˆ’(A)\mathbf{Ch}^-(\mathcal{A}): bounded above complexes (An=0A^n = 0 for n≫0n \gg 0).
  • Chb(A)\mathbf{Ch}^b(\mathcal{A}): bounded complexes (An=0A^n = 0 for ∣nβˆ£β‰«0|n| \gg 0).

Examples

ExampleDe Rham complex

For a smooth manifold MM, the de Rham complex is Ξ©0(M)β†’dΞ©1(M)β†’dΞ©2(M)β†’dβ‹―\Omega^0(M) \xrightarrow{d} \Omega^1(M) \xrightarrow{d} \Omega^2(M) \xrightarrow{d} \cdots where Ξ©k(M)\Omega^k(M) is the space of smooth kk-forms and dd is the exterior derivative. The condition d2=0d^2 = 0 is the Poincare lemma.

ExampleSingular chain complex

For a topological space XX, the singular chain complex has Cn(X)=Z[Singn(X)]C_n(X) = \mathbb{Z}[\mathrm{Sing}_n(X)] (free abelian group on singular nn-simplices) with the boundary map βˆ‚n=βˆ‘i=0n(βˆ’1)iβˆ‚i\partial_n = \sum_{i=0}^n (-1)^i \partial_i. The condition βˆ‚2=0\partial^2 = 0 follows from the alternating signs.

ExampleKoszul complex

For a commutative ring RR and elements x1,…,xn∈Rx_1, \ldots, x_n \in R, the Koszul complex K(x1,…,xn)K(x_1, \ldots, x_n) is defined on the exterior algebra β‹€pRn\bigwedge^p R^n with the differential d(ei1βˆ§β‹―βˆ§eip)=βˆ‘j(βˆ’1)j+1xij ei1βˆ§β‹―βˆ§e^ijβˆ§β‹―βˆ§eipd(e_{i_1} \wedge \cdots \wedge e_{i_p}) = \sum_j (-1)^{j+1} x_{i_j} \, e_{i_1} \wedge \cdots \wedge \hat{e}_{i_j} \wedge \cdots \wedge e_{i_p}.

ExampleShort complex

Any morphism f:Aβ†’Bf : A \to B in an abelian category gives a complex β‹―β†’0β†’Aβ†’fBβ†’0β†’β‹―\cdots \to 0 \to A \xrightarrow{f} B \to 0 \to \cdots concentrated in two degrees. The cohomology is ker⁑f\ker f and coker f\mathrm{coker}\, f.

ExampleObject as a complex

Any object A∈AA \in \mathcal{A} gives a complex A[0]A[0] concentrated in degree 00: all other terms are zero and all differentials are zero. This gives an embedding Aβ†ͺCh(A)\mathcal{A} \hookrightarrow \mathbf{Ch}(\mathcal{A}).

ExampleCech complex

For a sheaf F\mathcal{F} and an open cover U={Ui}\mathcal{U} = \{U_i\} of XX, the Cech complex CΛ‡βˆ™(U,F)\check{C}^\bullet(\mathcal{U}, \mathcal{F}) has CΛ‡p=∏i0<β‹―<ipF(Ui0βˆ©β‹―βˆ©Uip)\check{C}^p = \prod_{i_0 < \cdots < i_p} \mathcal{F}(U_{i_0} \cap \cdots \cap U_{i_p}) with the alternating restriction maps as differentials.

ExampleBar resolution

For a group GG and a GG-module MM, the bar resolution β‹―β†’Z[G3]β†’Z[G2]β†’Z[G]β†’Zβ†’0\cdots \to \mathbb{Z}[G^3] \to \mathbb{Z}[G^2] \to \mathbb{Z}[G] \to \mathbb{Z} \to 0 is a free resolution of Z\mathbb{Z} as a GG-module. Applying HomG(βˆ’,M)\mathrm{Hom}_G(-, M) gives the complex computing group cohomology Hn(G,M)H^n(G, M).

ExampleMapping cone

For a chain map f:Aβˆ™β†’Bβˆ™f : A^\bullet \to B^\bullet, the mapping cone Cone(f)\mathrm{Cone}(f) is the complex with Cone(f)n=An+1βŠ•Bn\mathrm{Cone}(f)^n = A^{n+1} \oplus B^n and differential d(a,b)=(βˆ’dA(a),f(a)+dB(b))d(a, b) = (-d_A(a), f(a) + d_B(b)). The condition d2=0d^2 = 0 uses ff being a chain map.

ExampleDouble complex

A double complex Ap,qA^{p,q} has horizontal differentials dh:Ap,qβ†’Ap+1,qd_h : A^{p,q} \to A^{p+1,q} and vertical differentials dv:Ap,qβ†’Ap,q+1d_v : A^{p,q} \to A^{p,q+1} with dh2=0d_h^2 = 0, dv2=0d_v^2 = 0, and dh∘dv+dv∘dh=0d_h \circ d_v + d_v \circ d_h = 0 (anticommutativity). The total complex Tot(A)n=⨁p+q=nAp,q\mathrm{Tot}(A)^n = \bigoplus_{p+q=n} A^{p,q} is a single complex.

ExampleComplex of sheaves

A complex of sheaves Fβˆ™\mathcal{F}^\bullet on XX is a complex in the abelian category Sh(X)\mathbf{Sh}(X). The hypercohomology Hn(X,Fβˆ™)\mathbb{H}^n(X, \mathcal{F}^\bullet) generalizes ordinary sheaf cohomology.

ExampleProjective resolution as a complex

A projective resolution β‹―β†’P2β†’P1β†’P0β†’Mβ†’0\cdots \to P_2 \to P_1 \to P_0 \to M \to 0 of a module MM gives a complex Pβˆ™P_\bullet with Pβˆ™β†’M[0]P_\bullet \to M[0] a quasi-isomorphism. This is the starting point for computing derived functors.

ExampleShift functor

The shift A[k]A[k] of a complex Aβˆ™A^\bullet is defined by A[k]n=An+kA[k]^n = A^{n+k} with differential dA[k]n=(βˆ’1)kdAn+kd_{A[k]}^n = (-1)^k d_A^{n+k}. The shift is an autoequivalence of Ch(A)\mathbf{Ch}(\mathcal{A}) and plays a central role in triangulated categories.


Properties

Theorem4.1Ch(A) is abelian

If A\mathcal{A} is abelian, then Ch(A)\mathbf{Ch}(\mathcal{A}) is abelian. Kernels, cokernels, and exact sequences are computed degreewise.

RemarkLooking ahead

The category Ch(A)\mathbf{Ch}(\mathcal{A}) has "too many" morphisms for the purposes of homological algebra: we want to identify chain maps that are chain homotopic. Passing to the homotopy category K(A)K(\mathcal{A}) and then to the derived category D(A)D(\mathcal{A}) gives categories where quasi-isomorphisms become isomorphisms.