Hodge–Weyl Theorem

• Hodge–Weyl Theorem is a cornerstone in differential geometry that establishes an isomorphism between de Rham cohomology and the space of smooth harmonic forms.
• The theorem leverages elliptic PDEs, particularly the Laplace–Beltrami operator, to guarantee unique harmonic representatives for cohomology classes.
• It provides a conceptual bridge linking topology to analysis, with pivotal applications in Kähler geometry and global analysis.

The Hodge–Weyl theorem asserts that on any compact oriented Riemannian manifold, each de Rham cohomology class admits a unique harmonic representative. Specifically, the group of real de Rham cohomology classes is isomorphic to the finite-dimensional vector space of smooth harmonic forms. This result fundamentally bridges smooth manifold topology, the analysis of elliptic partial differential equations, and Riemannian geometry by transforming topological invariants into solutions of geometric PDEs, as realized via the Hodge star and the Laplace–Beltrami operator (Lim, 2022).

1. Formal Structure and Statement

Let $M$ be a compact, oriented Riemannian manifold of dimension $n$ with metric $g$. Given $\Omega^k(M)$, the space of smooth real $k$-forms, the $L^2$ inner product is defined as: $$\langle \alpha,\beta\rangle = \int_M \alpha \wedge \star \beta$$ where $\star:\Omega^k(M) \to \Omega^{n-k}(M)$ is the Hodge star operator uniquely characterized by $$\alpha \wedge \star\beta = \langle\alpha, \beta\rangle_g\,\mathrm{vol}_g$$. The exterior derivative $d:\Omega^k(M) \to \Omega^{k+1}(M)$ is accompanied by an adjoint, defined via: $n$0 The Laplace–Beltrami operator is defined by: $n$1 A $n$2-form $n$3 is said to be harmonic if $n$4, i.e., if both $n$5 and $n$6. The space of harmonic $n$7-forms is denoted: $n$8 The Hodge–Weyl theorem formally states: $n$9 where every de Rham class $g$0 contains a unique harmonic $g$1-form as representative. In addition: $g$2 This is the Hodge decomposition (Lim, 2022).

2. Analytic Foundations and Operators

Elliptic theory underpins the theorem. The principal symbol of $g$3 in local coordinates is: $g$4 which is invertible for $g$5, demonstrating the ellipticity of the second-order operator $g$6 on $g$7. Ellipticity ensures essential analytic properties: discrete spectrum, finite-dimensional kernel, and regularity of solutions.

A central analytic tool is the Green’s operator $g$8, of order $g$9, which satisfies: $\Omega^k(M)$0 where $\Omega^k(M)$1 is the $\Omega^k(M)$2-orthogonal projection onto $\Omega^k(M)$3. $\Omega^k(M)$4 acts as a (pseudo-)inverse to $\Omega^k(M)$5 modulo the harmonic forms (Lim, 2022).

3. Proof Outline and Key Lemmas

The proof leverages PDE and functional analysis:

• Elliptic regularity: Weak $\Omega^k(M)$6 solutions to $\Omega^k(M)$7 with smooth $\Omega^k(M)$8 are smooth; all eigenforms of $\Omega^k(M)$9 are $k$0.
• Rellich compactness: On compact manifolds, $k$1 compactly; this, combined with ellipticity, ensures a finite-dimensional kernel.
• Fredholm alternative: $k$2 is invertible on the orthogonal complement of its kernel; the Green’s operator provides the continuous inverse.
• Orthogonal decompositions: $k$3, $k$4, and $k$5 are mutually orthogonal under the $k$6 inner product, with trivial intersection.

Given a closed form $k$7, its harmonic component $k$8 fulfills $k$9 for some $L^2$0, ensuring that $L^2$1 in cohomology. Uniqueness within $L^2$2 follows from integration by parts and orthogonality: if two harmonic forms differ by an exact form, they must coincide (Lim, 2022).

4. Geometric and Topological Insights

The Hodge star operator $L^2$3 intrinsically links Riemannian metrics to the duality between $L^2$4- and $L^2$5-forms. Ellipticity of $L^2$6 encodes the absence of degeneracies; the principal symbol $L^2$7 is non-vanishing for nonzero $L^2$8. The Green’s operator inverts $L^2$9 modulo harmonic forms and facilitates projections aligned with the Hodge decomposition.

This decomposition underpins Poincaré duality via the identification of $$\langle \alpha,\beta\rangle = \int_M \alpha \wedge \star \beta$$0. The theorem translates the topological invariants of de Rham cohomology into the analytic context of smooth harmonic forms, governed by $$\langle \alpha,\beta\rangle = \int_M \alpha \wedge \star \beta$$1 (Lim, 2022).

5. Implications for Cohomology and Applications

A direct implication is the finite-dimensionality of de Rham cohomology for compact manifolds, as it is realized by the dimension of $$\langle \alpha,\beta\rangle = \int_M \alpha \wedge \star \beta$$2. Each cohomology class has a distinguished harmonic representative, facilitating computations and further geometric analysis. The Hodge decomposition allows the separation of closed forms into exact, co-exact, and harmonic components, with unique representatives in each class.

Applications extend to broader contexts: the analytic realization of topological invariants, the theoretical foundation for the Kodaira embedding theorem, and connections to the decomposition of cohomology in Kähler geometry. This conceptual bridge underlies much modern research in differential geometry, global analysis, and the study of geometric structures (Lim, 2022).

6. Table: Core Structures in Hodge–Weyl Theory

Object	Definition	Role
$$\langle \alpha,\beta\rangle = \int_M \alpha \wedge \star \beta$$3	$$\langle \alpha,\beta\rangle = \int_M \alpha \wedge \star \beta$$4	Space of harmonic $$\langle \alpha,\beta\rangle = \int_M \alpha \wedge \star \beta$$5-forms
$$\langle \alpha,\beta\rangle = \int_M \alpha \wedge \star \beta$$6	$$\langle \alpha,\beta\rangle = \int_M \alpha \wedge \star \beta$$7	de Rham cohomology
Green’s operator $$\langle \alpha,\beta\rangle = \int_M \alpha \wedge \star \beta$$8	Satisfies $$\langle \alpha,\beta\rangle = \int_M \alpha \wedge \star \beta$$9	Resolvent of $\star:\Omega^k(M) \to \Omega^{n-k}(M)$0 modulo harmonics

The natural isomorphism between $\star:\Omega^k(M) \to \Omega^{n-k}(M)$1 and $\star:\Omega^k(M) \to \Omega^{n-k}(M)$2 is a principal outcome of Hodge–Weyl theory, establishing a concrete analytic representation for topological cohomology classes (Lim, 2022).