MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

2 added 37 characters in body; edited body

There is quite a number of surprising and deep statements that can be proven using de Rham. The examples I list are not elementary in any sense, but give a glimpse on at the power of the theory. They all have in common that they employ features of the de Rham theory that are not at hand in singular theory.

Often de Rham theory is presented as simply being the quickest way to develop cohomology theory, but in my opinion this misses the point. First of all, whether the development of the theory is really simpler than singular theory is contestable, especially if you consider that you get a considerably weaker theory as long as you if you restrict your toolkit to the Eilenberg-Steenrod axioms. Secondly, the real power of de Rham theory becomes apparent when you study specific situations where you can apply different methods than that of standard homology theory. What are these specific situations? Well, I have three examples in mind, but certainly there are much more:

1.) Connections and curvature, i.e. Chern-Weil theory. This can be motivated by the Gauss-Bonnet formula, or, better, the Gauss-Bonnet-Chern theorem, equating the Euler number of a manifold with an integral of some differential form constructed from the curvature. Already the statement that this integral is an integer is pretty intriguing if you do not know about de Rham's theorem.

2.) Symmetry! If a compact group acts on the manifold, you can restrict to invariant forms. If the action is homogeneous, you are left with a finite-dimensional complex. So symmetry can be reduced to cut down the size of the de Rham complex, leading for example to the isomorphism $H^{\ast}(G) \cong (\Lambda \mathfrak{g}^{\ast})^G$ for compact $G$, which came as a real surprise to me when I saw it first. As far as I know, this is the simplest way to the real cohomology of Lie groups.

3.) Kähler metrics! The Hodge decomposition is of course even less elementary than the previous examples, but the statement that the dimension of the space of holomorphic 1-forms on a closed Riemann surface $S$ is precisely the genus (defined as the number of handles) is rather mysterious in the first place.

1

There is quite a number of surprising and deep statements that can be proven using de Rham. The examples I list are not elementary in any sense, but give a glimpse on the power of the theory. They all have in common that they employ features of the de Rham theory that are not at hand in singular theory.

Often de Rham theory is presented as simply being the quickest way to develop cohomology theory, but in my opinion this misses the point. First of all, whether the development of the theory is really simpler than singular theory is contestable, especially if you consider that you get a considerably weaker theory as long as you if you restrict your toolkit to the Eilenberg-Steenrod axioms. Secondly, the real power of de Rham theory becomes apparent when you study specific situations where you can apply different methods than that of standard homology theory. What are these specific situations? Well, I have three examples in mind, but certainly there are much more:

1.) Connections and curvature, i.e. Chern-Weil theory. This can be motivated by the Gauss-Bonnet formula, or, better, the Gauss-Bonnet-Chern theorem, equating the Euler number of a manifold with an integral of some differential form constructed from the curvature. Already the statement that this integral is an integer is pretty intriguing if you do not know about de Rham's theorem.

2.) Symmetry! If a compact group acts on the manifold, you can restrict to invariant forms. If the action is homogeneous, you are left with a finite-dimensional complex. So symmetry can be reduced to cut down the size of the de Rham complex, leading for example to the isomorphism $H^{\ast}(G) \cong (\Lambda \mathfrak{g}^{\ast})^G$ for compact $G$, which came as a real surprise to me when I saw it first. As far as I know, this is the simplest way to the real cohomology of Lie groups.

3.) Kähler metrics! The Hodge decomposition is of course less elementary than the previous examples, but the statement that the space of holomorphic 1-forms on a closed Riemann surface $S$ is precisely the genus (number of handles) is rather mysterious in the first place.