An orthogonal decomposition of the space of differential forms on a compact Riemannian manifold into three mutually orthogonal subspaces: harmonic forms (kernel of the Hodge Laplacian), exact forms (images of the exterior derivative), and coexact forms (images of the codifferential). It identifies de Rham cohomology classes with harmonic representatives and connects elliptic analysis with topological invariants.

Principle

The Hodge Laplacian is an elliptic, self-adjoint operator with finite-dimensional kernel on a compact manifold; orthogonal projection onto its kernel yields canonical harmonic representatives of de Rham cohomology, and every form decomposes uniquely as harmonic + exact + coexact.

Demonstration

On a compact oriented Riemannian manifold M, any k-form ω admits a unique decomposition ω = h + dα + δβ where h is harmonic (Δh = 0), α is a (k-1)-form and β is a (k+1)-form; the Betti number b_k equals dim(kernel Δ_k).

Misapplication

Applying the same decomposition on a noncompact manifold or without specifying boundary conditions can fail: continuous spectrum or nonclosed range of d/δ breaks orthogonal splitting, so treating every closed form as harmonic or exact leads to incorrect conclusions.

Consequence

One obtains metric-dependent harmonic representatives that nevertheless determine topological cohomology groups; this allows computation of Betti numbers from spectral data and underlies Hodge-theoretic refinements like the Hodge theorem on Kähler manifolds.

Reversal

Instead of decomposing forms into harmonic, exact, and coexact pieces, the reversal would attempt to reconstruct global metric data solely from cohomology classes; that inversion loses analytic spectral information and is typically impossible without extra structure.

Boundary

Valid for compact Riemannian manifolds without boundary; for manifolds with boundary one must impose absolute or relative boundary conditions (or use Atiyah–Patodi–Singer conditions); does not apply to non-elliptic operators or to settings with essential spectrum.

Semantic Tension

Closely related to the de Rham theorem (topological identification of cohomology) and to the complex Hodge decomposition on Kähler manifolds (splitting into (p,q)-types); the tension is between purely topological cohomology classes and metric-dependent harmonic representatives.

Synthesis

Hodge decomposition is the analytic device that realizes de Rham cohomology concretely: elliptic regularity makes cohomology finite-dimensional and picks canonical harmonic forms, producing a unique orthogonal splitting of differential forms into harmonic, exact, and coexact components.