On mass-minimizing extensions of Bartnik boundary data

Abstract

We prove that the space of initial data sets which solve the constraint equations and have fixed Bartnik boundary data is a Banach manifold. Moreover if an initial data set on this constraint manifold is a critical point of the ADM total mass, then it must admit a generalised Killing vector field which is asymptotically proportional to the ADM energy-momentum vector.