Non-commutativity of the d'alambert operator acting on the covariant derivative of a scalar field in general relativity

Question

Recently, I saw the following formula for the non-commutativity of the d'Alembert operator $\Box$ acting on the covariant derivative of a scalar field in general relativity, $\Box (\nabla_{\mu}\phi)-\nabla_{\mu}\Box\phi=R_{\mu\nu}\nabla^{\nu}\phi$. How exactly it is derived, considering the metric compatibility and that $\phi$ is a scalar function depending on time?

This post imported from StackExchange MathOverflow at 2017-07-11 20:37 (UTC), posted by SE-user Mikey Mike

Comments

This looks as if it would be coming from acting with the Hodge Laplacian on $\nabla_{\mu}\phi$ ...

Answer 1

Use $$ [\nabla_\mu,\nabla_\nu]V^\rho=R_{\mu\nu}{}^{\rho\sigma} V_\sigma $$ to conclude that $$ \begin{aligned} {}[\nabla^\nu\nabla_\nu,\nabla_\mu]\phi&\overset{ \mathrm A}=\nabla^\nu[\nabla_\nu,\nabla_\mu]\phi+[\nabla^\nu,\nabla_\mu]\nabla_\nu\phi\\ &\overset{ \mathrm B}=0+R_{\mu\nu}{}^{\nu\sigma} \nabla_\sigma\phi\\ &\overset{ \mathrm C}=R_{\mu\nu}\nabla^\nu\phi \end{aligned} $$

Note that in $\mathrm A$ we have used the fact that covariant derivatives commute with contractions, in $\mathrm B$ we have used $[\nabla_\nu,\nabla_\mu]\phi=[\partial_\nu,\partial_\mu]\phi=0$ (assuming a torsion-free connection), and in $\mathrm C$ we have used the definition of $R_{\mu\nu}$ as the contraction of the Riemann tensor.

This post imported from StackExchange MathOverflow at 2017-07-11 20:37 (UTC), posted by SE-user AccidentalFourierTransform

Comments

Thanks, interesting approach from quantum mechanics as operators. I have seen that it works also if we take into account that $\nabla^{\mu}\nabla_{\nu}\phi=\nabla_{\nu}\nabla^{\mu}\phi$ for a scalar field in the first term, the term $\nabla_{\mu}\nabla_{\nu}\nabla^{\mu}\phi$ becomes $\nabla_{\mu}\nabla^{\mu}\nabla_{\nu}\phi$.

This post imported from StackExchange MathOverflow at 2017-07-11 20:37 (UTC), posted by SE-user Mikey Mike

---

Hi @MikeyMike, Im not sure what you mean by quantum mechanics. All I used is standard differential geometry, with no reference to QM. The use of commutators, $[\nabla_\mu,\nabla_\nu]=\nabla_\mu\nabla_\nu-\nabla_\nu,\nabla_\mu$ is very common when discussing the Riemann tensor. It is ordinary, old-school, differential geometry, not quantum mechanics.

This post imported from StackExchange MathOverflow at 2017-07-11 20:37 (UTC), posted by SE-user AccidentalFourierTransform