I'm soon giving an introductory talk on de Rham cohomology to a wide postgraduate audience. I'm hoping to get to arrive at the idea of de Rham cohomology for a smooth manifold, building up from vector fields and oneforms on Euclidean space. However, once I've got there I'm not too sure how to convince everyone that it was worth the journey. What downtoearth uses could one cite to prove the worth of the construct?

4$\begingroup$ Related: mathoverflow.net/questions/43681/motivatingthederhamtheorem $\endgroup$ – Faisal Mar 1 '11 at 20:16
The motivation that most appeals to me is very simple and can come up in a freshman vector calculus course.
We say that a vector field $F$ in $\mathbb{R}^3$ is conservative if $F = \nabla f$ for some scalarvalued function $f$. This has natural applications in physics (e.g. electric fields). It's easy to see this happens iff line integrals of $F$ are path independent, iff line integrals around closed loops vanish, etc. On a simply connected domain, $F$ is conservative iff $\nabla \times F = 0$ (use the freshman version of Stokes' theorem). On a nonsimply connected domain, this may fail (e.g. $\mathbb{R}^3$ minus a line). The extent to which it fails is of course the de Rham cohomology of the domain. So this suggests that the de Rham cohomology is a good way to detect the "shape" of a domain, and one goes on from there.
Maybe this is too basic to be interesting, but I like it myself.

2$\begingroup$ This is my favorite example so far, since it is certainly "down to Earth" as required by the OP, and also specifically de Rham in flavor rather than just cohomological. Bonus points because I would expect many in the audience to be familiar with the Physics in $\mathbb{R}^3$. $\endgroup$ – Thierry Zell Mar 2 '11 at 0:35

8$\begingroup$ If they know e.g. electromagnetic theory then they will probably find it cool that the failure of a solenoidal vector field to have a vector potential is measured by the second de Rham cohomology group. $\endgroup$ – Dan Petersen Mar 2 '11 at 9:36

$\begingroup$ Actually this was wellknown a long time before the advent of deRham cohomology... $\endgroup$ – Orbicular Dec 13 '11 at 16:01
This is probably not "downtoEarth" enough for your purposes, but it was one of the first uses of de Rham cohomology that I really enjoyed and I feel like I must share it. (I learned it from Bott's article "The geometry and representation theory of compact Lie groups" in the 1977 Proceedings of the SRC/LMS Research Symposium on Representations of Lie Groups.)
Theorem: If the $n$sphere $S^n$ is a Lie group, then $n$ must be odd (or zero!).
Proof: $S^0$ is obviously a Lie group, so that's that. If $S^{2n}$ were a Lie group (and $n>0$), then we'd have a smooth multiplication map $m \colon S^{2n} \times S^{2n} \to S^{2n}$ and an identity element $e \in S^{2n}$. The map $m$ induces a ring homomorphism $m^\ast \colon H^\ast(S^{2n}) \to H^\ast(S^{2n} \times S^{2n})$. Composing this with the Kunneth isomorphism $$ H^\ast(S^{2n} \times S^{2n}) \stackrel{\sim}{\longrightarrow} H^\ast(S^{2n}) \otimes H^\ast(S^{2n}) $$ yields a map $f \colon H^\ast(S^{2n}) \to H^\ast(S^{2n}) \otimes H^\ast(S^{2n})$.
Now, $$ H^\ast(S^{2n}) = \begin{cases} \mathbb{R} & \text{if }\ast=0 \text{ or } 2n \\ 0 & \text{otherwise.}\end{cases} $$ So, writing $1$ and $\lambda$ for the generators of $H^0$ and $H^{2n}$, respectively, we have $f(1)=1\otimes1$ and $f(\lambda)=a(\lambda\otimes1)+b(1\otimes\lambda)$ for some $a,b\in\mathbb{R}$. To determine $a$ and $b$, first restrict the multiplication map to $S^{2n} \times \{e\}$, where it is the identity map. Consequently $m^*$ gives the identification $H^\ast(S^{2n} \times \{e\}) \cong H^\ast(S^{2n})$ and it follows that $a=1$. Similarly, $b=1$.
As $f$ is a ring homomorphism, we also have $$\begin{align} f(\lambda^2) = f(\lambda)^2 &= (\lambda\otimes1 + 1\otimes\lambda)^2 \\ &= \lambda^2\otimes1+ (\lambda\otimes1)(1\otimes\lambda)+(1\otimes\lambda)(\lambda\otimes1)+1\otimes\lambda^2.\end{align}$$ As $\lambda^2 \in H^{4n} = 0$, this reduces to $0 = (\lambda\otimes1)(1\otimes\lambda)+(1\otimes\lambda)(\lambda\otimes1)$. Recall, however, that the product structure on the tensor product $A \otimes B$ of graded rings is given by $$ (a \otimes b)(c \otimes d) = (1)^{\deg a \deg c}(ac\otimes bd). $$ Since $\lambda \in H^{2n}$, this means that $$ (\lambda\otimes1)(1\otimes\lambda) = (1\otimes\lambda)(\lambda\otimes1) = \lambda \otimes \lambda.$$ Consequently, $\lambda \otimes \lambda = 0$, which is a contradiction! $\blacksquare$
Of course, there are several other (perhaps even better) ways of proving this theorem, but I think this proof is fairly charming.

$\begingroup$ Very nice! An extremely minor point: you should assume that $n > 0$. $\endgroup$ – Emerton Mar 1 '11 at 21:04

1$\begingroup$ More generally: 1) the cohomology of a (path connected) Hspace is a Hopf algebra; and 2) finite dimensional commutative and cocommutative Hopf graded algebras are free exterior algebras over generators of odd degree. It is nice to have it streamlined in such a particular case. $\endgroup$ – ACL Mar 2 '11 at 14:49

1$\begingroup$ @Faisal: The tangent bundle of a Lie group $G$ is always trivializable, so there exists a nonvanishing vector field on $G$. Therefore, if $\mathbb{S}^n$ is a Lie group, $n$ must be odd (or zero) according to hairy ball theorem. (But hairy ball theorem is still an application of de Rham cohomology thanks to degree theory!) $\endgroup$ – Seirios Dec 26 '13 at 22:48
The calculations of cohomology of homogeneous space $X=G/H$ is reduced to a problem in linear algebra.
[If $G$ is compact and connected then any form is cohomologous to its left shifts and therefore it is cohomologous to the avagage of all left shifts, which is a leftinvariant form. Thus $H^k(X,\mathbb R)$ is isomorphic to space of $k$forms at one point which is invariant under roation of the stabilizer.]

$\begingroup$ What is the reason why a form should be cohomologous to a leftinvariant form? Thanks $\endgroup$ – Qfwfq Mar 1 '11 at 19:59

1$\begingroup$ @unknowngoogle, It is easy to see that a form is cohomologous to its left shifts and therefore it is cohomologous to the avagage of all left shifts, which is a leftinvariant form. $\endgroup$ – Anton Petrunin Mar 1 '11 at 20:26

5$\begingroup$ What you say is not quite true: you need to know that all invariant forms are closed. This is only true for symmetric spaces and includes compact Lie groups (action of $G \times G$ on $G$). For general homogeneous space, you get a finitedimensional cochain complex with nonzero differential. Nevertheless +1, this is the BEST application of the deRham theorem (and not difficult). $\endgroup$ – Johannes Ebert Mar 1 '11 at 21:55

$\begingroup$ @Johannes, thank you, now it is corrected. $\endgroup$ – Anton Petrunin Mar 2 '11 at 0:17
I'd split your question in 2:
(1) Motivation for (co)homonology in general
(2) Motiviation for de Rham cohomology in particular.
The anwser to (1) is the basis for algebraic topology. One reduces complicated geometry problems to the only thing mathematicians really understand aka linear algebra. A typical example would be are Brouwer fixed point theorem (or its corollary $\mathbb{R}^n \simeq \mathbb{R}^m$ $\Rightarrow$ $n=m$).
An answer to (2) is that it is usually much much easier to compute. The reason for this is that it is already more linear by definition but this efficiency comes at the cost of restricting ourselves to smooth manifolds. For example, it is obvious that for any manifold $X$ of dimension $n$, $H^i_{dR}(X) = 0$ for $i > n$ while this is highly non trivial when you look at singular cohomology or sheaf cohomology. On the other hand it is not obvious at all that de Rham cohomology is actually a topological invariant. Another example one would be that if $X$ is an affine complex algebraic variety, one can compute its de Rham cohomology using only algebraic differential forms (not an obvious fact but pretty intuitive for the audience). An audience discovering the theory might be glad to see how easy that makes the computation of the de Rham cohomology of $\mathbb{C}^\times$ (or $S^1$).
Another answer to (2) is that de Rham cohomology brings a different flavor and the interaction between Betti and de Rham cohomology leads to periods, Hodge theory etc... but this may be hard to get to in an introductory talk.
PS: I can't believe I didn't mention it (that's the what I was aiming at in the last paragraph) but I think it would make a great goal for an introductory lecture: STOKES' THEOREM!!! As an undergrad, my physics teachers kept bothering me with operators like "div" and "rot", we had a formula for a volume, one for a surface and one for a line. I had to wait several years and a differential geometry class to understand that these were all special case of the simple and elegant Stokes' formula. In modern terminology it just means that integration induces a morphism of complexes: $\int_X: \Gamma(X,\Omega_X^\bullet) \to Hom(C_\bullet(X),\mathbb{K})$.

1$\begingroup$ Re to "This efficiency comes at the cost of restricting ourselves to smooth manifolds": in Morita's book "Geometry of characteristic classes" smooth differential forms are defined on any simplicial complex (see paragraph 1.3.1Differential forms on simplicial complexes). $\endgroup$ – Qfwfq Mar 1 '11 at 22:53

2$\begingroup$ This is the standard trick in rational homotopy theory. I'd argue that this is not built into the definition of the de Rham cohomology. First you're still using the smooth structure on $\mathbb{R}^n$. Second you're replacing a topological space by its singular simplicial set. This forces you to introduce a lot of machinery that is standard in singular cohomoloy and homotopy theory but seems at odds with the principles of de Rham cohomology. $\endgroup$ – AFK Mar 1 '11 at 23:22

2$\begingroup$ Third, de Rham cohomology is algebraic in nature. This is the (very intuitive) theorem of Grothendieck I mentionned that de Rham cohomology of a smooth algebraic variety is the hypercohomology of the algebraic de Rham complex. Extending Morita's definition to algebraic varieties over a field of caracteristic zero is not an easy task. You'd have replace a singular variety by a simplicial objet in the category of smooth varieties. $\endgroup$ – AFK Mar 1 '11 at 23:28

1$\begingroup$ Finally, cohomology is so much better understood when you don't restrict yourself to constant coefficients to use the whole machinery of Grothendieck's operations $f_*,f^*,f_!$ etc... For de Rham cohomology, this requires the theory of Dmodules which isn't properly defined on singular varietis. Even if the "standard trick" works great in theory it is useless when you try to actually compute something. $\endgroup$ – AFK Mar 1 '11 at 23:35

$\begingroup$ I see; thank you. Also, I think Morita's "kforms on a simplex" are actually kforms on a neighbourhood of the simplex in $\mathbb{R}^{n+1}$, which is not very "intrinsic" to the simplex itself (but perhaps the definitions/results, in the end, still work by homotopy invariance because you can take a neighbourhood wich retracts to the simplex?) $\endgroup$ – Qfwfq Mar 2 '11 at 16:33
Perhaps even simpler than the examples from electromagnetism in $\mathbb{R}^3$ minus some points is the following:
The angle "function" $\varphi\colon S^1 \longrightarrow \mathbb{R}$ is not really globally defined as turning aroung one time gives a discontinuity. It jumps by $2\pi$. Neverhtheless, the differential $\mathrm{d}\varphi$ is a perfectly global oneform on $S^1$. It is the usual volume form, not being exact but closed for dimensional reasons. So the nontrivial first deRham cohomology of $S^1$ is responsible for counting angles and the fact that $0 \ne 2\pi$ ;)
This can be upgraded to the more interesting statement that on a orientable compact manifold without boundary you have a nontrivial topdegree deRham cohomology: again, the reason is that we can integrate a volume form resulting in a nonzero volume. Thus (by Stokes theorem) the volume form can not be exact. It is closed without thinking about it, simply for dimensional reasons.
You may be able to convey the significance of de Rham cohomology to really wide audiences through electromagnetism.
I don't claim to understand all the physics (or topology for that matter), but see my friend Rob Kotiuga's book at http://library.msri.org/books/Book48/index.html. See, for instance, chapter 1D: NineteenthCentury Problems Illustrating the First and Second Homology Groups, or pp. 3032, "Chain complexes in electrical circuit theory."
Here is my attempt to explain DeRham cohomology and Hodge theory to a group of first year grad students that have no knowledge of manifolds.