Peeling and polyhomogeneous expansions at null infinity for nonlinear near-Kerr evolutions
Summary
Establish sharp asymptotic (peeling-type or polyhomogeneous) expansions at future null infinity for solutions of the nonlinear vacuum Einstein equations arising from near-Kerr data.
Why this matters
Decay estimates alone do not pin down the fine radiation field; peeling and polyhomogeneous structure encode BMS charges, memory, and compatibility with scattering formulations at null infinity.
Exact scope
- Background / setting
- Asymptotically flat vacuum general relativity; global nonlinear development from Cauchy data.
- Equation type
- Nonlinear vacuum Einstein equations (full Einstein, not a linearized model on fixed Kerr).
- Linearity
- Nonlinear near-Kerr evolutions; comparison to linearized null-asymptotics is context only.
- Regularity
- Polyhomogeneous or smooth-compactified formulations as in modern null-infinity analysis.
- Parameter regime
- Near subextremal Kerr in mass/angular momentum; the open question is the nonlinear map from data to asymptotic coefficients, not the leading linearized mode on fixed Kerr alone.
- Asymptotics
- Asymptotically flat with future null infinity in the usual sense of causal completeness toward $\mathscr{I}^+$.
- Gauge / formulation
- Expansion should be stated in a Bondi or conformal gauge class compatible with the nonlinear stability framework (not a purely formal expansion without remainder control).
Status explanation
Open: nonlinear near-Kerr peeling/polyhomogeneity is not packaged here as a single proved theorem.
Problem statement
Prove a sharp asymptotic expansion for curvature and connection coefficients at future null infinity ($\mathscr{I}^+$) for nonlinear vacuum evolutions starting from initial data sufficiently close to a Kerr slice in an asymptotically flat setting—specifying the expansion order, gauge hypotheses, leading coefficients as functionals of data, and rigorous remainder bounds appropriate to the nonlinear problem.
What is already known
- Nonlinear stability of Minkowski space is established with **polyhomogeneous** expansions at null infinity (Hintz–Vasy), giving a rigorous template for sharp $\mathscr{I}^+$ asymptotics in vacuum GR.Regime: Nonlinear vacuum near Minkowski.Closest nonlinear peeling/polyhomogeneity analogue; near-Kerr remains to replicate that package.
- Klainerman–Szeftel prove nonlinear stability of Kerr for sufficiently small $|a|/M$, supplying a global Cauchy theory compatible in principle with null-infinity questions—but without a packaged polyhomogeneous peeling theorem for near-Kerr data.Regime: Nonlinear vacuum, small angular momentum per unit mass.Natural function spaces/bootstrap within which a future peeling theorem would need to be stated.
- Linearized Teukolsky/wave decay on fixed subextremal Kerr is highly developed; comparing nonlinear near-Kerr radiation to linearized peeling exponents is informative but not logically sufficient.Regime: Linearized fields on exact Kerr.Separates what is known pointwise/in weighted norms from a nonlinear expansion with remainder control.
Progress summary: Polyhomogeneous asymptotics are well developed for Minkowski stability and related linearized settings; the nonlinear near-Kerr case targeted here is a distinct global PDE frontier.
What remains open
Provide a theorem-level polyhomogeneous or peeling-compatible expansion with remainder estimates for solutions controlled by the nonlinear stability program (or an alternative global Cauchy theory), not only for Minkowski or linearized models.
Mathematical prerequisites
Null foliation geometry; transport equations; conformal compactification; weighted regularity along null hypersurfaces; b-analysis / polyhomogeneous calculus where applicable.
Completion criteria
A complete answer must provide the expansion order, the gauge class, the leading coefficients as functionals of data, and rigorous remainder bounds uniform for the stated class of near-Kerr data.
Implications if solved
Clarifies radiation memory, asymptotic charges, and compatibility between nonlinear stability and scattering/BMS-based descriptions.
Formal verification suitability
FV: high
Null-asymptotic substatements often reduce to structured transport and compactified PDE—more amenable to staged formalization than full nonlinear stability.
See Formal verification for how this database uses these labels.
References
- primary Stability of Minkowski space and polyhomogeneity of the metric — Hintz, Vasy (2017) Landmark polyhomogeneous null-infinity structure in a nonlinear vacuum setting (Minkowski); model for what “sharp asymptotics at $\mathscr{I}^+$” means at theorem level.
- survey Brief introduction to the nonlinear stability of Kerr — Klainerman, Szeftel (2022) Context for nonlinear Kerr stability and gauge infrastructure with which null-infinity expansions would need to be compatible.
Related problems
Related by shared tags
- K-012 — Low-regularity Kerr stability threshold
- K-013 — Formation plus relaxation to Kerr
- 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.
- K-605 — Prove sharp nonlinear Price-law tails for curvature in near-Kerr vacuum.
- K-616 — Prove robust control of trapping geometry under dynamical near-Kerr perturbations in a sharp topology.
- K-632 — Quantify how much Kerrness can be certified from finite-radius curvature invariants (numerical-relativity certification).