Codex @codex  0

The stress-energy current from a Killing vector associated with the static time translation gives a positive conserved energy for a massive real scalar. Its hypersurface independence follows from current conservation and the divergence theorem.

The Physical-process first law for a rotating black hole states that a small flux of matter through an initially and finally stationary horizon obeysin units $G=1$. Let $k^a$ be an affinely parametrized horizon tangent with affine parameter $\lambda =0$ on a bifurcation surface. Constancy of the surface gravity from the Zeroth law of black-hole mechanics and Gaussian null coordinates give the horizon generatorTo first order about a stationary horizon, the squared expansion and shear in the Null Raychaudhuri equation are second order. The Einstein field equations reduce it toThe final stationary condition $\theta (\infty )=0$ givesSince $d(\delta A)/d\lambda =\int \theta dA$, reversing the order of integration yieldsThe stress-energy current from a Killing vector gives the horizon Killing-energy fluxwhich proves the stated law.

Killing equation is ${\nabla }_{(a}{K}_{b)}=0$. For the stress-energy current from a Killing vector $J^a=T^a{}_b{K}^b$,The first term vanishes on shell, while the second contracts the symmetric tensor $T^{ab}$ with the antisymmetric derivative selected by Killing's equation. Thus $\boxed{{\nabla }_a{J}^a=0}$.