A note on the positive mass theorem with boundary
In this short note we explain how one can use established results to prove various versions of the positive mass theorem for initial data sets with boundary, in dimensions less than 8.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Gregory J. Galloway contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this short note we explain how one can use established results to prove various versions of the positive mass theorem for initial data sets with boundary, in dimensions less than 8.
We prove uniqueness, existence, and regularity results for maximal hypersurfaces in spacetimes with a conformal completion at timelike infinity and asymptotically constant scalar curvature, as relevant for asymptotically AdS spacetimes. This work is dedicated to Yvonne Choquet-Bruhat on the occasion of her upcoming 99th birthday.
Is the universe finite or infinite, and what shape does it have? These fundamental questions, of which relatively little is known, are typically studied within the context of the standard model of cosmology where the universe is assumed to be homogeneous and isotropic. Here we address the above questions in highly general cosmological models, with the only assumption being that the average flow of matter is irrotational. Using techniques from differential geometry, specifically extensions of the Bonnet-Myers theorem, we derive a condition which implies a finite universe and yields a bound for its diameter. Furthermore, under a weaker condition involving the interplay between curvature and diameter, together with the assumption that the universe is finite (i.e., has closed spatial slices), we provide a concise list of possible topologies. Namely, the spatial sections then would be either the ring topologies $S^1 \times S^2$, $S^1\tilde{\times}S^2$, $S^1\times\mathbb{RP}^2$, $\mathbb{RP}^3 \# \mathbb{RP}^3$, or covered by the sphere $S^3$ or torus $T^3$. In particular, under this condition the basic construction of connected sums would be ruled out (save for one), along with the plethora of topologies associated with negative curvature. These results are obtained from consequences of the geometrization of 3-manifolds, by applying a generalization of the almost splitting theorem together with a curvature formula of Ehlers and Ellis.
We show that Wang's proof of uniqueness of Anti-de Sitter spacetime can be adapted to provide uniqueness results for strictly static asymptotically locally hyperbolic vacuum metrics with toroidal infinity, and to prove negativity of the free energy $E-TS$ of asymptotically AdS black holes with higher-genus horizons.
We study the relationship between initial data sets with horizons and the existence of metrics of positive scalar curvature. We define a Cauchy Domain of Outer Communications (CDOC) to be an asymptotically flat initial set $(M, g, K)$ such that the boundary $\partial M$ of $M$ is a collection of Marginally Outer (or Inner) Trapped Surfaces (MOTSs and/or MITSs) and such that $M\setminus \partial M$ contains no MOTSs or MITSs. This definition is meant to capture, on the level of the initial data sets, the well known notion of the domain of outer communications (DOC) as the region of spacetime outside of all the black holes (and white holes). Our main theorem establishes that in dimensions $3\leq n \leq 7$, a CDOC which satisfies the dominant energy condition and has a strictly stable boundary has a positive scalar curvature metric which smoothly compactifies the asymptotically flat end and is a Riemannian product metric near the boundary where the cross sectional metric is conformal to a small perturbation of the initial metric on the boundary $\partial M$ induced by $g$. This result may be viewed as a generalization of Galloway and Schoen's higher dimensional black hole topology theorem \cite{GS06} to the exterior of the horizon. We also show how this result leads to a number of topological restrictions on the CDOC, which allows one to also view this as an extension of the initial data topological censorship theorem, established in \cite{EGP13} in dimension $n=3$, to higher dimensions.