I'm learning that the dimension of the $k^{th}$ De-Rham Cohomology Group (as a vector space over $\mathbb{R}$) of space tells us the number of $k$-dimensional holes in the space. I always found this quite strange, given that the De-Rham Cohomology Group deals with differential forms, a very algebraic object, whereas holes are very geometric.

So my question is this: Is there an intuitive reason why differential forms on a space and holes in the space have anything to do with each other? Does the presence of holes force the differential form to "dodge" the hole, which in turn changes its properties in ways that we can detect? I know how to formally prove that forms detect holes; that's not what I'm looking for. I am looking for a deeper philosophical answer to the question: what is the intuitive relationship between differential forms and holes?

Thanks in advance. Appreciate the help!

  • 7
    $\begingroup$ Do you know about the form $d\theta$ on $\mathbb{R}^2\setminus \{(0,0)\}$? This is the first example of dR cohomology detecting holes. $\endgroup$ Apr 20 '20 at 14:21
  • $\begingroup$ I see why, purely formally, the form $d \theta$ is closed but not exact on $\mathbb{R}^2 \setminus \{ (0,0) \}$. What I struggle to see, though, is an intuitive reason why holes give rise to forms that are closed but exact. Or conversely: an intuitive reason why forms that are closed but not exact can detect holes. $\endgroup$
    – chaad
    Apr 20 '20 at 15:33
  • $\begingroup$ @ Alekos Robotis Actually, the first example is $\frac{1}{x}$ on ${\bf R}\backslash \{0\}$. $\endgroup$ Apr 21 '20 at 11:53

In my opinion, this is a great question, because it's actually not the right way to measure holes. The construction that measures holes is not cohomology, but just homology. The easiest example of a homology theory is the simplicial homology, where you take a space which can be written as a union of simplices. You fix an ordering on the vertices for the sake of computation, and then you define the chain groups $C^k(X)$ to be the formal linear combinations of simplices in each dimension. The 'differential' decreases the dimension, and is simply the alternating sum of the boundary faces of that simplex. When you have a chain complex with a differential which decreases the rank rather than increase it, we tend to call them 'boundary' operators inspired by this theory.

This turns out to also define a chain complex, because the alternation forces the relation $$\partial^2 = 0$$ because if a simplex has vertices $0, ..., n$, then the boundary is $\sum_{i=0}^n (-1)^i(0,...,\hat{i}, ... n)$ where the hat denotes deletion. When you take the boundary twice, there are two ways to delete a pair of indices, and the difference between them will come with a difference in sign, so they'll cancel.

Now what are the homology groups of such a thing looking like? Well the things killed by the boundary operator are called cycles. The intuition from this is that if you have a loop, and you divide the loop into edges making a polygon, this is a simplicial complex, as described briefly above. Each vertex appears once as a head and once as a tail. So if I write my loop as a sum of these edges and take the boundary, everything cancels and you get 0.

On the other hand, the image of the boundary operator, well, these are just called boundaries, because they are the boundary of something. The quotient is the simplicial homology. It is exactly these that measure holes in a space. The loops which are not boundaries of something filling them in are the holes!

The relationship between homology and cohomology in this way is spelled out over a beautiful collection of theorems forming what is for me the spine of algebraic topology (at least for me as someone predominantly interested in geometry, where mostly I want these tools for computational purposes). First, there are many other homology theories and cohomology theories. The most important theorem(s) relating them is that all the homology theories on reasonable spaces, and satisfying some very modest axioms all compute the same algebraic invariant, so we are justified in just speaking of the homology or cohomology of a space.

On the other hand, homology and cohomology are also related to one another by some special theorems, such as Poincare duality and the Universal Coefficient Theorem.

The rough intuition for Poincare duality (and indeed, a fake proof was given by Poincare himself along these lines) was that there are two reasonable ways of formulating how to dualize a chain complex where the objects look like simplices. One is to replace the simplices with dual simpliices, i.e. replace the vertices with top cells, the edges with second-to-top faces, and so on. The other way is the algebraic construction of a cohomology theory, where you form the dual module of every group in the chain complex, by taking $C^k := \hom(C_k, \mathbb{Z})$. It turns out that there is a dual pairing $C_k(M) \otimes C_{n-k}(M) \to \mathbb{Z}$ given by counting signed intersections, and this pairing can often induce an isomorphism between $k$ chains and $n-k$ cochains, since the boundary operation is essentially carrying all the same data as the incidence relation for the duals.

For this reason, when one is studying cohomology with differential forms, you are actually studying (by one of these theorems that says all cohomology theories that satisfy modest axioms are isomorphic!) studying the geometry of a dual triangulation of your space. This gives you intuition for why they should be similar, but can often be different. Especially when one is studying De Rham cohomology, because there, the coefficients are in the field $\mathbb{R}$, so the coefficients do not allow you to see 'half holes' such as in the projective space. In that space (if you haven't seen this example) there is a loop which does not bound a disk, but if you traverse the loop twice, now it does bound a disk. The general relationship between the different theories' and their coefficients is the purpose of the UCT above. Changing the coefficients can change what your computations can 'see,' but this is another story.

  • $\begingroup$ Wow! Thanks for taking the time to write up such a thorough answer. That definitely helps in understanding the similarities between homology and co-homology. $\endgroup$
    – chaad
    Apr 21 '20 at 12:28
  • $\begingroup$ Gladly. The reason that we spend a lot of time emphasizing cohomology over homology, is because cohomology ends up being a finer invariant. Even though it looks like they are similar, cohomology contains more data, because the separate cohomology groups can be combined into a ring. For differential forms, the wedge product tells you how to multiply forms. It's possible for spaces to have the same groups, but the product operation works out differently. This is the sorta thing that becomes manifestly clear the deeper you go into the subject. $\endgroup$ Apr 21 '20 at 18:52

The intuitive reason for why closed forms detect holes is the existence of Stokes' theorem. One of the consequences of Stokes is, for example, that for a closed $1$-form $\omega$ and a path $c$, the value of $\int_{c} \omega$ is invariant if we move $c$ around via an homotopy. If there is another path $c'$ which has a different value for $\int_{c'}\omega$, then we cannot move $c$ around and end in $c'$, thus "there is a hole" of some kind.

It is also arguably the formal reason, since the de Rham map \begin{align*} \Omega_n(X) &\to \mathrm{Hom}(C_n(X),\mathbb{R})\\ \omega &\mapsto (\sigma \mapsto \int_{\sigma}\omega) \end{align*} depends on Stokes to even be a chain map. The de Rham theorem then says it induces an isomorphism on the cohomology level, and since the right side is singular cohomology you recover the frequently used "holes" analogy.

  • $\begingroup$ That's a very nice intuitive way to think about it: the path $c$ can't deform to $c'$ because a hole is "in the way". Thanks for the reply! $\endgroup$
    – chaad
    Apr 21 '20 at 12:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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