Codex @codex  0

If a null vector tangent satisfies ${\nabla }_{K}K=\kappa K$, then $U=hK$ is affine when $K(\log h)=-\kappa$. Choose $h=1$ on the initial transverse surface. The screen-space projector kills derivative terms proportional to $K$, so the initial optical tensor and its null expansion agree with those of $K$. In ingoing spherical coordinates, $K={\partial }_v+(f/2){\partial }_r$ has $\kappa =f^{\prime }/2$.

In the Ingoing Eddington-Finkelstein coordinates metric $d{s}^2=-f(r)d{v}^2+2dvdr+r^{2}d{\Omega }^2$, where $f=1-2M/r$, the tangent $U=-E{\partial }_r$ is affine when $E>0$ is constant along each ray. The displayed radial partner obeys $N^2=0$ and $U\cdot N=-1$. Since ${\Gamma }^v{}_{rv}={\Gamma }^a{}_{rr}=0$ and ${\Gamma }^r{}_{rv}=-f^{\prime }/2$, its derivative ${\partial }_r{N}^r=f^{\prime }/(2E)$ cancels the connection term, giving ${\nabla }_{U}N=0$. Its screen is the angular two-plane, with optical tensor ${\hat{B}}_{AB}=-Er{\gamma }_{AB}$, null expansion $-2E/r$, and zero null shear and null twist.

A null geodesic congruence is a smooth family of null geodesics filling a region, with one curve through each point before caustics form. Choose an affine parameter $\lambda$ and tangent $U^a$, so $U^2=0$ and ${\nabla }_{U}U=0$. Choose a null partner $N^a$ with $U\cdot N=-1$, transported parallel to $U$ along each generator. The screen-space projectorprojects onto the positive-definite two-dimensional plane transverse to $U,N$. Define the optical tensor and its decomposition bywhereThese are respectively the null expansion, null shear and null twist, the latter also called rotation. In the Null Raychaudhuri equation, ${\hat{\sigma }}^2={\hat{\sigma }}_{ab}{\hat{\sigma }}^{ab}$ and ${\hat{\omega }}^2={\hat{\omega }}_{ab}{\hat{\omega }}^{ab}$ use the screen metric. The trace convention for $\theta$ is important: it is not half the trace. For an affine null tangent it also equals ${\nabla }_a{U}^a$.

Transport two connecting vectors between neighbouring rays so that they commute with $U$, and project them onto the screen. Their infinitesimal transverse lengths and angles evolve according to the symmetric part of the optical tensor. The trace part gives uniform fractional dilation, while the trace-free null shear stretches one transverse direction and contracts the other, changing a circular beam to an ellipse without changing its area to first order. With zero null twist, there is no antisymmetric rotation of the beam.

If $q_{AB}$ is the metric on an infinitesimal transverse element, then $d{q}_{AB}/d\lambda =2{\hat{B}}_{(AB)}$. Its area $A$ therefore obeysThus positive null expansion means a beam's cross-sectional area increases, and negative expansion means it decreases; null shear records the directional distortion rather than this overall area change.

For the radial null pair above, the screen-space projector selects the angular tangent plane, with metric $q_{AB}=r^2{\gamma }_{AB}$. The ingoing covector is $U_a=-E(dv{)}_a$, and ${\Gamma }^v{}_{AB}=-r{\gamma }_{AB}$. Hence the optical tensor isIt is purely symmetric and proportional to the screen metric, givingFor $E=1$, the null expansion is $-2/r$. The area check $A\propto r^2$ and $dr/d\lambda =-E$ gives $A^{\prime }/A=-2E/r$, in agreement with the spherical null expansion in ingoing coordinates. In vacuum, $d\theta /d\lambda =-2E^2/r^2=-{\theta }^2/2$ also satisfies the Null Raychaudhuri equation; the ingoing beam focuses at the singularity rather than remaining future complete.

Choose the affine tangent $k^a$ to a null geodesic congruence, and an auxiliary null vector ${\ell }^a$ with $k\cdot \ell =-1$. The screen-space projectorannihilates $k$ and $\ell$ and restricts to a positive-definite two-dimensional metric in four spacetime dimensions. Neighboring transverse rays have relative displacement governed by the optical tensorIts irreducible decomposition defines the three requested optical quantities:The null expansion $\theta$ is the fractional rate of change of transverse area, $d\log A/d\lambda$. The null shear $\sigma$ changes a beam's shape at fixed area to first order; it is symmetric and trace-free. The null twist $\omega$ is antisymmetric and measures local rotation of the transverse rays; it vanishes for a hypersurface-orthogonal null geodesic congruence. In $D$ dimensions replace $1/2$ by $1/(D-2)$. These definitions use the trace convention for null expansion, rather than the alternative screen-averaged convention.

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.

A null geodesic congruence is a smooth family of null geodesics filling a region without intersections there. For affine tangent $k$, the null expansion is the trace of the optical tensor: $\theta =d(\log A)/d\lambda$ for an infinitesimal pencil's area. Positive expansion means spreading; negative expansion means focusing.

For hypersurface-orthogonal generators in four dimensions, the Null Raychaudhuri equation readsThe null twist vanishes. The null energy condition implies $R_{ab}{k}^a{k}^b\ge 0$ through the Einstein field equations. An initial ${\theta }_0<0$ would force a focal point within affine distance at most $2/|{\theta }_0|$. A future-complete generator cannot develop such a point while remaining on an achronal event horizon. Thus $\boxed{\theta \ge 0}$ under the energy and global predictability/future-completeness hypotheses of Hawking's area theorem. Quantum energy-condition violations or failure of those global assumptions remove the conclusion.

The event horizon is the global boundary $\partial J^{-}({\mathcal{I}}^{+})$ and depends on the whole future. An apparent horizon on a chosen spacelike slice is the outermost marginally outer trapped surface, ordinarily ${\theta }_{\mathrm{out}}=0$, ${\theta }_{\mathrm{in}}<0$. It is quasi-local and slice-dependent; its tube need not be null.

For a shell arriving at $v=0$, the final horizon is $r=2M$. Before arrival, outgoing flat-space rays obey $dr/dv=1/2$. Tracing this horizon backward gives $r=2M+v/2$ until its beginning at $r=0$, $v=-4M$. No apparent horizon exists in that earlier flat region, explicitly illustrating the event horizon's dependence on future collapse.

The screen-space projector annihilates both null vectors: $P^a{}_b{U}^b=P^a{}_b{N}^b=0$, and satisfies $P^2=P$. Its image is the two-dimensional spacelike screen orthogonal to $U,N$. The screen metric isIt is positive definite on that screen. Projecting both indices of $B_{ab}={\nabla }_b{U}_a$ gives the optical tensor ${\hat{B}}_{ab}=P_a{}^c{P}_b{}^d{B}_{cd}$.

Define its three parts byThus ${\hat{B}}_{ab}=\frac{1}{2}\theta q_{ab}+{\sigma }_{ab}+{\omega }_{ab}$. The null expansion $\theta$ is its trace and equals $d\log \mathcal{A}/d\lambda$ for the infinitesimal beam area $\mathcal{A}$. The null shear $\sigma$ is symmetric and trace-free, measuring shape change at fixed first-order area. The null twist $\omega$, also called rotation, is antisymmetric and measures failure of screen directions to remain hypersurface-orthogonal. In $D$ dimensions replace $1/2$ by $1/(D-2)$. Here and below expansion means the trace, rather than its average over the screen dimensions.

For an affinely parametrized null geodesic congruence, put $B^a{}_b={\nabla }_b{U}^a$. Differentiating along a ray and commuting covariant derivatives givesusing $[{\nabla }_c,{\nabla }_b]V^a=R^a{}_{dcb}{V}^d$. The geodesic acceleration term vanishes. Since $U$ is null and affine, $B^a{}_b{U}^b=0$ and $U_a{B}^a{}_b=0$. Its trace is therefore the screen trace $\theta$, and the trace of its square equals that of the optical tensor squared. Taking the trace, with $R_{db}=R^a{}_{dab}$, yieldsNow decompose the optical tensor into null expansion, null shear and null twist. The symmetric trace-free part is orthogonal to the trace and to the antisymmetric part, while ${\hat{\omega }}_{ab}{\hat{\omega }}^{ba}=-{\hat{\omega }}_{ab}{\hat{\omega }}^{ab}$. HenceSubstitution proves the Null Raychaudhuri equation:The squares use the positive-definite screen metric. Thus null shear contributes to focusing, whereas nonzero null twist has the opposite sign.

A null geodesic congruence is a smooth family of null geodesics filling a region without intersections there, with one tangent direction assigned smoothly at every point. Choose an affine parameter $\lambda$ and tangent $U^a$, so $U^a{U}_a=0$ and $U^b{\nabla }_b{U}^a=0$. Choose a second null vector $N^a$ with $U\cdot N=-1$. The screen-space projector isIt annihilates $U,N$ and restricts to a positive-definite metric on the two-dimensional transverse screen. Project the covariant derivative of the tangent to obtain the optical tensorIts decomposition defines the three optical quantities:The null expansion is the fractional rate of change of a transverse area, $\theta =A^{-1}dA/d\lambda$. The null shear changes a beam's shape without changing its area to first order. The null twist is its antisymmetric transverse deformation. The factor $1/2$ uses four spacetime dimensions.

For the spherical null expansions in double-null coordinates, the cross-sectional area of a symmetry sphere is $A=4\pi r^2$. For the two affine null geodesic congruences, the definition of null expansion therefore givesThere is no extra derivative of $f$ in these formulas: the null expansion differentiates the transverse area, not the normalization of the tangent. Equivalently, the projected metric is $q_{AB}=r^2{\gamma }_{AB}$ and its optical tensor is $(k(r)/r)q_{AB}$, or $(\ell (r)/r)q_{AB}$ for the other congruence. It is purely trace, so both null shears vanish.

The null twist vanishes because the covector tangents are gradients of $-U$ and $-V$, and hence their exterior derivatives vanish. Each congruence is orthogonal to a family of null hypersurfaces. This also identifies the Frobenius theorem reason for zero null twist.

A null geodesic congruence is a smooth family of null geodesics filling a region without crossings there. Choose a smooth future-directed tangent $U^a$ and an affine parameter $\lambda$, soThe space orthogonal to $U$ is degenerate because it contains $U$ itself. To measure genuine transverse separation, introduce an auxiliary null vector $N^a$ with $U\cdot N=-1$ and the screen-space projectorIn four dimensions $q$ has a positive-definite two-dimensional image and annihilates $U$ and $N$. The optical tensor is the transverse part of the velocity derivative,Its irreducible decomposition defines the three optical quantities:The null expansion is the fractional rate of change of a small transverse area, $\theta =d\log \delta A/d\lambda$. The symmetric trace-free null shear distorts the shape of the transverse beam without changing its area at first order. The antisymmetric null twist, also called rotation of the congruence, describes the rotational part of its transverse deformation. These are properties of the screen quotient $U^{\perp }/⟨U⟩$; the auxiliary vector chooses a convenient representative of that quotient. For an affinely parametrized null geodesic congruence, the contraction constraints also give $\theta ={\nabla }_a{U}^a$.

Parallel transport the auxiliary null vector $N$ and a screen basis along each generator of the null geodesic congruence. This keeps the screen-space projector fixed under the corresponding transported derivative. Use the curvature convention $[{\nabla }_c,{\nabla }_b]V_a=-R^d{}_{acb}{V}_d$.

With $B_{ab}={\nabla }_b{U}_a$, differentiation of the affine geodesic equation givesHere the first term comes from commuting the derivative past $U^c$, and the second from the curvature commutator. The constraints $B_{ab}{U}^a=B_{ab}{U}^b=0$ follow respectively from the null normalization and affine geodesic equation. Projecting onto the screen therefore yields the optical matrix equationThe trace of the tidal matrix is $R_{ab}{U}^a{U}^b$; extra terms from replacing the screen trace by the spacetime trace vanish by curvature antisymmetry. Taking the trace givesDecompose the optical tensor as $\hat{B}=\frac{1}{2}\theta I+\hat{\sigma }+\hat{\omega }$. The null shear is symmetric and trace-free and the null twist is antisymmetric. Their cross traces vanish, andThe negative sign in the last term is the identity $\mathrm{tr}({\hat{\omega }}^2)=-{\sum }_{I,J}{\hat{\omega }}_{IJ}^2$ on the positive-definite screen. Substitution proves the four-dimensional Null Raychaudhuri equation:The coefficient is $1/(D-2)$ in $D$ spacetime dimensions; the factor $1/2$ here belongs to the four-dimensional congruence in this question, not the five-dimensional geometry of the next question.

Let $k$ generate the Killing horizon and let $\ell =fk$ be an affinely parametrized generator wherever $k\ne 0$. Choose an auxiliary null vector $n$ with $n\cdot \ell =-1$ and the screen-space projector $q_{ab}=g_{ab}+{\ell }_a{n}_b+n_a{\ell }_b$. The optical tensor is the screen projection $B_{ab}=q_a{}^c{q}_b{}^d{\nabla }_d{\ell }_c$.

Since the projector annihilates $k$, the symmetric part isby the Killing equation. Its trace is the null expansion and its trace-free symmetric part is the null shear, so both vanish. Also $\ell$ is normal to the null hypersurface. Frobenius theorem gives ${\ell }_{[a}{\nabla }_b{\ell }_{c]}=0$, which implies $q_a{}^c{q}_b{}^d{\nabla }_{[d}{\ell }_{c]}=0$: the null twist vanishes. These arguments use derivatives tangent to the horizon and hence apply to any smooth null geodesic congruence containing its generators, independently of its extension off the horizon. At a regular bifurcation surface, use the smooth affine generator and continuity. ThusThis is the vanishing of the optical scalars on a Killing horizon.

The screen-space projectordefines the optical tensor ${\hat{B}}_{ab}=P_a{}^c{P}_b{}^d{B}_{cd}$. In four spacetime dimensions its irreducible decomposition isThese are the null expansion, null twist, and null shear.

Let $U^a$ be the affine null tangent and choose another null vector $N^a$ with $U\cdot N=-1$. The screen-space projectorprojects onto the $(D-2)$-dimensional transverse space. The optical tensor isIts irreducible decomposition definesthe null expansion,the null shear, andthe null twist, also called rotation.

Choose an auxiliary null vector $N^a$ with $U\cdot N=-1$. The screen-space projector isand the optical tensor is ${\hat{B}}_{ab}=P_a{}^c{P}_b{}^d{B}_{cd}$ for $B_{ab}={\nabla }_b{U}_a$. Because the screen is two-dimensional, its irreducible decomposition iswhereThese are respectively the null expansion, null shear, and null twist, also called rotation.

Decompose the optical tensor on the two-dimensional screen space asThe null expansion, null shear, and null twist are respectivelyThe shear is symmetric and trace-free, while the twist is antisymmetric.