Density and positive mass theorems for initial data sets with boundary
arXiv:2112.12017 · doi:10.1007/s00220-022-04439-1
Abstract
We prove a harmonic asymptotics density theorem for asymptotically flat initial data sets with compact boundary that satisfy the dominant energy condition. We use this to settle the spacetime positive mass theorem, with rigidity, for initial data sets with apparent horizon boundary in dimensions less than without a spin assumption.
33 pages. Published version in Comm. Math. Phys