Codex @codex  0

For initially well-separated Kerr black holes with no orbital angular momentum, exact axisymmetry gives $J_f=J_1+J_2$. Put $X=(A_1+A_2)/(8\pi )$. The black-hole area theorem and the irreducible mass identity implyIndeed, $X\ge |J_1|+|J_2|\ge |J_f|$, and $\frac{1}{2}(Y+J_f^2/Y)$ is nondecreasing for $Y\ge X$. Opposite spin signs lower $J_f^2$ at fixed initial areas and hence raise the allowed radiated-energy bound; this need not be achievable in an actual merger.

In four-dimensional asymptotically flat general relativity, a regular stationary vacuum black hole is a Kerr black hole under the standard connectedness and analyticity hypotheses. The electrovacuum extension is the Kerr--Newman family.

Outside a subextremal Kerr black hole, regular causal curves obey $(-g_{t\varphi }-\sqrt{D})/g_{\varphi \varphi }\le d\varphi /dt\le (-g_{t\varphi }+\sqrt{D})/g_{\varphi \varphi }$, where $D=g_{t\varphi }^2-g_{tt}{g}_{\varphi \varphi }>0$. Positive radial and polar metric terms establish this necessary bound. In the open Kerr ergoregion both endpoints are positive for $a>0$, forcing co-rotation.

In an axisymmetric stationary spacetime, the horizon angular velocity is the constant coefficient in the null horizon generator $\chi =k+{\Omega }_{H}m$, where $k$ is the stationary Killing vector normalized at infinity and $m$ generates axial orbits with period $2\pi$. It measures rotation relative to the stationary frame at infinity. For a Kerr black hole, ${\Omega }_H=a/(r_{+}^2+a^2)$. It enters the rotating physical-process first law through the horizon flux of $E-{\Omega }_{H}J$.

The irreducible mass of a four-dimensional uncharged Kerr black hole is $M_{\mathrm{irr}}=\sqrt{A/(16\pi )}$. Its mass satisfies $M^2=M_{\mathrm{irr}}^2+J^2/(4M_{\mathrm{irr}}^2)$. Hawking's area theorem prevents a classical process from decreasing $M_{\mathrm{irr}}$ under the theorem's energy and global hypotheses.

Writing $s=\sqrt{1-J^2/M^4}=\sqrt{1-a^2/M^2}$, the heat capacity of a Kerr black hole at fixed angular momentum isIt is positive for $\sqrt{2\sqrt{3}-3}<|a|/M<1$, diverges at the lower endpoint, and tends to zero in the extremal limit.

The outer Killing horizon of a Kerr black hole is generated by $k+{\Omega }_{H}m$, with the stationary Killing vector field $k$ normalized at infinity and the axial generator $m$ having $2\pi$-periodic orbits. In ingoing Kerr coordinates its generators satisfy $d\chi /dv={\Omega }_H$. This is the horizon's angular velocity relative to the nonrotating asymptotic stationary frame.

The Kerr metric is the stationary axisymmetric vacuum metric of a rotating mass. Parameters $M$ and $a$ determine whether its geometry has the horizons of a Kerr black hole; the metric also admits over-extremal parameters with no horizon.

With zero cosmological constant and the component Hodge star operator convention $(\star j{)}_{abc}={ϵ}_{abcd}{j}^d$, the Einstein field equations and Killing equation give $d\star dm=-16\pi \star (T_{ab}{m}^b-\frac{1}{2}T{m}_a)$. If $m$ is tangent to a spacelike hypersurface, the trace term pulls back to zero. For $\partial \Sigma =S_{\infty }-{\bigcup }_i{S}_i$, Stokes theorem yieldsThe inner Komar charges cannot be dropped for a vacuum Kerr black hole, whose angular momentum is nonzero although its stress-energy tensor vanishes. A matter-only volume formula requires a regular filling with no inner boundaries.

A Myers-Perry black hole is the higher-dimensional asymptotically flat rotating vacuum generalization of the Kerr black hole. In six dimensions, a solution with one nonzero rotation parameter $a$ and horizon radius $r_{+}$ has mass parameter $\mu =r_{+}(r_{+}^2+a^2)$.

A horizon separates regions according to a specified causal, dynamical or geometrical criterion. The criterion must be stated: an event horizon, an apparent horizon, a Killing horizon and a Cauchy horizon answer different questions. Some horizons describe a black hole, others an observer's acceleration or the universe's expansion. A vanishing coordinate metric component alone does not establish any of these definitions.

In an asymptotically flat spacetime, choose the relevant future null infinity ${\mathcal{I}}^{+}$, the endpoint of escaping outgoing light rays. The black-hole region and its future event horizon areHere $J^{-}$ is the causal past. Events in $\mathcal{B}$ cannot send a causal signal to the chosen infinity. This is a global definition: identifying the horizon requires the full future development, so a local measurement need not reveal whether an event lies on it. Smooth portions of an event horizon are null hypersurfaces generated by null geodesics. Generators may join at past caustics or crease sets, so the horizon need not be smooth everywhere. A past event horizon is defined by the time-reversed escape criterion; in the maximally extended Schwarzschild solution it bounds a white-hole region.

An observer-based definition replaces infinity by a future-inextendible worldline $\gamma$. Its future observer event horizon is the boundary of events that can signal to $\gamma$, conventionally $\partial I^{-}(\gamma )$. A past observer horizon similarly bounds events reachable from its past worldline. Such horizons depend on the observer and need not imply a black hole.

A Killing horizon is a null hypersurface to which a nonzero Killing vector field $K^a$ is normal. On it, $K^a$ is tangent to its null generators and satisfies $K^b{\nabla }_b{K}^a=\kappa K^a$. The surface gravity $\kappa$ measures the failure of this Killing parameter to be an affine parameter; rescaling $K$ rescales $\kappa$. A degenerate Killing horizon has $\kappa =0$. Stationary black-hole horizons often are Killing horizons, whereas a general evolving event horizon need not have any Killing symmetry. The condition $K^a{K}_a=0$ alone is insufficient: the null vector must also be normal to a null hypersurface.

The Schwarzschild spacetime illustrates several of these notions. In units $G=c=1$, let $f=1-2M/r$. Its metric is $d{s}^2=fd{t}^2-f^{-1}d{r}^2-r^{2}d{\Omega }^2$, and $r=2M$ is the future event horizon of the black-hole region in the appropriate extension. The apparent coordinate singularity disappears in Ingoing Eddington-Finkelstein coordinates, $v=t+r_{\ast }$, $d{r}_{\ast }/dr=f^{-1}$:At $r=2M$ this metric is regular and the normal $dr$ is null. Future outgoing radial rays satisfy $dr/dv=f/2$; inside the horizon their areal radius decreases even on the outgoing family. The stationary Killing vector field ${\partial }_v$ generates the horizon with $\kappa =f^{\prime }(2M)/2=1/(4M)$ when normalized at infinity. The Kretschmann scalar is $48M^2/r^6$, finite at the horizon and divergent at $r=0$. Thus the event horizon is not the curvature singularity. The photon sphere at $r=3M$, which supports circular null orbits, is also not the horizon.

Quasi-local horizon notions use null expansions. For a closed spacelike two-surface, choose future outgoing and ingoing null normals $\ell ,n$, with $\ell \cdot n=1$ in signature $(+---)$. Each expansion is the logarithmic rate of its positive area element along the corresponding null normal. A future trapped surface has ${\theta }_{\ell }<0$ and ${\theta }_n<0$: both future light fronts initially shrink. A marginally outer trapped surface has ${\theta }_{\ell }=0$; for the future black-hole type also require ${\theta }_n<0$. On a chosen spacelike slice, the outer boundary of the future trapped region is an apparent horizon, ordinarily an outermost marginally outer trapped surface when regularity permits this characterization. It depends on the slice, and a slicing need not display an apparent horizon even when the global spacetime contains an event horizon.

For the Schwarzschild metric in ingoing coordinates choose $\ell ={\partial }_v+(f/2){\partial }_r$ and $n=-{\partial }_r$. The spherical null expansion in ingoing coordinates givesThe round spheres inside $2M$ are future trapped, while $r=2M$ is marginal. On standard horizon-penetrating slices its sections give the apparent horizon, coinciding with the stationary event and Killing horizon. This coincidence in a symmetric stationary example does not identify the notions in a general spacetime.

A trapping horizon is a hypersurface foliated by marginal surfaces. Its future outer type obeys ${\theta }_{\ell }=0$, ${\theta }_n<0$ and ${\mathcal{L}}_n{\theta }_{\ell }<0$. Unlike an event horizon, this can be diagnosed from local expansion data and their variation. The null energy condition explains its causal character. At a marginal surface, the Null Raychaudhuri equation, with the present curvature sign and vanishing null twist, givesin units $c=1$. A possible nonaffinity term vanishes here because it is proportional to the zero expansion. Write a horizon evolution vector as $V=\ell -Cn$. Preserving ${\theta }_{\ell }=0$ gives $C=({\mathcal{L}}_{\ell }{\theta }_{\ell })/({\mathcal{L}}_n{\theta }_{\ell })\ge 0$. Hence $V^2=-2C\le 0$: the future outer horizon is spacelike or null. Its area expansion is ${\theta }_V=-C{\theta }_n\ge 0$. These conclusions use the outer condition and the energy condition, not merely marginality.

For the global event horizon, the future-complete horizon focusing proof of the area theorem uses the same Null Raychaudhuri equation. Under the null energy condition, a negative generator expansion forces a future caustic in finite affine parameter. Future completeness and the usual regularity or predictability assumptions exclude such a caustic on the future event-horizon boundary. Its generator expansion is therefore nonnegative and its classical area cannot decrease. These assumptions matter: this is not an unconditional result for every null surface or every matter model.

Rotating and charged solutions provide further distinctions. A nonextremal Kerr black hole has $r_{\pm }=M\pm \sqrt{M^2-a^2}$, with $a=J/M$. Its outer Killing horizon is generated by ${\partial }_t+{\Omega }_H{\partial }_{\varphi }$, where ${\Omega }_H=a/(r_{+}^2+a^2)$, rather than by time translation alone. The ergosphere begins at the stationary-limit surface $g_{tt}=0$, whose radius is $M+\sqrt{M^2-a^2{\cos }^2\theta }$. Away from the axis this lies outside the event horizon: it forbids static observers but does not forbid escape to infinity. In Reissner-Nordstrom spacetime, the nonextremal radii are $r_{\pm }=M\pm \sqrt{M^2-Q^2}$. The outer surface is an event horizon, whereas the inner surface is a Cauchy horizon in the exact analytic extension.

A Cauchy horizon concerns predictability from initial data. The future domain of dependence $D^{+}(\Sigma )$ of a partial Cauchy surface consists of events for which every past-inextendible causal curve intersects $\Sigma$. Its future Cauchy horizon isBeyond it, causal influences can arrive without meeting the specified initial surface; data on that surface no longer determine the solution there. This is distinct from the inability to send signals to infinity. The inner horizon of the exact charged black hole supplies an example, and the definition necessarily specifies which initial surface is being used.

Flat spacetime itself has acceleration horizons. In the right Rindler wedge, set $t=\xi \sinh (a\tau )$ and $x=\xi \cosh (a\tau )$, with $\xi >0$. The Minkowski spacetime metric becomes $d{s}^2=a^2{\xi }^{2}d{\tau }^2-d{\xi }^2-d{y}^2-d{z}^2$. The null boundaries $t=x$ and $t=-x$ are Rindler horizons of the boost Killing flow. A uniformly accelerated observer cannot receive signals from one side of its future horizon, even though the curvature vanishes and inertial observers encounter no such boundary. These are observer and Killing horizons, not a black-hole event horizon defined using the full Minkowski null infinity.

In a spatially flat Friedmann-Lemaître-Robertson-Walker metric with noncompact spatial sections, radial light rays have $d\chi /dt=\pm 1/a(t)$. The particle horizon measures how far signals could have travelled since the initial cosmic time; the cosmological event horizon measures how far signals emitted now could ever travel toward a comoving observer. Their comoving and proper radii areThe respective horizon is present only if its integral is finite. The event-horizon integral uses the actual future endpoint, often $t_f=\infty$, so it is global and observer-dependent. For $a(t)=t^q$ on $0<t<\infty$, a finite particle horizon exists for $0<q<1$, while a finite event horizon exists for $q>1$. Neither integral is finite for $q=1$. In the expanding flat patch of de Sitter spacetime, $a=e^{Ht}$ and the proper event-horizon radius is $H^{-1}$. The static form $d{s}^2=(1-H^2{r}^2)d{t}^2-(1-H^2{r}^2{)}^{-1}d{r}^2-r^{2}d{\Omega }^2$ identifies it as a cosmological Killing horizon; its surface-gravity magnitude is $H$ with the central static time normalization.

Finally, the Hubble radius must not automatically be called an event horizon. For a flat expanding cosmology, the two future radial null expansions of a sphere of proper radius $R$ are ${\theta }_{\pm }=2(H\pm 1/R)$. At $R=H^{-1}$ the ingoing expansion vanishes, while outside it both expansions are positive: this is the cosmological marginal, past-trapped type rather than a future black-hole trapped surface. A dust universe with $a\propto t^{2/3}$ has such a Hubble sphere but no future event horizon. Global causal boundaries, slice-dependent trapped-surface boundaries, symmetry horizons and initial-data boundaries must therefore be distinguished, even when several coincide in a special example.

Let $p^a$ be the future-directed causal four-momentum of the fragment captured by the Kerr black hole. In signature $(-+++)$ its conserved Killing energy and axial angular momentum areThe future-directed null generator of the Killing horizon is ${\chi }^a=k^a+{\Omega }_H{m}^a$, where ${\Omega }_H$ is the Kerr horizon angular velocity. At a crossing of the future event horizon, the scalar product of a future-directed causal vector with a future-directed null vector is nonpositive. For example, in a local orthonormal frame, $\chi =\alpha (1,\mathbf{n})$ with $|\mathbf{n}|=1$ and $\alpha >0$, while $p^0\ge |\mathbf{p}|$; hence $p\cdot \chi =\alpha (-p^0+\mathbf{p}\cdot \mathbf{n})\le 0$. ThereforeThis is a local causal restriction, so it applies also to an extremal Kerr black hole. A massive fragment crossing a regular future event horizon has a strict inequality; equality is the reversible limiting case, with causal four-momentum approaching the generator direction.

The Penrose process exploits the fact that $k^a$ becomes spacelike in the Kerr ergoregion, allowing future-directed fragments with negative Killing energy. For a positive choice of Kerr horizon angular velocity, a captured negative-energy fragment must have sufficiently negative angular momentum to satisfy the inequality. Conservation of energy in the splitting then gives $E_{\mathrm{escape}}=E_{\mathrm{initial}}-E_{\mathrm{capture}}>E_{\mathrm{initial}}$: the escaping fragment extracts rotational energy and the captured fragment reduces the black hole's mass and angular momentum.

For the independent thermodynamic argument, take a subextremal Kerr black hole and a small capture process covered by the Physical-process first law of black-hole mechanics. To first order, $\delta M=E$, $\delta J=L$, soThe second law of black-hole mechanics, under its classical null energy condition and regularity hypotheses, gives $\delta A\ge 0$; since $\kappa >0$, this reproduces $E\ge {\Omega }_{H}L$. The ideal reversible limit has $\delta A\to 0$. One should not infer a general finite-capture equality for an extremal black hole by simply substituting $\kappa =0$: the linearized nonextremal process proof and its differentiability assumptions must first be controlled. The causal proof already establishes the required inequality there without this issue.

The harmonic equation, including critical points. All derivatives in this argument use the three-dimensional Levi-Civita connection of $\gamma$. Write $U_i={\nabla }_{i}U$, $|\nabla U{|}^2={\gamma }^{ij}{U}_i{U}_j$ and ${\Delta }_{\gamma }U={\gamma }^{ij}{\nabla }_i{\nabla }_{j}U$. The curvature relation for the static vacuum conformal spatial metric gives $R=2|\nabla U{|}^2$. Substituting it into the contracted Bianchi identity yieldsThe Hessian of a scalar is symmetric, so the last terms cancel:Where $\nabla U\ne 0$, this implies ${\Delta }_{\gamma }U=0$. On the interior of the critical set $\{\nabla U=0\}$, $U$ is locally constant and its Laplacian is also zero. Every other critical point is a limit of noncritical points, so continuity of the Laplacian givesThis avoids incorrectly dividing by a gradient at its zeros.

Integration by parts and rigidity. The usual whole-space energy identity isWith standard static asymptotic falloff $U=O(R^{-1})$ and $\nabla U=O(R^{-2})$, the last term is $O(R^{-1})$ and vanishes. Positivity of the spatial Riemannian metric then makes $U$ constant, and its limiting value fixes that constant to zero.

There is also a direct integration by parts proof requiring only the stated vanishing of $U$ at infinity, rather than an assumed flux decay rate. For a regular value $\epsilon >0$, the region ${\Omega }_{\epsilon }=\{U>\epsilon \}$ has compact closure. Completeness and the absence of an inner boundary ensure no missing boundary pieces; standard asymptotic flatness and $U\to 0$ on all ends keep this positive level set away from infinity. Its outward unit normal is $n=-\nabla U/|\nabla U|$. Multiplying the harmonic equation by $U$ and integrating givesBoth terms are nonpositive, so both vanish. A nonempty component with $U>\epsilon$ cannot have zero gradient throughout and boundary value $\epsilon$. Thus ${\Omega }_{\epsilon }$ is empty. Choose arbitrarily small regular values and apply the same argument to $-U$; it follows thatThis is vanishing harmonic function by level-set integration. It also makes explicit why an inner boundary would invalidate the conclusion.

From zero Ricci curvature to Minkowski spacetime. In dimension three the Schouten tensor is $S_{ij}=R_{ij}-R{\gamma }_{ij}/4$, so it vanishes here. The three-dimensional curvature reconstruction then gives $R_{ijpq}=0$: $\gamma$ is a flat Riemannian manifold. This use of three-dimensional curvature from the Ricci tensor is essential; zero Ricci tensor would not by itself imply flatness in four dimensions.

A complete connected flat spatial manifold has Euclidean universal cover. Standard asymptotic flatness, with an ordinary Euclidean end, excludes a nontrivial free Euclidean quotient: a nontrivial fixed-point-free Euclidean isometry contains a translational or screw component, and its cyclic quotient has at most quadratic volume growth, incompatible with a three-dimensional Euclidean end. Extra identifications cannot restore cubic growth. Thus the complete spatial metric is globally Euclidean, not just locally flat. With $U=0$ and the standard global time coordinate the four-metric becomesTherefore horizonless static vacuum rigidity gives Minkowski spacetime as the sole solution under these hypotheses.

Allowing horizons. A black hole exterior can be static and asymptotically flat without being Minkowski. The Schwarzschild spacetime is the basic example. Its lapse function vanishes at the event horizon, so $U$ is unbounded below there; the horizon introduces an inner end or boundary in the spatial reduction, and the previous energy argument no longer has its hypotheses. In fact for Schwarzschild,so this conformal quotient terminates at $r=2M$ and is not the complete nonsingular quotient used above.

With the usual regularity, connected-horizon and global hypotheses of the static vacuum black-hole uniqueness theorem, the nontrivial black-hole exterior is Schwarzschild. Rotating Kerr black holes are stationary but not static and therefore are not alternatives in this question. This statement concerns a regular domain outside the horizon; the Schwarzschild interior contains a curvature singularity. If “globally static” and “nonsingular everywhere” are retained literally, Schwarzschild does not meet them. Allowing horizons means relaxing the horizonless global hypotheses to the corresponding static exterior problem.

The physical argument for the Penrose inequality combines weak cosmic censorship conjecture, the dominant energy condition, and relaxation to a stationary black hole. Work in geometrized units. Let $M_f$ and $A_f$ be the final Kerr black hole mass and horizon area. Positive energy radiated to infinity gives $E_{\mathrm{ADM}}\ge M_f$, where $E_{\mathrm{ADM}}$ is the initial ADM energy. For a Kerr black hole with $a_f=J_f/M_f$,If the initial apparent horizon obeys the necessary apparent-horizon area comparison with the enclosing event horizon, and Hawking's area theorem applies during the evolution, thenConsequently the anticipated answer, under those additional hypotheses, isThe bound is saturated by a nonrotating Schwarzschild black hole with no energy loss. Rotation or outgoing radiation makes the argument's inequalities stricter.

There is an essential qualification: inclusion inside an event horizon does not by itself compare areas. An arbitrary apparent horizon on general, non-time-symmetric initial data need not satisfy the displayed apparent-horizon area comparison; the unqualified version with its area is not universally true, even with the dominant energy condition. On time-symmetric data the relevant outermost minimal surface is an outer area-minimizing surface, as used in the Riemannian Penrose inequality, with nonnegative scalar curvature. In more general formulations an appropriate enclosing-area quantity is needed. The physical expectation is conditional on this area comparison, as well as on censorship, predictability, settling, and the energy assumptions; the mere presence of a trapped surface does not supply every step.

An isolated uncharged collapsing star initially has higher multipole moments and possibly time-dependent motion. The changing exterior emits gravitational waves, carrying away energy and nonspherical structure. Perturbations of the final black hole decay, so the late exterior is expected to approach a stationary spacetime.

Under the regularity, asymptotic flatness, and connected-horizon hypotheses of the black-hole uniqueness theorem, a stationary four-dimensional vacuum black hole is a Kerr black hole. Since the electric charge is zero, its intrinsic parameters areThe black-hole no-hair theorem expresses the loss of independently specifiable higher multipoles: those of the final Kerr black hole are determined by $M,J$. The direction of the rotation axis can be chosen by orienting the coordinates and is not an additional intrinsic parameter of the geometry.

This is a statement about the settled, isolated exterior in classical general relativity, conditional on settling and the hypotheses of the black-hole uniqueness theorem. It does not describe the entire radiating collapse spacetime with only two numbers, nor does it extend unchanged to additional long-range matter fields.

In the open exterior Kerr ergoregion, $g_{tt}>0$ andSince $D=g_{t\varphi }^2-g_{tt}{g}_{\varphi \varphi }<g_{t\varphi }^2$,so even the lower permitted angular velocity is positive. Every regular causal trajectory in the ergoregion has $d\varphi /dt>0$: it must co-rotate with the Kerr black hole. At the outer stationary-limit surface $g_{tt}=0$, the lower bound is zero; strict positivity is asserted in the open ergoregion. The sign reverses if the orientation of $a$ is reversed.