Alphabeta Math
TheoremStatement: AI-adaptedProof: Literature-sourced
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.

Rotating Kerr admits local stationary vacuum deformations with an axial obstruction

Statement

Let g be rotating Kerr with 0<a<m, stationary field T and axial field Z. Write E=I−(Mend)∩I+(Mend) and H−=∂I+(Mend) using the conventions of Causal exterior, chronological boundaries and Cauchy data. For any open U0 meeting H−∩E‾, the Ionescu–Klainerman construction supplies a smaller open neighborhood U⊂U0, diffeomorphic to the open four-ball and meeting H−, and a smooth Lorentzian metric g~ with

Ric⁡(g~)=0,LTg~=0,g~=g on U∖E.

The Kerr axial field from the matching side does not extend to a Killing field on all of U commuting with T. In the local collar construction the matching interior open side O is connected and nonempty, and this is nonextendibility of the prescribed axial field there. Thus (U,O,g,g~,T,Z) gives the obstructed relative datum of Relative stationary deformation and extension obstruction. Its regular off-axis Kerr coordinates are those of Analytic Kerr coordinates across the chosen nondegenerate horizon. This is a local vacuum deformation, not a globally regular asymptotically flat stationary black-hole counterexample.

Facts & Assumptions

[F1]

Causal exterior and chronological-boundary notation use Causal exterior, chronological boundaries and Cauchy data.

[F2]

The relative extension problem is the specified field on a connected Kerr-matching open side. Relative stationary deformation and extension obstruction

[F3]

The selected Kerr horizon chart is regular and analytic and carries commuting coordinate fields T,Z. Analytic Kerr coordinates across the chosen nondegenerate horizon

[F4]

The independent deformation theorem and its local collar construction provide the existence and nonextension assertions above.

[F5]

The Ricci tensor in the vacuum equation is the contraction of the curvature of the metric-selected connection, as defined in clause (c) of The Riemann curvature operator and the derived Ricci, scalar and Einstein tensors.

External input

Theorem 1.3 supplies the smooth vacuum metric, retained stationary field and prohibited commuting axial extension. The construction in §3 takes a regular horizon collar off the axis and bifurcation sphere; §3.2 identifies the matching interior side, and the proof starting on p. 23 carries the prescribed axial data from that side into its contradiction. The straightened horizon coordinates on p. 26 permit the matching collar to be taken connected. The existence and nonextension inputs are imported, not locally reconstructed. The source quantifies over a neighborhood U0 and produces U; it does not claim that the resulting metric fails to be Kerr in every subneighborhood of the original point.

Depends on

Used by · 1

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

Ionescu–Klainerman, On the local extension of Killing vector-fields in Ricci flat manifolds · §1 Theorem 1.3, printed/PDF p. 4; §3.2 pp. 19–20; proof of Theorem 1.3 pp. 23–27, especially (3.39) and the horizon coordinates on p. 26

For rotating subextremal Kerr 0<a<m, every open U0 meeting the past horizon in the closure of the exterior contains a ball-like local neighborhood U and a smooth Ricci-flat deformation retaining T and agreeing with Kerr on the non-exterior side, for which the Kerr axial Killing field from the matching side has no global Killing extension commuting with T. The local construction may be taken in the off-axis horizon collar, with the matching interior side connected.

Hypotheses: E is the Kerr domain of outer communications; H− is the boundary of its white-hole region, and U0∩H−∩closure(E) is nonempty. The construction chooses an off-axis point away from the bifurcation sphere; U is diffeomorphic to the open four-ball. No global completeness, asymptotic flatness of the deformation, or bifurcation sphere in U is assumed.

Reading limits: Read Theorem 1.3 p. 4, §3 opening setup pp. 14–15, regular coordinates (3.3)–(3.5), §3.2 domain and matching-side setup pp. 19–20, and the proof text pp. 23–27. In particular the obstruction is to extending the matching axial field, and the proof uses its values along the matching horizon collar; p. 26 straightens that horizon. The characteristic construction and its differential estimates are imported, not independently reconstructed or reviewed. No assertion of failure of Kerr isometry in every smaller germ is imported.

Sources