Physics theoremStatement: AI-adaptedProof: AI-generated

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Imported geometric analytic connectedness and degenerate-component exclusions

Statement

In the analytic stationary asymptotically flat $I^{+}$ -regular vacuum class, the rotating geometric connectedness result, the exclusion of any non-rotating degenerate component, and the all-nonrotating/nondegenerate Schwarzschild result have the separate precise source statements recorded below. The general geometric corollary imposes no horizon-connectedness assumption. Its end convention is matched by the separate asymptotic-normal-form application chain.

Facts & Assumptions

[A1]

The field equation is the adopted vacuum model Stationary vacuum model and asymptotic normalization. The precise geometric hypotheses are Geometric data for the analytic multiple-horizon comparison.

[F1]

The positive-area result Positive smooth horizon area and the exact degenerate angular-momentum test supplies $0 < A < \infty$ for a supplied nonempty compact smooth spacelike section and the implication $A = 8 π ∣ J ∣ \Rightarrow J \neq 0$ for any real scalar $J$ . The partition The exhaustive analytic horizon-component case split is exhaustive when its componentwise labels and defining data are supplied. These conditional local results do not supply horizon smoothness, a Killing generator or its normalization. The geometric classification statements are imported in their own terminology as specified in [F7]; their application does not assume that the conditional local horizon interface is automatically satisfied.

[F2]

The imported normal form Stationary vacuum normal form and compatible regularity section applies to the weak stationary vacuum end in [A1]: its decay has $α > 0$ and integer $k > 1$ , and its stationary field is complete, timelike near infinity and normalized there. It supplies adapted stationary coordinates with the stated differentiated Schwarzschild leading term on a sufficiently far-out exterior. Its section-deformation conclusion, proved locally in that supplier, supplies a spacelike connected acausal section containing that time-level end, retaining the compact horizon cross-section boundary and the regularity properties. This clause is used in addition to causal-set invariance.

[F3]

For this canonical end, Canonical stationary end expansions give the precise source slice decay gives $h_{i j} = (1 + 2 m / r) δ_{i j} + o_{2} (r^{- 1})$ and $k_{i j} = o_{2} (r^{- 1})$ , exactly the differentiated decay clauses of Huang–Li–Zhu (H1). The exterior chart comes from the end representative in [A1] and [F2], not from the slice-decay calculation. Only its stated $k_{i j} = o_{2} (r^{- 1})$ conclusion is imported here. The stronger $k_{i j} = o_{2} (r^{- 2})$ estimate needed for [F5] is proved in step 1.1 from [F2] and [F6]. Here $m$ is the Schwarzschild leading coefficient in the normal form; its identification with the ADM mass $M$ in (H1) is proved below.

[F4]

The cofinal-end result Cofinal stationary end representatives have the same causal exterior applies to the complete timelike stationary end and the spacelike representative supplied in [F2]–[F3]. It preserves $I_{M}^{\pm} (M_{e x t})$ , the DOC, horizon and its components when that far-out representative is chosen. Thus the global hyperbolicity in [A1] is unchanged. Completeness of $T$ is already in [A1], and stationarity preserves its timelike norm along the saturated end, giving (H2). The section-deformation clause of [F2] retains the connected acausal finite-end section and its once-only generator intersections required by (H3); this is not inferred from causal-set equality alone. Together [A1], [F2]–[F4] and the ADM computation below supply the source (H1)–(H3), while analyticity and the vacuum equation remain unchanged.

[F5]

Use the ADM surface definition in Gourgoulhon §7.3.1, (7.15), recorded in the fourth reference and External input. In geometric units it is $M_{A D M} = (16 π)^{- 1} \lim_{R \to \infty} \int_{S_{R}} (\partial_{j} h_{i j} - \partial_{i} h_{j j}) s^{i} d A_{h}$ , where $S_{R} = {r = R}$ , $s$ is its outward $h$ -unit normal and $d A_{h}$ its induced area. The hypotheses are $h - δ = O (r^{- 1})$ , $\partial h = O (r^{- 2})$ , $k = O (r^{- 2})$ , $\partial k = O (r^{- 3})$ in the Cartesian end. The metric estimates in [F3] and the local curvature estimate in step 1.1 satisfy these falloffs; existence and value of this limit are proved here. This does not invoke positivity or invariance under arbitrary changes of slice or chart.

[F6]

Use the second-form convention $k (U, V) = - g (\nabla_{U} n, V)$ , with future unit normal $n$ , from Spacelike sections, maximality and lapse–shift data. Gourgoulhon §§4.2.3–4.3.2, (4.43)–(4.48), (4.59)–(4.63), (4.70), (4.74), supplies the kinematic formulas in the fifth reference: $h_{i j} = g_{i j}$ , $β_{i} = g_{0 i}$ , $N^{2} = - g_{00} + h^{i j} β_{i} β_{j}$ , and $2 N k_{i j} = \partial_{i} β_{j} + \partial_{j} β_{i} - 2 Γ^{a}_{i j} β_{a} - \partial_{t} h_{i j}$ , where $N > 0$ and $Γ^{a}_{i j} = \frac{1}{2} h^{a b} (\partial_{i} h_{j b} + \partial_{j} h_{i b} - \partial_{b} h_{i j})$ . The hypotheses are a smooth spacelike foliation, adapted coordinates and this normal/second-form convention. These identities require no field equation. The normal form in [F2] supplies a sufficiently far-out stationary foliation; their local application and differentiated estimates are proved below.

[F7]

In the imported geometric statements, use Huang–Li–Zhu §1, Definitions 1.3–1.5 and the accompanying horizon-preparation paragraph, as part of the source formulation. Non-rotation is tangency of $T$ to each generator everywhere on a component; rotation is its failure somewhere. Definition 1.4 calls the component degenerate when its source-defined surface gravity in $\nabla_{l} l = κ l$ vanishes, and nondegenerate otherwise, using that source's generator convention and horizon preparation. No identification of $l$ with a separately specified local Killing generator, or of its normalization with the stronger conditional local interface, is inferred here. The Main Theorem and final Corollary are imported with that terminology and preparation, at (H1)–(H3), analyticity and vacuum. In particular, the final Corollary has no additional hypothesis supplying the local component data of [F1]. The first reference's rotating geometric consequence is also imported as a complete geometric statement at its stated scope, rather than reconstructed from local labels or a partially checked map class.

Proof

Given: The analytic comparison geometry and adopted vacuum equation in [A1], the end-bridge results [F2]–[F4], the ADM definition [F5], the kinematic identities [F6] and the imported geometric classification statements with source terminology [F7].

Goal: Verify the stronger curvature falloffs and ADM identification, and apply the geometric imports without presuming the conditional local horizon data.

1.1F2F3F6algebra

On the stationary normal-form end of [F2], [F3] makes $h$ positive definite for large $r$ , and [F6] gives $β_{i} = o_{3} (r^{- 1})$ and $N^{2} = - g_{00} + h^{i j} β_{i} β_{j}$ . Inverting $h = δ + O_{3} (r^{- 1})$ and differentiating the identity $h^{- 1} h = I$ gives $h^{- 1} = δ + O_{3} (r^{- 1})$ . Thus $N \to 1$ , $N^{- 1} - 1 = O_{3} (r^{- 1})$ , and the Christoffel formula in [F6] gives $Γ = O_{2} (r^{- 2})$ . Since $T = \partial_{t}$ is Killing, $\partial_{t} h = 0$ . For each derivative order $0 \leq a \leq 2$ , the derivatives of $\partial_{i} β_{j}$ are $o (r^{- 2 - a})$ ; by the product rule the derivatives of $Γ^{b}_{i j} β_{b}$ are $o (r^{- 3 - a})$ . Substitution in the second-form identity in [F6], including derivatives of $N^{- 1}$ , therefore proves $k = o_{2} (r^{- 2})$ . In particular $k = O (r^{- 2})$ and $\partial k = O (r^{- 3})$ , as required in [F5]. This estimate is proved here from the normal-form data, without importing an unstated stronger conclusion from the slice supplier.

1.2F3algebra

On the Cartesian canonical end write $h_{i j} = (1 + 2 m / r) δ_{i j} + q_{i j}$ , with $q = o_{2} (r^{- 1})$ by [F3]. Repeated indices are summed from $1$ to $3$ . Since $\partial_{i} (r^{- 1}) = - x^{i} / r^{3}$ , one has $\partial_{j} h_{i j} = - 2 m x^{i} / r^{3} + \partial_{j} q_{i j}$ and $\partial_{i} h_{j j} = - 6 m x^{i} / r^{3} + \partial_{i} q_{j j}$ . Thus $B_{i} : = \partial_{j} h_{i j} - \partial_{i} h_{j j} = 4 m x^{i} / r^{3} + o (r^{- 2})$ , uniformly in angle. With the outward Euclidean normal $n^{i} = x^{i} / R$ this gives $B_{i} n^{i} = 4 m / R^{2} + o (R^{- 2})$ on $S_{R}$ .

2.1F3F5step 1.1step 1.2algebra

The Euclidean sphere parametrization $X (θ, ϕ) = R (\sin θ \cos ϕ, \sin θ \sin ϕ, \cos θ)$ has tangent Gram matrix $diag (R^{2}, R^{2} \sin^{2} θ)$ , so $d S_{δ} = R^{2} \sin θ d θ d ϕ$ and its total area is $4 π R^{2}$ . The coordinate poles and meridian omitted from this chart have area zero. Since $h = δ + O (R^{- 1})$ , restriction to Euclidean orthonormal tangent frames gives $d A_{h} = (1 + O (R^{- 1})) d S_{δ}$ . Also $s^{i} = h^{i j} n_{j} / (h^{a b} n_{a} n_{b})^{1 / 2} = n^{i} + O (R^{- 1})$ . Both estimates are uniform. As $B_{i} = O (R^{- 2})$ , replacing $s^{i} d A_{h}$ by $n^{i} d S_{δ}$ changes its integral by $O (R^{- 1})$ . Step 1.2 then gives $\int_{S_{R}} B_{i} s^{i} d A_{h} = 16 π m + o (1)$ . Consequently the limit in [F5] exists and $M_{A D M} = m$ . This is a local calculation from the differentiated expansion, not an imported mass-identification assertion.

3.1A1F2F3F4F5step 1.1step 2.1

The exterior chart supplied by [A1] and [F2] and the decay in [F3], together with $M_{A D M} = m$ from step 2.1, verify all clauses of Huang–Li–Zhu (H1). The locally proved $k = o_{2} (r^{- 2})$ estimate in step 1.1 verifies the extrinsic-curvature falloffs needed in [F5]. For (H2), stationarity transports the timelike norm of the complete stationary field along the chosen saturated end. For (H3), [F4] preserves the DOC and its global hyperbolicity, while the section-deformation conclusion proved in the normal-form supplier supplies a section containing the canonical end with the specified compact core, finite ends, boundary and generator intersections. Analyticity and the adopted vacuum equation are unchanged. Thus the original comparison hypotheses admit the exact end representation used by the cited source.

4.1A1F1F7step 3.1

Apply the separate imported geometric statements using their source terminology in [F7], after step 3.1 verifies their end hypotheses. The rotating analytic consequence gives axisymmetry and connectedness. In that regular stationary axisymmetric smooth vacuum spacetime, the cited Lemma 1.7 supplies $A_{i} = 8 π ∣ J_{i} ∣$ and its following paragraph supplies positive area; the arbitrary-scalar implication in [F1] therefore gives $J_{i} \neq 0$ for each degenerate component, without identifying this source charge with an independently normalized local Komar functional. The Main Theorem excludes a non-rotating degenerate component even if other components rotate. The source's all-nonrotating/nondegenerate consequence gives Schwarzschild. Each is applied as the cited geometric statement, including its source horizon preparation, rather than by asserting existence of the stronger local generator data.

5.1A1F1F7step 3.1step 4.1∎

For comparison, whenever the additional component data of [F1] are supplied, the local partition lemma gives the three alternatives: some rotating component, all components non-rotating and nondegenerate, or all non-rotating with a degenerate component. That conditional partition supplies no such data for the base geometry. For the general conclusion under [A1] alone, apply instead the imported final analytic Kerr Corollary in [F7] and External input directly: step 3.1 supplies (H1)–(H3), analyticity and vacuum for the same DOC. The corollary imposes no horizon-connectedness hypothesis and requires no correspondence with the conditional local Killing-generator convention. Thus the general conclusion and all separate geometric source statements retain their original scope; the locally authored work supplies the end and ADM verification, not a reconstruction of the classification proofs.

External input

Under the standard analyticity, asymptotic-flatness and $I^{+}$ -regularity hypotheses, a stationary vacuum black hole with at least one rotating horizon component is axisymmetric even when the horizon is disconnected. The stated geometric consequence of the balance result then forces the horizon to be connected, and the connected-horizon uniqueness result identifies its domain of outer communications with Kerr.

In a four-dimensional stationary, asymptotically flat, $I^{+}$ -regular, analytic vacuum spacetime, no connected component of the future event horizon can be simultaneously non-rotating and degenerate. The horizon may be disconnected, and the statement applies even when other components rotate.

In a regular stationary axisymmetric smooth vacuum spacetime, for a degenerate horizon component, its area and angular momentum obey $A_{i} = 8 π ∣ J_{i} ∣$ , with $A_{i} > 0$ for a smooth nonempty cross-section. In the stationary asymptotically flat $I^{+}$ -regular analytic vacuum class, if every horizon component is non-rotating and nondegenerate, the source's stated staticity/classification consequence is Schwarzschild and hence a connected horizon. Combining the rotating case and the Main Theorem, its final Corollary identifies the DOC with Kerr without imposing horizon connectedness.

Gourgoulhon §7.3.1, (7.15), supplies the Cartesian ADM surface definition in [F5], under the falloffs (7.1)–(7.4) of §7.2.1. Its normal and area are those induced by $h$ . Only this definition is imported; the existence and value of the limit on the present end are the local calculation in steps 1.1–2.1. ADM definition, (7.15).

The geometric classifications above use the cited sources' own horizon terminology and preparation. Huang–Li–Zhu §1, Definitions 1.3–1.5, fixes the rotation, surface-gravity and axisymmetry conventions used in [F7]; its Main Theorem and final Corollary do not assume separately specified local Killing-generator data. Their statements are imported at their own scope. Source terminology and geometric statements.

Gourgoulhon (4.43)–(4.48), (4.59)–(4.63), (4.70) and (4.74) supplies the lapse–shift, second-form and Christoffel formulas recorded in [F6], for a smooth spacelike foliation in adapted coordinates with $N > 0$ and $k (U, V) = - g (\nabla_{U} n, V)$ . Only these kinematic identities are imported; the $o_{2} (r^{- 2})$ estimate is the local calculation in step 1.1. Kinematic identities, §§4.2.3–4.3.2.

Depends on

Used by · 1

Exclusion of regular analytic multiple horizons

Dependency tree · 2 levels

Each result is drawn at its shortest distance from this item. Arrows run from prerequisites to the items that use them; this item has a heavier outline. External source nodes link directly to the cited text. The view shows up to two dependency steps; open a prerequisite to continue.

External dependencies

Han–Khuri–Weinstein–Xiong, Kerr Black Hole Uniqueness · §1, geometric consequence immediately after Theorem 1.1: paragraph beginning “Under the standard analyticity, asymptotic flatness, and I-plus-regularity hypotheses”; Theorem 1.1 supplies the underlying negative angle defects in its map class

Under the standard analyticity, asymptotic-flatness and $I^+$-regularity hypotheses, a stationary vacuum black hole with at least one rotating horizon component is axisymmetric even when the horizon is disconnected. The stated geometric consequence of the balance result then forces the horizon to be connected, and the connected-horizon uniqueness result identifies its domain of outer communications with Kerr.

Hypotheses: Four-dimensional stationary asymptotically flat I-plus-regular analytic vacuum black-hole geometry with at least one rotating horizon component. This is the source’s explicitly stated geometric consequence, not an application of its map-class Theorem 1.1 with unverified hypotheses. The narrower theorem requires its full mixed-rod map class and nonzero J on degenerate rods; those requirements are not deleted from that theorem.

Reading limits: For this repair, read the v1 HTML §1 setting, Theorem 1.1, its immediately following rotating analytic geometric-consequence paragraph and §2.1 map-class assumptions. Import the separately stated geometric consequence. The global reduction and §§3–6 balance proof were not reconstructed; no independent source-proof review is claimed.

Huang–Li–Zhu, Nonexistence of Multiple Black Holes in Stationary Analytic Vacuum Spacetimes · §1, Main Theorem “Nonexistence of non-rotating and degenerate black holes”, printed p.4; preceding (H1)–(H3) and Definitions 1.3–1.5, printed pp.2–3

In a four-dimensional stationary, asymptotically flat, $I^+$-regular, analytic vacuum spacetime, no connected component of the future event horizon can be simultaneously non-rotating and degenerate. The horizon may be disconnected, and the statement applies even when other components rotate.

Hypotheses: The source (H1) requires a spacelike Cartesian exterior with h_ij=(1+2M/r)delta_ij+o_2(r^-1), k_ij=o_2(r^-1), with M the ADM mass in geometric units. (H2) requires the stationary Killing field timelike on the saturated end. (H3) requires complete T, globally hyperbolic DOC and the specified connected acausal finite-end section with once-only future-horizon generator intersections. The metric is analytic and Ricci-flat. Rotation and degeneracy are used in the source’s Definitions 1.3–1.4 and horizon preparation: non-rotation is stationary tangency to the generators everywhere; degeneracy is vanishing of its source-defined surface gravity. No correspondence with separately specified local Killing-generator data is assumed. The local normal-form input and slice/causal intermediates match the end convention without adding it as a new original hypothesis.

Reading limits: For this repair, read v1 HTML §1 (H1)–(H3), Definitions 1.2–1.5 and the intervening horizon-preparation paragraph, the Main Theorem and its mixed-rotation scope paragraph. Import its classification in its own horizon terminology, without reconstructing that preparation or identifying its generator normalization with the conditional local interface. Read the current three end-bridge interfaces and the slice calculation. The stronger curvature decay and ADM identification are proved locally below. No PDF visual inspection or reconstruction of §§2–4 is claimed.

Huang–Li–Zhu, Nonexistence of Multiple Black Holes in Stationary Analytic Vacuum Spacetimes · §1, Lemma 1.7 and following regularity/positive-area paragraph; all-nonrotating nondegenerate paragraph immediately before the Main Theorem; final Corollary “Uniqueness of stationary, asymptotically flat, analytic vacuum spacetimes”, printed p.4

In a regular stationary axisymmetric smooth vacuum spacetime, for a degenerate horizon component, its area and angular momentum obey $A_i=8\pi|\mathcal J_i|$, with $A_i>0$ for a smooth nonempty cross-section. In the stationary asymptotically flat $I^+$-regular analytic vacuum class, if every horizon component is non-rotating and nondegenerate, the source's stated staticity/classification consequence is Schwarzschild and hence a connected horizon. Combining the rotating case and the Main Theorem, its final Corollary identifies the DOC with Kerr without imposing horizon connectedness.

Hypotheses: The area relation uses a regular stationary axisymmetric smooth vacuum spacetime and the component’s smooth cross-section, ensured in the stated I-plus-regular black-hole setting. The all-nonrotating branch assumes all components nondegenerate; it is not deduced from the local single-bifurcation-sphere supplier. The source’s final Corollary and all analytic geometric consequences retain (H1)–(H3), analyticity and vacuum as recorded in the preceding source reference.

Reading limits: For this repair, read v1 HTML §1 Lemma 1.7 and the ensuing regularity/positive-area explanation, the all-nonrotating/nondegenerate paragraph, and the final Corollary. The area-relation, maximal-slice and static-classification proofs cited there were not reconstructed. Import those geometric statements with their source terminology and preparation; no PDF visual inspection or proof audit is claimed.

Eric Gourgoulhon, 3+1 Formalism and Bases of Numerical Relativity · §7.2.1, (7.1)–(7.4), printed p.104; §7.3.1, (7.13)–(7.15), printed p.106 (PDF pages 104 and 106).

The Cartesian ADM mass is $M_{\rm ADM}=(16\pi)^{-1}\lim_{R\to\infty}\int_{S_R}(\partial_jh_{ij}-\partial_ih_{jj})s^i\,dA_h$, with outward $h$-unit normal $s$ and induced area $dA_h$, in geometric units.

Hypotheses: A spacelike asymptotically flat end with Cartesian flat background, $h-\delta=O(r^{-1})$, $\partial h=O(r^{-2})$, $k=O(r^{-2})$, $\partial k=O(r^{-3})$, and spheres tending to spatial infinity. Only the surface definition is imported; existence of its limit for this end is proved below.

Reading limits: Read browser-extracted PDF §7.2.1 and §7.3.1 through (7.15), including normal and area conventions. No Hamiltonian derivation, positivity, coordinate-invariance or slice-invariance theorem is imported.

Eric Gourgoulhon, 3+1 Formalism and Bases of Numerical Relativity — kinematic identities · §4.2.3, (4.43)–(4.48), printed pp.57–58; §§4.3.1–4.3.2, (4.59)–(4.63), (4.70), (4.74), printed pp.59–60 (PDF pages 57–60, one-based).

In adapted foliation coordinates, $h_{ij}=g_{ij}$, $\beta_i=g_{0i}$, $N^2=-g_{00}+h^{ij}\beta_i\beta_j$, and $2Nk_{ij}=\partial_i\beta_j+\partial_j\beta_i-2\Gamma^a{}_{ij}\beta_a-\partial_t h_{ij}$, with $\Gamma^a{}_{ij}=\tfrac12 h^{ab}(\partial_i h_{jb}+\partial_j h_{ib}-\partial_b h_{ij})$.

Hypotheses: A smooth spacelike foliation of a time-oriented Lorentzian spacetime, adapted coordinates with positive lapse $N$, future unit normal $n$, and second fundamental form $k(U,V)=-g(\nabla_U n,V)$. These are kinematic identities; no Einstein equation, global foliation or asymptotic falloff is needed for their local use.

Reading limits: Read browser-extracted PDF §4.2.3 through (4.48), and §§4.3.1–4.3.2 through (4.74), including (4.59)–(4.63) and (4.70). Only the metric decomposition and kinematic second-form/Christoffel identities are imported, not the dynamical field equations or any decay theorem. The stationary differentiated decay estimate is proved locally. No PDF visual inspection or independent proof audit is claimed.

Sources

Han–Khuri–Weinstein–Xiong, Kerr Black Hole Uniqueness · §1, geometric consequence immediately after Theorem 1.1: paragraph beginning “Under the standard analyticity, asymptotic flatness, and I-plus-regularity hypotheses”; Theorem 1.1 supplies the underlying negative angle defects in its map class
Huang–Li–Zhu, Nonexistence of Multiple Black Holes in Stationary Analytic Vacuum Spacetimes · §1, Main Theorem “Nonexistence of non-rotating and degenerate black holes”, printed p.4; preceding (H1)–(H3) and Definitions 1.3–1.5, printed pp.2–3
Huang–Li–Zhu, Nonexistence of Multiple Black Holes in Stationary Analytic Vacuum Spacetimes · §1, Lemma 1.7 and following regularity/positive-area paragraph; all-nonrotating nondegenerate paragraph immediately before the Main Theorem; final Corollary “Uniqueness of stationary, asymptotically flat, analytic vacuum spacetimes”, printed p.4
Eric Gourgoulhon, 3+1 Formalism and Bases of Numerical Relativity · §7.2.1, (7.1)–(7.4), printed p.104; §7.3.1, (7.13)–(7.15), printed p.106 (PDF pages 104 and 106).
Eric Gourgoulhon, 3+1 Formalism and Bases of Numerical Relativity — kinematic identities · §4.2.3, (4.43)–(4.48), printed pp.57–58; §§4.3.1–4.3.2, (4.59)–(4.63), (4.70), (4.74), printed pp.59–60 (PDF pages 57–60, one-based).