Alphabeta Math

1 · Prerequisites

2 · Summary

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

DefinitionDefinition: AI-adaptedProof: Not applicableprecheck passverified 2026-10-22 (gpt-6.1-sol)Open item page →

A quantitative continuation and bootstrap contract

Definition

Fix one evolution problem, its state space and its declared classical solution class. For the general-relativity application here, use one fixed periodic symmetric-hyperbolic system on $T_{2 π}^{3}$ with integer regularity $s \geq 5$ , a fixed coordinate gauge and reconstruction, smooth coefficient maps on an open state domain $O$ , symmetric principal matrices and a positive time matrix. The relevant fixed-gauge context is the one defined by def-gr-fx-fixed-gauge-data-topology: one coefficient family and one matter branch, compact state sets $K_{0} \subset int K_{1} \subset int K_{2} \subset O$ , a uniform positive lower and finite upper bound for $A^{0}$ on $K_{2}$ , and separate bounds $R_{z}, R_{t}$ for the state and its time derivative. The state components are divided by their fixed unit scales before their Euclidean-valued Sobolev norms are formed; these are coordinate norms and do not quotient by diffeomorphisms. On each compact time slab, the resulting normalized state $u$ belongs to $L^{\infty} H^{s} \cap C^{0} H^{s - 1}$ and has $\partial_{t} u \in L^{\infty} H^{s - 1}$ .

A forward solution is given on $[0, T_{\max})$ , where $T_{\max} \in (0, \infty]$ . It is maximal in this solution class if, when $T_{\max} < \infty$ , no solution on $[0, T_{\max} + ρ)$ for any $ρ > 0$ agrees with it on $[0, T_{\max})$ . Let $E_{r a w}$ be a specified nonnegative scalar functional of the solution, continuous on every compact subinterval of $[0, T_{\max})$ . If $E_{r a w}$ has physical units, choose a fixed positive scale $E_{*}$ with the same units and set $E = E_{r a w} / E_{*}$ . If $E_{r a w}$ is dimensionless, set $E = E_{r a w}$ . In either case $E$ is dimensionless. In the general-relativity convention the time coordinate is $x^{0} = c t_{p h y s}$ in metres; choose a fixed length scale $L_{*} > 0$ and use the dimensionless time $t = x^{0} / L_{*}$ . Thus $\partial_{t} = L_{*} \partial_{x^{0}}$ . The fixed-gauge bound $R_{t}$ is on $\partial_{x^{0}} u$ and has units $m^{- 1}$ ; the corresponding bound with respect to $t$ is $L_{*} R_{t}$ . The constants $A$ , $ϵ$ and $η$ below are dimensionless as well. In a purely mathematical application, take these variables as real scalars without a physical interpretation.

Specify a finite list of dimensionless margin functions $m_{j} : [0, T_{\max}) \to R$ and thresholds $μ_{j} > 0$ . Write $M (T)$ when $m_{j} (t) \geq μ_{j}$ for every listed $j$ and every $0 \leq t < T$ . The continuation criterion is a separate result for the chosen evolution problem: if a solution has a finite right endpoint $T$ with $E (t) \leq η$ for every $0 \leq t < T$ and $M (T)$ , then it extends past $T$ in the same solution class.

For constants $A > 0$ , $ϵ > 0$ and $η > 0$ with $2 A ϵ^{2} < η$ , a bootstrap estimate is the implication, required on every finite $T < T_{\max}$ ,

$[E (t) \leq 2 A ϵ^{2} for all 0 \leq t \leq T] ⟹ [E (t) \leq A ϵ^{2} for all 0 \leq t \leq T] .$

This contract records the continuity and continuation inputs needed by an application. It does not itself prove the bootstrap estimate, the margin bounds, or any Einstein evolution estimate.

Definition references

Fixed-gauge finite-slab data and solution topology

Finite-slab stability in a fixed hyperbolic gauge

Metivier, Chapter 3, §§3.3–3.5

Wang, §6.3

Klainerman and Szeftel, abstract and §1.2.1

Jaramillo, Valiente Kroon and Gourgoulhon, §§1.2.1 and 2.2

Remarks

The fixed-gauge context is the one in Fixed-gauge finite-slab data and solution topology. The finite-slab supplier Finite-slab stability in a fixed hyperbolic gauge assumes Countable Choice and Dependent Choice and proves only the stated fixed-gauge finite-time comparison and neighborhood results under its compact-state, regularity, constraint, matter, gauge and reconstruction hypotheses. It does not supply the improvement implication or continuation margins in this definition, and its proof is not uniform as the finite slab length tends to infinity.

TheoremStatement: AI-adaptedProof: AI-generatedprecheck passverified 2026-10-22 (gpt-6.1-sol)Open item page →

Open-closed bootstrap continuation

Statement

Let a solution of a fixed evolution problem be maximal on $[0, T_{\max})$ and satisfy the preceding continuation and bootstrap contract, with its constants $A, ϵ, η$ and initial bound $E (0) < A ϵ^{2}$ . If the bootstrap improvement holds on every compact subinterval, then $E (t) \leq A ϵ^{2}$ for all $t < T_{\max}$ . If the listed margins persist throughout the interval, then $T_{\max} = \infty$ .

Statement references

A quantitative continuation and bootstrap contract

Greatest lower bound (infimum)

Every nonempty set bounded below has an infimum

Metivier, Chapter 3, §§3.3–3.5

Wang, §6.3

Klainerman and Szeftel, abstract and §1.2.1

Jaramillo, Valiente Kroon and Gourgoulhon, §§1.2.1 and 2.2

Facts & Assumptions

Given: A right-maximal solution on $[0, T_{\max})$ ; continuous $E : [0, T_{\max}) \to [0, \infty)$ ; constants $A, ϵ, η > 0$ with $2 A ϵ^{2} < η$ ; the initial bound $E (0) < A ϵ^{2}$ ; the stated improvement implication on every compact subinterval; and the specified continuation criterion and margin functions.

[F1]

A quantitative continuation and bootstrap contract: on each finite $[0, T] \subset [0, T_{\max})$ , $E \leq 2 A ϵ^{2}$ implies $E \leq A ϵ^{2}$ ; a finite maximal endpoint extends if $E (t) \leq η$ for every $t < T$ and all listed margins stay above their thresholds.

[F2]

Greatest lower bound (infimum): $τ = \inf S$ means that $τ$ is a lower bound of $S$ and is at least every other lower bound.

[F3]

Every nonempty set bounded below has an infimum: every nonempty real set bounded below has an infimum; the proof derives this from the complete ordered field structure and uses no choice axiom.

Proof

1.1givenF1F2F3algebra

Fix a finite $T < T_{\max}$ and let $S_{T} = {t \in [0, T] : E (t) \geq 2 A ϵ^{2}}$ . If $S_{T}$ is nonempty, [F3] gives $τ = \inf S_{T}$ . Since $0$ is a lower bound and every element of $S_{T}$ is at most $T$ , [F2] gives $0 \leq τ \leq T$ ; continuity and $E (0) < A ϵ^{2}$ then give $τ > 0$ . Since $τ$ is a lower bound, $E (t) < 2 A ϵ^{2}$ for every $t < τ$ . If $E (τ) > 2 A ϵ^{2}$ , continuity would put points just below $τ$ in $S_{T}$ , contradicting that it is a lower bound; hence $E (τ) \leq 2 A ϵ^{2}$ . If $τ = T$ , nonemptiness and $\inf S_{T} = T$ force $T \in S_{T}$ , so equality holds. If $τ < T$ and $E (τ) < 2 A ϵ^{2}$ , continuity gives $0 < δ < T - τ$ such that $E (t) < 2 A ϵ^{2}$ on $[τ, τ + δ)$ ; no point of $S_{T}$ lies below $τ$ or in this neighborhood, so $τ + δ / 2$ is a larger lower bound, contradicting [F2]. Thus in either case $E (τ) = 2 A ϵ^{2}$ . The improvement in [F1] on $[0, τ]$ gives $E (τ) \leq A ϵ^{2}$ , a contradiction. Hence $S_{T} = \emptyset$ .

2.1givenF1step 1.1algebra

Since $S_{T} = \emptyset$ , $E (t) < 2 A ϵ^{2}$ on $[0, T]$ . Applying [F1] gives $E (t) \leq A ϵ^{2}$ on $[0, T]$ . The choice of finite $T < T_{\max}$ was arbitrary, so this bound holds throughout the maximal interval.

3.1givenF1step 2.1algebra∎

If $T_{\max} < \infty$ and the margins persist, step 2.1 gives $E (t) \leq A ϵ^{2} < η$ for every $t < T_{\max}$ . The continuation criterion in [F1] then extends the solution past $T_{\max}$ , contradicting maximality. Therefore $T_{\max} = \infty$ .

Remarks

The continuity proof uses only the real infimum property and the stated implication; it uses no choice principle. Applying it to the fixed general-relativity solution class still requires the exact hypotheses of Finite-slab stability in a fixed hyperbolic gauge, including that supplier's Countable Choice and Dependent Choice assumptions. No PDE decay, null-structure estimate, optical function, trapped-ray estimate, gauge control, or final-parameter modulation is proved here.

RemarkRemark: Literature-sourcedProof: Not applicableverified 2026-10-22 (gpt-6.1-sol)Open item page →

Scope of the accessed small-angular-momentum Kerr work

Remark

For the mathematical terms, let $(M, g, N)$ be a time-oriented smooth Lorentzian four-manifold and $ι : Σ_{0} ↪ M$ a spacelike embedded three-manifold. Vacuum initial data mean $(Σ_{0}, h_{0}, K_{0})$ , where $h_{0} = ι^{*} g$ and $K_{0} (V, W) = g (\nabla_{V} n, W)$ for tangent vectors $V, W$ and the unique future-directed unit normal $n$ ; the data satisfy the matter-free, zero-cosmological-constant specialization of the initial-data constraints. Here the vacuum Einstein equation means $Ric (g) = 0$ with the curvature convention defining its Ricci tensor. A Cauchy hypersurface is a spacelike embedded hypersurface met exactly once, in parameter value, by every inextendible causal curve. A future globally hyperbolic development is a time-oriented Lorentzian solution with an embedding of $Σ_{0}$ as a Cauchy hypersurface inducing $h_{0}$ and $K_{0}$ . The local Kerr definition uses geometric parameters $M > 0$ and $∣ a ∣ < M$ for the subextremal exterior; when a physical interpretation is adopted, $M = G_{N} m_{p h y s} / c^{2}$ and $a = J_{p h y s} / (m_{p h y s} c)$ , with $G_{N}$ in $m^{3} k g^{- 1} s^{- 2}$ , $c$ in $m s^{- 1}$ , $m_{p h y s}$ in $k g$ and $J_{p h y s}$ in $k g m^{2} s^{- 1}$ . Thus $M$ and $a$ have units $m$ , and $a$ is the specific-angular-momentum length parameter. The paper's notation $Kerr (a_{0}, m_{0})$ corresponds to $(a, M) = (a_{0}, m_{0})$ , and its smallness condition $∣ a_{0} ∣ / m_{0} ≪ 1$ is dimensionless.

For asymptotic terminology, an end is a component outside a compact subset of $Σ_{0}$ , equipped with coordinates $x$ onto ${x \in R^{3} : r = ∣ x ∣ > R}$ . A basic asymptotically flat initial-data convention is $h_{i j} - δ_{i j} = O_{1} (r^{- 1})$ and $K_{i j} = O_{1} (r^{- 2})$ : $T = O_{k} (r^{- q})$ means that each component satisfies $∣ \partial^{α} T ∣ \leq C_{α} r^{- q - ∣ α ∣}$ for all multiindices $∣ α ∣ \leq k$ , uniformly in direction for sufficiently large $r$ . These are the explicit end conditions in Gourgoulhon, §7.2.1, equations (7.1)–(7.4); they describe the asymptotic terminology, not a sufficient stability hypothesis. The local ADM-end definition gives the mass surface integral on its more specialized end class; it does not assert that its special expansion exhausts the data in the Kerr source. In a fixed asymptotically Cartesian chart, the geometric ADM mass is, whenever the finite limit exists,

m_{A D M} = \frac{1}{16 π} \lim_{R \to \infty} \int_{∣ x ∣ = R} (\partial_{j} h_{i j} - \partial_{i} h_{j j}) \frac{x^{i}}{R} d S_{δ} .

Here $d S_{δ}$ is Euclidean sphere area, repeated indices are summed from $1$ to $3$ , and the physical energy and mass are $E_{A D M} = c^{4} m_{A D M} / G_{N}$ and $M_{A D M} = c^{2} m_{A D M} / G_{N}$ . For a chosen oriented rotation axis in that chart, let $φ = x^{1} \partial_{2} - x^{2} \partial_{1}$ for the third axis, with cyclic variants for the other axes. With the present convention $K (V, W) = g (\nabla_{V} n, W)$ , its geometric angular-momentum charge is, whenever this finite limit exists,

J (φ) = - \frac{1}{8 π} \lim_{R \to \infty} \int_{∣ x ∣ = R} (K_{i j} - ({tr}_{h} K) h_{i j}) φ^{i} ν_{h}^{j} d S_{h} .

Here ${tr}_{h} K = h^{i j} K_{i j}$ , $ν_{h}$ is the outward $h$ -unit sphere normal, and $d S_{h}$ is its induced area. This is Gourgoulhon's equation (7.63) with the sign translated from his $K (V, W) = - g (\nabla_{V} n, W)$ , equation (2.43). The geometric charge has units $m^{2}$ and $J_{p h y s} = c^{3} J / G_{N}$ ; for Kerr about its spin axis, $J = M a$ . Thus the source's parameter $a_{0}$ denotes the spin length, not a total angular momentum with SI units. Neither existence nor coordinate invariance of angular momentum follows just from the displayed basic falloff: a fixed asymptotic frame and the source's charge/admissibility conditions are retained, rather than silently imposing one additional parity or gauge condition on its theorem; see Gourgoulhon §7.5.2 for this distinction.

In this report the stability assertion quantifies over precisely the source's own initial-data class. Definition 3.4.2 takes an initial-data layer $L_{0} (a_{0}, m_{0})$ in the future of asymptotically flat data on a spacelike $Σ_{0}$ , with source parameters $m_{0}$ and $a_{0}$ , and defines $(ϵ_{0}, k)$ -admissibility using its initial-layer norm $I_{k}$ from §3.3.6. The unnumbered Main Theorem (version 2) in §3.4.3 assumes $∣ a_{0} ∣ / m_{0}$ sufficiently small, $k_{l a r g e}$ sufficiently large, $ϵ_{0}$ sufficiently small, and in particular $I_{k_{l a r g e} + 10} \leq ϵ_{0}^{2}$ . Definition 3.4.5 uses “admissible future null complete” for a future development of such a layer with complete $I^{+}$ and its other listed geometric conditions.

For the completeness terminology, a null generator with affine parameter $λ$ has nonzero future null tangent $ℓ$ , $g (ℓ, ℓ) = 0$ and $\nabla_{ℓ} ℓ = 0$ ; future completeness means that its maximal future affine parameter is unbounded above. A change $λ \mapsto A λ + B$ , $A > 0$ , preserves this property; complete future null infinity means that every one of its future generators is complete in this sense. Here the source's future null infinity $I^{+}$ is the asymptotic boundary $r \to \infty$ along its outgoing $u$ -foliation, not an additional hypothesis of a smooth conformal completion. Section 3.8.1, pp. 152–153, identifies its limiting null generators and explains completeness using the leaves for all $u \geq 1$ and the generator normalization: the limiting generator has $d u / d λ = 2 + O (ϵ_{0} / u^{1 + δ})$ for the source's $δ > 0$ and small $ϵ_{0}$ , hence this derivative is bounded above and below by positive constants and unbounded $u$ gives unbounded future affine parameter. This specifies the reported boundary completeness; it does not say that every null geodesic of the black-hole spacetime is future complete.

The arXiv v1 abstract says that the authors prove full unconditional nonlinear stability of this small-angular-momentum Kerr family in asymptotically flat solutions of the vacuum Einstein equations. Its simplified Theorem 1.2.1 states that the future globally hyperbolic development of a general initial-data set in that source class, sufficiently close in a suitable topology to $Kerr (a_{0}, m_{0})$ initial data and with sufficiently small $∣ a_{0} ∣ / m_{0}$ , has complete future null infinity and converges in the source's set $J^{- 1} (I^{+})$ to a nearby $Kerr (a_{\infty}, m_{\infty})$ , with final parameters close to the initial ones. The precise convergence and parameter-closeness conclusions are stated in the authors' norms, including estimate (3.4.8).

This is a report of the authors' stated result and its source-defined scope, not a local proof or independent verification of the full series. The v1 abstract records that three companion papers had been released and the remaining papers were expected; §1.2.1 identifies estimates assigned to forthcoming papers. The 2008 review's discussion of then-known global constructions is historical only. This remark makes no current-status claim about whether the full subextremal or extremal Kerr stability problem is open or solved.