April 14, 2019

Simplicial Homology

Simplicial Homology

Homology groups are topological invariants which, informally, give information about the types of holes in a topological space. They are not the only such invariant in algebraic topology, but they are particularly nice to work with since they are always abelian and easy to compute.

For now, we will restrict our discussion to homology of simplicial complexes. Since many topological spaces of interest can be triangularized into a simplicial complex, this is robust enough for a first treatment of homology. I will talk about the more general theory of singular homology in a later post.

I actually gave the definition of simplicial homology groups in my last post, but it was not motivated by anything in particular. Because the motivation for the construction of homology groups can be difficult to understand, we'll work through the concept by looking at a rather in-depth example. As we will see, the natural and intuitive steps we take in this example generalize to a broader theory of homology.

Let's work with the same simplicial complex we looked at in my last post:

simplicial-complex-4

We'll call the complex X, to match our notation from last time. The vi are 0-simplices, the ei are 1-simplices and f is a 2-simplex. We will be working with the chain groups of X as in the previous post. We define C0(X) as the free abelian group generated by the vi, C1(X) as the free abelian group generated by the ei, and C2(X) as the free abelian group generated by f.

Notice that elements of C0(X) are integral linear combinations of the vertices vi. A typical element σ0C0(X) can be expressed as

σ0=i=03aivi=a0v0+a1v1+a2v2+a3v3,

where the ai are integers. We refer to the elements of C0(X) as 0-chains.

Similarly, the elements of C1(X), which we call 1-chains, are integral linear combinations of the edges ei. A typical element σ1C1(X) can be written

σ1=i=04biei=b0e0+b1e1+b2e2+b3e3+b4e4,

where the bi are integers. Since the edges are oriented, remember that we think of the negative of an edge as that same edge oriented in the opposite direction. There are only two possible orientations for each edge, so this works out nicely.

Lastly, the elements of C2(X), the 2-chains, are integral multiples of the face f. A typical element σ2C2(X) is of the form

σ2=cf,

where c is an integer. We will assume that f=[v0,v1,v2] is oriented clockwise.

Last time, we defined the boundary maps between chain groups for any simplicial complex. Let's look at the boundaries of the simplices in X. These are determined by the homomorphisms

C2(X)2C1(X)1C0(X)00.

Recall the definition of the boundary of an n-simplex:

n([v0,v1,,vn])=i=0n(1)i[v0,,vi1,vi+1,,vn].

We see immediately that

0([vi])=0

for every 1-simplex vi. This should make intuitive sense, since a vertex shouldn't have any boundary. This means that 0 is the zero map, (as it must be since it's codomain is the trivial group).

Next we see that

1(e0)=1([v0,v1])=v1v01(e1)=1([v1,v2])=v2v11(e2)=1([v2,v0])=v0v21(e3)=1([v3,v2])=v2v31(e4)=1([v0,v3])=v3v0.

Since homomorphisms between free abelian groups are uniquely determined by the way they act on generators, we immediately know how to calculate the boundary 1 of any 1-chain in X. If

σ1=i=04biei

then from the properties of homomorphisms we see that

1(σ1)=1(i=04biei)=i=04bi1(ei)=b0(v1v0)+b1(v2v1)+b2(v0v2)+b3(v2v3)+b4(v3v0)=(b0+b2b4)v0+(b0b1)v1+(b1b2+b3)v2+(b3+b4)v3.

Of particular interest to us are cycles in C1(X). As you might expect, a cycle is a 1-chain which ends where it began and traverses the edges in a natural order. For instance, we would like

σ1=e0+e1+e2,σ2=2e22e42e3

to be considered cycles, since they are natural paths around the simplex and they form closed loops. However,

σ3=e0+e1,σ4=3e1e4

should not be, as σ3 does not form a closed loop and σ4 is not even a natural path.

How should we algebraically determine which chains are cycles? To answer this question, let's take a look at the boundaries of the 1-chains we just discussed. Remember that chain groups are abelian, so we can rearrange terms. This is extremely important!

1(σ1)=(e0+e1+e2)=(e0)+(e1)+(e2)=(v1v0)+(v2v1)+(v0v2)=(v0v0)+(v1v1)+(v2v2)=0,1(σ2)=(2e22e42e3)=2(e2)2(e4)+2(e3)=2(v0v2)2(v3v0)2(v2v3)=2(v0v0)2(v2v2)2(v3v3)=0,1(σ3)=(e0+e1)=(e0)+(e1)=(v1v0)+(v2v1)=v0+(v1v1)+v2=v0+v2,1(σ4)=(3e1e4)=3(e1)(e4)=3(v2v1)(v3v0)=v03v1+3v2v3.

So It looks like the 1-chains that ought to be cycles have a boundary of 0, whereas the others have nonzero boundary. This should make some sense, since remember that the boundary of a 1-simplex is its second vertex minus its first vertex. So if the edges of a chain follow a natural path, i.e., the chain is of the form

σ=[v0,v1]+[v1,v2]+[v2,v3]++[vn2,vn1]+[vn1,vn]

then the terms in its boundary will telescope and only the extreme points will remain. That is,

1(σ)=1([v0,v1]+[v1,v2]+[v2,v3]++[vn2,vn1]+[vn1,vn])=([v0,v1])+([v1,v2])+([v2,v3])++([vn2,vn1])+([vn1,vn])=(v1v0)+(v2v1)+(v3v2)++(vn1vn2)+(vnvn1)=v0+(v1v1)+(v2v2)++(vn1vn1)+vn=v0+vn.

If it happens that the chain is also closed, then its first and last vertices are the same. That is, v0=vn, and so 1(σ)=0. That means that any cycle is in the kernel of the boundary map! It thus makes sense to make the following definition:

Definition. If X is a simplicial complex with chain groups and boundary operators

n+1Cn(X)nCn1(X)n12C1(X)1C0(X)00,

then for each natural number n, the group of n-cycles in X is defined as

Zn(X)=kern.

This subgroup consists of all n-chains whose boundary is zero. That is, precisely the chains which we called cycles. Since each cycle group Zn(X) is the kernel of a homomorphism, it is always a normal subgroup of Cn(X).

Remember that the whole point of this endeavor is to identify the holes in our simplicial complex X. Intuitively, just from looking at the diagram of X, it seems there should only be one hole: that empty region bounded by the edges e2, e4 and e3.

How do we instinctively know this? Because e2+e3+e4 is a a cycle in Z1(X) but it is not the boundary of any 2-chain in X. Those edges could feasibly form the boundary of a 2-simplex, but there is simply not a 2-simplex sitting there. That tells us there's a hole in our complex.

On the other hand, e0+e1+e2 is a cycle in Z1(X) and it is the boundary of the 2-chain f, so there is no hole there.

What I'm saying is that holes in X correspond to cycles which are not also the boundary of anything in X.

How do we know which chains are also boundaries? Well that's easy! Any boundary of a simplex in X is the image of that simplex under the boundary map.

Definition. If X is a simplicial complex with chain groups and boundary operators

n+1Cn(X)nCn1(X)n12C1(X)1C0(X)00,

then for each natural number n, the group of n-boundaries in X is defined as

Bn(X)=im n+1.

This subgroup consists of all n-chains which are the image of an (n+1)-chain under the (n+1)th boundary map. That is, Bn(X) consists of all boundaries of the (n+1)-chains in X.

We showed last time that the boundary of a boundary is always zero, i.e., (nn+1)(σ)=0 for all n. We also showed that this implies that im n+1kern. Or, in the terminology of this post, Bn(X)Zn(X).

This should make intuitive sense, since every boundary of a simplex should be a cycle but not all cycles are necessarily boundaries. In fact, it is precisely the cycles that are not boundaries that we are interested in. Since each chain group is free abelian, this implies that Bn(X) is a normal subgroup of Zn(X). We're finally ready to define homology groups!

Definition. If X is a simplicial complex with chain groups and boundary operators

n+1Cn(X)nCn1(X)n12C1(X)1C0(X)00,

then for each natural number n, the nth simplicial homology group of X is defined as the quotient group

Hn(X)=Zn(X)Bn(X)=kernim n+1.

In the case of our example, Z1(X) is the free abelian group generated by the two basic cycles in X. That is, any cycle in Z1(X) is an integral combination of e0+e1+e2 and e2+e4+e3. Since it is generated by two elements, rank Z1(X)=2.

On the other hand, B1(X) is the free abelian group generated by boundaries of the 2-simplices in X. But there is only one 2-simplex, namely f. The boundary of f is the chain e0+e1+e2, so any boundary in B1(X) is an integral multiple of this chain. Since it is generated by a single element, rank B1(X)=1.

This implies that rank H1(X)=21=1. This coincides with our intuitive idea that there is one hole in the complex X. In general, the rank of the n-th homology group tells us how many n-dimensional holes are in a simplicial complex.

The elements of the 1st homology group H1(X) are the cosets of B1(X). That is, any element σH1(X) is of the form

σ=B1(X)+γ

where γ is any 1-cycle in Z1(X). If γ is a multiple of the chain e0+e1+e2 then γB1(X) and so we have the identity coset. Otherwise, γ contains some multiple of the other cycle, e2+e4+e3, and so B1(X)+γ is not the identity. This is why the rank of H1(X) is 1 in this case — because the only distinct cosets are the identity and B1(X)+e2+e4+e3.

I'll leave you with this for now. Next time I'll discuss an algorithm for actually computing homology groups of simplicial complexes!

Menu