We show a spacetime positive mass theorem for asymptotically flat initial data sets with a noncompact boundary. We develop a mass type invariant and a boundary dominant energy condition. Our proof is based on spinors.
生成讲解博客的中文版本
生成AI智能校验的中文版本