All OpenAI manuscripts

OpenAI · 264-01 · 2026-09-23 · Mathematical physics

Generic Future Inextendibility with Square-Integrable Connection Near a Fixed Kerr Spacetime

preprints/Generic-Future-Inextendibility-with-Square-Integrable-Connection-Near-a-Fixed-Kerr-Spacetime-September-23-2026

Family 264. Strong cosmic censorship near two-ended Kerr data.

The authors are OpenAI. This companion does not verify the proof and does not adopt it as a theorem of Ngo Cheung’s series. It is not a premise. O.1 stays NOT_CLOSED. Anti-de Sitter results are not a de Sitter state, not Em02-E’s relational lapse, not XVI-P’s QdS scheme, and not XVI-Q’s sigma-image record. No quantum coefficient is admitted. No compilation is asserted.

Read against the standing problems

Singularities. Language of censorship or a horizon is not a cosmological curvature singularity and not a bounce. The authors are OpenAI. The companion does not verify the proof. This is not a premise of a manuscript by Ngo Cheung. O.1 stays NOT_CLOSED. No quantum coefficient is admitted. No compilation is asserted. V · XVI-O · XVI-A

Proves local strong cosmic censorship near each fixed rotating subextremal Kerr bridge. A dense 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.

For each fixed rotating subextremal Kerr background with mass M > 0 and rotation , we prove that the smooth vacuum data near its complete two-ended bridge whose full maximal globally hyperbolic development admits a future 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.

Preprint source and Lean scope

The abstract above is the catalogue abstract. The sections below are the full preprint source, 0 sections. This page is not only the abstract. The manuscript file is loading.

No Lean scope note is in the repository for this family. The preprint source below is still the full manuscript, not only the abstract. No compilation is asserted.

  • Singularities

    Kerr censorship is not a cosmological bounce

    Family 264 records strong cosmic censorship near two-ended Kerr data. That statement is not a cosmological curvature singularity and not a bounce. The authors are OpenAI. The companion does not verify those proofs.

    SingularitiesXVI-O kernel countertermV singularity reading