Strong cosmic censorship near two-ended Kerr data. Proves local strong cosmic censorship near each fixed rotating subextremal Kerr bridge. A dense Gδ subset of a weighted smooth neighborhood of smooth complete two-ended asymptotically flat vacuum data has full maximal globally hyperbolic developments with no future continuous nondegenerate extension whose weak connection is locally square-integrable. No symmetry is imposed; extensions need not satisfy the vacuum equations.
released 2026-09-23 | 3 theorems · 8 lemmas · 20 proofs · 27,717 words |
PLAY LEVEL 1 »(pdf)
For each fixed rotating subextremal Kerr background with mass M > 0 and rotation $0\lt |\mathfrak a|\lt M$, we prove that the smooth vacuum data near its complete two-ended bridge whose full maximal globally hyperbolic development admits a future $C^0\cap W^{1,2}_{\mathrm{loc}}$ extension form a meagre set in the weighted smooth topology. The extension metric is continuous and nondegenerate, and its weak connection is locally square-integrable. The neighborhood requires smallness of only the tenth weighted seminorm, while the topology tests every finite order.
released 2026-09-23 | 1 theorem · 18 lemmas · 32 proofs · 32,789 words |
PLAY LEVEL 2 »(pdf)
For each fixed Kerr spacetime with mass M > 0 and rotation $0\lt \mathfrak a\lt M$, we prove that a dense Gδ set of nearby smooth, complete two-ended vacuum data has a maximal globally hyperbolic development with no future C1 extension. The neighborhood and genericity are defined in a weighted smooth topology, and ambient extensions may be nonvacuum.
released 2026-09-23 | 1 theorem · 38 lemmas · 76 proofs · 72,439 words |
PLAY LEVEL 3 »(pdf)
For every fixed rotating subextremal Kerr bridge, we prove that smooth vacuum data admitting a C2 future extension of their full maximal globally hyperbolic development form a meagre set in a neighborhood defined by one finite-order seminorm. The topology allows arbitrary symbol-bounded asymptotically flat tails and imposes no symmetry.