Note: Laplacian Isometries

This short note proves the following theorem relating the laplacian on a Riemannian manifold and its isometries:

Here’s the main idea: the composition $F\circ \mathrm{\Phi }$ is the pullback of $F$ by $\mathrm{\Phi }$, $$F\circ \mathrm{\Phi }={\mathrm{\Phi }}^{\ast }F$$ And the laplacian is a repeated composition of hodge stars and exterior derivatives. So, we just need to commute each one with the pullback, one at a time. We prove each of these possible as a lemma below:

Note this first result is completely general and does not care that $\mathrm{\Phi }$ is an isometry (as one expects, since $d$ does not know about the metric structure). However the hodge dual is defined in terms of the metric (indirectly through the volume form) so the isometry is crucial below.

Now we can prove the main theorem by a short computation:

$$\begin{array}{rlrlrlrlr}\mathrm{\Delta }(F\circ \mathrm{\Phi })& =\mathrm{\Delta }({\mathrm{\Phi }}^{\ast }F)& =\star d\star d({\mathrm{\Phi }}^{\ast }F)& =\star d\star {\mathrm{\Phi }}^{\ast }(dF)& =\star d,{\mathrm{\Phi }}^{\ast }(\star dF)& =\star ,{\mathrm{\Phi }}^{\ast }(d\star dF)& ={\mathrm{\Phi }}^{\ast }(\star d\star dF)& ={\mathrm{\Phi }}^{\ast }\mathrm{\Delta }F& =(\mathrm{\Delta }F)\circ \mathrm{\Phi }\end{array}$$

This computation goes through exactly if $\mathrm{\Phi }$ is orientation preserving. If it is orientation reversing, then we need to modify the argument for the Hodge star, and see that in fact commuting introduces a minus sign. But the Laplacian uses the hodge star twice, so these cancel and the final result holds for any isometry of $M$.