de Rham's theorem

de Rham's theorem
Name	de Rham's theorem
Field	Mathematics
Subfield	Differential topology, Algebraic topology
Introduced	1931
Discoverer	Georges de Rham

de Rham's theorem is a foundational result linking analytic and topological invariants of smooth manifolds, asserting an isomorphism between cohomology defined by Differential forms and cohomology defined by singular chains. The theorem, proved by Georges de Rham, connects techniques from Élie Cartan's Cartan calculus, the work of Henri Poincaré on Poincaré lemma, and later formalism developed by André Weil and Hermann Weyl. It underpins interactions among Élie Cartan-style differential geometry, Leray-style sheaf theory, and algebraic methods from Galois-inspired abstractions.

Statement and historical context

The classical statement for a smooth, oriented, paracompact manifold M asserts that the cohomology of the complex of global smooth Differential forms with exterior derivative d is naturally isomorphic to the singular cohomology of M with real coefficients. Geometrically this equates analytic invariants arising in the style of Sophie Germain-era calculus with topological invariants studied by Henri Poincaré and later formalized by Emmy Noether-influenced algebraists. de Rham published his theorem in the early 1930s, in dialogue with contemporaries such as Elie Cartan, Jean Leray, Hermann Weyl, and André Weil, and its acceptance influenced the development of Sheaf theory and the seminar work of Jean-Pierre Serre and Alexander Grothendieck.

Differential forms and de Rham cohomology

Differential forms provide a graded algebra of global sections on a smooth manifold M; the exterior derivative d defines a cochain complex whose cohomology groups H^k_{dR}(M) are the de Rham cohomology groups. This analytic construction builds on earlier calculations by Élie Cartan, uses the Poincaré lemma for contractible charts, and ties to integration theory developed by Bernhard Riemann and Henri Lebesgue. de Rham cohomology is functorial under smooth maps, compatible with pullback operations studied by Élie Cartan and later formalized in categorical language by Saunders Mac Lane and Samuel Eilenberg. Key algebraic structures—cup product, graded-commutativity, and the wedge product—reflect structures familiar from Galois-inspired algebra and the cohomology operations scrutinized by Steenrod and Norman Steenrod.

Singular cohomology and the de Rham isomorphism

Singular cohomology, developed via chains in the spirit of Poincaré and later axiomatized by Samuel Eilenberg and Norman Steenrod, assigns to M groups H^k(M; R) computed from singular simplices. de Rham's isomorphism establishes a natural map from H^k_{dR}(M) to H^k(M; R) obtained by integrating differential forms over singular chains, an approach resonant with integration techniques of Hermann Weyl and the measure-theoretic insights of Henri Lebesgue. The naturality and compatibility of this map with homomorphisms induced by smooth maps were emphasized by contemporaries like Jean Leray and later by J. H. C. Whitehead in homotopy-theoretic settings.

Proof outline and key techniques

Proofs combine analytic partitions of unity, local exactness from the Poincaré lemma, and algebraic arguments paralleling those of Eilenberg and Steenrod. One constructs a map sending a closed k-form to the cohomology class determined by integrating over k-cycles; surjectivity uses Mayer–Vietoris sequences first systematized by André Haefliger and classical excision arguments from Hopf-style algebraic topology. Injectivity follows from constructing primitives locally and sewing them globally via partitions of unity, a technique developed in analysis by Émile Borel and used by Élie Cartan and Jean Leray. Modern proofs invoke sheaf cohomology and soft resolutions as in work by Henri Cartan and Jean-Pierre Serre, or homological algebra methods of Samuel Eilenberg and Cartan and categorical perspectives from Alexander Grothendieck.

Examples and applications

Calculations using de Rham cohomology recover classical invariants: for spheres S^n the groups match those computed by Henri Poincaré; for tori T^n they reflect forms generated by coordinate one-forms as in Carl Friedrich Gauss's vector calculus; for compact oriented surfaces the genus formula of Bernhard Riemann is visible via de Rham pairing. Applications permeate fields studied by Siméon Denis Poisson-influenced physics, informing electromagnetism in the tradition of James Clerk Maxwell, characteristic classes studied by Shiing-Shen Chern and John Milnor, index theorems following Michael Atiyah and Isadore Singer, and Hodge theory developed by W.V.D. Hodge, which relates de Rham cohomology to harmonic forms. The theorem also aids computations in areas influenced by Alexandre Grothendieck's algebraic geometry, impacting studies by Jean-Pierre Serre and Pierre Deligne.

Generalizations and related results

Generalizations include de Rham-type results for manifolds with boundary (using relative cohomology developed by Leray and Hassler Whitney), equivariant de Rham theory for actions studied by Élie Cartan and Bertram Kostant, and comparisons with sheaf cohomology in the spirit of Serre and Grothendieck. Analogues appear in algebraic de Rham cohomology of varieties over fields studied by Alexander Grothendieck, crystalline cohomology developed by Pierre Berthelot, and p-adic Hodge theory pursued by Jean-Marc Fontaine. Important related theorems include the Poincaré duality theorem clarified by Henri Poincaré and formalized by Edwin Spanier, and the Hodge decomposition proven by W.V.D. Hodge and extended by Bertram Kostant and Phillip Griffiths.

Category:Differential topology