The spacetime positive mass theorem in dimensions less than eight

Understand

We prove the spacetime positive mass theorem in dimensions less than eight.

• This theorem states that for any asymptotically flat initial data set satisfying the dominant energy condition, the ADM energy-momentum vector $(E,P)$ of the initial data satisfies the inequality $E \ge |P|$.
• Previously, this theorem was proven only for spin manifolds by E.
• Witten.