De Rham cohomology

From Academic Kids

In mathematics, de Rham cohomology 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. It is in different, definite senses dual both to singular homology, and to Alexander-Spanier cohomology.

Contents

Definition

The set of smooth, differentiable differential k-forms on any smooth manifold M form an abelian group (in fact a real vector space) called

Ωk(M)

under addition. The exterior derivative d gives mappings

dk(M) → Ωk+1(M).

There is a fundamental relationship

d 2 = 0;

this follows essentially from symmetry of second derivatives. Therefore vector spaces of k-forms along with the exterior derivative are a cochain complex, the de Rham complex:

<math>C^\infty(M) = \Omega^0(M)\to \Omega^1(M) \to \Omega^2(M) \to \Omega^3(M) \to \ldots.<math>

In differential geometry terminology, forms which are exterior derivatives are called exact and forms whose exterior derivatives are 0 are called closed (see closed and exact differential forms); the relationship d 2 = 0 then says that

exact forms are closed.

The inverse, however, is not in general true; closed forms need not be exact. 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 α and β in <math>\Omega^k(M)<math> are cohomologous if they differ by an exact form, that is, if <math>\alpha-\beta<math> is exact. This classification induces an equivalence relation on the space of closed forms in <math>\Omega^k(M)<math>. One then defines the k-th de Rham cohomology group

HkdR(M)

to be the set of equivalence classes, that is, the set of closed forms in <math>\Omega^k(M)<math> modulo the exact forms.

Note that, for any manifold M with n connected components,

H0dR(M) = Rn

where the equals actually denotes that the two are homomorphic. This follows from the fact that any <math>C^\infty<math> function on M with zero derivative is locally constant on each of the connected components.

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

<math>H_{dR}^{k}(S^n \times I^m) \simeq \begin{cases} \mathbb{R} & \mbox{if } k = 0,n \\ 0 & \mbox{if } k \ne 0,n \end{cases}<math>

The n-torus:

Similarly, allowing n > 0 here, we obtain:

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

Punctured Euclidean space:

Punctured Euclidean space is simply Euclidean space with the origin removed. For n > 0, we have:

<math>H_{dR}^{k}(\mathbb{R}^n - \{0\})<math> <math>\simeq \begin{cases} \mathbb{R} & \mbox{if } k = 0,n-1 \\ 0 & \mbox{if } k \ne 0,n-1 \end{cases}<math>
<math>\simeq H_{dR}^{k}(S^{n-1})<math>

The Möbius strip, M:

This more or less follows from the fact that the mobius strip may be, loosely speaking, "contracted" to the 1-sphere:

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

Harmonic forms

If M is a compact Riemannian manifold, then each equivalence class in HkdR(M) contains exactly one harmonic form. That is, every member ω of a given equivalence class of closed forms can be written as

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

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

Recall that any harmonic function on a compact 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 1-th Betti number of a two-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 HkdR(Tn); the k-th Betti number for the de Rham cohomology group for the n-torus is thus n choose k.

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

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

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.

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 Hk(M;R). The dimension of each such space is finite, and is given by the k-th Betti number.

Hodge decomposition

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:

<math>\omega = d\alpha +\delta \beta + \gamma<math>

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 <math>\Omega^k(M)<math>:

<math>(\alpha,\beta)=\int_M \alpha \wedge *\beta<math>

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 for the discussion of the convergence of a Cauchy sequence of forms to a limiting form. This language helps overcome some of the limitations of requiring compact support, such as in Alexander-Spanier cohomology.

de Rham's theorem

De Rham's theorem, proved by Georges de Rham in 1931, states that for a compact oriented smooth manifold M, the groups HkdR(M) are isomorphic as real vector spaces with the singular cohomology groups

Hk(M;R).

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

The general Stokes' theorem is an expression of duality between de Rham cohomology and the homology of chains.de:De-Rham-Kohomologie es:Cohomología de de Rham

Navigation

Academic Kids Menu

  • Art and Cultures
    • Art (http://www.academickids.com/encyclopedia/index.php/Art)
    • Architecture (http://www.academickids.com/encyclopedia/index.php/Architecture)
    • Cultures (http://www.academickids.com/encyclopedia/index.php/Cultures)
    • Music (http://www.academickids.com/encyclopedia/index.php/Music)
    • Musical Instruments (http://academickids.com/encyclopedia/index.php/List_of_musical_instruments)
  • Biographies (http://www.academickids.com/encyclopedia/index.php/Biographies)
  • Clipart (http://www.academickids.com/encyclopedia/index.php/Clipart)
  • Geography (http://www.academickids.com/encyclopedia/index.php/Geography)
    • Countries of the World (http://www.academickids.com/encyclopedia/index.php/Countries)
    • Maps (http://www.academickids.com/encyclopedia/index.php/Maps)
    • Flags (http://www.academickids.com/encyclopedia/index.php/Flags)
    • Continents (http://www.academickids.com/encyclopedia/index.php/Continents)
  • History (http://www.academickids.com/encyclopedia/index.php/History)
    • Ancient Civilizations (http://www.academickids.com/encyclopedia/index.php/Ancient_Civilizations)
    • Industrial Revolution (http://www.academickids.com/encyclopedia/index.php/Industrial_Revolution)
    • Middle Ages (http://www.academickids.com/encyclopedia/index.php/Middle_Ages)
    • Prehistory (http://www.academickids.com/encyclopedia/index.php/Prehistory)
    • Renaissance (http://www.academickids.com/encyclopedia/index.php/Renaissance)
    • Timelines (http://www.academickids.com/encyclopedia/index.php/Timelines)
    • United States (http://www.academickids.com/encyclopedia/index.php/United_States)
    • Wars (http://www.academickids.com/encyclopedia/index.php/Wars)
    • World History (http://www.academickids.com/encyclopedia/index.php/History_of_the_world)
  • Human Body (http://www.academickids.com/encyclopedia/index.php/Human_Body)
  • Mathematics (http://www.academickids.com/encyclopedia/index.php/Mathematics)
  • Reference (http://www.academickids.com/encyclopedia/index.php/Reference)
  • Science (http://www.academickids.com/encyclopedia/index.php/Science)
    • Animals (http://www.academickids.com/encyclopedia/index.php/Animals)
    • Aviation (http://www.academickids.com/encyclopedia/index.php/Aviation)
    • Dinosaurs (http://www.academickids.com/encyclopedia/index.php/Dinosaurs)
    • Earth (http://www.academickids.com/encyclopedia/index.php/Earth)
    • Inventions (http://www.academickids.com/encyclopedia/index.php/Inventions)
    • Physical Science (http://www.academickids.com/encyclopedia/index.php/Physical_Science)
    • Plants (http://www.academickids.com/encyclopedia/index.php/Plants)
    • Scientists (http://www.academickids.com/encyclopedia/index.php/Scientists)
  • Social Studies (http://www.academickids.com/encyclopedia/index.php/Social_Studies)
    • Anthropology (http://www.academickids.com/encyclopedia/index.php/Anthropology)
    • Economics (http://www.academickids.com/encyclopedia/index.php/Economics)
    • Government (http://www.academickids.com/encyclopedia/index.php/Government)
    • Religion (http://www.academickids.com/encyclopedia/index.php/Religion)
    • Holidays (http://www.academickids.com/encyclopedia/index.php/Holidays)
  • Space and Astronomy
    • Solar System (http://www.academickids.com/encyclopedia/index.php/Solar_System)
    • Planets (http://www.academickids.com/encyclopedia/index.php/Planets)
  • Sports (http://www.academickids.com/encyclopedia/index.php/Sports)
  • Timelines (http://www.academickids.com/encyclopedia/index.php/Timelines)
  • Weather (http://www.academickids.com/encyclopedia/index.php/Weather)
  • US States (http://www.academickids.com/encyclopedia/index.php/US_States)

Information

  • Home Page (http://academickids.com/encyclopedia/index.php)
  • Contact Us (http://www.academickids.com/encyclopedia/index.php/Contactus)

  • Clip Art (http://classroomclipart.com)
Toolbox
Personal tools