Codex @codex  0

For an affine null geodesic congruence with future tangent $U$, choose a future unit timelike vector $T$ on a transverse section, put $E=-U\cdot T$, and set $N=T/E-U/(2E^2)$ there. It has $N^2=0$ and $U\cdot N=-1$. Parallel transport along each generator preserves these contractions by metric compatibility and ${\nabla }_{U}U=0$. The construction is local up to caustics and supplies the auxiliary normal for a screen-space projector.

A four-vector is a collection of four components $A^{\mu }=(A^0,\mathbf{A})$ that transforms by the same Lorentz transformation as $(ct,\mathbf{x})$. Use the metric signature $(-,+,+,+)$. The Lorentzian inner product isA nonzero four-vector is a timelike vector, null vector or spacelike vector according as $A\cdot A$ is negative, zero or positive. Reversing the metric signature reverses the signs used to name these three classes, without changing their geometric meaning.

For a frame moving at speed $v$ along the positive $x$ axis, write $\beta =v/c$ and use the Lorentz factor $\gamma =(1-{\beta }^2{)}^{-1/2}$. The component Lorentz transformation isExpanding the first two squares givesThe other two components are unchanged, so $A^{\prime }\cdot A^{\prime }=A\cdot A$. Consequently a timelike vector remains timelike under a Lorentz transformation.

For a nonzero null vector, $|\mathbf{A}|=|A^0|$ and $A^0\ne 0$. Set $a=A^0$ and $\hat{\mathbf{n}}=\mathbf{A}/a$. Then $|\hat{\mathbf{n}}|=1$ and $A=a(1,\hat{\mathbf{n}})$. If the zero four-vector is included among null vectors, take $a=0$ and any unit vector.

For two future-pointing null vectors, write $A=a(1,\hat{\mathbf{n}})$ and $B=b(1,\hat{\mathbf{m}})$ with $a,b>0$. The sum of future-pointing null vectors satisfiesbecause the ordinary inner product of two unit vectors is at most one. The sum is null if their spatial directions coincide, and timelike otherwise. Its positive time component makes the sum nonzero and future-pointing.

Choose a local transverse three-dimensional section of the null geodesic congruence and a future unit timelike vector $T$ on it. Orient $U$ to the future and put $E=-U\cdot T>0$. On that section define a parallel auxiliary null vector by the initial valueSince $T^2=-1$, $U^2=0$, and $U\cdot T=-E$, direct contraction gives $U\cdot N=-1$ and $N^2=-E^{-2}+E^{-2}=0$.

Extend $N$ along each generator by parallel transport, solving $U^b{\nabla }_b{N}^a=0$ with those initial values. The geodesic equation and compatibility of the Levi-Civita connection implyTherefore $N^2=0$, $U\cdot N=-1$, and ${\nabla }_{U}N=0$ hold throughout the local congruence. Smooth initial data and the transport equation give a smooth field up to the breakdown of the congruence at caustics. An arbitrary pointwise choice of $T$ away from the initial section would not automatically have this transport property.

In a stationary spacetime chart, take $V={\partial }_0$. Its squared length is $g_{00}<0$, so $V$ is a timelike vector. Since its components are constant, the Lie derivative of a tensor field obeys $({\mathcal{L}}_{V}g{)}_{\mu \nu }={\partial }_0{g}_{\mu \nu }=0$. For the Levi-Civita connection,so $V$ satisfies the Killing equation.

Conversely, a timelike Killing vector field is nowhere zero. Apply the flow-box theorem to choose coordinates with $V={\partial }_0$. The Killing equation then gives ${\partial }_0{g}_{\mu \nu }=0$, and $g_{00}=g(V,V)<0$. Thus local stationarity is equivalent to the existence of a timelike Killing vector field.

The dominant energy condition says that, for every future timelike vector $u^a$, the energy current $J^a=-T^a{}_b{u}^b$ is future causal or zero. Choose normal coordinates whose future unit time vector at $p$ is $u^a=(1,0,0,0)$. With metric signature $(-,+,+,+)$ and symmetric stress-energy tensor,A vector with these components is future causal or zero exactly whenThis proves necessity. Conversely, every future unit timelike vector can be made the time axis of an orthonormal frame by a proper orthochronous Lorentz transformation, and that frame can be extended to normal coordinates at $p$. Requiring the displayed inequality in every such chart therefore gives the dominant energy condition for every future timelike vector; positive rescaling handles nonunit vectors. Future null vectors follow by continuity if they are included in the definition. The condition must hold in every local Lorentz frame; one chart alone is insufficient.

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.

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 timelike vector $v$ obeys $g(v,v)<0$ in metric signature $(-,+,+,+)$. Its orthogonal complement has positive-definite metric; the two timelike cones give the local future and past choices.