K-102

Derive the interior theorem directly from exterior data

open Interior / SCC

Statement

Remove interior auxiliary assumptions by proving the Kerr interior Cauchy-horizon picture directly from asymptotically flat exterior Cauchy data and exterior decay.

Mathematical prerequisites

Matching gauges across the event horizon; transfer of Price-law decay into the interior; nonlinear continuation.

Why it matters

The cleanest SCC theorem should begin with ordinary exterior initial data, not data already prescribed inside the black hole.

Completion criteria

A complete answer must derive the needed horizon asymptotics from exterior estimates and then prove the interior extension or singularity conclusions.

Implications if solved

Would connect the exterior and interior Kerr programs into one theorem chain.

Last updated: 2026-04-05 · Edit on GitHub →