Coordinate isoperimetric mass and a positive mass theorem for distributional scalar curvature

Abstract

Extending the well-known Riemannian positive mass theorem to low-regularity metrics is an ongoing effort, starting from the early 2000s, that has recently seen renewed interest. Contrary to many other approaches we do not wish to assume smoothness at infinity nor to introduce a new definition of mass tailored to our approach, but rather go back to the coordinate isoperimetric mass originally proposed by Huisken. We establish new asymptotic expressions for the coordinate isoperimetric mass of continuous asymptotically flat metrics, which constitute the main ingredient in proving a finiteness criterion, coordinate invariance and equality to the generalized ADM mass of Lee and LeFloch under reasonable assumptions. In particular, for $W^{1,p}_{-τ}$ asymptotically flat metrics, with $p>n$, $τ>(n-2)/2$, and nonnegative distributional scalar curvature, the coordinate isoperimetric mass is indeed coordinate invariant, and we establish a positive mass theorem in this regularity without any topological assumptions aside from asymptotic flatness. Our proof relies on a density theorem similar to that of Lee, Lesourd, and Unger, but under a weaker regularity and decay assumption, which may be of independent interest.