Smoothing polyhedral spaces via Ricci flow

Abstract

We prove Petrunin's smoothing conjecture in all dimensions: every compact Euclidean polyhedral space without boundary and with nonnegative Alexandrov curvature is a Gromov-Hausdorff limit of smooth Riemannian orbifolds with geometrically nonnegative curvature. More strongly, the approximating metrics are positive-time slices of a single orbifold Ricci flow whose metric initial condition is the given polyhedral space. The proof rests on a new short-time existence and regularization theory for Ricci flow that, under two-sided volume bounds and a generalized segment inequality, replaces pointwise lower curvature control by small scale-invariant integral control of the defect from a preserved curvature cone. Although it allows arbitrarily large pointwise violations, this theory yields an existence time and positive-time curvature estimates independent of the initial upper curvature bound. As a further application, it gives rigidity consequences for manifolds with small integral curvature defect.