World Library  
Flag as Inappropriate
Email this Article

De Rham cohomology

Article Id: WHEBN0000221530
Reproduction Date:

Title: De Rham cohomology  
Author: World Heritage Encyclopedia
Language: English
Subject: Cyclic homology, Hodge theory, Closed and exact differential forms, WikiProject Mathematics/PlanetMath Exchange/55-XX Algebraic topology, Georges de Rham
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

De Rham cohomology

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 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.

Contents

  • Definition 1
  • De Rham cohomology computed 2
    • The n-sphere 2.1
    • The n-torus 2.2
    • Punctured Euclidean space 2.3
    • The Möbius strip 2.4
  • De Rham's theorem 3
  • Sheaf-theoretic de Rham isomorphism 4
    • Proof 4.1
  • Related ideas 5
    • Harmonic forms 5.1
    • Hodge decomposition 5.2
  • See also 6
  • References 7
  • External links 8

Definition

The de Rham complex is the cochain complex of exterior differential forms on some smooth manifold M, with the exterior derivative as the differential.

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

where Ω0(M) is the space of smooth functions on M, Ω1(M) is the space of 1-forms, and so forth. Forms which are the image of other forms under the exterior derivative, plus the constant 0 function in Ω0(M) are called exact and forms whose exterior derivative is 0 are called closed (see closed and exact differential forms); the relationship d 2 = 0 then says that exact forms are closed.

The converse, however, is not in general true; closed forms need not be exact. A simple but significant case is the 1-form of angle measure on the unit circle, written conventionally as (described at closed and exact differential forms). There is no actual function θ defined on the whole circle of which is the derivative; the increment of 2π in going once round the circle in the positive direction means that we can't take a single-valued θ. We can, however, change the topology by removing just one point.

The idea of de Rham cohomology is to classify the different types of closed forms on a manifold. One performs this classification by saying that two closed forms α, β ∈ Ωk(M) are cohomologous if they differ by an exact form, that is, if αβ is exact. This classification induces an equivalence relation on the space of closed forms in Ωk(M). One then defines the k-th de Rham cohomology group H^{k}_{\mathrm{dR}}(M) to be the set of equivalence classes, that is, the set of closed forms in Ωk(M) modulo the exact forms.

Note that, for any manifold M with n connected components

H^{0}_{\mathrm{dR}}(M) \cong \mathbf{R}^n.

This follows from the fact that any smooth function on M with zero derivative (i.e. locally constant) is constant on each of the connected components of M.

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 n-sphere

For the n-sphere, Sn, and also when taken together with a product of open intervals, we have the following. Let n > 0, m ≥ 0, and I an open real interval. Then

H_{\mathrm{dR}}^{k}(S^n \times I^m) \simeq \begin{cases} \mathbf{R} & \mbox{if } k = 0,n, \\ 0 & \mbox{if } k \ne 0,n. \end{cases}

The n-torus

Similarly, allowing n > 0 here, we obtain

H_{\mathrm{dR}}^{k}(T^n) \simeq \mathbf{R}^{n \choose k}.

Punctured Euclidean space

Punctured Euclidean space is simply Euclidean space with the origin removed.

\begin{align} \forall n \in \mathbb{N}, H_{\mathrm{dR}}^{k}(\mathbf{R}^n \setminus \{\vec{0}\}) &\simeq \begin{cases} \mathbf{R} & \mbox{if } k = 0,n-1 \\ 0 & \mbox{if } k \ne 0,n-1 \end{cases} \\ &\simeq H_{\mathrm{dR}}^{k}(S^{n-1}) \end{align}

The Möbius strip

This follows from the fact that the Möbius strip, M, can be deformation retracted to the 1-sphere:

H_{\mathrm{dR}}^{k}(M) \simeq H_{\mathrm{dR}}^{k}(S^1).

De Rham's theorem

  • Hazewinkel, Michiel, ed. (2001), "De Rham cohomology",  

External links

  •  
  •  
  • Warner, Frank (1983), Foundations of Differentiable Manifolds and Lie Groups, Berlin, New York:  

References

See also

A precise definition and proof of the decomposition requires the problem to be formulated on Sobolev spaces. The idea here is that a Sobolev space provides the natural setting for both the idea of square-integrability and the idea of differentiation. This language helps overcome some of the limitations of requiring compact support.

(\alpha,\beta)=\int_M \alpha \wedge *\beta.

where γ is harmonic: Δγ = 0. 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 L2 inner product on Ωk(M):

\omega = d\alpha +\delta \beta + \gamma

Letting δ be the codifferential, one says that a form ω is co-closed if δω = 0 and co-exact if ω = δα for some form α. The Hodge decomposition states that any k-form can be split into three L2 components:

Hodge decomposition

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

with d the exterior derivative and δ 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 k separately.

\Delta=d\delta+\delta d

More precisely, for a differential manifold M, one may equip it with some auxiliary Riemannian metric. Then the Laplacian Δ is defined by

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 2-torus, one may envision a constant 1-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 2-torus is two. More generally, on an n-dimensional torus Tn, one can consider the various combings of k-forms on the torus. There are n choose k such combings that can be used to form the basis vectors for H^k_{\text{dR}}(T^n); the k-th Betti number for the de Rham cohomology group for the n-torus is thus n choose k.

where α is some form, and γ is harmonic: Δγ = 0.

\omega = d\alpha+\gamma

If M is a compact Riemannian manifold, then each equivalence class in H^k_{\mathrm{dR}}(M) contains exactly one harmonic form. That is, every member ω of a given equivalence class of closed forms can be written as

Harmonic forms

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.

Related ideas

Each of these induces a long exact sequence in cohomology. Since the sheaf of Cm+1 functions on a manifold admits partitions of unity, the sheaf-cohomology Hik) vanishes for i > 0. So the long exact cohomology sequences themselves ultimately separate into a chain of isomorphisms. At one end of the chain is the Čech cohomology and at the other lies the de Rham cohomology.

0 \to d\Omega^{k-1} \,\xrightarrow{\subset}\, \Omega^k \,\xrightarrow{d}\, d\Omega^k \to 0.

This sequence now breaks up into short exact sequences

0 \to \mathbf{R} \to \Omega^0 \,\xrightarrow{d}\, \Omega^1 \,\xrightarrow{d}\, \Omega^2\,\xrightarrow{d} \dots \xrightarrow{d}\, \Omega^m \to 0.

Let Ωk denote the sheaf of germs of k-forms on M (with Ω0 the sheaf of Cm+1 functions on M). By the Poincaré lemma, the following sequence of sheaves is exact (in the category of sheaves):

Proof

where the left-hand side is the k-th de Rham cohomology group and the right-hand side is the Čech cohomology for the constant sheaf with fibre R.

H^k_{\mathrm{dR}}(M)\cong \check{H}^k(M,\mathbf{R})

Stated another way, if M is a compact Cm+1 manifold of dimension m, then for each km, there is an isomorphism

The de Rham cohomology is isomorphic to the Čech cohomology H ∗(U, F), where F is the sheaf of abelian groups determined by F(U) = R for all connected open sets UM, and for open sets U, V such that UV, the group morphism resV,U : F(V) → F(U) is given by the identity map on R, and where U is a good open cover of M (i.e. all the open sets in the open cover U are contractible to a point, and all finite intersections of sets in U are either empty or contractible to a point).

Sheaf-theoretic de Rham isomorphism

The wedge 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.

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

H_p(M) \ni [c] \longmapsto \int_c \omega.

defined as follows: for any [\omega] \in H_{dR}^p(M), let I(ω) be the element of \text{Hom}(H_p(M; \mathbf{R}), \mathbf{R}) \simeq H^p(M; \mathbf{R}) that acts as follows:

I: H_{dR}^p(M) \to H^p(M; \mathbf{R}),

More precisely, consider the map

, this map is in fact an isomorphism. M

This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.