Chain complex

"Bicomplex" redirects here. For the type of number, see Bicomplex number.

In mathematics, chain complex and cochain complex are constructs originally used in the field of algebraic topology. They are algebraic means of representing the relationships between the cycles and boundaries in various dimensions of a topological space. More generally, homological algebra includes the study of chain complexes in the abstract, without any reference to an underlying space. In this case, chain complexes are studied axiomatically as algebraic structures.

Applications of chain complexes usually define and apply their homology groups (cohomology groups for cochain complexes); in more abstract settings various equivalence relations are applied to complexes (for example starting with the chain homotopy idea). Chain complexes are easily defined in abelian categories, also.

Formal definition

A chain complex $(A_\bullet, d_\bullet)$ is a sequence of abelian groups or modules ... A₂, A₁, A₀, A_-1, A_-2, ... connected by homomorphisms (called boundary operators) d_n : A_n→A_n−1, such that the composition of any two consecutive maps is zero: d_n ∘ d_n+1 = 0 for all n. They are usually written out as:

\cdots \to A_{n+1} \xrightarrow{d_{n+1}} A_n \xrightarrow{d_n} A_{n-1} \xrightarrow{d_{n-1}} A_{n-2} \to \cdots \xrightarrow{d_2} A_1 \xrightarrow{d_1} A_0 \xrightarrow{d_0} A_{-1} \xrightarrow{d_{-1}} A_{-2} \xrightarrow{d_{-2}} \cdots

A variant on the concept of chain complex is that of cochain complex. A cochain complex $(A^\bullet, d^\bullet)$ is a sequence of abelian groups or modules ..., $A^{- 2}$ , $A^{- 1}$ , $A^0$ , $A^1$ , $A^2$ , ... connected by homomorphisms $d^n\colon A^n \to A^{n + 1}$ such that the composition of any two consecutive maps is zero: $d^{n + 1} d^n = 0$ for all n:

\cdots \to A^{-2} \xrightarrow{d^{-2}} A^{-1} \xrightarrow{d^{-1}} A^0 \xrightarrow{d^0} A^1 \xrightarrow{d^1} A^2 \to \cdots \to A^{n-1} \xrightarrow{d^{n-1}} A^n \xrightarrow{d^n} A^{n+1} \to \cdots.

The index $n$ in either $A_n$ or $A^n$ is referred to as the degree (or dimension). The only difference in the definitions of chain and cochain complexes is that, in chain complexes, the boundary operators decrease dimension, whereas in cochain complexes they increase dimension.

A bounded chain complex is one in which almost all the A_i are 0; i.e., a finite complex extended to the left and right by 0's. An example is the complex defining the homology theory of a (finite) simplicial complex. A chain complex is bounded above if all degrees above some fixed degree N are 0, and is bounded below if all degrees below some fixed degree are 0. Clearly, a complex is bounded both above and below if and only if the complex is bounded.

Leaving out the indices, the basic relation on d can be thought of as

d d = 0.

The elements of the individual groups of a chain complex are called chains (or cochains in the case of a cochain complex.) The image of d is the group of boundaries, or in a cochain complex, coboundaries. The kernel of d (i.e., the subgroup sent to 0 by d) is the group of cycles, or in the case of a cochain complex, cocycles. From the basic relation, the (co)boundaries lie inside the (co)cycles. This phenomenon is studied in a systematic way using (co)homology groups.

Chain maps and tensor product

There is a natural notion of a morphism between chain complexes called a chain map. Given two complexes M_* and N_*, a chain map between the two is a series of homomorphisms from M_i to N_i such that the entire diagram involving the boundary maps of M and N commutes. Chain complexes with chain maps form a category.

If V = V_* and W = W_* are chain complexes, their tensor product $V \otimes W$ is a chain complex with degree i elements given by

(V \otimes W)_i = \bigoplus_{\{j,k|j+k=i\}} V_j \otimes W_k

and differential given by

\partial (a \otimes b) = \partial a \otimes b + (-1)^{|a|} a \otimes \partial b

where a and b are any two homogeneous vectors in V and W respectively, and $|a|$ denotes the degree of a.

This tensor product makes the category $\text{Ch}_K$ (for any commutative ring K) of chain complexes of K-modules into a symmetric monoidal category. The identity object with respect to this monoidal product is the base ring K viewed as a chain complex in degree 0. The braiding is given on simple tensors of homogeneous elements by

a \otimes b \mapsto (-1)^{|a||b|} b \otimes a

The sign is necessary for the braiding to be a chain map. Moreover, the category of chain complexes of K-modules also has internal Hom: given chain complexes V and W, the internal Hom of V and W, denoted hom(V,W) is the chain complex with degree n elements given by $\Pi_{i}\text{Hom}_K (V_i,W_{i+n})$ and differential given by

(\partial f)(v) = \partial(f(v)) - (-1)^{|f|} f(\partial(v))

We have a natural isomorphism

\text{Hom}(A\otimes B, C) \cong \text{Hom}(A,\text{Hom}(B,C))

Examples

Singular homology

Main article: Singular homology

Suppose we are given a topological space X.

Define C_n(X) for natural n to be the free abelian group formally generated by singular n-simplices in X, and define the boundary map

\partial_n: C_n(X) \to C_{n-1}(X): \, (\sigma: [v_0,\ldots,v_n] \to X) \mapsto (\partial_n \sigma = \sum_{i=0}^n (-1)^i \sigma([v_0,\ldots, \hat v_i, \ldots, v_n]),

where the hat denotes the omission of a vertex. That is, the boundary of a singular simplex is alternating sum of restrictions to its faces. It can be shown ∂² = 0, so $(C_\bullet, \partial_\bullet)$ is a chain complex; the singular homology $H_\bullet(X)$ is the homology of this complex; that is,

H_n(X) = \ker \partial_n / \mbox{im } \partial_{n+1}.

de Rham cohomology

Main article: de Rham cohomology

The differential k-forms on any smooth manifold M form an abelian group (in fact an R-vector space) called Ω^k(M) under addition. The exterior derivative d_k maps Ω^k(M) to Ω^k+1(M), and d² = 0 follows essentially from symmetry of second derivatives, so the vector spaces of k-forms along with the exterior derivative are a cochain complex:

\Omega^0(M)\ \stackrel{d_0}{\to}\ \Omega^1(M) \to \Omega^2(M) \to \Omega^3(M) \to \cdots.

The cohomology of this complex is called the de Rham cohomology:

H^0_{\mathrm{DR}}(M) = \ker d_0 =

{locally constant functions on M with values in R}

\cong \mathbb{R}

^{#{connected pieces of M}}

H^k_{\mathrm{DR}}(M) = \ker d_k / \mathrm{im} \, d_{k-1}.

Chain maps

A chain map f between two chain complexes $(A_\bullet, d_{A,\bullet})$ and $(B_\bullet, d_{B,\bullet})$ is a sequence $f_\bullet$ of module homomorphisms $f_n : A_n \rightarrow B_n$ for each n that commutes with the boundary operators on the two chain complexes: $d_{B,n} \circ f_n = f_{n-1} \circ d_{A,n}$ . Such a map sends cycles to cycles and boundaries to boundaries, and thus descends to a map on homology: $(f_\bullet)_*:H_\bullet(A_\bullet, d_{A,\bullet}) \rightarrow H_\bullet(B_\bullet, d_{B,\bullet})$ .

A continuous map of topological spaces induces chain maps in both the singular and de Rham chain complexes described above (and in general for the chain complex defining any homology theory of topological spaces) and thus a continuous map induces a map on homology. Because the map induced on a composition of maps is the composition of the induced maps, these homology theories are functors from the category of topological spaces with continuous maps to the category of abelian groups with group homomorphisms.

It is worth noticing that the concept of chain map reduces to the one of boundary through the construction of the cone of a chain map.

Chain homotopy

Chain homotopies give an important equivalence relation between chain maps. Chain homotopic chain maps induce the same maps on homology groups. A particular case is that homotopic maps between two spaces X and Y induce the same maps from homology of X to homology of Y. Chain homotopies have a geometric interpretation; it is described, for example, in the book of Bott and Tu. See Homotopy category of chain complexes for further information.

References

Bott, Raoul; Tu, Loring W. (1982), Differential Forms in Algebraic Topology, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90613-3

This article is issued from Wikipedia - version of the Wednesday, March 11, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.