- #1
- 5,844
- 550
Homework Statement
I didn't really know if this belonged here or in the math section but it is from a physics book so what the heck =D. I have to show that the directional derivative of the ricci scalar along a killing vector field vanishes i.e. [itex]\triangledown _{\xi }R = \xi ^{\rho }\triangledown _{\rho }R = 0[/itex].
The Attempt at a Solution
From previous parts of the problem I had shown that [itex]\triangledown _{\mu }\triangledown _{\nu }\xi ^{\mu } = R_{\nu \rho }\xi ^{\rho }[/itex] and we have, from the Bianchi identity, that [itex]\triangledown ^{v}R_{v\rho } = \frac{1}{2}\triangledown _{\rho }R[/itex] so combining the two we see that [itex]\triangledown ^{\nu }\triangledown _{\mu }\triangledown _{\nu }\xi ^{\mu } = R_{\nu \rho }\triangledown ^{\nu }\xi ^{\rho } + \frac{1}{2}\xi ^{\rho }\triangledown _{\rho }R[/itex]. Since [itex]\triangledown ^{\nu }\xi ^{\rho }[/itex] is anti - symmetric and [itex]R_{\nu \rho }[/itex] is symmetric, their contraction vanishes so we are left with [itex]\triangledown ^{\nu }\triangledown _{\mu }\triangledown _{\nu }\xi ^{\mu } = \frac{1}{2}\xi ^{\rho }\triangledown _{\rho }R[/itex]. Here's where I'm stuck. I tried playing around with the left side, by using the definition of a killing field, to see if I can show that the left side must vanish (possibly by anti - symmetry and\or dummy index relabeling tricks) but I can't seem to simplify it further. Any help is much appreciated thanks!