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.
Physical expectation of late-time stationarity
PDF p. 1: §1.1, physical motivation
Postulate
As physical motivation, expect an isolated dynamical black hole to approach a stationary state at late times through persistent emission of gravitational radiation. If such a limiting state is a regular, four-dimensional, asymptotically flat stationary vacuum black hole and the black-hole uniqueness conjecture holds for that state, its domain of outer communications is isometric to a Kerr exterior. In that conditional sense the conjecture would characterize possible asymptotic states of general vacuum evolution.
Here a stationary state has a smooth Lorentzian metric and a Killing field , meaning , which is future timelike near the designated distant end. Vacuum means . For a designated end , the domain of outer communications is : the points that can both be reached from and send a future-directed timelike signal to . An isometry is a diffeomorphism that pulls one metric back to the other. Kerr exteriors here are those of the supplied Kerr metric with , and , including the extremal case ; for example, the supplied subextremal family has , and exterior coordinate range . The expectation itself is not restricted to that subfamily.
For a precise instance of the regularity qualification in the conditional claim, take a specified asymptotically flat spacelike end : in its end chart, the induced metric and second fundamental form satisfy and for some and integer , with the derivative-decay convention of the supplied end interface. Require to be complete and future timelike on a sufficiently distant tail, and let be the flow saturation of that tail. All chronological sets are computed in the ambient spacetime . The black-hole region relative to this end is , required to be nonempty; its event horizon is . In this precise instance, regularity means the supplied Chruściel–Costa -regularity predicate: completeness of , global hyperbolicity of the domain of outer communications, and the specified acausal spacelike section with finite ends and a boundary meeting each future exterior-boundary generator once. This is a particular mathematical formulation of regularity, not an identification with every use of the word regular in the article's qualitative motivation.
The conditional uniqueness assumption for this formulation is explicit: every smooth four-dimensional stationary vacuum spacetime with the preceding end, nonempty black-hole region and -regularity has its domain of outer communications isometric to a Kerr exterior with and . This implication is assumed here, not established. Its application to a limiting state requires that state to satisfy all these hypotheses. The general late-time expectation itself is not restricted to this particular regularity formulation.
For an end admitting the separately hypothesized smooth vacuum Bondi expansion, is retarded time, is the Bondi shear and is the Bondi news, a standard asymptotic radiation datum. The expectation does not assert that every evolution has such an expansion or specify a condition on .
Postulate references
Stationary Lorentzian data and tensor conventions
Causal exterior, chronological boundaries and Cauchy data
A smooth vacuum Bondi expansion
Subextremal Kerr exterior in length coordinates
Asymptotically flat spacelike end and derivative decay
Complete stationary flow and its exterior region
Scope and attribution
The source gives a qualitative expectation and a conditional motivation, not a precise class of initial data, a convergence topology, a decay rate, or a proof that radiation produces stationarity. The phrase persistent emission is retained as the source's physical motivation; no quantitative flux law or assertion of nonzero radiation at every finite time is imposed here. The uniqueness conjecture and the applicability of its regularity hypotheses to a proposed limit are separate conditions. No measurement or empirical confirmation is claimed.
External input
The black-hole-region and event-horizon convention above is the definition immediately after equation (2.9) in Chruściel–Costa section 2.2, PDF page 7. It supplies terminology only; the uniqueness implication remains an explicit assumption and the late-time expectation remains a postulate.
Depends on
- Stationary Lorentzian data and tensor conventions
- Causal exterior, chronological boundaries and Cauchy data
- A smooth vacuum Bondi expansion
- Subextremal Kerr exterior in length coordinates
- Asymptotically flat spacelike end and derivative decay
- Complete stationary flow and its exterior region
- Staticity, axisymmetry and black-hole regularity hypotheses
- Kerr metric, parameters, exterior and extremality
- P. T. Chruściel and J. L. Costa, On uniqueness of stationary vacuum black holes · Section 2.2, PDF/printed p. 7, equation (2.9) and the black-hole-region definition immediately following it.
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
For the flow-saturated asymptotic region M_ext, the black hole region is B = M \ I^-(M_ext), and its event horizon is the ambient boundary of B.
Hypotheses: A time-oriented spacetime with a complete stationary Killing field timelike on the selected asymptotically flat spacelike end; chronological past is computed in the ambient spacetime.
Reading limits: Read the PDF text of section 2.2 through these definitions. This imports only the end-relative black-hole-region convention, without a uniqueness or convergence theorem.
Sources
- The uniqueness of smooth stationary black holes · PDF page 1, §1.1, opening paragraph
- P. T. Chruściel and J. L. Costa, On uniqueness of stationary vacuum black holes · Section 2.2, PDF/printed p. 7, equation (2.9) and the black-hole-region definition immediately following it.