Namespaces
Variants
Actions

Difference between revisions of "De Rham theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (tex encoded by computer)
m (AUTOMATIC EDIT (latexlist): Replaced 1 formulas out of 1 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
 
Line 1: Line 1:
<!--
+
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
d0303301.png
+
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
$#A+1 = 36 n = 1
+
was used.
$#C+1 = 36 : ~/encyclopedia/old_files/data/D030/D.0300330 de Rham theorem
+
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
Automatically converted into TeX, above some diagnostics.
 
Please remove this comment and the {{TEX|auto}} line below,
 
if TeX found to be correct.
 
-->
 
  
 +
Out of 1 formulas, 1 were replaced by TEX code.-->
 +
 +
{{TEX|semi-auto}}{{TEX|done}}
 
{{TEX|auto}}
 
{{TEX|auto}}
 
{{TEX|done}}
 
{{TEX|done}}
Line 53: Line 52:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  G. de Rham,  "Sur l'analysis situs des variétés à <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030330/d03033037.png" /> dimensions"  ''J. Math. Pures Appl. Sér. 9'' , '''10'''  (1931)  pp. 115–200</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  G. de Rham,  "Differentiable manifolds" , Springer  (1984)  (Translated from French)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  M.S. Raghunathan,  "Discrete subgroups of Lie groups" , Springer  (1972)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  D. Lehmann,  "Théorie homotopique des forms différentiélles (d'après D. Sullivan)"  ''Astérisque'' , '''45'''  (1977)</TD></TR></table>
+
<table><tr><td valign="top">[1]</td> <td valign="top">  G. de Rham,  "Sur l'analysis situs des variétés à $n$ dimensions"  ''J. Math. Pures Appl. Sér. 9'' , '''10'''  (1931)  pp. 115–200</td></tr><tr><td valign="top">[2]</td> <td valign="top">  G. de Rham,  "Differentiable manifolds" , Springer  (1984)  (Translated from French)</td></tr><tr><td valign="top">[3]</td> <td valign="top">  M.S. Raghunathan,  "Discrete subgroups of Lie groups" , Springer  (1972)</td></tr><tr><td valign="top">[4]</td> <td valign="top">  D. Lehmann,  "Théorie homotopique des forms différentiélles (d'après D. Sullivan)"  ''Astérisque'' , '''45'''  (1977)</td></tr></table>

Latest revision as of 17:01, 1 July 2020


A theorem expressing the real cohomology groups of a differentiable manifold $ M $ in terms of the complex of differential forms (cf. Differential form) on $ M $. If $ E ^ {*} ( M) = \sum _ {p = 0 } ^ {n} E ^ {p} ( M) $ is the de Rham complex of $ M $, where $ E ^ {p} ( M) $ is the space of all infinitely-differentiable $ p $- forms on $ M $ equipped with the exterior differentiation, then de Rham's theorem establishes an isomorphism between the graded cohomology algebra $ H ^ {*} ( E ^ {*} ( M)) $ of the complex $ E ^ {*} ( M) $ and the cohomology algebra $ H ^ {*} ( M, \mathbf R ) $ of $ M $ with values in $ \mathbf R $. An explicit interpretation of this isomorphism is that to each closed $ p $- form $ \omega $ there is associated a linear form $ \gamma \rightarrow \int _ \gamma \omega $ on the space of $ p $- dimensional singular cycles $ \gamma $ in $ M $.

The theorem was first established by G. de Rham [1], although the idea of a connection between cohomology and differential forms goes back to H. Poincaré.

There are various versions of de Rham's theorem. For example, the cohomology algebra $ H ^ {*} ( E _ {c} ^ {*} ( M)) $ of the complex $ E _ {c} ^ {*} ( M) $ of forms with compact supports is isomorphic to the real cohomology algebra $ H _ {c} ^ {*} ( M, \mathbf R ) $ of the manifold $ M $ with compact supports. The cohomology of $ M $ with values in a locally constant sheaf of vector spaces is isomorphic to the cohomology of the complex of differential forms with values in the corresponding flat vector bundle [3]. The cohomology of a simplicial set $ S $ with values in any field $ k $ of characteristic 0 is isomorphic to the cohomology of the corresponding de Rham polynomial complex over $ k $. In the case when $ S $ is the singular complex of an arbitrary topological space $ X $ one obtains in this way a graded-commutative differential graded $ k $- algebra $ A _ { \mathop{\rm dR} } ( X) $ with cohomology algebra $ H ^ {*} ( A _ { \mathop{\rm dR} } ( X)) $ isomorphic to the singular cohomology algebra $ H ^ {*} ( X, k) $( see [4]). If $ X $ is a smooth affine algebraic variety over $ \mathbf C $, then the cohomology algebra $ H ^ {*} ( X, \mathbf C ) $ is isomorphic to the cohomology algebra of the complex of regular differential forms on $ M $( see de Rham cohomology).

References

[1] G. de Rham, "Sur l'analysis situs des variétés à $n$ dimensions" J. Math. Pures Appl. Sér. 9 , 10 (1931) pp. 115–200
[2] G. de Rham, "Differentiable manifolds" , Springer (1984) (Translated from French)
[3] M.S. Raghunathan, "Discrete subgroups of Lie groups" , Springer (1972)
[4] D. Lehmann, "Théorie homotopique des forms différentiélles (d'après D. Sullivan)" Astérisque , 45 (1977)
How to Cite This Entry:
De Rham theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=De_Rham_theorem&oldid=46588
This article was adapted from an original article by A.L. Onishchik (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article