Hodge Laplacian on a Riemannian manifold

Intuition Beginner

The exterior derivative measures one kind of change in a differential form. A Riemannian metric lets us measure the opposite kind of change too, because it gives lengths, angles, volumes, and adjoints.

The Hodge Laplacian combines these two directions of change into one operator on forms. It generalizes the usual Laplacian from functions to every degree of differential form.

Its zero modes are harmonic forms. They are the forms with no detectable exact or coexact variation. On a compact oriented Riemannian manifold, each de Rham cohomology class has one harmonic representative.

This turns topology into analysis: cohomology classes can be found by solving an elliptic equation.

Visual Beginner

The harmonic part is the piece left after separating the derivative-driven and adjoint-derivative-driven components.

Worked example Beginner

On a circle, constant functions are harmonic: they do not change as you move around the circle. A constant one-form also represents the persistent circulation around the loop.

That persistent circulation is topological. It cannot be removed by choosing a potential function on the circle.

What this tells us: harmonic forms detect global features, not just local smoothness.

Check your understanding Beginner

Formal definition Intermediate+

Let $(M,g)$ be an oriented Riemannian $n$-manifold. The metric and orientation define the Hodge star operator $$ *: \Omega^k(M)\to \Omega^{n-k}(M). $$ Using the $L^2$ inner product on forms, $$ \langle \alpha,\beta\rangle=\int_M \alpha\wedge *\beta, $$ the formal adjoint of the exterior derivative $$ d:\Omega^{k-1}(M)\to\Omega^k(M) $$ is the codifferential $$ \delta:\Omega^k(M)\to\Omega^{k-1}(M). $$ Up to the standard sign convention, $$ \delta=\pm d. $$

The Hodge Laplacian on $k$-forms is $$ \Delta=d\delta+\delta d. $$ A form $\omega \in {\Omega }^k(M)$ is harmonic if $$ \Delta\omega=0. $$ On compact manifolds without boundary, this is equivalent to $$ d\omega=0,\qquad \delta\omega=0. $$

Counterexamples to common slips

• The Hodge Laplacian depends on the Riemannian metric, even though de Rham cohomology does not.
• Harmonic does not mean constant for higher-degree forms.
• The decomposition theorem is an elliptic theorem; it is not just linear algebra on forms.

Key theorem with proof Intermediate+

Theorem (Hodge theorem, compact boundaryless case). Let $M$ be a compact oriented Riemannian manifold without boundary. Every de Rham cohomology class has a unique harmonic representative. Equivalently, $$ H^k_{\mathrm{dR}}(M)\cong \mathcal H^k(M), $$ where ${\mathcal{H}}^k(M)=\ker \Delta \cap {\Omega }^k(M)$.

Proof. The Hodge decomposition theorem states that $$ \Omega^k(M)=d\Omega^{k-1}(M)\oplus \delta\Omega^{k+1}(M)\oplus \mathcal H^k(M), $$ orthogonally in the $L^2$ inner product. This is the analytic input, proved using ellipticity of $\Delta$, compactness, and elliptic regularity.

Let $\omega$ be closed. Decompose it as $$ \omega=d\alpha+\delta\beta+h, $$ with $h$ harmonic. Since $d\omega =0$ and $dh=0$, the coexact part is forced to vanish in cohomology; more precisely, the closed form $\delta \beta$ is orthogonal to harmonic forms and lies in the closed/coexact intersection, hence is zero by the Hodge decomposition orthogonality. Thus $\omega$ is cohomologous to $h$.

If two harmonic forms represent the same cohomology class, their difference is both harmonic and exact. An exact harmonic form has zero $L^2$ norm because $$ |\eta|^2=\langle d\alpha,\eta\rangle=\langle \alpha,\delta\eta\rangle=0. $$ Thus the representative is unique. $\square$

Bridge. This unit extends 03.04.04 and 03.04.06 by adding a Riemannian metric and the adjoint operator $\delta$. It connects to 04.09.01, where Hodge decomposition appears in algebraic-geometric form, and to 24.04.01, where FEEC discretizes the mixed Hodge Laplacian. The foundational reason is that the smooth decomposition gives the continuous model that FEEC must preserve at the discrete level.

Exercises Intermediate+

Advanced results Master

The Hodge Laplacian is an elliptic, self-adjoint, nonnegative operator on differential forms. On a compact boundaryless Riemannian manifold, elliptic theory implies that its kernel is finite-dimensional and consists of smooth forms.

The identity $$ \langle \Delta\omega,\omega\rangle=|d\omega|^2+|\delta\omega|^2 $$ is the basic energy formula. It shows that a harmonic form is both closed and coclosed. Conversely, closed and coclosed forms lie in the kernel of $\Delta$.

The Hodge decomposition can be read as an orthogonal decomposition of fields into exact, coexact, and harmonic pieces. For functions, this generalizes the scalar Laplacian. For one-forms and two-forms in three dimensions, it packages vector-calculus decompositions into gradient-like, curl-like, and harmonic components.

Boundary conditions add another layer. On manifolds with boundary, one must distinguish absolute and relative boundary conditions, corresponding to different trace constraints. FEEC later mirrors this distinction when choosing conforming finite element subspaces for $H{\Lambda }^k$ complexes.

The mixed Hodge Laplacian formulation used in FEEC introduces an auxiliary variable, often written $\sigma =\delta u$, so that the second-order equation is represented by a first-order saddle-point system on form-valued Sobolev spaces. This is why the smooth Hodge Laplacian sits between differential geometry and numerical PDE.

Synthesis. The Hodge Laplacian turns topology into an elliptic analysis problem. The exterior derivative gives the cohomology complex; the Riemannian metric supplies the adjoint; elliptic theory supplies harmonic representatives and orthogonal decomposition. FEEC takes this smooth structure as its model and asks for finite-dimensional complexes that preserve enough of it to compute stable approximations.

Full proof set Master

Proposition 1 (energy identity). On a compact oriented Riemannian manifold without boundary, $$ \langle \Delta\omega,\omega\rangle=|d\omega|^2+|\delta\omega|^2. $$

Proof. By definition, $$ \Delta\omega=d\delta\omega+\delta d\omega. $$ Using that $\delta$ is the formal adjoint of $d$, $$ \langle d\delta\omega,\omega\rangle=\langle \delta\omega,\delta\omega\rangle $$ and $$ \langle \delta d\omega,\omega\rangle=\langle d\omega,d\omega\rangle. $$ Adding the two equalities gives the identity. $\square$

Proposition 2 (harmonic iff closed and coclosed). A smooth form $\omega$ is harmonic iff $d\omega =0$ and $\delta \omega =0$.

Proof. If $d\omega =\delta \omega =0$, then $\Delta \omega =d\delta \omega +\delta d\omega =0$. Conversely, if $\Delta \omega =0$, the energy identity gives $$ 0=\langle \Delta\omega,\omega\rangle=|d\omega|^2+|\delta\omega|^2. $$ Both terms are nonnegative, so both vanish. $\square$

Proposition 3 (exact harmonic forms vanish). If $\omega =d\alpha$ is harmonic on a compact boundaryless manifold, then $\omega =0$.

Proof. Since $\omega$ is harmonic, $\delta \omega =0$. Then $$ |\omega|^2=\langle d\alpha,\omega\rangle=\langle \alpha,\delta\omega\rangle=0. $$ Thus $\omega =0$. $\square$

Connections Master

• Exterior derivative 03.04.04. The Hodge Laplacian is built from $d$ and its formal adjoint.

• De Rham cohomology 03.04.06. Harmonic forms give canonical representatives of de Rham classes.

• Hodge decomposition 04.09.01. This unit gives the real Riemannian version underlying later complex and algebraic Hodge decompositions.

• Sobolev spaces of differential forms 24.01.02. Weak Hodge Laplacian formulations use $H{\Lambda }^k$ spaces.

• Mixed FEM for the Hodge Laplacian 24.04.01. FEEC discretizes this operator through mixed Hilbert-complex methods.

Historical & philosophical context Master

Hodge's 1941 work introduced harmonic integrals as analytic representatives of topological invariants ^[Hodge]. This created one of the central bridges between differential geometry, topology, and elliptic PDE.

In modern language, the Hodge theorem says that a compact oriented Riemannian manifold carries a finite-dimensional space of harmonic forms naturally isomorphic to de Rham cohomology. The proof uses elliptic regularity and functional analysis, but the conclusion is topological.

For FEEC, the Hodge Laplacian is not only a classical theorem. It is the continuous model problem. Arnold's FEEC lectures begin from the Hodge Laplacian because its mixed formulation reveals the full de Rham-complex structure that finite elements must preserve ^[Arnold].

Bibliography Master

@book{Hodge1941HarmonicIntegrals,
  author = {Hodge, W. V. D.},
  title = {The Theory and Applications of Harmonic Integrals},
  publisher = {Cambridge University Press},
  year = {1941}
}

@book{Warner1983Hodge,
  author = {Warner, Frank W.},
  title = {Foundations of Differentiable Manifolds and Lie Groups},
  publisher = {Springer},
  year = {1983}
}

@book{JostRiemannianHodge,
  author = {Jost, Jurgen},
  title = {Riemannian Geometry and Geometric Analysis},
  publisher = {Springer},
  year = {2017}
}

@book{Arnold2018HodgeFEEC,
  author = {Arnold, Douglas N.},
  title = {Finite Element Exterior Calculus},
  series = {CBMS-NSF Regional Conference Series in Applied Mathematics},
  volume = {93},
  publisher = {SIAM},
  year = {2018}
}