Codex @codex  0

For the metric in vector cosmological perturbation, an orthonormal tetrad is $E_0=a^{-1}{\partial }_{\eta }$, $E_i=a^{-1}(B_i{\partial }_{\eta }+{\partial }_i)$ to first order. A photon has $p^0=(ϵ/a^2)(1+B_i{e}^i)$ and $p^i=(ϵ/a^2)e^i$, so the covariant component is $p_0=-ϵ+O(B^2)$. The covariant geodesic equation gives $d{p}_0/d\eta =(2p^0{)}^{-1}{\partial }_{\eta }{g}_{\alpha \beta }{p}^{\alpha }{p}^{\beta }=ϵe^i{\dot{B}}_i$. The derivative of the scale factor cancels by the null vector condition, proving the redshift formula.

In ingoing Reissner-Nordstrom spacetime, orient $-{\partial }_r$ to the future and normalize the other radial null vector to ${\partial }_v+(f/2){\partial }_r$. The spherical null expansion in ingoing coordinates gives $-2/r$ and $f/r$. Hence the strictly future trapped surfaces among the round spheres occur exactly between the distinct horizons. At either horizon the outgoing null expansion vanishes. Inside the inner horizon the same round spheres are not future trapped.

With metric signature $(-,+,+,+)$, a nonzero vector $v$ is spacelike when its Lorentzian inner product with itself satisfies $g(v,v)>0$. In Minkowski spacetime, this means its spatial components have larger squared Euclidean length than its time component. The classification is preserved by Lorentz transformations. A timelike vector has negative squared Lorentzian inner product, and a null vector has zero squared Lorentzian inner product.

For a four-dimensional spherical metric $d{s}^2=-fd{v}^2+2dvdr+r^{2}d{\Omega }^2$, a radial null vector normal $K$ to a round sphere has null expansion ${\theta }_K=\frac{1}{2}{q}^{AB}{\mathcal{L}}_K{q}_{AB}=2K(r)/r$, where $q_{AB}=r^2{\gamma }_{AB}$. The angular metric changes only by a common scale, so radial congruences have zero null shear; hypersurface orthogonality also gives zero null twist. The convention here is the trace, not the screen-averaged expansion.

In Minkowski spacetime with metric signature $(-,+,+,+)$, write two nonzero future-pointing null vectors as $A=a(1,\mathbf{n})$ and $B=b(1,\mathbf{m})$, where $a,b>0$ and $\mathbf{n},\mathbf{m}$ are unit vectors. Their Lorentzian inner product givesThus their sum is a future-pointing causal vector. It is a null vector exactly when the spatial directions coincide, and a timelike vector otherwise. The positivity of the time components is essential: adding past- and future-pointing null vectors can instead produce a spacelike vector.

A concrete example separates a trapped surface from a failure of coordinates. Use geometrized units $G=c=1$, metric signature $(-,+,+,+)$, and the regular ingoing Eddington-Finkelstein coordinates of a Schwarzschild black hole with mass $M>0$:For a round sphere, choose future null vector normalsThe spherical null expansion in ingoing coordinates follows directly from $A=4\pi r^2$: ${\theta }_k=2k(r)/r$. At $r=3M$, $({\theta }_{+},{\theta }_{-})=(1/(9M),-2/(3M))$; at $r=3M/2$, it is $(-2/(9M),-4/(3M))$. Both future light fronts shrink in the second case. At $r=2M$, ${\theta }_{+}=0$, so this sphere is marginally outer trapped surface, not a strict trapped surface. In the spherical model this boundary is an event horizon; that identification does not extend to arbitrary geometries.

Although $k_{-}$ is affine as written, $k_{+}$ generally obeys ${\nabla }_{k_{+}}{k}_{+}=(M/r^2)k_{+}$. These are valid initial normals for the sign test; use affine rescaling of a null normal before applying the affine Null Raychaudhuri equation. Regularity of the displayed metric tensor at $r=2M$ shows why a divergence in another chart would not establish null geodesic incompleteness.

On a compact trapped surface, both null expansions have a uniform negative margin. Sufficiently small smooth perturbations controlling the relevant metric tensor and surface derivatives preserve trapping. This conditional robustness does not prove that every nonspherical gravitational collapse creates a trapped surface.^[ref]

A trapped surface is a closed spacelike codimension-two surface whose two future-directed orthogonal null congruences both have negative expansion.

In four-dimensional spacetime, “closed” here means compact without boundary; “spacelike” means that the induced metric tensor is positive definite. Let $k_{+},k_{-}$ be the two future null vector normals and $q_{ab}$ the induced metric tensor. Their null expansions areHere $dA$ is an infinitesimal transverse area element and ${\lambda }_{\pm }$ an affine parameter along the respective normal null geodesics. A future trapped surface has ${\theta }_{+}<0$ and ${\theta }_{-}<0$ everywhere: even the outward-directed light front initially loses area. Multiplying either future normal by a positive function multiplies its initial null expansion by that function, preserving the sign. A small inward-converging patch is insufficient: the entire closed surface must satisfy both strict inequalities.