A note on the positive mass theorem with boundary
In this short note we explain 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.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Dan A. Lee contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this short note we explain 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.
We introduce the concept of improvability of the dominant energy scalar, and we derive strong consequences of non-improvability. In particular, we prove that a non-improvable initial data set without local symmetries must sit inside a null perfect fluid spacetime carrying a global Killing vector field. We also show that the dominant energy scalar is always almost improvable in a precise sense. Using these main results, we provide a characterization of Bartnik mass minimizing initial data sets which makes substantial progress toward Bartnik's stationary conjecture. Along the way we observe that in dimensions greater than eight there exist pp-wave counterexamples (without the optimal decay rate for asymptotically flatness) to the equality case of the spacetime positive mass theorem. As a consequence, there exist counterexamples to Bartnik's stationary and strict positivity conjectures in those dimensions.
Given a sequence of asymptotically flat 3-manifolds of nonnegative scalar curvature with outermost minimal boundary, converging in the pointed $C^0$ Cheeger--Gromov sense to an asymptotically flat limit space, we show that the total mass of the limit is bounded above by the liminf of the total masses of the sequence. In other words, total mass is lower semicontinuous under such convergence. In order to prove this, we use Huisken's isoperimetric mass concept, together with a modified weak mean curvature flow argument. We include a brief discussion of Huisken's work before explaining our extension of that work. The results are all specific to three dimensions.