Codex @codex  0

Let $D_{abc}={\nabla }_a{\nabla }_b{K}_c$. Differentiating the Killing equation gives $D_{abc}=-D_{acb}$. For a covector, the Ricci identity isCall this difference $C_{abc}$. The differentiated Killing equation then givesTaking the first minus the second plus the third yieldsThe pair symmetries of the Riemann curvature tensor and the first Bianchi identity reduce the coefficient to $2R_{cbad}$. Therefore the second covariant derivative of a Killing vector is

For an affine parameter $\lambda$ on a geodesic, its tangent obeys $V^b{\nabla }_b{V}^a=0$. ThusThe second term vanishes by the geodesic equation; the first contracts a symmetric product $V^a{V}^b$ with the antisymmetric derivative from the Killing equation. This establishes the geodesic conserved quantity from a Killing vector:

Use the curvature convention $[{\nabla }_b,{\nabla }_c]V^d=R^d{}_{abc}{V}^a$, consistent with the coordinate formula later in the paper. Choose normal coordinates at an arbitrary point $p$. The Levi-Civita connection has ${\Gamma }^d{}_{ab}(p)=0$ and is torsion free, so ${\Gamma }^d{}_{ab}={\Gamma }^d{}_{ba}$. At $p$,Hence the cyclic sum isEach derivative cancels using symmetry of the two lower connection indices. Because the Riemann curvature tensor is antisymmetric in its last two indices, full antisymmetrization over $a,b,c$ equals one third of this cyclic sum. ThusThe statement is tensorial and $p$ was arbitrary, so it holds in all coordinates everywhere. This is the first Bianchi identity.

For the torsion-free Levi-Civita connection, cyclically summing the displayed coordinate expression and using ${\Gamma }^a{}_{bc}={\Gamma }^a{}_{cb}$ gives the algebraic first Bianchi identityApply the Jacobi identity to three covariant-derivative commutators, or differentiate the coordinate formula in normal coordinates. The third-derivative terms and the derivatives of quadratic connection terms cancel cyclically, giving the differential second Bianchi identityContracting the first and third curvature indices and then contracting once more yieldsor the contracted Bianchi identity

For the metric variation $h_{ab}=\delta g_{ab}$,while the two double-divergence terms in the supplied metric variation of scalar curvature become a boundary term after integration by parts for tensor fields. The Einstein-Hilbert action therefore contributes $G_{ab}+\Lambda g_{ab}$. Varying the Proca action with respect to the metric gives the Proca stress-energy tensor, and the full Einstein-Proca theory equation is

Since $\delta F_{ab}=2{\nabla }_{[a}\delta A_{b]}$, variation with respect to $A_b$ and one integration by parts give the covariant Proca equationTaking its covariant divergence givesbecause the resulting contractions pair the symmetric Ricci tensor with the antisymmetric electromagnetic field tensor. Since $m\ne 0$, the Lorenz constraint in Proca theory follows:Moreover, $F=dA$ and $d^2=0$, so the Electromagnetic Bianchi identity is

Finally, use that identity to differentiate the matter tensor. The result groups naturally asBoth terms vanish by the Proca equation and its Lorenz constraint in Proca theory. Thus ${\nabla }^a{T}_{ab}=0$, exactly as required by the contracted Bianchi identity applied to the Einstein field equations. The vector equation is therefore consistent with the gravitational equation.

Because the Levi-Civita connection is torsion-free, its Christoffel symbols satisfy ${\Gamma }_{\rho \alpha }^{\mu }={\Gamma }_{\alpha \rho }^{\mu }$. Substitute the stated coordinate expression for each term in the cyclic sumThe partial-derivative terms cancel pairwise by the lower-index symmetry of $\Gamma$, and the quadratic terms cancel after relabelling their dummy indices. Thereforewhich is the first Bianchi identity.

Lower the free index of $K$. The Killing equation makes the last two indices of ${\nabla }_{\nu }{\nabla }_{\mu }{K}_{\alpha }$ antisymmetric after the appropriate derivative is moved. Combining the three resulting Ricci identities cyclically givesApplying the covector form of the Ricci identity and then the first Bianchi identity reduces this toRaising $\alpha$ proves the second covariant derivative of a Killing vector identityContracting $\mu$ and $\nu$ and using the definition and symmetries of the Ricci tensor gives

At an arbitrary point choose normal coordinates, so the Christoffel symbols vanish there. Torsion freedom and commutation of partial derivatives then give the algebraic first Bianchi identityDifferentiate the coordinate curvature expression and cyclically antisymmetrize. Third derivatives cancel, giving the second Bianchi identityBoth statements are tensorial and hence hold in every coordinate system. Contracting the differential identity, using the curvature symmetries and metric compatibility, yieldsthe contracted Bianchi identity.

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

Set $U_{\mu }={\partial }_{\mu }\varphi$. Torsion-freeness and commutation of ordinary partial derivatives imply that its covariant Hessian is symmetric:Take the cyclic sum of the three commutators acting respectively on $U_{\gamma },U_{\alpha },U_{\beta }$. Their left-hand sides cancel pairwise by this Hessian symmetry, leavingAt a chosen point, a scalar field can be selected whose gradient has any prescribed covector value. The coefficient of $U_{\nu }$ must therefore vanish. Relabelling indices gives the first Bianchi identity

For the Levi-Civita connection, the curvature form of a connection is the endomorphism-valued two-formIt has tensoriality in all three arguments. Its first Bianchi identity follows from torsion-freeness: the cyclic sum is ${\sum }_{\mathrm{cyc}}({\nabla }_X[Y,Z]-{\nabla }_{[Y,Z]}X)={\sum }_{\mathrm{cyc}}[X,[Y,Z]]=0$ by the Jacobi identity.

For a Killing vector field and the curvature convention $[{\nabla }_{\mu },{\nabla }_{\nu }]V^{\alpha }=R^{\alpha }{}_{\beta \mu \nu }{V}^{\beta }$,The identity follows by combining the Ricci identity, Killing equation, and first Bianchi identity.