Solution

ID: past-exam-of-the-general-relativity-and-cosmology-course-of-the-university-of-oxford/2013/2/a/solution

Although for a scalar field, its first derivative is a covector field. Therefore
Commuting partial derivatives and using the torsion-free connection gives . For a vector field, differentiate the tensor with both its indices included:
Subtract the expression with exchanged. Second derivatives of cancel; the terms multiplying first derivatives cancel pairwise, and the final lower-index connection terms cancel by symmetry. The remaining coefficient of is
This is the curvature commutator. On a covariant index the sign reverses, giving the curvature commutator on a covariant tensor used in the next part.

New to topics? Read the docs here!