5
$\begingroup$

I'm currently studying Carroll's GR book Spacetime & Geometry, and ran into some trouble understanding the text. When discussing Killing vectors, Carroll mentions that one can derive $$K^{\lambda}\nabla_{\lambda}R=0$$ That is, the directional derivative of the Ricci scalar along a Killing vector field vanishes (here, $K^{\lambda}$ is a Killing vector).

He remarks that the only necessary ingredients to derive this equation are: $$\cdot\;\;\text{The Killing equation:}\ \nabla_{(\mu}K_{\nu )}=0$$

$$\cdot\;\;\text{The Bianchi identity:}\ \nabla_{[\mu}R_{\nu\rho ]\sigma\lambda}=0$$

$$\cdot\;\;\ \nabla_{\mu}\nabla_{\nu}K^{\rho}=R^{\rho}_{\lambda\mu\nu}K^{\lambda}\longrightarrow \nabla_{\mu}\nabla_{\nu}K^{\mu}=R^{\mu}_{\lambda\mu\nu}K^{\lambda}=R_{\lambda\nu}K^{\lambda} $$

With $R_{\mu\nu\rho\sigma}$ the Riemann curvature tensor and $R_{\mu\nu}$ the Ricci tensor.

Although I was able to derive all of the equations involved, I don't see how to put them together to get the sought-after result.

The only way I saw to get started is the following: $$K^{\lambda}\nabla_{\lambda}R=\nabla_{\lambda}(K^{\lambda}R)-R\nabla_{\lambda}K^{\lambda}=g^{\mu\sigma}(\nabla_{\lambda}(R_{\sigma\mu}K^{\lambda})-R_{\sigma\mu}\nabla_{\lambda}K^{\lambda}) $$ which immediately runs me into trouble because I don't see how to simplify/manipulate either of the terms to even make use of any of the three 'ingredients'

$\endgroup$
7
$\begingroup$

Start with the following form of the Bianchi Identities $$ \nabla^\mu R_{\mu\nu} = \frac{1}{2} \nabla_\nu R $$ Contract both sides with $K^\nu$. We find $$ \frac{1}{2} K^\nu \nabla_\nu R = K^\nu \nabla^\mu R_{\mu\nu} = \nabla^\mu \left( K^\nu R_{\mu\nu} \right) - R_{\mu\nu} \nabla^\mu K^\nu $$ The second term vanishes due to symmetry of $R_{\mu\nu}$. Now, recall that $R_{\mu\nu}K^\nu = \nabla_\nu \nabla_\mu K^\nu$. We now use the following fact $$ \left[ \nabla_\rho, \nabla_\sigma \right] \tau^{\mu\nu} = R^\mu{}_{\lambda\rho\sigma} \tau^{\lambda\nu} + R^\nu{}_{\lambda\rho\sigma}\tau^{\mu\lambda} $$ This implies \begin{equation} \begin{split} \nabla^\mu \left( K^\nu R_{\mu\nu} \right) &= \nabla_\mu\nabla_\nu \nabla^\mu K^\nu = \nabla_{[\mu}\nabla_{\nu ]} \nabla^{[\mu} K^{\nu]} = \frac{1}{2}[\nabla_{\mu}, \nabla_{\nu }] \nabla^{[\mu} K^{\nu]} \\ &=\frac{1}{2}\left(R^\mu_{\;\;\lambda\mu\nu} \nabla^{[\lambda} K^{\nu]}-R^\nu_{\;\;\lambda\nu\mu} \nabla^{[\mu} K^{\lambda]}\right)\\ &=\frac{1}{2}\left(R_{[\lambda\nu ]}\nabla^{[\lambda} K^{\nu]}-R_{[\lambda\mu ]}\nabla^{[\mu} K^{\lambda]}\right) = 0 \end{split} \end{equation} which then implies $$ K^\nu \nabla_\nu R = 0 $$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.