The symbol ∇a denotes the covariant derivative defined by the Christoffel connection Γbca for a metric gab. Explain briefly why
(∇a∇b−∇b∇a)ϕ=0(∇a∇b−∇b∇a)vc=0
in general, where ϕ is a scalar field and vc is a covariant vector field.
A Killing vector field va satisfies the equation
Sab≡∇avb+∇bva=0
By considering the quantity ∇aSbc+∇bSac−∇cSab, show that
∇a∇bvc=−Rabcdvd
Find all Killing vector fields va in the case of flat Minkowski space-time.
For a metric of the form
ds2=−f(x)dt2+gij(x)dxi dxj,i,j=1,2,3
where x denotes the coordinates xi, show that Γ000=Γij0=0 and that Γ0i0=Γi00= 21(∂if)/f. Deduce that the vector field va=(1,0,0,0) is a Killing vector field.
[You may assume the standard symmetries of the Riemann tensor.]