Spin fields on dynamical near-Kerr backgrounds

Summary

Spin fields on dynamical near-Kerr backgrounds

Why this matters

Nonlinear Einstein proofs require estimates on fields propagating on dynamical, not exactly stationary, backgrounds.

Exact scope

Background / setting

Asymptotically flat four-dimensional general relativity unless the statement specifies otherwise.

Equation type

PDE level: stationary-reduction.

Linearity

Includes or emphasizes nonlinear dynamics.

Regularity

Smooth / Sobolev classes as in the problem statement; tighten when citing a specific theorem.

Parameter regime

Subextremal Kerr moduli $|a|<M$ (or stated KN/KdS extension); smallness measured in the stability topology on Cauchy data.

Asymptotics

asymptotically-flat

Gauge / formulation

State gauge/fixing class compatible with cited stability or interior programs (e.g. generalized harmonic, double-null interior charts).

Status explanation

Entry imported without two independent bibliographic pointers in this repository; treat theorem-level claims as unverified here.

Problem statement

Prove robust decay and Morawetz estimates for spin 1 and spin 2 fields on time-dependent metrics that stay close to Kerr within a nonlinear bootstrap regime.

What is already known

• Nonlinear stability of vacuum Kerr is proved for sufficiently small $|a|/M$ (Klainerman–Szeftel).
  Regime: Nonlinear Einstein vacuum, asymptotically flat, small angular momentum per unit mass.
  Strongest unconditional nonlinear theorem toward the full subextremal conjecture.
• Linearized Teukolsky/wave decay and mode stability on fixed subextremal Kerr are developed in depth (microlocal and physical-space methods).
  Regime: Linearized gravity and scalar waves on exact Kerr.
  Standard toolbox; not equivalent to nonlinear stability for all parameters.
• Sharp Price-law exponents and nonlinear tail matching are understood in restricted settings (e.g. linearized models, Schwarzschild); sharp nonlinear Kerr curvature tails are not settled.
  Regime: Late-time asymptotics; mixed linear vs nonlinear literature.
  Locates what “sharp Price law” demands beyond integrated decay.

Progress summary: Partial progress exists in adjacent regimes;

What remains open

A complete answer must give coercive estimates compatible with nonlinear closure and quantify all losses due to the time-dependent background.

Mathematical prerequisites

Physical-space decay without exact separability; perturbative microlocal analysis; nonstationary commutator methods.

Completion criteria

A complete answer must give coercive estimates compatible with nonlinear closure and quantify all losses due to the time-dependent background.

Implications if solved

Would remove a major technical bottleneck between linear theory and a full nonlinear Kerr theorem.

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 for small angular momentum (program) — Klainerman, Szeftel (2021)
  Theorem-level nonlinear stability of vacuum Kerr in a small $|a|/M$ regime; benchmark for full subextremal conjectures.
• survey Brief introduction to the nonlinear stability of Kerr — Klainerman, Szeftel (2022)
  Program overview, gauge structure, and relation between linear tools and nonlinear stability.

Related by shared tags

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

• K-001 — Full nonlinear stability of subextremal Kerr
• K-004 — Peeling and polyhomogeneous expansions at null infinity for nonlinear near-Kerr evolutions
• K-009 — Einstein–massive Klein–Gordon near Kerr: classification of stable and unstable regimes
• K-012 — Low-regularity Kerr stability threshold
• K-013 — Formation plus relaxation to Kerr
• K-601 — Prove unconditional linear stability of Kerr (full subextremal range) in a fixed gauge, with full decay rates.
• K-602 — Prove nonlinear stability of Kerr for the full subextremal range |a|<M.
• K-604 — Establish a sharp peeling/polyhomogeneity theorem at future null infinity ($\mathcal{I}^+$) for nonlinear near-Kerr evolutions.

Editorial / maintainer notes

Partial: substantial adjacent results or special cases exist, but the statement as written is not fully settled. : replace with a precise description of what is proved vs. conjectured.