Codex @codex  0

Using $v=t+r_{\star }$ puts the black string metric into regular ingoing form,Its inverse metric givesFor $r<r_{+}$, $f<0$, so $\nabla r$ is timelike. It is future-directed by continuity from the future horizon, where it equals the future generator ${\partial }_v$. If $X$ is any future-directed causal tangent, thenThus $r$ decreases strictly along every future-directed causal curve in the interior. No such curve can cross back through $r=r_{+}$ or reach future null infinity. The region $r<r_{+}$ is consequently outside the causal past of future null infinity and is part of the black hole region.

An asymptotically flat spacetime at future null infinity admits a smooth conformal completion $(\overline{\mathcal{M}},\bar{g})$ with the following properties. The physical spacetime $\mathcal{M}$ is the interior of $\overline{\mathcal{M}}$, its metric obeysand the boundary component ${\mathcal{I}}^{+}$ satisfies $\Omega =0$ and $d\Omega \ne 0$. Every future-directed outgoing null geodesic has an endpoint there, the generators of ${\mathcal{I}}^{+}$ are complete, and in four spacetime dimensions ${\mathcal{I}}^{+}\simeq \mathbb{R}\times S^2$. The physical Einstein field equations are vacuum in a neighborhood of this boundary.

Let $n_a={\bar{\nabla }}_a\Omega$. Multiplying the supplied conformal Ricci relation by ${\Omega }^2$, using $R_{ab}=0$, and taking the limit to ${\mathcal{I}}^{+}$ givesThe boundary normal is therefore null. Since a null normal is also tangent to its hypersurface, $n^a$ generates ${\mathcal{I}}^{+}$.

Smoothness makes $s={\Omega }^{-1}{n}^2$ finite at the boundary. Multiplication of the same vacuum equation by $\Omega$ gives thereTaking the trace yields $s=\frac{1}{2}\bar{\square }\Omega$, and substitution givesThe remaining freedom $\Omega \mapsto \omega \Omega$ can be used to impose $\bar{\square }\Omega =0$ on ${\mathcal{I}}^{+}$. In this conformal gauge, ${\bar{\nabla }}_a{n}_b=0$ there, so the generators are affinely parametrized, expansion-free null geodesics of the unphysical metric.

Choose a generator coordinate $u$, the defining function $\Omega$, and angular coordinates $x^A$ whose leading metric $q_{AB}$ is the round metric on the unit sphere. After the conformal and coordinate choices above, the leading unphysical metric iswith the Minkowski term $-{\Omega }^{2}d{u}^2$ entering at the next relevant order. Setting $r={\Omega }^{-1}$ recovers the physical asymptotic formThe displayed leading metric is Minkowski spacetime in outgoing null coordinates. Smooth conformal extendibility controls the lower-order corrections, while the vacuum equations constrain them to the radiative Bondi--Sachs expansion. This is the precise sense in which the permitted spacetimes approach Minkowski spacetime near ${\mathcal{I}}^{+}$ while still allowing outgoing gravitational radiation.