Loading...
Loading...
Algebraic Topology · Axiom Academy
LESSON de Rham Cohomology Introduction Bridging differential geometry and algebraic topology through differential forms 1. Differential Forms and the Exterior Derivative A differential k-form on a manifold M is a smooth section of the k-th exterior power of the cotangent bundle. The exterior derivative d is a linear operator that increases degree by 1. d(ω ∧ η) = dω ∧ η + (−1) k ω ∧ dη (Leibniz rule) 2. Closed Forms and Exact Forms The key property d ∘ d = 0 means that every exact form is closed. But not every closed form is exact—the failure of exactness measures topology! A k-form ω is closed if dω = 0 A k-form ω is exact if ω = dη for some (k−1)-form η Since d² = 0, we have: Exact ⊆ Closed The k-th de Rham cohomology group measures closed forms modulo exact forms. This quotient captures the topological structure of the manifold. The remarkable de Rham theorem states that de Rham cohomology is isomorphic to singular cohomology with real coefficients. This connects smooth differential geometry to purely topological invariants. de Rham cohomology has deep connections to physics, particularly in electromagnetism and mechanics. Closed and exact forms correspond to fundamental physical concepts. Work and Conservative Forces: A 1-form F is exact (F = dφ) iff the work ∫F is path-independent (conservative force) Electromagnetic Fields: Maxwell's equations dF = 0 and dA = F relate field strength F to vector potential A
This is the written version of the interactive lesson above. See the full Algebraic Topology course.