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.
Source author record
Gregory J. Galloway
Gregory J. Galloway appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
23works
5topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
23 published item(s)
preprint2022arXiv
Maximal hypersurfaces in asymptotically Anti-de Sitter spacetime
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.
0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv
The Topology of General Cosmological Models
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.
0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv
Uniqueness and energy bounds for static AdS metrics
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.
0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv
On the geometry and topology of initial data sets with 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.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Rigidity of marginally outer trapped 2-spheres
In a matter-filled spacetime, perhaps with positive cosmological constant, a stable marginally outer trapped 2-sphere must satisfy a certain area inequality. Namely, as discussed in the paper, its area must be bounded above by $4π/c$, where $c > 0$ is a lower bound on a natural energy-momentum term. We then consider the rigidity that results for stable, or weakly outermost, marginally outer trapped 2-spheres that achieve this upper bound on the area. In particular, we prove a splitting result for 3-dimensional initial data sets analogous to a result of Bray, Brendle and Neves [10] concerning area minimizing 2-spheres in Riemannian 3-manifolds with positive scalar curvature. We further show that these initial data sets locally embed as spacelike hypersurfaces into the Nariai spacetime. Connections to the Vaidya spacetime and dynamical horizons are also discussed.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
A note on the rigidity of marginally outer trapped 2-spheres
As discussed in the paper, in a matter-filled spacetime, perhaps with positive cosmological constant, a stable marginally outer trapped 2-sphere must satisfy a certain area inquality. Namely, its area must be bounded above by $4π/c$, where $c > 0$ is a lower bound on a natural energy momentum term. In this note we consider the rigidity that results for stable, or weakly outermost, marginally outer trapped 2-spheres that achieve this upper bound on the area. The "canonical" dynamical horizon in Vaidya spacetime and certain spacelike hypersurfaces in Nariai spacetime provide illustrations of the main results. These results may be viewed as spacetime analogues of the rigidity results of Bray, Brendle and Neves [10] concerning area minimizing 2-spheres in Riemannian 3-manifolds with scalar curvature having positive lower bound.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Cosmological singularities in Bakry-Émery spacetimes
We consider spacetimes consisting of a manifold with Lorentzian metric and a weight function or scalar field. These spacetimes admit a Bakry-Émery-Ricci tensor which is a natural generalization of the Ricci tensor. We impose an energy condition on the Bakry-Émery-Ricci tensor and obtain singularity theorems of a cosmological type, both for zero and for positive cosmological constant. That is, we find conditions under which every timelike geodesic is incomplete. These conditions are given by "open" inequalities, so we examine the borderline (equality) cases and show that certain singularities are avoided in these cases only if the geometry is rigid; i.e., if it splits as a Lorentzian product or, for a positive cosmological constant, a warped product, and the weight function is constant along the time direction. Then the product case is future timelike geodesically complete while, in the warped product case, worldlines of certain conformally static observers are complete. Our results answer a question posed by J Case. We then apply our results to the cosmology of scalar-tensor gravitation theories. We focus on the Brans-Dicke family of theories in 4 spacetime dimensions, where we obtain "Jordan frame" singularity theorems for big bang singularities.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Uniqueness of photon spheres in electro-vacuum spacetimes
In a recent paper, the authors established the uniqueness of photon spheres in static vacuum asymptotically flat spacetimes by adapting Bunting and Masood-ul-Alam's proof of static vacuum black hole uniqueness. Here, we establish uniqueness of suitably defined sub-extremal photon spheres in static electro-vacuum asymptotically flat spacetimes by adapting the argument of Masood-ul-Alam. As a consequence of our result, we can rule out the existence of electrostatic configurations involving multiple "very compact" electrically charged bodies and sub-extremal black holes.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Uniqueness of photon spheres via positive mass rigidity
In a recent paper the first author established the uniqueness of photon spheres, suitably defined, in static vacuum asymptotically flat spacetimes by adapting Israel's proof of static black hole uniqueness. In this note we establish uniqueness of photon spheres by adapting the argument of Bunting and Masood-ul-Alam, which then allows certain assumptions to be relaxed. In particular, multiple photon spheres are allowed a priori. As a consequence of our result, we can rule out the existence of static configurations involving multiple "very compact" bodies and black holes.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Variational and rigidity properties of static potentials
In this paper we study some global properties of static potentials on asymptotically flat $3$-manifolds $(M,g)$ in the nonvacuum setting. Heuristically, a static potential $f$ represents the (signed) length along $M$ of an irrotational timelike Killing vector field, which can degenerate on surfaces corresponding to the zero set of $f$. Assuming a suitable version of the null energy condition, we prove that a noncompact component of the zero set must be area minimizing. From this we obtain some rigidity results for static potentials that have noncompact zero set components, or equivalently, that are unbounded. Roughly speaking, these results show, at the pure initial data level, that `boost-type' Killing vector fields can exist only under special circumstances.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
On the topology of initial data sets with higher genus ends
In this note we study the topology of 3-dimensional initial data sets with horizons of a sort associated with asymptotically locally anti-de Sitter spacetimes. We show that, within this class, those initial data sets which contain no (immersed) marginally outer trapped surfaces in their interior must have simple topology: they are a product of a surface and an interval, or a mild variation thereof, depending on the connectedness of the horizon and on its genus relative to that of the end. The results obtained here extend results in [11] to the case of higher genus ends.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Outer trapped surfaces are dense near MOTSs
We show that any vacuum initial data set containing a marginally outer trapped surface S and satisfying a "no KIDs" condition can be perturbed near S so that S becomes strictly outer trapped in the new vacuum initial data set. This, together with the results in [9], gives a precise sense in which generic initial data containing marginally outer trapped surfaces lead to geodesically incomplete spacetimes.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Achronal limits, Lorentzian spheres, and splitting
In the early 80's S.-T. Yau posed the problem of establishing the rigidity of the Hawking-Penrose singularity theorems. Approaches to this problem have involved the introduction of Lorentzian Busemann functions and the study of the geometry of their level sets - the horospheres. The regularity theory in the Lorentzian case is considerably more complicated and less complete than in the Riemannian case. In this paper we introduce a broad generalization of the notion of horosphere in Lorentzian geometry and take a completely different (and highly geometric) approach to regularity. These generalized horospheres are defined in terms of 'achronal limits', and the improved regularity we obtain is based on regularity properties of achronal boundaries. We establish a splitting result for generalized horospheres, which when specialized to 'Cauchy horospheres' yields new results on the Bartnik splitting conjecture, a concrete realization of the problem posed by Yau. Our methods are also applied to spacetimes with positive cosmological constant. We obtain a rigid singularity result for future asymptotically de Sitter spacetimes related to results in [1,7].
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Topological censorship from the initial data point of view
We introduce a natural generalization of marginally outer trapped surfaces, called immersed marginally outer trapped surfaces, and prove that three dimensional asymptotically flat initial data sets either contain such surfaces or are diffeomorphic to R^3. We establish a generalization of the Penrose singularity theorem which shows that the presence of an immersed marginally outer trapped surface generically implies the null geodesic incompleteness of any spacetime that satisfies the null energy condition and which admits a non-compact Cauchy surface. Taken together, these results can be viewed as an initial data version of the Gannon-Lee singularity theorem. The first result is a non-time-symmetric version of a theorem of Meeks-Simon-Yau which implies that every asymptotically flat Riemannian 3-manifold that is not diffeomorphic to R^3 contains an embedded stable minimal surface. We also obtain an initial data version of the spacetime principle of topological censorship. Under physically natural assumptions, a 3-dimensional asymptotically flat initial data set with marginally outer trapped boundary and no immersed marginally outer trapped surfaces in its interior is diffeomorphic to R^3 minus a finite number of open balls. An extension to higher dimensions is also discussed.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Constraints on the topology of higher dimensional black holes
Although a black hole need not be spherical in higher dimensions, its event horizon cannot have arbitrary topology. Here we review some of the known constraints on horizon topology for higher dimensional black holes.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Nonexistence of marginally trapped surfaces and geons in 2+1 gravity
We use existence results for Jang's equation and marginally outer trapped surfaces (MOTSs) in 2+1 gravity to obtain nonexistence of geons in 2+1 gravity. In particular, our results show that any 2+1 initial data set, which obeys the dominant energy condition with cosmological constant Λ\geq 0 and which satisfies a mild asymptotic condition, must have trivial topology. Moreover, any data set obeying these conditions cannot contain a MOTS. The asymptotic condition involves a cutoff at a finite boundary at which a null mean convexity condition is assumed to hold; this null mean convexity condition is satisfied by all the standard asymptotic boundary conditions. The results presented here strengthen various aspects of previous related results in the literature. These results not only have implications for classical 2+1 gravity but also apply to quantum 2+1 gravity when formulated using Witten's solution space quantization.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Singularity theorems from weakened energy conditions
We establish analogues of the Hawking and Penrose singularity theorems based on (a) averaged energy conditions with exponential damping; (b) conditions on local stress-energy averages inspired by the Quantum Energy Inequalities satisfied by a number of quantum field theories. As particular applications, we establish singularity theorems for the Einstein equations coupled to a classical scalar field, which violates the strong energy condition, and the nonminimally coupled scalar field, which also violates the null energy condition.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Stability and rigidity of extremal surfaces in Riemannian geometry and General Relativity
We examine some common features of minimal surfaces, nonzero constant mean curvature surfaces and marginally outer trapped surfaces, concerning their stability and rigidity, and consider some applications to Riemannian geometry and general relativity.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Mathematical general relativity: a sampler
We provide an introduction to selected recent advances in the mathematical understanding of Einstein's theory of gravitation.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Singularity theorems based on trapped submanifolds of arbitrary co-dimension
Standard singularity theorems are proven in Lorentzian manifolds of arbitrary dimension n if they contain closed trapped submanifolds of arbitrary co-dimension. By using the mean curvature vector to characterize trapped submanifolds, a unification of the several possibilities for the boundary conditions in the traditional theorems and their generalization to arbitrary co-dimension is achieved. The classical convergence conditions must be replaced by a condition on sectional curvatures, or tidal forces, which reduces to the former in the cases of co-dimension 1, 2 or n.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Uniqueness of static black-holes without analyticity
We show that the hypothesis of analyticity in the uniqueness theory of vacuum, or electrovacuum, static black holes is not needed. More generally, we show that prehorizons covering a closed set cannot occur in well-behaved domains of outer communications.
0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv
dS/CFT and spacetime topology
Motivated by recent proposals for a de Sitter version of the AdS/CFT correspondence, we give some topological restrictions on spacetimes of de Sitter type, i.e., spacetimes with $Λ>0$, which admit a regular past and/or future conformal boundary. For example we show that if $M^{n+1}$, $n \ge 2$, is a globally hyperbolic spacetime obeying suitable energy conditions, which is of de Sitter type, with a conformal boundary to both the past and future, then if one of these boundaries is compact, it must have finite fundamental group and its conformal class must contain a metric of positive scalar curvature. Our results are closely related to theorems of Witten and Yau hep-th/9910245 pertaining to the Euclidean formulation of the AdS/CFT correspondence.
0 citations0 reviewsNo code linkedOpen access