The metric on covectors is induced by the inverse matrix , and on -forms by the determinant pairing
The Riemannian volume form is the unique positive top form taking value one on every oriented orthonormal frame. The Hodge star operator is uniquely determined by
Nondegeneracy of the wedge pairing proves existence and uniqueness pointwise, and the smooth metric dependence makes a well-defined smooth bundle map.
On compactly supported forms, Stokes theorem and the graded Leibniz rule give
where ; this is the formal adjoint of . The Hodge Laplace-Beltrami operator is
For , the covector metric scales by , the -form metric by , and the volume form by . Therefore
If is constant, the two star factors in the codifferential contribute , so . Since is metric-independent,
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.