Ambient Obstruction Flow

We establish fundamental results for a parabolic flow of Riemannian metrics introduced by Bahuaud-Helliwell in arXiv:1010:4287v1 which is based on the Fefferman-Graham ambient obstruction tensor. First, we obtain local $L^2$ smoothing estimates for the curvature tensor and use them to prove pointwise smoothing estimates for the curvature tensor. We use the pointwise smoothing estimates to show that the curvature must blow up for a finite time singular solution. We also use the pointwise smoothing estimates to prove a compactness theorem for a sequence of solutions with bounded $C^0$ curvature norm and injectivity radius bounded from below at one point. Finally, we use the compactness theorem to obtain a singularity model from a finite time singular solution and to characterize the behavior at infinity of a nonsingular solution.