The Spacetime Positive Mass Theorem with Multiple Time Dimensions

We generalize the spacetime positive mass theorem to include multiple time dimensions. In particular, we show that the mass remains nonnegative in the sense that the energy $E$ is bounded from below by the trace norm of the linear momenta $J^1,...,J^m$. Equality in this energy inequality implies a foliation by flat submanifolds of a generalized initial data set. Moreover, under an additional umbilicity assumption, we find that the initial data set isometrically embeds into a generalized pp-wave.