de Rham cohomology
Let be a paracompact differential manifold. Let
denote the graded-commutative -algebra of differential forms
on . Together with the exterior derivative
forms a chain complex of -vector spaces. The of are defined as the homology groups of this complex, that is to say
where is taken to be 0, so is the zero map. The wedge product in induces the structure of a graded-commutative -algebra on
If and are both paracompact manifolds and is a differentiable map, there is an induced map
defined by
Here denotes the class of modulo , and the second is the map induced by the functor . This action on differentiable maps makes the de Rham cohomology
into a contravariant functor from the category
of paracompact manifolds to the category of graded-commutative -algebras. It turns out to be homotopy invariant; this implies that homotopy equivalent manifolds have isomorphic de Rham cohomology.