Spacetime Positive Mass Theorem with Boundary for Multiple Time Dimensions
Abstract
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 determines a local chirality condition. We identify the surviving mixed boundary term and obtain the inequality E≥|𝒫|tr under the boundary condition H+trΣkT+|𝒬T|tr≤0. The proof constructs a Dirac--Witten harmonic spinor in an affine energy space and evaluates the mass identity by approximation. We also establish the pointwise sharpness of this boundary condition for the fixed projector and give two-time data with a nonzero mixed boundary term.
Related
- Stability of the Riemannian positive mass theorem in all dimensions
- THE OPTIMAL EIGENVALUE COUNT IN AUBRY'S SPECTRAL SPHERE THEOREM FOR DIMENSIONS AT LEAST FOUR
- Spacetime closedness theorem for homogeneous Lorentzian foliations
- A Half-Space Theorem for the Allen--Cahn Equation in All Dimensions
- Optimal central limit theorem for bounded random variables in high dimensions
BibTeX
@misc{fang2026spacetime,
title = {{Spacetime Positive Mass Theorem with Boundary for Multiple Time Dimensions}},
author = {Changwen Fang},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.19711},
eprint = {2609.19711},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.19711},
}
RIS
TY - UNPB
TI - Spacetime Positive Mass Theorem with Boundary for Multiple Time Dimensions
AU - Changwen Fang
PY - 2026
DA - 2026/09/17
PB - arXiv
DO - 10.48550/arxiv.2609.19711
UR - https://arxiv.org/abs/2609.19711
AB - 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 determines a local chirality condition. We identify the surviving mixed boundary term and obtain the inequality E≥|𝒫|_tr under the boundary condition H+tr_Σk^T+|𝒬_T|_tr≤0. The proof constructs a Dirac--Witten harmonic spinor in an affine energy space and evaluates the mass identity by approximation. We also establish the pointwise sharpness of this boundary condition for the fixed projector and give two-time data with a nonzero mixed boundary term.
ER -