Cellular homology

cosmos 1st November 2017 at 12:54pm
Homology

Homology defined on CW complexes.

Idea:

n-chain ~ Z{ncells}\mathbb{Z}\langle \{n-cells\}\rangle
boundary ~ degree of the attaching map on each cell.

For XX a CW complex, we define the cellular homolgy group as

HnCWX:=Hn(...Hn+1(Xn+1,Xn)H^{CW}_n X := H_n( ... \to H_{n+1}(X^{n+1},X^n) dn+1Hn(Xn,Xn1)dnHn1(Xn1,Xn2)...) \to_{d_{n+1}} H_n(X^n,X^{n-1}) \to_{d_n} H_{n-1}(X^{n-1},X^{n-2})\to...)

where XiX^i is the ii-skeleton of the CW complex XX. Hn(A,B)H_n(A,B) is the Relative homology group of space A relative to B. The outermost HnH_n means the nnth Homology group of the Chain complex it acts on. This chain complex is formed by the relative homology groups together with the maps dnd_n.

The map dnd_n is defined as the composition jn1nj_{n-1} \circ \partial_n where these are the maps in the sequence ...Hn(Xn,Xn1)nHn1(Xn1)jn1Hn1(Xn1,Xn2)......\to H_n(X^n,X^{n-1}) \to_{\partial_n} H_{n-1}(X^{n-1})\to_{j_{n-1}} H_{n-1}(X^{n-1},X^{n-2})\to ... ( you can see the composition has the right domain and codomain). This sequence comes from putting together a few LES of the skeletons as follows:

The middle chain is called the Cellular chain complex. See here

Cellular boundary formula

We can write a formula for dnd_n. See here