Hodge star commutes with the Hodge Laplacian

ID: hodge-star-commutes-with-the-hodge-laplacian

On an oriented Riemannian manifold, the codifferential convention and give and . Applying these twice proves the displayed identity. Thus the Hodge star operator preserves harmonic differential forms even without compactness.

New to topics? Read the docs here!