Abstract:Given a smooth globally hyperbolic $(3+1)$-dimensional spacetime $(M,g)$ satisfying the Einstein vacuum equations (possibly with cosmological constant) and an inextendible timelike geodesic $\mathcal{C}$, we constructed in Part I a family of metrics $g_\epsilon$ on the complement $M_\epsilon\subset M$ of an $\epsilon$-neighborhood of $\mathcal{C}$ with the following behavior: away from $\mathcal{C}$ one has $g_\epsilon\to g$ as $\epsilon\to 0$, while the $\epsilon^{-1}$-rescaling of $g_\epsilon$ around every point of $\mathcal{C}$ tends to a fixed subextremal Kerr metric; and $g_\epsilon$ solves the Einstein vacuum equation modulo $\mathcal{O}(\epsilon^\infty)$ errors. The ultimate goal, achieved in Part III, is to correct $g_\epsilon$ to a true solution on any fixed precompact subset of $M$ by addition of a size $\mathcal{O}(\epsilon^\infty)$ metric perturbation which needs to satisfy a quasilinear wave equation (the Einstein vacuum equations in a suitable gauge). The present paper lays the necessary analytical foundations. We develop a framework for proving estimates for solutions of (tensorial) wave equations on $(M_\epsilon,g_\epsilon)$ which, on a suitable scale of Sobolev spaces, are uniform on $\epsilon$-independent precompact subsets of the original spacetime $M$. These estimates are proved by combining two ingredients: the spectral theory for the corresponding wave equation on Kerr; and uniform microlocal estimates governing the propagation of regularity through the small black hole, including radial point estimates reminiscent of diffraction by conic singularities and long-time estimates near perturbations of normally hyperbolic trapped sets. As an illustration of this framework, we construct solutions of a toy nonlinear scalar wave equation on $(M_\epsilon,g_\epsilon)$ for uniform timescales and with full control in all asymptotic regimes as $\epsilon\to 0$.

Characteristic Gluing with $Λ$: III. High-differentiability nonlinear gluing

Characteristic Gluing with $Λ$: II. Linearised equations in higher dimensions

Characteristic Gluing with $Λ$ 1. Linearised Einstein equations on four-dimensional spacetimes

The characteristic gluing problem for the Einstein equations and applications

Gluing variations

Geometry of Complex Bounded Domains with Finite-Volume Quotients

Gap Theorems for Complete Λ-Hypersurfaces

A New Gap for Complete Hypersurfaces with Constant Mean Curvature in Space Forms

The $C^3$-null gluing problem: linear and nonlinear analysis

Obstruction-free gluing for the Einstein equations

Gluing Small Black Holes into Initial Data Sets

Calabi Flow, Geodesic Rays, and Uniqueness of Constant Scalar Curvature Kähler Metrics

Initial data gluing in the asymptotically flat regime via solution operators with prescribed support properties

Event horizon gluing and black hole formation in vacuum: the very slowly rotating case

Glued spaces and lower Ricci curvature bounds

A Gluing Problem for a Gauged Hyperbolic PDE

Gluing small black holes along timelike geodesics II: uniform analysis on glued spacetimes

Gluing-at-infinity of two-dimensional asymptotically locally hyperbolic manifolds

Gluing I: Integrals and Symmetries

Gluing Affine Vortices

Glued spaces and lower curvature bounds