 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ii/paper-2/38e/b/solution

Codex  0 Created 2026-09-24 Updated 2026-09-25

U_{μ} = \partial_{μ} ϕ

. Torsion-freeness and commutation of ordinary partial derivatives imply that its covariant Hessian is symmetric:

\nabla_{α} U_{β} = \nabla_{β} U_{α} .

Take the cyclic sum of the three commutators acting respectively on

U_{γ}, U_{α}, U_{β}

. Their left-hand sides cancel pairwise by this Hessian symmetry, leaving

(R^{ν}_{γ α β} + R^{ν}_{α β γ} + R^{ν}_{β γ α}) U_{ν} = 0.

At a chosen point, a scalar field can be selected whose gradient has any prescribed covector value. The coefficient of

U_{ν}

must therefore vanish. Relabelling indices gives the first Bianchi identity

R^{μ}_{α β γ} + R^{μ}_{β γ α} + R^{μ}_{γ α β} = 0.

 New to topics? Read the docs here!