De Rham cohomology

File:Irrotationalfield.svg

Vector field corresponding to a differential form on the punctured plane that is closed but not exact, showing that the de Rham cohomology of this space is non-trivial.

In mathematics, de Rham cohomology (named after Georges de Rham) is a tool belonging both to algebraic topology and to differential topology, capable of expressing basic topological information about smooth manifolds in a form particularly adapted to computation and the concrete representation of cohomology classes. It is a cohomology theory based on the existence of differential forms with prescribed properties.

On any smooth manifold, every exact form is closed, but the converse may fail to hold. Roughly speaking, this failure is related to the possible existence of "holes" in the manifold, and the de Rham cohomology groups comprise a set of topological invariants of smooth manifolds that precisely quantify this relationship.Template:Sfn

Definition

The de Rham complex is the cochain complex of differential forms on some smooth manifold Template:Mvar, with the exterior derivative as the differential:

<math>0 \to \Omega^0(M)\ \stackrel{d}{\to}\ \Omega^1(M)\ \stackrel{d}{\to}\ \Omega^2(M)\ \stackrel{d}{\to}\ \Omega^3(M) \to \cdots ,</math>

where Template:Math is the space of smooth functions on Template:Mvar, Template:Math is the space of [[1-form|Template:Math-forms]], and so forth. Forms that are the image of other forms under the exterior derivative, plus the constant Template:Math function in Template:Math, are called exact and forms whose exterior derivative is Template:Math are called closed (see Closed and exact differential forms); the relationship Template:Math then says that exact forms are closed.

In contrast, closed forms are not necessarily exact. An illustrative case is a circle as a manifold, and the Template:Math-form corresponding to the derivative of angle from a reference point at its centre, typically written as Template:Math (described at Closed and exact differential forms). There is no function Template:Math defined on the whole circle such that Template:Math is its derivative; the increase of Template:Math in going once around the circle in the positive direction implies a multivalued function Template:Math. Removing one point of the circle obviates this, at the same time changing the topology of the manifold.

One prominent example when all closed forms are exact is when the underlying space is contractible to a point or, more generally, if it is simply connected (no-holes condition). In this case the exterior derivative <math>d</math> restricted to closed forms has a local inverse called a homotopy operator.<ref name=":0">Template:Cite book</ref><ref>Template:Cite book</ref> Since it is also nilpotent,<ref name=":0" /> it forms a dual chain complex with the arrows reversed<ref>Template:Cite journal</ref> compared to the de Rham complex. This is the situation described in the Poincaré lemma.

The idea behind de Rham cohomology is to define equivalence classes of closed forms on a manifold. One classifies two closed forms Template:Math as cohomologous if they differ by an exact form, that is, if Template:Math is exact. This classification induces an equivalence relation on the space of closed forms in Template:Math. One then defines the Template:Mvar-th de Rham cohomology group <math>H^{k}_{\mathrm{dR}}(M)</math> to be the set of equivalence classes, that is, the set of closed forms in Template:Math modulo the exact forms.

Note that, for any manifold Template:Mvar composed of Template:Math disconnected components, each of which is connected, we have that

<math>H^{0}_{\mathrm{dR}}(M) \cong \R ^m .</math>

This follows from the fact that any smooth function on Template:Mvar with zero derivative everywhere is separately constant on each of the connected components of Template:Mvar.

De Rham cohomology computed

One may often find the general de Rham cohomologies of a manifold using the above fact about the zero cohomology and a Mayer–Vietoris sequence. Another useful fact is that the de Rham cohomology is a homotopy invariant. While the computation is not given, the following are the computed de Rham cohomologies for some common topological objects:

The Template:Math-sphere

For the [[n-sphere|Template:Mvar-sphere]], <math>S^n</math>, and also when taken together with a product of open intervals, we have the following. Let Template:Math, and Template:Mvar be an open real interval. Then

<math>H_{\mathrm{dR}}^{k}(S^n \times I^m) \simeq \begin{cases} \R & k = 0\text{ or }k = n, \\ 0 & k \ne 0\text{ and }k \ne n. \end{cases}</math>

The Template:Math-torus

The <math>n</math>-torus is the Cartesian product: <math>T^n = \underbrace{ S^1 \times \cdots \times S^1 }_{n}</math>. Similarly, allowing <math>n \geq 1</math> here, we obtain

<math>H_{\mathrm{dR}}^{k}(T^n) \simeq \R ^{n \choose k}.</math>

We can also find explicit generators for the de Rham cohomology of the torus directly using differential forms. Given a quotient manifold <math>\pi: X \to X/G</math> and a differential form <math>\omega \in \Omega^k(X)</math> we can say that <math>\omega</math> is <math>G</math>-invariant if given any diffeomorphism induced by <math>G</math>, <math>\cdot g:X \to X</math> we have <math>(\cdot g)^*(\omega) = \omega</math>. In particular, the pullback of any form on <math>X/G</math> is <math>G</math>-invariant. Also, the pullback is an injective morphism. In our case of <math>\R^n/\Z^n</math> the differential forms <math>dx_i</math> are <math>\Z^n</math>-invariant since <math>d (x_i + k) = dx_i</math>. But, notice that <math>x_i + \alpha</math> for <math>\alpha \in \R</math> is not an invariant <math>0</math>-form. This with injectivity implies that

<math>[dx_i] \in H^1_{dR}(T^n)</math>

Since the cohomology ring of a torus is generated by <math>H^1</math>, taking the exterior products of these forms gives all of the explicit representatives for the de Rham cohomology of a torus.

Punctured Euclidean space

Punctured Euclidean space is simply <math>\mathbb{R}^n</math> with the origin removed.

<math>H^k_{\text{dR}}(\mathbb{R}^n\setminus\{0\}) \cong \begin{cases} \mathbb{R}^2 & n = 1, k = 0\\ \mathbb{R} & n > 1, k = 0, n - 1\\ 0 & \text{otherwise}\end{cases}.</math>

The Möbius strip

We may deduce from the fact that the Möbius strip, Template:Mvar, can be deformation retracted to the Template:Math-sphere (i.e. the real unit circle), that:

<math>H_{\mathrm{dR}}^{k}(M) \simeq H_{\mathrm{dR}}^{k}(S^1).</math>

De Rham theorem

{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}} Stokes' theorem is an expression of duality between de Rham cohomology and the homology of chains. It says that the pairing of differential forms and chains, via integration, gives a homomorphism from de Rham cohomology <math>H^{k}_{\mathrm{dR}}(M)</math> to singular cohomology groups <math>H^k(M;\R).</math> de Rham's theorem, proved by Georges de Rham in 1931, states that for a smooth manifold Template:Mvar, this map is in fact an isomorphism.

More precisely, consider the map

<math>I: H_{\mathrm{dR}}^p(M) \to H^p(M; \R),</math>

defined as follows: for any <math>[\omega] \in H_{\mathrm{dR}}^p(M)</math>, let Template:Math be the element of <math>\text{Hom}(H_p(M), \R ) \simeq H^p(M; \R )</math> that acts as follows:

<math>H_p(M) \ni [c] \longmapsto \int_c \omega.</math>

The theorem of de Rham asserts that this is an isomorphism between de Rham cohomology and singular cohomology.

The exterior product endows the direct sum of these groups with a ring structure. A further result of the theorem is that the two cohomology rings are isomorphic (as graded rings), where the analogous product on singular cohomology is the cup product.

Sheaf-theoretic de Rham isomorphism

For any smooth manifold M, let <math display="inline">\underline{\R}</math> be the constant sheaf on M associated to the abelian group <math display="inline">\mathbb{R}</math>; in other words, <math display="inline">\underline{\R}</math> is the sheaf of locally constant real-valued functions on M. Then we have a natural isomorphism

<math>H^*_{\mathrm{dR}}(M) \cong H^*(M, \underline{\R})</math>

between the de Rham cohomology and the sheaf cohomology of <math display="inline">\underline{\R}</math>. (Note that this shows that de Rham cohomology may also be computed in terms of Čech cohomology; indeed, since every smooth manifold is paracompact Hausdorff we have that sheaf cohomology is isomorphic to the Čech cohomology <math display="inline">\check{H}^*(\mathcal{U}, \underline{\R})</math> for any good cover <math display="inline">\mathcal{U}</math> of M.)

Proof

The standard proof proceeds by showing that the de Rham complex, when viewed as a complex of sheaves, is an acyclic resolution of <math display="inline">\underline{\R}</math>. In more detail, let m be the dimension of M and let <math display="inline">\Omega^k</math> denote the sheaf of germs of <math>k </math>-forms on M (with <math display="inline">\Omega^0</math> the sheaf of <math display="inline">C^{\infty}</math> functions on M). By the Poincaré lemma, the following sequence of sheaves is exact (in the abelian category of sheaves):

<math>0 \to \underline{\R} \to \Omega^0 \,\xrightarrow{d_0}\, \Omega^1 \,\xrightarrow{d_1}\, \Omega^2\,\xrightarrow{d_2} \dots \xrightarrow{d_{m-1}}\, \Omega^m \to 0.</math>

This long exact sequence now breaks up into short exact sequences of sheaves

<math>0 \to \mathrm{im} \, d_{k-1} \,\xrightarrow{\subset}\, \Omega^k \,\xrightarrow{d_k}\, \mathrm{im} \, d_{k} \to 0,</math>

where by exactness we have isomorphisms <math display="inline">\mathrm{im} \, d_{k-1} \cong \mathrm{ker} \, d_k </math> for all k. Each of these induces a long exact sequence in cohomology. Since the sheaf <math display="inline">\Omega^0</math> of <math display="inline">C^{\infty}</math> functions on M admits partitions of unity, any <math display="inline">\Omega^0</math>-module is a fine sheaf; in particular, the sheaves <math display="inline">\Omega^k</math> are all fine. Therefore, the sheaf cohomology groups <math display="inline">H^i(M,\Omega^k)</math> vanish for <math display="inline">i > 0</math> since all fine sheaves on paracompact spaces are acyclic. So the long exact cohomology sequences themselves ultimately separate into a chain of isomorphisms. At one end of the chain is the sheaf cohomology of <math display="inline">\underline{\R}</math> and at the other lies the de Rham cohomology.

Related ideas

The de Rham cohomology has inspired many mathematical ideas, including Dolbeault cohomology, Hodge theory, and the Atiyah–Singer index theorem. However, even in more classical contexts, the theorem has inspired a number of developments. Firstly, the Hodge theory proves that there is an isomorphism between the cohomology consisting of harmonic forms and the de Rham cohomology consisting of closed forms modulo exact forms. This relies on an appropriate definition of harmonic forms and of the Hodge theorem. For further details see Hodge theory.

Harmonic forms

Template:See also If Template:Mvar is a compact Riemannian manifold, then each equivalence class in <math>H^k_{\mathrm{dR}}(M)</math> contains exactly one harmonic form. That is, every member <math>\omega</math> of a given equivalence class of closed forms can be written as

<math>\omega = \alpha + \gamma</math>

where <math>\alpha</math> is exact and <math>\gamma</math> is harmonic: <math>\Delta\gamma = 0</math>.

Any harmonic function on a compact connected Riemannian manifold is a constant. Thus, this particular representative element can be understood to be an extremum (a minimum) of all cohomologously equivalent forms on the manifold. For example, on a Template:Math-torus, one may envision a constant Template:Math-form as one where all of the "hair" is combed neatly in the same direction (and all of the "hair" having the same length). In this case, there are two cohomologically distinct combings; all of the others are linear combinations. In particular, this implies that the 1st Betti number of a Template:Math-torus is two. More generally, on an <math>n</math>-dimensional torus <math>T^n</math>, one can consider the various combings of <math>k</math>-forms on the torus. There are <math>n</math> choose <math>k</math> such combings that can be used to form the basis vectors for <math>H^k_{\text{dR}}(T^n)</math>; the <math>k</math>-th Betti number for the de Rham cohomology group for the <math>n</math>-torus is thus <math>n</math> choose <math>k</math>.

More precisely, for a differential manifold Template:Mvar, one may equip it with some auxiliary Riemannian metric. Then the Laplacian <math>\Delta</math> is defined by

<math>\Delta=d\delta+\delta d</math>

with <math>d</math> the exterior derivative and <math>\delta</math> the codifferential. The Laplacian is a homogeneous (in grading) linear differential operator acting upon the exterior algebra of differential forms: we can look at its action on each component of degree <math>k</math> separately.

If <math>M</math> is compact and oriented, the dimension of the kernel of the Laplacian acting upon the space of [[differential form|Template:Mvar-form]]s is then equal (by Hodge theory) to that of the de Rham cohomology group in degree <math>k</math>: the Laplacian picks out a unique harmonic form in each cohomology class of closed forms. In particular, the space of all harmonic <math>k</math>-forms on <math>M</math> is isomorphic to <math>H^k(M;\R).</math> The dimension of each such space is finite, and is given by the <math>k</math>-th Betti number.

Hodge decomposition

Let <math>M</math> be a compact oriented Riemannian manifold. The Hodge decomposition states that any <math>k</math>-form on <math>M</math> uniquely splits into the sum of three Template:Math components:

<math>\omega = \alpha + \beta + \gamma ,</math>

where <math>\alpha</math> is exact, <math>\beta</math> is co-exact, and <math>\gamma</math> is harmonic.

One says that a form <math>\beta</math> is co-closed if <math>\delta \beta = 0</math> and co-exact if <math>\beta = \delta \eta</math> for some form <math>\eta</math>, and that <math>\gamma</math> is harmonic if the Laplacian is zero, <math>\Delta\gamma = 0</math>. This follows by noting that exact and co-exact forms are orthogonal; the orthogonal complement then consists of forms that are both closed and co-closed: that is, of harmonic forms. Here, orthogonality is defined with respect to the Template:Math inner product on <math>\Omega^k(M)</math>:

<math>(\alpha,\beta)=\int_M \alpha \wedge {\star\beta}.</math>

By use of Sobolev spaces or distributions, the decomposition can be extended for example to a complete (oriented or not) Riemannian manifold.<ref>Jean-Pierre Demailly, Complex Analytic and Differential Geometry Ch VIII, § 3.</ref>

See also

• Hodge theory
• Integration along fibers (for de Rham cohomology, the pushforward is given by integration)
• Sheaf theory
• <math>\partial \bar \partial</math>-lemma for a refinement of exact differential forms in the case of compact Kähler manifolds.

References

• Template:Cite book
• Template:Citation
• Template:Citation
• Template:Citation

External links

• Idea of the De Rham Cohomology in Mathifold Project
• Template:Springer