Gaussian Null and Horizon-Adapted Coordinates

Gaussian null coordinates turn a smooth null hypersurface into the regular coordinate surface $r=0$. They make its generators, cross-section metric, normal-bundle connection, expansion, and non-affinity visible without dividing by a vanishing lapse. The construction is local, works for nonstationary null hypersurfaces, and specializes cleanly to both nondegenerate and degenerate Killing horizons.

Required background. Killing Fields and Isometry Groups supplies symmetry-adapted coordinates and Killing invariance.

Helpful background. Exact Solutions of Einstein’s Equations supplies examples of regular horizon charts; Causality and Global Structure supplies null hypersurfaces and generators; The Einstein Equation acts later as a constraint on the free geometric data; Black-Hole Geometry and Mechanics locates this local construction within the horizon taxonomy.

Building the coordinates from a cross-section

Let $\mathcal N$ be a smooth null hypersurface in a $D$-dimensional spacetime. Choose a smooth spacelike cross-section $S$ met once by each generator in the patch, coordinates $x^A$ on $S$, and a future-directed null normal $N^a$. Extend $x^A$ along the generators and use a parameter $v$ such that $N^a=(\partial_v)^a$ on $\mathcal N$.

At each horizon point choose the unique past-directed null vector $L^a$ orthogonal to the $v,x^A$ cross-sections and normalized by $L\cdot N=1$. Shoot null geodesics with tangent $L^a$ away from $\mathcal N$, and let $r$ be their affine parameter with $r=0$ on the horizon. Keep $v$ and $x^A$ constant along them. Then

$$L^a=(\partial_r)^a, \qquad g_{rr}=g_{rA}=0, \qquad g_{vr}=1.$$

The resulting Gaussian null form is

$$ds^2 =2\,dv\left(dr+r h_A\,dx^A+\frac12 r f\,dv\right) +\gamma_{AB}\,dx^A dx^B,$$

where $f$, $h_A$, and $\gamma_{AB}$ are smooth functions of $(v,r,x^A)$ and $\gamma_{AB}$ is positive definite. Kunduri and Lucietti give this construction and metric in Kunduri and Lucietti 2013, §2.1, Eqs. (4)–(5). The sign of the $dv\,dr$ term follows from using a past-directed $L^a$ with $N\cdot L=1$ in the site’s $(-,+,+,+)$ signature.

No coordinate coefficient diverges at $r=0$. Unlike Schwarzschild time, $v$ remains a regular parameter along the future horizon. The chart depends on the chosen section, generator scale, and section coordinates, but the geometric quantities reconstructed from it do not.

Reading invariant horizon data

On each section $S_v$, $\gamma_{AB}(v,0,x)$ is the intrinsic Riemannian metric. Its area element evolves along $N^a$ with expansion

$$\theta_{(N)} =\frac12\gamma^{AB}\partial_v\gamma_{AB} =\partial_v\ln\sqrt{\det\gamma} \quad (r=0).$$

The trace-free part of $\tfrac12\partial_v\gamma_{AB}$ is the shear. Thus the same regular coefficients say whether a general null hypersurface expands or distorts. On a Killing horizon adapted so that $N^a=\chi^a=\partial_v$, all metric coefficients are $v$-independent; both expansion and shear vanish.

For the normal-bundle connection, introduce the future-directed auxiliary null normal $n^a=-L^a$, so $N\cdot n=-1$, and define

$$\omega_A=-n_b\nabla_A N^b.$$

Directly evaluating the connection of the Gaussian null metric gives

$$\omega_A=-\frac12 h_A\big|_{r=0}.$$

This sign is convention-sensitive; it follows from the displayed choices for $L^a$, $n^a$, and the cross term. Under a rescaling of the null pair, $N^a\mapsto e^\lambda N^a$ and $n^a\mapsto e^{-\lambda}n^a$, one finds $\omega_A\mapsto\omega_A+D_A\lambda$. Consequently its curvature $D_A\omega_B-D_B\omega_A$ is invariant.

The remaining transverse data include $\partial_r\gamma_{AB}$ and transverse derivatives of $h_A$ and $f$. They describe how the cross-section geometry is embedded away from the horizon. Einstein’s equation constrains combinations of these fields; Gaussian null coordinates themselves impose no field equation.

Surface gravity is the linear coefficient

Suppose now that $\mathcal N$ is a Killing horizon and choose $N^a=\chi^a=\partial_v$. Its norm is

$$\chi^2=g_{vv}=r f(r,x).$$

At $r=0$, $\chi_a=(dr)_a$. Comparing $d(\chi^2)=f(0,x)\,dr$ with $d(\chi^2)=-2\kappa\chi_a$ gives

$$f(0,x)=-2\kappa(x).$$

Therefore a nondegenerate Killing horizon begins as

$$ds^2 =2\,dv\left(dr+r h_A\,dx^A-r\kappa\,dv+O(r^2)dv\right) +\left(\gamma_{AB}^{(0)}+O(r)\right)dx^A dx^B.$$

The sign can be checked with ingoing Schwarzschild coordinates: taking $r$ here to increase toward the exterior gives $g_{vv}=-2\kappa r+O(r^2)$ for positive outer-horizon $\kappa$. Reversing the transverse affine coordinate reverses both the cross-term convention and the displayed slope, not the invariantly normalized $\kappa$.

For a degenerate Killing horizon, $\kappa=0$, so smoothness implies

$$g_{vv}=r^2F(r,x).$$

The metric becomes

$$ds^2 =2\,dv\left(dr+r h_A(r,x)\,dx^A +\frac12r^2F(r,x)\,dv\right) +\gamma_{AB}(r,x)\,dx^A dx^B.$$

This extra power of $r$ is the algebraic origin of the extremal near-horizon scaling. Kunduri and Lucietti derive it in Kunduri and Lucietti 2013, §2.1, Eqs. (6)–(7).

Coordinate freedom and limitations

Changing the initial cross-section, relabeling $x^A$, or rescaling the generator changes the component fields. These are horizon gauge choices, not new spacetimes. A meaningful calculation either fixes them or uses invariant combinations such as the cross-section area, expansion, shear norm, or normal- bundle curvature.

The coordinates are guaranteed only in a tubular neighborhood before the transverse null geodesics develop caustics or intersect. They do not prove that the horizon has a compact global cross-section, that its generators are complete, or that a bifurcation surface exists. Those are global questions. The underlying null-hypersurface construction and non-affinity relation are also developed in Gourgoulhon and Jaramillo 2006, arXiv v2, §§2.3–2.5, pp. 20–24.

Reconstruct the leading metric

In Gaussian null coordinates for a Killing horizon, suppose $h_A=0$, $\gamma_{AB}=\gamma_{AB}^{(0)}+O(r)$, and $g_{vv}=-2\kappa r+O(r^2)$. What changes at a degenerate horizon, and what horizon observables can be read off immediately?

Solution

Degeneracy means $\kappa=0$, so smoothness promotes the norm from a simple zero to at least a double zero: $g_{vv}=r^2F+O(r^3)$. In either case $\gamma_{AB}^{(0)}$ is the intrinsic cross-section metric and determines its area. Stationarity makes $\partial_v\gamma_{AB}=0$, hence the expansion and shear vanish. With $h_A=0$, the chosen normal-bundle connection $\omega_A=-h_A/2$ also vanishes on the section. None of these local facts by itself proves generator completeness or the existence of a second horizon branch.

Generator Completeness and Horizon Components next isolates which endpoint and completeness claims require global assumptions beyond a regular local chart.

References

• Gourgoulhon, Éric, and José Luis Jaramillo. “A 3+1 Perspective on Null Hypersurfaces and Isolated Horizons.” Physics Reports 423 (2006): 159–294. DOI. Open PDF.
• Kunduri, Hari K., and James Lucietti. “Classification of Near-Horizon Geometries of Extremal Black Holes.” Living Reviews in Relativity 16 (2013): 8. DOI.