Hodge theory: topology meets elliptic analysis
Research context
postgraduate concept · established · As of 2026-10-10
On a compact smooth Riemannian manifold without boundary, every de Rham class has a unique harmonic representative.
Key knowledge
On a compact smooth Riemannian manifold without boundary, every de Rham class has a unique harmonic representative. The Hodge Laplacian d d*+d* d is elliptic; the finite-dimensional kernel represents cohomology. The choice of metric changes the harmonic representatives while preserving cohomology dimensions. Boundary or noncompact cases need different domains and boundary conditions.
Values and equations
Delta_H=d d*+d* d; H-dR^k(M) ≅ ker Delta_H on k-forms
- d*
- Metric L2 adjoint of d
- Delta_H
- Hodge Laplacian
- k
- Form degree
Conditions and scope
- Here M is compact, oriented and has no boundary, and the metric is smooth.
- d* is the adjoint for the metric L2 pairing; harmonic means kernel of the Hodge Laplacian.
Sources · 1
References
Sources retain their recorded scope. A source link alone does not establish verification of every statement.
Evidence and review
Author checked this English statement, displayed equation where present and stated hypotheses against these source locations: §§1.2, 2.1–2.2, 3.1, 11.1–11.2, 12.1–12.2, 13.1, 15.1–15.3, 17.1–17.3; each record narrows its applicable claim. The check is bounded to the recorded claims; no complete proof reconstruction, software proof replay or universal literature completeness is claimed.
2026-10-10 · Author source-body/statement/equation/domain check, with graph associations scoped individually. Separate independent content/source/inventory review is required before branch closure.
Entry details
Permanent link to this entry ↗- Record identity
- research-math-hodge-representatives
- Revision
- research.1
- Structured reference record
- Postgraduate & research reference