A positive mass theorem for asymptotically flat manifolds with a non-compact boundary (Q503436)

A Riemannian manifold \((M, g)\) is said to be \textit{asymptotically flat with decay rate} \(\tau > 0\) when there exists a compact subset \(K\) of \(M\) and a diffeomorphism \(\Psi: M\smallsetminus K\to {\mathbb R}^n\) such that the C\(^2\)-distance of the Riemannian metric induced on \(\mathbb R^n\) by \((\Psi, g)\) from the Euclidean metric at \(x\in\Psi (M\smallsetminus K)\) is of type O\((\| x\|^{-\tau})\). Here, the authors prove that all \(n\)-dimensional oriented, asymptotically flat (with decay \(\tau \geq (n - 2)/2\)) Riemannian manifolds \((M, g)\) with non-negative scalar curvature \(R_g\) and non-compact boundary \(\Sigma\) of non-negative mean curvature \(H_g\) have non-negative \textit{mass} \(\mathfrak m\) (that is defined in the paper) provided that either \(3 \leq n \leq 7\) or \(n \geq 3\) and \(M\) is spin. Moreover, \({\mathfrak m} = 0\) iff \(M\) is isometric to the Euclidean half-space \(\mathbb R^n_+\).