we-solve (beta)

Phys-71 · physics · mathematics · Physics

Generic C1 future inextendibility near rotating subextremal Kerr

Status OpenLLM status Open unverified

Statement

Definitions and mathematical statement

Statement recorded in the supplied source.
For every fixed Kerr mass $M>0$ and nonzero $|a|<M$, is there a sufficiently small weighted-smooth neighborhood of its asymptotically flat vacuum initial datum in which data admitting a future C1 Lorentzian extension of the full maximal development form a meagre set?

Short English statement

For every fixed Kerr mass $M>0$ and nonzero $|a|<M$, is there a sufficiently small weighted-smooth neighborhood of its asymptotically flat vacuum initial datum in which data admitting a future C1 Lorentzian extension of the full maximal development form a meagre set?

Sources

Statement licence: CC-BY-4.0 · Source file

Contributions 1

Phys-71-A1 · Literature report · LLM-generated · unknown ·

OpenAI claim summary for Phys-71

Near each fixed rotating subextremal two-ended Kerr bridge, a dense $G_\delta$ class of smooth vacuum data is claimed to have no future $C^1$ extension. The question retains these same parameters and conventions. The source excludes C0$\cap$W1,2_loc extensions generically in the specified near-Kerr class. Every C1 extension has that weak regularity, so C1 exclusion follows with the broader extension obstruction. The claimed conclusion supplies the requested case and extends it in the directions just specified.

Generic C1 future inextendibility near rotating subextremal Kerr

OpenAI's claim

The linked manuscripts present the following claims by OpenAI: Near each fixed rotating subextremal two-ended Kerr bridge, a dense $G_\delta$ class of smooth vacuum data is claimed to have no future $C^1$ extension; In the same near-Kerr setting, data permitting a continuous nondegenerate future extension with locally square-integrable weak connection are claimed meagre. Together they give a claimed affirmative answer in the matching scope.

Mathematical statement of the claimed result

Result 1.
Fix a complete two-ended Kerr bridge datum $d_*=(h_*,K_*)$ on $\Sigma\cong\mathbb R\times S^2$, of mass $M>0$ and subextremal nonzero rotation $\mathfrak a$. With a smooth end-radius weight $\rho\ge1$, define \[ p_m(u,v)=\sum_{j=0}^m\left(\sup_\Sigma\rho^{1+j}|\nabla_*^ju|_*+ \sup_\Sigma\rho^{2+j}|\nabla_*^jv|_*\right). \] The data space $\mathcal D$ consists of smooth complete positive-definite $h$, with all $p_m(d-d_*)$ finite, satisfying \[ R(h)+(\operatorname{tr}_hK)^2-|K|_h^2=0,\qquad \operatorname{div}_hK-d(\operatorname{tr}_hK)=0. \] Use the relative topology of all these seminorms and $\mathcal U_\varepsilon=\{d:p_{10}(d-d_*)<\varepsilon\}$. An extension has a smooth time-oriented isometric embedding of the full maximal globally hyperbolic development with image open and strictly contained in a connected Lorentzian four-manifold, and a future timelike $C^1$ curve that exits its image at its endpoint. The ambient extension need not satisfy the vacuum equations or global hyperbolicity. For $0<\mathfrak a<M$, the theorem claims some $\varepsilon_0>0$ and a dense $G_\delta$ subset $\mathcal G\subset\mathcal U_{\varepsilon_0}$ whose data have no such future extension with nondegenerate $C^1$ metric. This is Baire genericity in the stated near-Kerr topology.
Result 2.
Fix a complete two-ended Kerr bridge datum $d_*=(h_*,K_*)$ on $\Sigma\cong\mathbb R\times S^2$, of mass $M>0$ and subextremal nonzero rotation $\mathfrak a$. With a smooth end-radius weight $\rho\ge1$, define \[ p_m(u,v)=\sum_{j=0}^m\left(\sup_\Sigma\rho^{1+j}|\nabla_*^ju|_*+ \sup_\Sigma\rho^{2+j}|\nabla_*^jv|_*\right). \] The data space $\mathcal D$ consists of smooth complete positive-definite $h$, with all $p_m(d-d_*)$ finite, satisfying \[ R(h)+(\operatorname{tr}_hK)^2-|K|_h^2=0,\qquad \operatorname{div}_hK-d(\operatorname{tr}_hK)=0. \] Use the relative topology of all these seminorms and $\mathcal U_\varepsilon=\{d:p_{10}(d-d_*)<\varepsilon\}$. An extension has a smooth time-oriented isometric embedding of the full maximal globally hyperbolic development with image open and strictly contained in a connected Lorentzian four-manifold, and a future timelike $C^1$ curve that exits its image at its endpoint. The ambient extension need not satisfy the vacuum equations or global hyperbolicity. For $0<|\mathfrak a|<M$, the source claims an $\varepsilon>0$ for which \[ \{d\in\mathcal U_\varepsilon:\text{a future extension with }\widetilde g\in C^0\cap W^{1,2}_{\mathrm{loc}}\text{ exists}\} \text{ is meagre}. \] The weak metric is continuous and nondegenerate, and its chart components have square-integrable distributional first derivatives. Its weak Christoffel coefficients are locally $L^2$.

Outline of the argument

Closed transport tests reduce arbitrary exits to selected interior branches. Exact constrained signed packets are propagated nonlinearly through a double-null region and attached to the full development; the observing geodesic records an obstruction to continuously differentiable extension.

Countably many finite-branch tests cover arbitrary weak exits. Exact-data preparation and a nonlinear double-null comparison produce curvature signals along matched observing states; averaged holonomy detects the weak-connection obstruction and yields the category conclusion.

Formal verification

Family 264 has no Lean scope page in this release. Its selected result is not presented as formalized. This site has not executed the Lean code. The scope descriptions do not certify the remaining manuscript arguments.

Status caveat

OpenAI attributes these manuscripts to work by an internal model. Its release cautions that arguments without formalization can contain mistakes. This catalogue has not independently checked the proofs; the labels report the mathematical claims attributed to OpenAI.

Sources

Go to contribution →