A note on the positive mass theorem with boundary

Abstract

In this short note, we show how one can use established results to prove various versions of the positive mass theorem for initial data sets with boundary, in dimensions less than 8.