Regularity of the boundary of the trapped region in asymptotically Euclidean Riemannian manifolds of arbitrarily large dimensions

Abstract

We prove that the boundary of the trapped region in an asymptotically Euclidean Riemannian manifold of dimension at least 3 is a stable smooth minimal hypersurface except for a singular set of codimension at least 8.