The intuition behind homology may be summarized in a sentence: to find objects without boundary which are not the boundary of an object. This has geometric meaning and explains the algebraic boundary operator $\partial$ - quotient of vector spaces procedure. On the other hand, the definition of de Rham cohomology comes always unprovided of such intuitive approach. My question is: how may be intuitively understood de Rham cohomology?

(Please see this related question)


This is a way to explain the intuition behind de Rham cohomology:

Cohomolgy comes up as a dual answer to homology. Homology identifies the shape of an object finding ‘holes’. More concretely, it looks for objects without boundary which are not the boundary of an object (and therefore the definition $H_k(M)=\text{ker}\partial_n/\text{im}\partial_{n+1}$).

enter image description here

Cohomology works in a completely different fashion. Instead of looking for subspaces detecting holes, cohomology assigns a real value to each object in our space. For example, in $\mathbb{R}^2$ we may assign to each curve (oriented, with startpoint and endpoint) the value of the $x$-projection. When the curve moves rightwards, gains projection, whereas loses projection when moving leftwards; that’s good if we want our assignment additive and differentiable: if our curve is divided into several pieces, then it is the same to calculate the value of the whole curve or to add the values of the small ones.

enter image description here

The previous example is actually rather simple; it does not matter the whole curve, only the $x$-coordinates of the startpoint and endpoint, from which we calculate the difference. Indeed a closed curve has always zero value. Let’s consider a less obvious example. In $\mathbb{R}^2$ we have a vector field, $f(x,y)=(y,0)$. We may perform the following assignment: each curve $\gamma$ has value the circulation integral $\int_{\gamma}f$. As the picture shows, the value does not depend only on the startpoint and endpoint, because the curves that go up and then go down have a positive circulation, but the curves that go down and then go up have a negative circulation. Moreover, a closed curve has nonzero circulation (in general); in the picture, the small closed curve has slightly negative circulation, because on top it goes in the opposite direction to the field and on bottom it is in the field direction, but the field is stronger in the top.

enter image description here

A third example: in $\mathbb{R}^2\smallsetminus (0,0)$ we consider the assignment swept out central angle. This example resembles the first one. The important data is the start angle and the end angle. And that’s why a little closed curve has zero swept angle. But pay attention! In the second picture there is a curve that encloses the origin and that sweeps an angle of $2\pi$, contrary to what we thought about closed curves. This phenomenon is only possible if there are holes in the topological space: we have given zero value to small closed curves, those which are the boundary of a little disc, but other values are allowed for big closed curves, those which perhaps are not the boundary of anything. It is as if we had given values to different homological objects: 0 to the curves not enclosing the origin, $2\pi$ to those which circle the origin once, $4\pi$ to those which circle the origin twice, and so on.

enter image description here

As stated, we want our assignment additive. Therefore we only need to know the value we would assign to, say, little curves, little surface pieces or little volumes. This is done by means of a differential form. Differential forms a local valuation in each point and each direction.

Differential forms language is well suited for describing these phenomena. The previous three examples are described by three 1-forms in $\mathbb{R}^2$: $\alpha_1=\mathrm{d}x$, $\alpha_2=y\mathrm{d}x$ and $\alpha_3=\frac{-y}{x^2+y^2}\mathrm{d}x+\frac{x}{x^2+y^2}\mathrm{d}y$ (please note that the last one is not defined at the origin). De Rham cohomology studies these differential forms and a so called exterior derivative $\mathrm{d}$. In the first and third cases, $\mathrm{d}\alpha_1=\mathrm{d}\alpha_3=0$ and that’s why small closed curves have zero value; we say that $\alpha_1$ and $\alpha_3$ are closed forms. $\mathrm{d}\alpha_2\neq 0$, so $\alpha_2$ is not a closed form. On the other hand, $\alpha_1$ is exact: $\alpha_1=\mathrm{d}(x)$, so $x$ is the function to be evaluated in the startpoint and the endpoint, and that’s the reason why large closed curves have value zero, because they have the same initial and final point. $\alpha_3$ is not exact; we would be delighted to say that $\alpha_3=\mathrm{d}(angle)$, but there is not such $angle$ function defined in all $\mathbb{R}^2\smallsetminus (0,0)$, we always fall into $2\pi$ steps.

So for our cohomological search of holes, we must find closed forms which are not exact.

  • 4
    $\begingroup$ Very nice answer. You must have written this somewhere else first, as it was posted 4 minutes after the question. For the record, where was it originally? $\endgroup$ – Simon S Jan 20 '15 at 19:07
  • 1
    $\begingroup$ \SimonS Well, in fact I wanted to 1) give a good intuitive approach I developed while studying at the university, and 2) look for a similar answer in Dolbeault Cohomology (see the edit to the question), which has always puzzled me. $\endgroup$ – Jjm Jan 20 '15 at 19:12
  • $\begingroup$ @SimonS I guess if the answerer is also the questioner, then both can be submitted at near the same time $\endgroup$ – ziggurism Nov 24 '17 at 22:14
  • 2
    $\begingroup$ This deserves to be one of the most upvoted answers on this site. Great answer @Jjm +1 $\endgroup$ – ASKASK Nov 25 '17 at 8:59
  • $\begingroup$ Very nice explanation. It is difficult to find this type of explanation on de Rham Cohomology. $\endgroup$ – King Khan Aug 8 '18 at 10:57

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.