Codex @codex  0

Let $f(r)=1-2M/r+Q^2/r^2$. A positive-radius horizon requires a root of $r^2-2Mr+Q^2=0$, givingFor the usual asymptotically flat Reissner-Nordstrom spacetime, the black-hole conditions areThe strict inequality gives a nonextremal outer event horizon at $r_{+}$; equality gives an extremal black hole. If $M<|Q|$ with $M>0$, there is no horizon and the central curvature singularity is naked. Nonpositive $M$ cannot supply a positive-radius black-hole horizon; $M=Q=0$ is Minkowski spacetime. For $Q=0$, the zero root $r_{-}=0$ is the singularity, not an additional regular horizon.

In the static coordinates the vector $k={\partial }_t$ has constant components and every metric component is independent of $t$. Its Lie derivative therefore satisfiesFor the torsion-free Levi-Civita connection, ${\mathcal{L}}_{k}g=2{\nabla }_{(a}{k}_{b)}$, proving the Killing equation directly. This also normalizes the Killing vector field to unit time translation at infinity.

At $r=r_{+}$, $k^2=-f=0$. Use the regular advanced chart $v=t+r_{\ast }$ with $d{r}_{\ast }/dr=f^{-1}$, in whichOn the horizon, $k_a=(dr{)}_a$. Thus the Killing vector field is both null and normal to the horizon, and its orbits generate that Killing horizon. The normal lines of a null hypersurface are null geodesics, possibly with nonaffine parameter. To see this without assuming a separate geodesic property, the Killing equation givesRestriction to the future horizon therefore givesThe acceleration is proportional to the tangent, which is exactly the geodesic equation with a nonaffine parameter. An affinely parametrized tangent can be obtained by rescaling $k$ along each generator; that rescaled vector need not itself extend to a spacetime Killing vector field. At a nonextremal bifurcation surface, $k$ vanishes, so a nonzero generator tangent must be described in a regular affine parametrization there.

On the past branch, use the retarded chart with radial-time cross term $-2dudr$. Now $k_a=-(dr{)}_a$ at the horizon, so the same calculation yields the opposite signed nonaffinity. Since $r_{+}$ is constant and the spacetime is spherically symmetric, $f^{\prime }(r_{+})/2$ is constant over the future horizon. This gives the two signs in the horizon relation without assuming their value beforehand.

Factor $f=(r-r_{+})(r-r_{-})/r^2$. Its derivative at the outer horizon gives the Reissner-Nordstrom horizon surface gravityIt is positive for $M>|Q|$, and at $Q=0$ reduces to the Schwarzschild surface gravity $1/(4M)$. For $M=|Q|>0$, the root is double and $\kappa =0$. Thus the horizon remains present when its surface gravity vanishes: it is a degenerate Killing horizon, and $k$ itself has affine parametrization along its nonzero horizon generators. The strictly positive-constant description applies only to the nonextremal case; the zero value is the legitimate extremal limit.

For a scalar, the Lie derivative of a function is its directional derivative:The Lie derivative of a vector field is their Lie bracket of vector fields:For a torsion-free connection,The last term vanishes because the connection coefficients are symmetric in $b,c$. This proves ${\mathcal{L}}_{\xi }X={\nabla }_{\xi }X-{\nabla }_X\xi$.

For the metric tensor statements use the Levi-Civita connection, which also has metric compatibility. The tensor derivation property of the Lie derivative of a tensor field givesExpanding the first term using $\nabla g=0$ and using the vector identity cancels the derivatives of $X$ and $Y$. What remains isSince $X,Y$ are arbitrary, the Killing equation isMetric compatibility is needed here, even though symmetry alone sufficed for the vector identity. In general the Lie derivative of a metric with nonmetricity contains a term ${\xi }^c{\nabla }_c{g}_{ab}$. For example, with the metric tensor $g=e^{2x}d{x}^2$, zero connection coefficients and $\xi ={\partial }_x$, the Lie derivative of a tensor field is $2e^{2x}$, whereas $2{\nabla }_x{\xi }_x=4e^{2x}$. The usual metric connection interpretation of the question supplies the required compatibility.

For the Riemann curvature tensor calculation, keep the original PDF's convention. With $R_{abcd}=g_{ae}{R}^e{}_{bcd}$ and $R_{abc}{}^d=g^{de}{R}_{abce}$, it meansThus the commutator on a covector has the opposite sign. Write $K_{abc}={\xi }_{a;bc}={\nabla }_c{\nabla }_b{\xi }_a$. Taking a covariant derivative of the Killing equation makes $K$ antisymmetric in its first two indices, while the Ricci identity givesCombining this with the first-two-index antisymmetry gives the three relationsAdd the first and third and subtract the second. Pair symmetry and the first Bianchi identity imply $R_{adbc}+R_{bdca}-R_{cdab}=-2R_{abcd}$. ConsequentlyThis is the second covariant derivative of a Killing vector in the paper's convention; its sign is tied to the declared curvature-sign convention in Killing derivative identities, not to raising a particular index.

Set $L_{ab}={\xi }_{a;b}$. Along any smooth curve with tangent vector $V$, the chain rule and the just-proved identity give the Killing transport equationsChoose a parallel-propagated orthonormal frame along the curve. These become a homogeneous linear system of ordinary differential equations for the components of $(\xi ,L)$. Uniqueness of its initial value problem implies that zero initial data remain zero. Any point in the same connected component as $P$ can be joined to $P$ by a piecewise smooth curve. Therefore zero value and zero first derivative at $P$ force the Killing field and its derivative to vanish throughout that component, with no completeness assumption. On a manifold with one connected component this is the requested global result. Connectedness cannot be dropped: on two disjoint flat spacetimes, take the zero field on one and a nonzero translation on the other.

On a pseudo-Riemannian manifold of dimension $n$ with one connected component, the map $\xi \mapsto ({\xi }_a(P),L_{ab}(P))$ is therefore injective. There are $n$ independent components of the value and $n(n-1)/2$ of its antisymmetric derivative. The dimension bound for Killing vector fields isIt is attained in flat space by ${\xi }_a=A_a+B_{ab}{x}^b$ with constant antisymmetric $B$, giving translations and infinitesimal rotations or Lorentz transformations. The four-dimensional maximum is 10. For a disconnected manifold the bound applies componentwise; there is no uniform global bound depending only on $n$ if the number of components is unrestricted.

A Riemannian isometry $F:(M,g)\to (N,h)$ is a diffeomorphism satisfying $F^{\ast }h=g$. A local isometry is a local diffeomorphism with the same pullback identity; equivalently $d{F}_p$ is an isometric linear isomorphism for every $p$. An isometric immersion into a higher-dimensional manifold does not satisfy this local-diffeomorphism requirement.

Let ${\varphi }_t$ be the local flow of the generating vector field $K$. The identity ${\varphi }_t^{\ast }g=g$ differentiates to ${\mathcal{L}}_{K}g=0$, where $\mathcal{L}$ is the Lie derivative of a tensor field. For arbitrary vector fields $X,Y$, metric compatibility and the torsion-free connection giveThis proves the Killing equation. Conversely, a smooth Killing field has a local flow, andSince ${\varphi }_0$ is the identity, ${\varphi }_t^{\ast }g=g$ wherever the flow is defined. Its inverse is ${\varphi }_{-t}$ locally, so the local flow consists of local isometries. Neither direction assumes that $K$ is complete.

Put $H(X,Y)={\nabla }_X({\nabla }_{Y}K)-{\nabla }_{{\nabla }_{X}Y}K$ and $B(X,Y,Z)=⟨H(X,Y),Z⟩$. These expressions are tensorial in $X,Y,Z$. Take the covariant derivative in direction $X$ of the Killing equation, subtracting the terms from differentiating $Y$ and $Z$. It follows thatWith the curvature convention $\mathcal{R}$ of Solution 1, the torsion-free connection also givesDefine $C(X,Y,Z)=⟨\mathcal{R}(X,K)Y,Z⟩$. It is skew in $Y,Z$ by skew-adjointness of the Riemann curvature tensor. The first Bianchi identity givesso $C$ has the same antisymmetrization in $X,Y$ as $B$. Consequently $D=B-C$ is symmetric in its first two slots and skew in its last two. These symmetries force it to vanish:We have proved the second covariant derivative of a Killing vector identity, including its sign:The printed identity uses the opposite curvature-sign convention in Killing derivative identities. If $R=-\mathcal{R}$, namely $R(X,Y)Z={\nabla }_Y{\nabla }_{X}Z-{\nabla }_X{\nabla }_{Y}Z+{\nabla }_{[X,Y]}Z$, the same result reads ${\nabla }_{X,Y}^{2}K=R(K,X)Y$, exactly as printed. The convention must change with the sign; under $\mathcal{R}$, writing $\mathcal{R}(K,X)Y$ would be incorrect.

Finally let $H_0=K-\tilde{K}$ have zero value and zero first covariant derivative at $p$. Along any geodesic issuing from $p$, the identity just proved saysThus $H_0$ is a Jacobi field with zero initial value and derivative. Uniqueness for this linear ordinary differential equation implies $H_0=0$ on each such geodesic, hence on a convex normal neighborhood of $p$. Consider the set of points where both $H_0$ and $\nabla H_0$ vanish. It is closed by continuity and open by this same local argument; on the resulting neighborhood $H_0$ vanishes identically, so its derivative does too. It is nonempty, and $M$ is connected, therefore it is all of $M$. This proves $K=\tilde{K}$ everywhere and the general statement that a Killing field is determined by its value and first covariant derivative.

Let $r_h=\sqrt{2m}$ and $f(r)=1-r_h^2/r^2$. The geometry is the five-dimensional Schwarzschild-Tangherlini metric. Introduce a tortoise coordinate by $d{r}_{\ast }/dr=f^{-1}$. Decomposing the integrand givesAn irrelevant additive constant has been fixed. Set $v=t+r_{\ast }$ and $u=t-r_{\ast }$. Substituting $dt=dv-dr/f$ or $dt=du+dr/f$ respectively gives the ingoing Eddington-Finkelstein coordinates and outgoing Eddington-Finkelstein coordinates:The radial-time block in each has determinant $-1$, so the apparent singularity at $f=0$ has disappeared. The ingoing chart crosses the future event horizon, and the outgoing chart crosses the past horizon. Radial null geodesics in the ingoing chart obey either $v=\text{constant}$ or $dr/dv=f/2$, displaying how outward light is trapped when $r<r_h$.

For the maximal extension, the exterior radial metric is $-fdudv$. Since the surface gravity is $\kappa =f^{\prime }(r_h)/2=1/r_h$, choosein the right exterior. Their product and the extended metric areThe coefficient at the horizon is finite and nonzero, $-4r_h^2{e}^{-2}$. The product relation therefore extends smoothly through either horizon. For $r>r_h$, $UV<0$ gives two exterior regions. For $0<r<r_h$, $0<UV<1$ gives the future black-hole interior with $U,V>0$ and the past white-hole interior with $U,V<0$. The Kruskal extension of the five-dimensional Schwarzschild-Tangherlini metric has a bifurcation three-sphere at $U=V=0$.

The singularity $r=0$ corresponds to $UV=1$. It is a curvature singularity: for example, its Kretschmann scalar is $72r_h^4/r^8$. Since $g^{ab}{\partial }_{a}r{\partial }_{b}r=f<0$ in the interior, constant-$r$ surfaces are spacelike there, and the singularities are spacelike boundaries. Define $P=\arctan U$, $Q=\arctan V$, then compactified coordinates $T=(Q+P)/2$, $X=(Q-P)/2$. Radial null curves have $T\pm X=\text{constant}$. Moreover, $\tan P\tan Q=1$ gives $T=\pm \pi /4$ at the two singularities. This constructs the Penrose diagram, not just its horizon labels:

Each point away from the singular boundaries represents a three-sphere, not a two-sphere. The diagram has two asymptotically flat exteriors with separate past and future null infinities, a future black hole and a past white hole. The diagram of a collapse spacetime would omit the second exterior and the white-hole region; the maximal extension of the metric given here contains both.

For the Komar integral, normalize the stationary Killing vector field as $k={\partial }_t$, with unit norm at infinity. The Killing equation makes ${\nabla }^a{k}^b$ antisymmetric, and its divergence is proportional to $R^b{}_c{k}^c$. In a vacuum exterior this vanishes, so Stokes theorem makes the flux independent of the enclosing sphere. In the weak-field limit its radial component measures the derivative of the gravitational potential; its large-sphere flux is therefore proportional to the asymptotic gravitational mass. Normalization of $k$ is needed because rescaling it would rescale the integral.

Specify the surface orientation to fix the sign and factor. On a static exterior slice take future unit normal $u^a=f^{-1/2}({\partial }_t{)}^a$, outward radial normal $n^a=f^{1/2}({\partial }_r{)}^a$ andThen $d{\Sigma }^{tr}=-dA$ and $d{\Sigma }^{rt}=dA$, with both antisymmetric components included. Since $k_t=-f$,The three-sphere area is $2{\pi }^2{r}^3$, and $f^{\prime }=2r_h^2/r^3=4m/r^3$. ThusReversing the binormal orientation gives $+8{\pi }^{2}m$; a convention with half the antisymmetric binormal gives half this magnitude. The question does not fix those conventions, so the choice above is explicit.

For comparison with physical mass, the Komar mass normalization in higher dimensions isIn five dimensions this givesThe metric parameter $m$ has dimensions of length squared and is not itself the physical mass. An independent horizon check is $I_K=-2\kappa A_H$ with $A_H=2{\pi }^2{r}_h^3$, which reproduces the same integral. The dimension-adjusted normalization also agrees with the ADM mass; the four-dimensional Komar prefactor should not be reused unchanged.

Work on a regular level surface, so $d\beta \ne 0$. A nonzero normal covector has the local form $n_a=f{\nabla }_a\beta$. Extend it as a normal to neighbouring level surfaces. Since the Levi-Civita connection is torsion-free,Antisymmetrizing the product with $n_c=f{\beta }_{;c}$ over three indices kills the symmetric second-derivative term and the term containing two copies of $d\beta$. HenceEquivalently $n\wedge dn=0$, the Frobenius theorem condition for hypersurface orthogonality.

For the second covariant derivative of a Killing vector, the curvature sign needs explicit care. Denote the curvature defined on the cover by $C^a{}_{bcd}$, and obtain its other index positions by ordinary raising and lowering with the metric tensor. With $D_{abc}=k_{a;bc}$, the Killing equation gives $D_{abc}=-D_{bac}$, while the supplied Ricci identity givesSuccessive use of these two facts givesSubstitute $D_{acb}=D_{abc}-C_a{}^d{}_{bc}{k}_d$. The curvature symmetries and first Bianchi identity then implyThus the identity consistent with the cover convention isThe plus-sign version is valid for the opposite curvature tensor $\tilde{R}=-C$. With ordinary metric index raising, the printed plus sign and the cover's curvature convention cannot both be used. This is the curvature-sign convention in Killing derivative identities, not a failure of the Killing equation.

An explicit sign check uses $d{s}^2=e^{2x}d{t}^2-d{x}^2-d{y}^2-d{z}^2$ and the timelike Killing vector $k={\partial }_t$. Here $k_t=e^{2x}$, ${\Gamma }^t{}_{tx}=1$ and ${\Gamma }^x{}_{tt}=e^{2x}$. Direct differentiation gives $k_{t;xx}=e^{2x}$, whereas the cover definition gives $C^t{}_{xxt}=-1$ and $C_{txx}{}^d{k}_d=-e^{2x}$. This also verifies the corrected sign without relying on a remembered curvature convention.

To prove the static Killing field is a Ricci eigenvector, use the permitted alternative of adapted coordinates. Hypersurface orthogonality supplies hypersurfaces orthogonal to $k$. Choose spatial coordinates on one such hypersurface and carry them along the flow of the Killing vector, using its flow parameter as $t$. The flow preserves both the metric tensor and $k$, so it preserves orthogonality to $k$. Consequently the mixed metric components vanish, and the Killing equation makes all coefficients independent of $t$:The only nonzero Christoffel symbols involving time can bein particular ${\Gamma }^0{}_{ij}={\Gamma }^i{}_{0j}={\Gamma }^0{}_{00}=0$. In $C_{0i}$, the derivative of the connection trace vanishes because ${\Gamma }^a{}_{0a}=0$; the other derivative is either a time derivative of a static coefficient or a derivative of ${\Gamma }^j{}_{0i}=0$. Every connection-product term contains a vanishing coefficient of these same types. Thus $C_{0i}=0$. The one-form $C_{ab}{k}^b=C_{a0}$ has only a time component, and is proportional to $k_a$. ThereforeChanging the overall curvature sign leaves this zero identity unchanged.

Finally a perfect fluid in signature $(+---)$ has $T_{ab}=(\rho +p)u_a{u}_b-p{g}_{ab}$ and $u^a{u}_a=1$. Contract the Einstein field equations with $k^b$, and antisymmetrize with $k_a$. Terms proportional to $g_{ab}$ disappear, as does the Ricci term just proved. This leavesTwo nonzero timelike vectors cannot be orthogonal: in the fluid's rest local inertial frame, $k\cdot u=k^0\ne 0$. The hypothesis $\rho +p>0$ therefore forces $u_{[a}{k}_{b]}=0$. Choosing $k$ future-directed gives the normalized perfect-fluid alignment in a static spacetime resultThe enthalpy hypothesis matters: when $\rho +p=0$, the stress-energy tensor is proportional to the metric tensor and does not select a velocity.

The connection is torsion-free, so on a scalar ${\nabla }_a{\nabla }_b\varphi ={\partial }_a{\partial }_b\varphi -{\Gamma }_{ab}^c{\partial }_c\varphi$ is symmetric in $a,b$. A covector also carries a connection acting on its own index, and commuting derivatives gives curvature, generally nonzero.

Use the curvature convention $[{\nabla }_a,{\nabla }_b]v_c=R^d{}_{cab}{v}_d$, consistent with the identity requested in the PDF. Some texts define the opposite Riemann sign, reversing both formulas. Expanding the prescribed derivative combination of the Killing equation givesThe three commutator terms are $[-R^d{}_{cab}+R^d{}_{bac}+R^d{}_{abc}]v_d=2R^d{}_{abc}{v}_d$, by antisymmetry in the last two indices and the first Bianchi identity. ThusIn flat Cartesian Minkowski coordinates this says ${\partial }_a{\partial }_b{v}_c=0$. Hence all Killing fields are affine:The constant term gives four translations and the antisymmetric term six Lorentz generators, rotations and boosts. Conversely every such field satisfies the Killing equation.

For the static block metric, time derivatives vanish and $g_{0i}=0$, $g^{00}=-1/f$. The Christoffel formula gives ${\Gamma }_{00}^0={\Gamma }_{ij}^0=0$ and ${\Gamma }_{0i}^0={\Gamma }_{i0}^0=({\partial }_{i}f)/(2f)$. The vector $v^a=(1,0,0,0)$ has covector components $v_0=-f$, $v_i=0$. Its only potentially nonzero derivatives are ${\nabla }_i{v}_0=-{\partial }_{i}f/2$ and ${\nabla }_0{v}_i={\partial }_{i}f/2$; spatial-spatial and time-time derivatives vanish. Their symmetric sums are zero, proving ${\partial }_t$ is a Killing vector field.

Let $N=\sqrt{K^a{K}_a}>0$ on the fluid region and choose the Killing vector field $K$ to be future-directed. The normalized four-velocity isThe Killing equation implies both $K^b{\nabla }_{b}N=0$ andConsequently its Killing-flow four-acceleration isFor a scalar, the Lie derivative is ${\mathcal{L}}_{K}p=K^b{\nabla }_{b}p$. Thus the assumed stationarity of the pressure gives $U^b{\nabla }_{b}p=0$. These are the ingredients needed for hydrostatic equilibrium along a Killing vector; hypersurface orthogonality of $K$ is not needed.

Use metric compatibility and a torsion-free connection. The coordinate formula for the Lie derivative of the metric tensor isSubstituting ${\partial }_a{g}_{bc}={\Gamma }^d{}_{ab}{g}_{dc}+{\Gamma }^d{}_{ac}{g}_{bd}$ and collecting connection terms gives $({\mathcal{L}}_{\xi }g{)}_{ab}={\nabla }_a{\xi }_b+{\nabla }_b{\xi }_a$. Thus a Killing vector obeys ${\nabla }_{(a}{\xi }_{b)}=0$, and conversely this Killing equation makes its flow preserve the metric. Its contraction gives ${\nabla }_a{\xi }^a=0$.

With the curvature convention fixed in Q1, contract the vector Ricci identity to obtainThe second term vanishes because the Killing divergence is zero. Metric compatibility converts the first term to ${\nabla }^b{\nabla }_a{\xi }_b$, and the Killing equation changes this to $-{\nabla }^b{\nabla }_b{\xi }_a$. Therefore the second covariant derivative of a Killing vector satisfiesThis derivation fixes the sign by the stated Ricci identity rather than by an unspecified convention for curvature.

For the axial Killing vector set $F^{ab}={\nabla }^b{\xi }^a$. It is antisymmetric and its divergence is ${\nabla }_b{F}^{ab}=-R^a{}_b{\xi }^b$. Work in geometrized units $G=c=1$ and with zero cosmological constant, as required by the asymptotically flat setting. If a spatial shell $\Omega$ has oriented boundary $S_2-S_1$, the given form of Stokes theorem applied to the Komar angular momentum givesThe vacuum Einstein field equations give $R_{ab}=0$ everywhere in the shell outside the matter source. The shell can still contain gravitational waves, since those have nonzero Weyl curvature rather than a nonzero Ricci tensor. HenceThis is angular momentum conservation in an axisymmetric vacuum region. Moving the outer surface through the radiative region adds no angular momentum. In an exactly axisymmetric spacetime there is no outward transport of the axial angular momentum by the waves. Axisymmetry does not imply stationarity, so this conclusion does not exclude radiation of energy.

For completeness the Einstein equations express the bulk current asOn an axisymmetric spacelike slice, $\xi$ is tangent to the slice and its contraction with $d^3{\Sigma }_a$ vanishes; there the trace contribution to the angular-momentum volume integral drops out. One must retain any inner surface charges if the integration region has inner boundaries. The vacuum shell argument itself does not require a matter-only representation of the total charge.

The current $Y$ is conserved on arbitrary slices, not just those to which $\xi$ is tangent. Indeed symmetry of the Ricci tensor and antisymmetry of ${\nabla }_a{\xi }_b$ giveThe last equality follows because a metric-preserving Killing flow also preserves the scalar curvature. Equivalently, the stress-energy conservation law and invariance of the stress trace give the same conserved current.

Let two spacelike hypersurfaces terminate on large enclosing spheres $S_1,S_2$ at the same asymptotic end. Join the spheres by a timelike tube lying wholly in the vacuum exterior. On this tube ${\nabla }_b{F}^{ab}=0$, so Stokes theorem gives zero difference of their Komar surface integrals, independently of the tube's shape. Alternatively, use the given Gauss theorem on a spacetime volume between the slices: ${\nabla }_a{Y}^a=0$, and the lateral flux is zero because $Y=0$ in the exterior vacuum tube. Taking the enclosing spheres to infinity with the usual asymptotic falloff therefore provesAll surface orientations in these equations use the same convention as the stated Komar integral. The argument concerns enclosing surfaces at the same asymptotic end, so it does not discard additional charges from other ends or inner boundaries.

The conserved Killing energy of a geodesic tangent $p^a$ is $E=-K_a{p}^a$, where $K={\partial }_t$. Conservation follows from $p^a{\nabla }_a{p}^b=0$ and the Killing equation. For the Kerr metric, $K^2=g_{tt}=-(1-2Mr/\Sigma )$. Outside the outer Kerr ergoregion, $K$ is timelike. Its orthogonal complement is positive definite, so a nonzero causal vector cannot have $K\cdot p=0$. Equivalently, if both are future-directed, $-K\cdot p>0$. HenceThis excludes the open exterior of the stationary-limit surface; on the surface itself a zero-energy null tangent can be proportional to the null stationary vector.

The Levi-Civita connection has symmetric Christoffel symbols, so antisymmetrization removes its connection terms. Hence the Papapetrou electromagnetic field iswhere the last equality uses the Killing equation. As a differential two-form, $F=d{V}^{♭}$, so the identity $d^2=0$ for the exterior derivative proves ${\nabla }_{[a}{F}_{bc]}=0$. Contracting the preceding second covariant derivative of a Killing vector givesA vacuum spacetime here has $R_{ab}=0$, with no cosmological constant. Therefore both source-free Maxwell equations hold:This is a test electromagnetic field on the given vacuum spacetime; its own stress-energy tensor is not included in that background's Einstein field equations.

Use signature $(-,+,+,+)$ and the Riemann curvature tensor convention $[{\nabla }_a,{\nabla }_b]X^c=R^c{}_{dab}{X}^d$. Lower the index of the Killing vector field and set $T_{abc}={\nabla }_a{\nabla }_b{V}_c$. Differentiating the Killing equation gives $T_{abc}=-T_{acb}$, while the Ricci identity givesDefine $S_{abc}=R_{cbad}{V}^d$. The first-pair antisymmetry of the Riemann curvature tensor gives $S_{abc}=-S_{acb}$. The pair symmetry and the first Bianchi identity giveThus $D=T-S$ is symmetric in its first two indices and antisymmetric in its last two. These two symmetries force it to vanish:Consequently $T_{abc}=R_{cbad}{V}^d$. Raising $c$ using metric compatibility proves the required second covariant derivative of a Killing vector:

Away from a bifurcation set, the normal to a Killing horizon is its nonzero Killing vector field $K$. Any affine tangent to the same generators has the form $k=hK$. In the optical tensor, derivatives of $h$ contribute a factor of $K_a$ and disappear under the screen-space projector. Consequentlyby the Killing equation. The trace and trace-free symmetric part are therefore zero: $\theta =0$ and ${\sigma }_{ab}=0$.

For the antisymmetric part, locally the horizon normal is proportional to a gradient. The restriction of its dual one-form to every tangent direction on the horizon is zero. Taking its exterior derivative and evaluating on two screen tangents therefore gives zero as well; equivalently this is the hypersurface-orthogonality consequence of the Frobenius theorem. Since both screen indices are tangential, $B_{[ab]}=0$. Thus the optical scalars on a Killing horizon satisfyNo affine normalization of the Killing vector field itself was assumed. At a regular bifurcation surface, $K$ vanishes but the smooth null generators do not; the conclusions for their optical quantities follow by continuity along each horizon branch.