4.II.36A

General Relativity
Part II, 2006

What are local inertial co-ordinates? What is their physical significance and how are they related to the equivalence principle?

If VaV_{a} are the components of a covariant vector field, show that

aVbbVa\partial_{a} V_{b}-\partial_{b} V_{a}

are the components of an anti-symmetric second rank covariant tensor field.

If KaK^{a} are the components of a contravariant vector field and gabg_{a b} the components of a metric tensor, let

Qab=Kccgab+gacbKc+gcbaKcQ_{a b}=K^{c} \partial_{c} g_{a b}+g_{a c} \partial_{b} K^{c}+g_{c b} \partial_{a} K^{c}

Show that

Qab=2(aKb),Q_{a b}=2 \nabla_{(a} K_{b)},

where Ka=gabKbK_{a}=g_{a b} K^{b}, and a\nabla_{a} is the Levi-Civita covariant derivative operator of the metric gabg_{a b}.

In a particular co-ordinate system (x1,x2,x3,x4)\left(x^{1}, x^{2}, x^{3}, x^{4}\right), it is given that Ka=(0,0,0,1)K^{a}=(0,0,0,1), Qab=0Q_{a b}=0. Deduce that, in this co-ordinate system, the metric tensor gabg_{a b} is independent of the co-ordinate x4x^{4}. Hence show that

aKb=12(aKbbKa)\nabla_{a} K_{b}=\frac{1}{2}\left(\partial_{a} K_{b}-\partial_{b} K_{a}\right)

and that

E=KadxadλE=-K_{a} \frac{d x^{a}}{d \lambda}

is constant along every geodesic xa(λ)x^{a}(\lambda) in every co-ordinate system.

What further conditions must one impose on KaK^{a} and dxa/dλd x^{a} / d \lambda to ensure that the metric is stationary and that EE is proportional to the energy of a particle moving along the geodesic?