Spacetime Positive Mass Theorem with Boundary for Multiple Time Dimensions
We prove a positive mass theorem for one-ended asymptotically flat spin initial data with multiple time directions and a smooth compact boundary. Assuming the trace-norm dominant energy condition and pairwise commutativity of the second fundamental forms, a fixed auxiliary time direction on each boundary component dete...