Strong cosmic censorship near two-ended Kerr data

2 · Going further

Fix a Kerr background with mass $M>0$ and rotation $0<|\mathfrak{a}|<M$. The main manuscript considers nearby smooth, complete, two-ended, asymptotically flat vacuum initial data and their full maximal globally hyperbolic developments. Its stated conclusion is that data whose developments admit a future $C^0\cap W_{\mathrm{loc}}^{1,2}$ extension form a meagre set in the weighted smooth topology. The extension metric must be continuous and nondegenerate, with locally square-integrable weak connection. The repository summary describes the complementary inextendibility conclusion on a dense $G_{\delta }$ subset of the neighborhood.

The neighborhood and the topology play different roles. In the main manuscript, only the tenth weighted seminorm must be small, while the topology tests every finite order. The family imposes no symmetry, and the proposed extensions need not satisfy the vacuum equations. These are local results near each fixed rotating subextremal Kerr bridge, rather than a statement about all vacuum initial data.

The companion manuscripts treat more regular extensions. Manuscript 2, stated for $0<\mathfrak{a}<M$, shows in the manuscript that a dense $G_{\delta }$ set of nearby data has no future $C^1$ extension. Manuscript 3 states that data admitting a future $C^2$ extension form a meagre set in a neighborhood defined by one finite-order seminorm; it also explicitly allows arbitrary symbol-bounded asymptotically flat tails. Together, the stated conclusions address future inextendibility at successively weaker regularity requirements.

The abstracts describe the organizing approach as identifying extendible data as exceptional in a weighted smooth topology. They do not supply the mechanism or estimates behind the argument; although Manuscript 3 names quantitative near-Kerr evolution in its title, the supplied text does not explain that analysis. No more detailed account of the argument can be extracted from these abstracts.

Useful notions

• Vacuum initial data and spacetime evolution
• Kerr mass and rotation parameters
• Continuity and differentiability
• Weighted smooth topologies
• Meagre sets and dense G-delta sets

What was known before / what is new

Limits and assumptions

The hypotheses require smooth, complete, two-ended, asymptotically flat vacuum data near a fixed Kerr bridge with $M>0$ and $0<|\mathfrak{a}|<M$; Manuscript 2 states the positive-rotation range. Genericity does not mean every nearby datum, and the assertions concern future extensions of the full maximal globally hyperbolic development. The main conclusion excludes extensions only in its specified class: continuous, nondegenerate metrics with locally square-integrable weak connection. The supplied text does not settle extensions outside that class or data outside these neighborhoods, and it lists no further open problems. The main result is not formalized in Lean and has not been formally verified.

Mini glossary

Rotating subextremal Kerr background

—

The reference Kerr spacetime with mass $M>0$ and rotation parameter satisfying $0<|\mathfrak{a}|<M$.

Maximal globally hyperbolic development

—

The largest spacetime evolution determined by the initial data within the globally hyperbolic class.

Meagre set

—

A countable union of nowhere-dense sets, expressing topological exceptionality rather than a numerical probability.

Dense G-delta set

—

A countable intersection of open sets that meets every nonempty open part of the space under consideration.

Weighted smooth topology

—

The topology used here to compare data through weighted seminorms testing every finite order of smoothness.

Locally square-integrable weak connection

—

A connection understood in a weak sense whose coefficients have integrable squares locally.

Keywords : Strong cosmic censorship · Kerr spacetime · Generic inextendibility

AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.

3 · Technical details and sources

Manuscripts in this family