Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm studying homology groups and I'm looking to try and develop, if possible, a little more intuition about what they actually mean. I've only been studying homology for a short while, so if possible I would prefer it if this could be kept relatively simple, but I imagine it is entirely possible there is no real answer to my query anyway.

As I said above, I want to gain a little deeper understanding of what the n-th homology group actually means: I can happily calculate away using Mayer-Vietoris but it doesn't really give me a great deal of intuition about what the n-th homology group actually means. For example, with homotopy groups, the fundamental group is in some sense a description of how loops behave on the object in question, and it is obvious to me why that is what it is for say, the torus or the circle. However, I have no idea what, if anything, I'm actually saying about a triangulable object when I talk about it having 0-th homology group this or 1st homology group that.

The best I have been able to find online or in my limited book selection is the brief description "intuitively, the zeroth homology group counts how many disjoint pieces make up the shape and gives that many copies of ℤ, while the other homology groups count different types of holes". What 'different types of holes' are there, roughly speaking? I appreciate that it may often be completely non-obvious what the low-order homology groups are for some complicated construction, but perhaps in simpler examples it might be more explicable. Are there (simple) cases where I could say, just from looking something like e.g. the torus, what its zero-th or first or second etc. homology group was based on the nature of the object? I guess in the zero-th case it is, as my source (http://teamikaria.com/hddb/wiki/Homology_groups) above says, related to the number of disjoint pieces. Can we delve deeper than this for the other homology groups?

Any book/website suggestions would be welcomed (preferably websites as I'm nowhere near a library!) - I have Hatcher but not a great deal else, and I haven't gleamed as much as I wish to from that alone. Of course I know that there is a great deal we don't know about homology groups even today, so I don't expect some magical all-encompassing answer, but any thoughts you could provide would be appreciated. I hope this question is appropriate for SE Mathematics, apologies if not! -M

share|improve this question
2  
In addition to the other answers you receive that will address this more directly, you might be interested in reading about Hurewicz's Theorem, which relates homotopy and homology groups. In the case of first dimensional groups, it roughly says that the 1st dimensional homology group is what you get when you take the 1st dimensional homotopy group but don't care about the order that the paths go around a hole in; essentially forgetting that paths are oriented and just thinking about them as images of circles. Also, your intuition would probably be aided by reading about simplicial homology. –  matt May 19 '11 at 20:48
1  
this is no answer - but I think "cycles modulo boundaries" does provide some intuition –  user8268 May 19 '11 at 21:05

5 Answers 5

up vote 21 down vote accepted

Let's restrict ourselves to orientable spaces that are homotopic to CW complexes. In low dimensions, there is a very intuitive way to thing of homology groups. Bascially, the rank of the n-th dimensional homology group is the number of n-dimensional "holes" the space has. As you stated in your example, for $H_0$, this is counting connected components. Moving to $H_1$, we are counting literal holes. The torus has $H_1\cong \mathbb Z \oplus \mathbb Z$ since it has two holes, one inside and one outside.

You can think of a 2-dimensional hole as an empty volume. The best analogy I've heard is to think of your space as an inflatable object. The rank of the second homology group is the number of different plugs you'd need to blow air into to inflate it. The torus has one empty volume, so you'd only need one plug to inflate it. If you take the wedge of two 2-spheres, you'd need two different plug to inflate it, one for each empty volume, so it has rank 2.

As is usual in topology, we now wave our hands and say "it works the same for higher dimensions."

share|improve this answer
    
I don't completely follow your comment about the 'hose': I understand how you're describing it but I don't see quite follow your explanation of a 'void': are you saying the reason you would need two 'hoses' for the wedge of 2 2-spheres is because it has two 'components' only joined at a single point? I don't quite grasp the idea of the 2-dimensional hole I don't think, sorry. –  Spyam May 19 '11 at 21:11
    
See my edits. Instead of voids, empty volumes, instead of hoses, plugs that you'd pump air into. Does that help? –  jd.r May 19 '11 at 21:25
    
Ah, brilliant! It's as simple as that? Even nicer than I expected! One final query: do we generalise a 'hole' by an 'empty' n-dimensional set containing an open set or something along those lines? –  Spyam May 19 '11 at 21:30
4  
+1 Great analogy with the plugs to blow air into -- I'm going to find that a really useful check come exam time! –  Sputnik May 19 '11 at 21:33
    
@Fahad: It's a good one, huh. It isn't mine, but I can't, for the life of me, remember where I first heard it! –  jd.r May 19 '11 at 23:47

"Cycles modulo boundaries" can get you surprisingly far. Recall that for a simplicial complex $X$, the $n^{th}$ homology $H_n(X)$ is $Z_n/B_n$, where $Z_n = \ker(d_n : C_n \to C_{n-1})$ is the group of cycles and $B_n = \text{im}(d_{n+1} : C_{n+1} \to C_n)$ is the group of boundaries. Some low-dimensional cases:

  • When $n = 0$, a cycle is a linear combination of $0$-simplices in $X$, and a boundary is a linear combination of $0$-simplices lying in the same connected component of $X$ such that the sum of their coefficients is zero. So $Z_0/B_0$ is precisely the free abelian group on the connected components of $X$.
  • When $n = 1$, a cycle is exactly what it sounds like: a linear combination of cycles in $X$ (closed paths made out of $1$-simplices). A boundary is also exactly what it sounds like: a linear combination of cycles in $X$ that bound $2$-simplices. So $Z_1/B_1$ describes the failure of $1$-cycles in $X$ to bound $2$-simplices (which is the precise sense in which it measures "$1$-dimensional holes").

For $n \ge 2$ I have trouble concisely describing what a cycle is beyond "a linear combination of $n$-simplices with zero boundary." I believe this is roughly like a linear combination of collections of $n$-simplices which together form an $n$-sphere in $X$, at least for sufficiently nice triangulations. A boundary is a linear combination of such things which bound $n+1$-simplices. So again $Z_n/B_n$ measures the failure of $n$-cycles to bound $n+1$-simplices, which is the precise sense in which it measures "$n$-dimensional holes."

$H_0$ and $H_1$ are probably easier to identify than the others in general, since connected components are intuitive and $H_1$ is just the abelianization of the fundamental group. If $X$ is a connected $n$-manifold, then $H_n \cong \mathbb{Z}$ if $X$ is orientable and $0$ otherwise, the idea being that an $n$-cycle has to involve all of the $n$-simplices in $X$ appropriately oriented so that their boundaries cancel, and such a linear combination is unique up to scalar multiplication and equivalent to providing an orientation for $X$. And if $X$ is a compact orientable $n$-manifold, then Poincaré duality indirectly relates $H_1$ to $H_{n-1}$.

share|improve this answer

To a certain extent, there is no great answer that works in complete generality, or at least in a way where you can have a reasonable intuition about it, enough to see at a glance what the homology of high dimensional spaces will be. Part of this is because of the difficulty of picturing higher dimensional spaces. However, we can get a glimpse of what the homology records by considering some examples.

First, understanding the finer details of homology is hard, so we will look at a simpler invariant, the betti numbers $b_i=\dim_{\mathbb{Q}} H_i(X;\mathbb{Q})$. This disregards all sorts of subtle information which is safe to ignore for starting to build your intuition.

$b_0$ is the number of connected components. $H_1(X)$ is the abelianization of $\pi_1(X)$, and so $b_1$ is the number of "independent loops" in $X$, or the number of holes . The best example of this looking at surfaces. Take the $3$-dimensional sphere, and attach $g$ handles to it. Now, take the surface which is the boundary of this three dimensional object. For each handle, we have a loop that goes around the handle (in the way you might pick up a coffee mug), and a loop that goes from the body, into the handle and back again. For this, imagine that inside the $3$-dimensional space, you took a rubber band that went through the handle, and you shrunk the band until it was taut against the surface.

So we have $b_0=1$, $b_1=2g$, and $b_2=1$ (In general, with a compact orientable $n$-manifold, $b_n=1$). However, instead of viewing the surface as coming from attaching handles to the $3$-sphere, we can view it as punching $g$ holes through the sphere. The fact that $b_1=2g$ and not $g$ might be a little disconcerting, as we have $g$ holes. This is remedied somewhat by the fact that the handle-body (the object before we took the surface) is homotopy equivalent to a wedge of $g$ circles, and so it does have $b_1=g$. However, this shows how subtle it is to say that $b_1$ is "the number of holes", as it makes it difficult to say what exactly a hole is.

To get a grasp about what's going on in the other directly, let's consider $\mathbb{R}^n\setminus \{0\}$. This is putting a hole in the space. Let's try to detect the hole by using spheres. We can't encase the hole inside of a $S^k$ with $k<n-1$, because there is enough ambient space that we can move the sphere past the hole. However, we can encase it inside of an $n-1$ sphere. You can build some more intuition about detecting holes with spheres by looking at $\mathbb{R}^n\setminus \mathbb{R}^m$, and thinking about when we can encase the "hole" inside a sphere.

Unfortunately, this has a lot more to do with higher homotopy groups. There are relations between homology and homotopy groups, but the connection is subtle. For example, while the Hurewicz isomorphism theorem gives a close connection in one dimension (for any particular space), there is a Hurewicz map in all dimensions, but it is not in general easy to understand what it does.

One good way of understanding homology of CW complexes is with cellular homology. In general, this is still hard to understand, but if you have a buffer between the dimensions of the spheres used to construct the space (e.g. complex projective spaces, which are built up out of even-dimensional spheres), homology is counting the spheres used to construct the space.

Beyond these things, I can only recommend that you let your intuition be built up from examples. Sadly, there is no magic bullet that will give you a great understanding.

share|improve this answer

We can read some geometric intuition about homology groups directly from the definition of the singular homology groups. We may also have a look at cellular homology to see what we can extract.

Singular homology. Let $X$ be a space, and let $S:=S_\cdot X$ be its singular chain complex with differential (or boundary map) $d_\cdot$. We call $Z_n(S):=\text{ker}d_n$ the $n$-cycles of $S$, and $B_n(S):=\text{im}d_{n+1}$ the $n$-boundaries of $S$. A pair $f,g$ of $n$-chains of $S$ are homologous if their difference $f-g$ is a boundary. In other words, if there exists an $n+1$-chain $h$ such that $dh=f-g$; we really do mean they are a boundary!

This is analogous to homotopy. A pair $f,g:X\to Y$ are homotopic if there exists a map $h:X\times I\to Y$ such that

enter image description here

commutes (where $i_0$ and $i_1$ are the inclusion maps at $0$ and $1$ respectively). In other words; two maps $f,g:X\to Y$ are homotopic if they are restrictions to the boundary of a full map $h:X\to Y$.

Intuitively, homology finds $n$-holes, and indeed different types of $n$-holes. A way to think about it is that homology finds holes by keeping track of which $n$-chains are the boundary of an $(n+1)$-chain. Indeed, if you cannot fill in your $n$-chain there must be something in your space which is missing.

A thought experiment that helped me: We may try consider various spaces, and try to construct a chain or two which are not the boundary of a higher chain. What can we for instance say about a chain realizing the circle centered at $0$, in the plane punctured at $0$? What happens of we have two such chains? Are they homologous and how?

Cellular homology. We can probably read even stronger geometric intuition from cellular homology. Indeed if $X$ is a CW complex, then it has a filtration $X_0\subset \cdots \subset X$, and it is natural to think that the homology of the $X_i$ together with the data of the inclusion maps (how $X$ is glued together) should determine the homology of $X$.

This is indeed the case, and in fact in a very elegant fashion: The space $X_i/X_{i-1}$ is a wedge of $i$-spheres and as such it has free abelian homology concentrated at $i$ (precisely, if $k$ is the number of $i$-spheres of $X_i/X_{i-1}$, then $\tilde H_j(X_i/X_{i-1})=\mathbb{Z}^k$ for $i=j$ and $0$ otherwise). Using this and the data of the filtration of $X$ to its skeleton, we may tie the groups together in a long exact sequence which produces homology data based on the degrees of gluing maps (in other words, data about how $X$ is glued together from spheres and disks).

This reminds me that I should read more about cellular homology; I'll come back to this answer!

share|improve this answer

The questions of what should be homology theory are quite ancient, with apparently the older papers on Betti numbers and torsion coefficients quite vague about what were cycles and boundaries. See Dieudonné's book on the history of algebraic topology. Poincaré made a new start with chains as formal sums of oriented simplices and this has developed ever since particularly with singular homology.

Our new book "Nonabelian algebraic topology: filtered spaces, crossed complexes, cubical homotopy groupoids" EMS Tracts in Math vol 15 (2011) makes a quite new approach, based on homotopy theory, without any simplicial approximation. See my web page http://pages.bangor.ac.uk/~mas010/nonab-a-t.html , for reviews and a pdf. It is quite a complicated story, but Part I discusses history, intuitions, and dimensions 1 and 2.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.