 Solution

A semicolon denotes the covariant derivative for the Levi-Civita connection. For example, the four lower indices of the Riemann curvature tensor contribute four connection terms:Here ${\partial }_{\eta }=\partial /\partial x^{\eta }$ is a partial derivative, ${\Gamma }_{b\eta }^a$ are Christoffel symbols, and repeated indices are summed from $0$ to $3$. Write $g_{\mu \nu }$ for the metric tensor, $g^{\mu \nu }$ for its inverse metric, $R_{\mu \nu }=g^{\lambda {\nu }^{\prime }}{R}_{\lambda \mu {\nu }^{\prime }\nu }$ for the Ricci tensor, and $R=g^{\mu \nu }{R}_{\mu \nu }$ for the Ricci scalar. This tensor contraction agrees with the paper's $R_{\mu \nu }=-R^a{}_{\mu \nu a}$.

By metric compatibility, the inverse metric may pass through each covariant derivative. Contracting the second Bianchi identity with $g^{\lambda \nu }$ giveswhere ${\nabla }_{\eta }$ is the same covariant derivative as the semicolon. Next contract with $g^{\mu \kappa }$. Antisymmetry of the first pair gives $g^{\mu \kappa }{R}_{\lambda \mu \kappa \eta }=-R_{\lambda \eta }$, soThus the contracted Bianchi identity is ${\nabla }^{\mu }{R}_{\mu \eta }=\frac{1}{2}{\partial }_{\eta }R$. Raising the remaining index and using metric compatibility provesThe Einstein tensor $G^{\mu \nu }$ therefore has identically zero covariant divergence, without imposing any field equation. This makes the Einstein field equations compatible with stress-energy conservation, ${\nabla }_{\mu }{T}^{\mu \nu }=0$, where $T^{\mu \nu }$ is the stress-energy tensor. The connection terms describe how energy and momentum are compared at neighboring points; ordinary componentwise partial derivatives would not give a coordinate-independent conservation law in curved spacetime.