De Rham theorem

De Rham theorem is a fundamental result connecting the calculus of differential forms on smooth manifolds with algebraic topology. It asserts an isomorphism between the cohomology of the complex of differential forms and the singular cohomology with real coefficients, linking analysis on manifolds to topological invariants. The theorem underpins many developments in modern geometry and topology and has influenced subjects from Hodge theory to index theory.

Statement

Let M be a smooth manifold. The theorem states that the cohomology groups of the complex of smooth differential forms on M, called de Rham cohomology, are isomorphic to the singular cohomology groups of M with real coefficients. In symbols, for each degree k there is a natural isomorphism H^k_{dR}(M) ≅ H^k_{sing}(M; ℝ). The isomorphism is induced by integration of differential forms over singular simplices and respects cup products and the graded ring structures. This identification ties together constructions appearing in the work of Élie Cartan, Hermann Weyl, Henri Poincaré, Émile Picard, Jean Leray, and later formalizations by Samuel Eilenberg and Norman Steenrod.

Historical context and development

Georges de Rham formulated and proved the theorem in 1931 while working at the University of Lausanne, building on earlier insights by Henri Poincaré on homology, Élie Cartan on exterior calculus, and Émile Cartan on moving frames. The result grew from interactions among research centers such as École Normale Supérieure, University of Göttingen, University of Paris, and institutes influenced by the programs of David Hilbert and Emmy Noether. Subsequent elaborations connected the theorem to sheaf cohomology developed by Jean Leray, Henri Cartan, and Alexander Grothendieck, and to spectral sequences introduced by Jean Leray and Jean-Pierre Serre. Influential expositions appeared in texts by Raoul Bott, Loring Tu, John Milnor, James Munkres, and William Fulton.

The theorem catalyzed interactions with complex geometry through W. V. D. Hodge and Kunihiko Kodaira, leading to Hodge theory, and with global analysis through the Hodge decomposition and the Atiyah–Singer index theorem of Michael Atiyah and Isadore Singer. It also informed work in symplectic geometry by André Lichnerowicz and Jean-Marie Souriau and in algebraic topology by Henri Cartan and J. H. C. Whitehead.

Proof outline

Standard proofs construct a natural map from the de Rham complex to singular cochains by integrating forms over simplices, then show this map induces an isomorphism on cohomology. Key tools include partitions of unity on paracompact manifolds (used in work by Charles Ehresmann and W. V. D. Hodge), Mayer–Vietoris sequences as formulated by Walther Mayer and Hermann Weyl, and the Poincaré lemma attributed to Henri Poincaré. One approach uses a good cover of M by coordinate charts modeled on Euclidean space where local de Rham cohomology vanishes in positive degrees; sheaf-theoretic proofs replace explicit simplicial arguments with acyclic resolution methods developed by Jean Leray and Alexander Grothendieck. Another route employs the spectral sequence of a filtration, as in the work of Jean-Pierre Serre, to verify that the induced map is an isomorphism on E2 pages and hence on total cohomology. Analytic proofs relate de Rham cohomology to harmonic forms via the Hodge theorem of W. V. D. Hodge and elliptic operator theory pioneered by A. N. Kolmogorov and Lars Hörmander.

Examples and applications

On spheres S^n (studied by Arthur Cayley and Henri Poincaré), tori T^n (where Leonhard Euler and Augustin-Louis Cauchy's work on periodicity is relevant), and compact orientable surfaces (classical for Bernhard Riemann), de Rham theorem recovers Betti numbers and distinguishes topological types. In complex algebraic varieties studied by Alexander Grothendieck and David Mumford, the result interacts with comparison theorems between algebraic de Rham cohomology and singular cohomology by Pierre Deligne and Grothendieck. In symplectic topology influenced by Vladimir Arnold and Andrei Kolmogorov, de Rham classes classify symplectic forms and flux homomorphisms considered by Dusa McDuff and Leonid Polterovich. In foliation theory developed by Alfred Haefliger and André Haefliger, transverse structures are analyzed via de Rham cohomology. Physical applications occur in gauge theory and electromagnetism in the tradition of James Clerk Maxwell, Paul Dirac, and Edward Witten, where conservation laws correspond to closed forms and topological charges to cohomology classes. Computational topology software influenced by work at Institut National de Recherche en Informatique et en Automatique and Microsoft Research implements discrete analogues based on these ideas.

Generalizations and related results

Extensions include de Rham theorems for manifolds with boundary (related to Ludwig Bieberbach and Marston Morse), for orbifolds studied by William Thurston and Ieke Moerdijk, and for differentiable stacks developed in the circles of Maxim Kontsevich and Paul Seidel. Algebraic de Rham cohomology for schemes is due to Alexander Grothendieck and relates to comparison theorems by Pierre Deligne and Gerhard Faltings; p-adic analogues involve work by Jean-Pierre Serre and Kazuya Kato. The sheaf-theoretic viewpoint connects to derived categories from Alexander Grothendieck and Jean-Louis Verdier and to homotopical refinements in rational homotopy theory by Daniel Quillen and Dennis Sullivan. The Hodge decomposition of compact Kähler manifolds ties de Rham cohomology to Dolbeault cohomology in the theories of Kunihiko Kodaira, W. V. D. Hodge, and Phillip Griffiths. Further relations include the de Rham model in rational homotopy theory and applications in the proof of index theorems by Michael Atiyah and Isadore Singer, and connections to modern developments in mirror symmetry by Maxim Kontsevich and Cumrun Vafa.

Category:Mathematical theorems