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!