The Positive Mass Theorem for Creased Initial Data

Abstract: We establish a spacetime positive mass theorem and rigidity statement for asymptotically flat spin initial data sets with a codimension one singularity controlled by a matching Bartnik data condition involving spacetime rotations, and discuss applications. This generalizes several previous works on the topic, including results of Miao, Tsang, and Shi-Tam.