de Rham theorem
In mathematics, more specifically in differential geometry, the de Rham theorem says that the ring homomorphism from the de Rham cohomology to the singular cohomology given by integration is an isomorphism.
The Poincaré lemma implies that the de Rham cohomology is the sheaf cohomology with the constant sheaf . Thus, for abstract reason, the de Rham cohomology is isomorphic as a group to the singular cohomology. But the de Rham theorem gives a more explicit isomorphism between the two cohomologies; thus, connecting analysis and topology more directly.
Statement
[edit]The key part of the theorem is a construction of the de Rham homomorphism.[1] Let M be a manifold. Then there is a map
from the space of differential p-forms to the space of smooth singular p-cochains given by
Stokes' formula implies: ; i.e., is a chain map and so it induces:
where these cohomologies are the cohomologies of and , respectively. As it turns out, is a ring homomorphism and is called the de Rham homomorphism.
Finally, the theorem says that the induced homomorphism is an isomorphism (i.e., bijective).[2]
There is also a variant of the theorem that says the de Rham cohomology of M is isomorphic as a ring with the Čech cohomology of it.[3] This Čech version is essentially due to André Weil.
Idea of proof
[edit]![]() | This section needs expansion. You can help by adding to it. (July 2024) |
Singular-homology version
[edit]There is also a version of the theorem involving singular homology instead of cohomology. It says the pairing
induces a perfect pairing between the de Rham cohomology and the (smooth) singular homology; namely,
is an isomorphism of vector spaces.[4]
This theorem has the following consequence (familiar from calculus); namely, a closed differential form is exact if and only if the integrations of it over arbitrary cycles are all zero. For a one-form, it means that a closed one-form is exact (i.e., admits a potential function) if and only if is independent of a path . This is exactly a statement in calculus.
Current version
[edit]There is also a current (a differential form with distributional coefficients) version of the de Rham theorem, which says the singular cohomology can be computed as the cohomology of the complex of currents.[5] This version is weaker in the sense that the isomorphism is not a ring homomorphism (since currents cannot be multiplied and so the space of currents is not a ring).
References
[edit]- ^ Warner 1983, 5.35.
- ^ Warner 1983, 5.36., 5.45.
- ^ Appendix D. to Conlon, Lawrence (2001). Differentiable Manifolds (2nd ed.). Springer. doi:10.1007/978-0-8176-4767-4. ISBN 978-0-8176-4766-7.
- ^ Warner 1983, 4.17.
- ^ Griffiths & Harris, somewhere
- Griffiths, Phillip; Harris, Joseph (1994). Principles of Algebraic Geometry. doi:10.1002/9781118032527. ISBN 978-0-471-05059-9.
- Warner, Frank W. (1983). Foundations of Differentiable Manifolds and Lie Groups. New York: Springer. ISBN 0-387-90894-3.
- Weil, André (1952). "Sur les théorèmes de de Rham". Commentarii Mathematici Helvetici. 26: 119–145. doi:10.1007/BF02564296. S2CID 124799328.