Persistence of normally hyperbolic trapping for dynamical near-Kerr spacetimes

Summary

Show the Kerr normally hyperbolic trapped set persists in a quantitative microlocal sense for spacetimes compatible with nonlinear stability—not the static photon-region deformation problem in K-504.

Why this matters

Trapping governs decay estimates; dynamical persistence links geometry to time-dependent PDE control.

Exact scope

Background / setting

Dynamical vacuum spacetimes near Kerr, not only linearized fields on fixed Kerr.

Equation type

Full Einstein vacuum (global hypotheses as in stability).

Linearity

Nonlinear metric dynamics; microlocal analysis on evolving backgrounds.

Regularity

Sufficient regularity for normally hyperbolic dynamics on trapped sets (typically $C^2$ or stronger on the metric).

Parameter regime

Near subextremal Kerr parameters in the stability topology on data.

Asymptotics

Asymptotically flat.

Gauge / formulation

Trapped-set statements should be diffeomorphism-invariant or stated modulo gauge used in decay theory.

Status explanation

Complementary to K-504: this entry emphasizes **time-dependent** near-Kerr geometry and trapping for PDEs, whereas K-504 emphasizes **quantitative deformation** of the photon-region / spherical null geodesic locus in stationary or near-stationary settings.

Problem statement

Show that the normally hyperbolic trapped set of Kerr persists, in a quantitatively useful sense, for vacuum developments arising from initial data compatible with the nonlinear near-Kerr stability program (or a stated substitute class), and derive microlocal consequences (e.g. resolvent/Morawetz templates) from that persistence.

What is already known

• On **fixed** subextremal Kerr, the normally hyperbolic trapped set is well understood microlocally; resolvent and decay estimates with trapping losses are theorem-level in linear analysis.
  Regime: Linear waves on exact Kerr (and related models).
  Baseline geometry and PDE templates that a dynamical persistence theorem must quantitatively preserve.
• Nonlinear stability constructions control metric perturbations in specific topologies; converting that into **uniform** trapped-set hypotheses for time-dependent geometries is the missing link.
  Regime: Nonlinear Einstein near Kerr (small-$|a|/M$ theorems and related frameworks).
  Identifies the gap between “metric close to Kerr” and “trapped set close in microlocal sense.”
• Static photon-region deformation (K-504) addresses a different geometry-only variant; this entry emphasizes time-dependent metrics compatible with global nonlinear evolution.
  Regime: Near-Kerr; complementary scope to K-504.
  Keeps the dynamical trapping question distinct from purely stationary deformation problems.

Progress summary: Trapping analysis on fixed Kerr is advanced; dynamical persistence compatible with nonlinear stability is the open gap.

What remains open

Quantitative persistence of trapped-set geometry with uniform microlocal constants under the dynamical class considered.

Mathematical prerequisites

Dynamical systems near trapped sets; semiclassical propagation; microlocal resolvent estimates; time-dependent geometry.

Scope / taxonomy note

Completion criteria

Prove persistence and derive Morawetz/resolvent consequences with explicit hypotheses tied to stability data.

Implications if solved

Geometric backbone for robust decay on dynamical near-Kerr backgrounds.

Formal verification suitability

FV: medium

Some subquestions may formalize before the full statement.

See Formal verification for how this database uses these labels.

References

• primary Nonlinear stability of Kerr (small angular momentum regime) — Klainerman, Szeftel (sequence) (2021)
  Nonlinear near-Kerr dynamics where trapping estimates are an ingredient; this entry asks for dynamical persistence of trapped-set geometry beyond what is explicitly packaged in one paper.
• survey Brief introduction to the nonlinear stability of Kerr — Klainerman, Szeftel (2022)
  High-level map of how Kerr’s geometry enters decay/stability proofs—motivation for trapping persistence questions.

Related problems

Related by shared tags

Heuristic matches on family, cluster, equation level, asymptotics, and relevance.

• K-508 — Stability or obstruction for approximate Killing–Yano tensors near Kerr
• K-617 — Prove a quantitative distance-to-Kerr estimate from a small invariant (Mars-Simon-type) with computable constants.
• K-618 — Prove global Kerr uniqueness without analyticity under minimal smoothness/decay hypotheses.
• K-633 — Prove that near-Kerr spacetimes admit approximate Carter operators with controlled commutators (usable in PDE estimates).
• K-646 — Prove global uniqueness/rigidity for Kerr with minimal assumptions on horizon regularity and connectedness.
• K-647 — Prove a minimal-data theorem: finite set of horizon multipoles determines Kerr parameters with stability bounds.