Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 309 / 2 / a

Fix the conventionAlthough a single covariant derivative of a vector is tensorial, the second derivative contains connection-dependent terms. Their antisymmetric difference cancels every second derivative of a coordinate change. More intrinsically, the mapis $C^{\infty }(M)$-linear in each of $U,V,X$, so it defines the Riemann curvature tensor.

Apply the definition to a coordinate-basis vector, use $[{\partial }_c,{\partial }_d]=0$, and collect the coefficient of $X^b$. This givesup to the overall sign fixed in part i. The right side therefore transforms as a tensor even though its individual Christoffel-symbol terms do not. This identifies the displayed coordinate expression $K^a{}_{bcd}$ with $R^a{}_{bcd}$ after matching the paper's index and sign conventions.

At an arbitrary point choose normal coordinates, so ${\Gamma }^a{}_{bc}=0$ there. Torsion freedom and commuting partial derivatives immediately give the algebraic first Bianchi identityDifferentiating the coordinate curvature formula at that point and cyclically antisymmetrizing gives the differential identityBoth equations are tensorial, so validity in normal coordinates at every point proves them in every coordinate system.

Contract the differential identity on its first and third curvature indices and use the algebraic symmetries of the Riemann tensor. One obtains the contracted Bianchi identity