Showing 1–50 of 76 results for author: Galloway, G J

A note on the Lorentzian splitting theorem

Authors: Gregory J. Galloway

Abstract: We present a version of the Lorentzian splitting theorem under a weakened Ricci curvature condition. The proof makes use of basic properties of achronal limits [19], [20], together with the geometric maximum principle for $C^0$ spacelike hypersurfaces in [1]. Our version strengthens a related result in [29] in the globally hyperbolic setting by removing a certain boundedness condition on the Ricci… ▽ More We present a version of the Lorentzian splitting theorem under a weakened Ricci curvature condition. The proof makes use of basic properties of achronal limits [19], [20], together with the geometric maximum principle for $C^0$ spacelike hypersurfaces in [1]. Our version strengthens a related result in [29] in the globally hyperbolic setting by removing a certain boundedness condition on the Ricci curvature. △ Less

Submitted 20 April, 2025; v1 submitted 7 April, 2025; originally announced April 2025.

Comments: 12 pages; v2: a pertinent reference, and some related comments, added. Title and abstract also modified

A CMC existence result for expanding cosmological spacetimes

Authors: Gregory J. Galloway, Eric Ling

Abstract: We establish a new CMC (constant mean curvature) existence result for cosmological spacetimes, i.e., globally hyperbolic spacetimes with compact Cauchy surfaces satisfying the strong energy condition. If the spacetime contains an expanding Cauchy surface and is future timelike geodesically complete, then the spacetime contains a CMC Cauchy surface. This result settles, under certain circumstances,… ▽ More We establish a new CMC (constant mean curvature) existence result for cosmological spacetimes, i.e., globally hyperbolic spacetimes with compact Cauchy surfaces satisfying the strong energy condition. If the spacetime contains an expanding Cauchy surface and is future timelike geodesically complete, then the spacetime contains a CMC Cauchy surface. This result settles, under certain circumstances, a conjecture of the authors and a conjecture of Dilts and Holst. Our proof relies on the construction of barriers in the support sense, and the CMC Cauchy surface is found as the asymptotic limit of mean curvature flow. Analogous results are also obtained in the case of a positive cosmological constant $Λ> 0$. Lastly, we include some comments concerning the future causal boundary for cosmological spacetimes which pertain to the CMC conjecture of the authors. △ Less

Submitted 28 October, 2024; v1 submitted 21 October, 2024; originally announced October 2024.

Comments: 16 pages; v2 minor changes and reference added

Report number: CPH-GEOTOP-DNRF151; CF21-0680

Some rigidity results for charged initial data sets

Authors: Gregory J. Galloway, Abraão Mendes

Abstract: In this note, we consider some initial data rigidity results concerning marginally outer trapped surfaces (MOTS). As is well known, MOTS play an important role in the theory of black holes and, at the same time, are interesting spacetime analogues of minimal surfaces in Riemannian geometry. The main results presented here expand upon earlier works by the authors, specifically addressing initial da… ▽ More In this note, we consider some initial data rigidity results concerning marginally outer trapped surfaces (MOTS). As is well known, MOTS play an important role in the theory of black holes and, at the same time, are interesting spacetime analogues of minimal surfaces in Riemannian geometry. The main results presented here expand upon earlier works by the authors, specifically addressing initial data sets incorporating charge. △ Less

Submitted 22 July, 2024; originally announced July 2024.

Comments: 14 pages. Comments welcome

Mean Curvature, Singularities and Time Functions in Cosmology

Authors: Gregory J. Galloway, Leonardo García-Heveling

Abstract: In this contribution, we study spacetimes of cosmological interest, without making any symmetry assumptions. We prove a rigid Hawking singularity theorem for positive cosmological constant, which sharpens known results. In particular, it implies that any spacetime with $\operatorname{Ric} \geq -ng$ in timelike directions and containing a compact Cauchy hypersurface with mean curvature $H \geq n$ i… ▽ More In this contribution, we study spacetimes of cosmological interest, without making any symmetry assumptions. We prove a rigid Hawking singularity theorem for positive cosmological constant, which sharpens known results. In particular, it implies that any spacetime with $\operatorname{Ric} \geq -ng$ in timelike directions and containing a compact Cauchy hypersurface with mean curvature $H \geq n$ is timelike incomplete. We also study the properties of cosmological time and volume functions, addressing questions such as: When do they satisfy the regularity condition? When are the level sets Cauchy hypersurfaces? What can one say about the mean curvature of the level sets? This naturally leads to consideration of Hawking type singularity theorems for Cauchy surfaces satisfying mean curvature inequalities in a certain weak sense. △ Less

Submitted 30 January, 2025; v1 submitted 5 July, 2024; originally announced July 2024.

Comments: 15 pages, 2 figures. Changes in v2: typos fixed and small improvements made

MSC Class: 53C50 (Primary); 83C75 (Secondary)

Aspects of the geometry and topology of expanding horizons

Authors: Gregory J. Galloway, Abraão Mendes

Abstract: The aim of this paper is to extend some basic results about marginally outer trapped surfaces to the context of surfaces having general null expansion. Motivated in part by recent work of Chai-Wan, we introduce the notion of $\mathfrak{g}$-stability for a general closed hypersurface $Σ$ in an ambient initial data set and prove that, under natural energy conditions, $Σ$ has positive Yamabe type, th… ▽ More The aim of this paper is to extend some basic results about marginally outer trapped surfaces to the context of surfaces having general null expansion. Motivated in part by recent work of Chai-Wan, we introduce the notion of $\mathfrak{g}$-stability for a general closed hypersurface $Σ$ in an ambient initial data set and prove that, under natural energy conditions, $Σ$ has positive Yamabe type, that is, $Σ$ admits a metric of positive scalar curvature, provided $Σ$ is $\mathfrak{g}$-stable. A similar result is obtained when $Σ$ is embedded in a null hypersurface of a spacetime satisfying the dominant energy condition. Area bounds under similar conditions are obtained in the case where $Σ$ is $2$-dimensional. Conditions implying $\mathfrak{g}$-stability are also discussed. Finally, we obtain a spacetime positive mass theorem for initial data sets with compact boundary $Σ$ of positive null expansion, assuming that the dominant energy condition is sufficiently strict near $Σ$. This extends recent results of Galloway-Lee and Lee-Lesourd-Unger. △ Less

Submitted 13 September, 2024; v1 submitted 2 April, 2024; originally announced April 2024.

Comments: 13 pages. Comments welcome; v2: this is a substantial revision of the first version, including some corrections/clarifications and the addition of some new material. Accepted for publication in Proc. of AMS

Rigidity aspects of Penrose's singularity theorem

Authors: Gregory J. Galloway, Eric Ling

Abstract: In this paper, we study rigidity aspects of Penrose's singularity theorem. Specifically, we aim to answer the following question: if a spacetime satisfies the hypotheses of Penrose's singularity theorem except with weakly trapped surfaces instead of trapped surfaces, then what can be said about the global spacetime structure if the spacetime is null geodesically complete? In this setting, we show… ▽ More In this paper, we study rigidity aspects of Penrose's singularity theorem. Specifically, we aim to answer the following question: if a spacetime satisfies the hypotheses of Penrose's singularity theorem except with weakly trapped surfaces instead of trapped surfaces, then what can be said about the global spacetime structure if the spacetime is null geodesically complete? In this setting, we show that we obtain a foliation of MOTS which generate totally geodesic null hypersurfaces. Depending on our starting assumptions, we obtain either local or global rigidity results. We apply our arguments to cosmological spacetimes (i.e., spacetimes with compact Cauchy surfaces) and scenarios involving topological censorship. △ Less

Submitted 22 January, 2025; v1 submitted 17 February, 2024; originally announced February 2024.

Comments: 18 pages. v3 agrees with published version

Report number: CPH-GEOTOP-DNRF151; CF21-0680

Remarks on the size of apparent horizons

Authors: Gregory J. Galloway

Abstract: Marginally outer trapped surfaces (also referred to as apparent horizons) that are stable in 3-dimensional initial data sets obeying the dominant energy condition strictly are known to satisfy an area bound. The main purpose of this note is to show (in several ways) that such surfaces also satisfy a diameter bound. Marginally outer trapped surfaces (also referred to as apparent horizons) that are stable in 3-dimensional initial data sets obeying the dominant energy condition strictly are known to satisfy an area bound. The main purpose of this note is to show (in several ways) that such surfaces also satisfy a diameter bound. △ Less

Submitted 15 August, 2023; v1 submitted 7 August, 2023; originally announced August 2023.

Comments: 10 pages. v2: minor changes/corrections, reference added

A note on null distance and causality encoding

Authors: Gregory J. Galloway

Abstract: Under natural conditions, the null distance introduced by Sormani and Vega [10] is a metric space distance function on spacetime, which, in a certain precise sense, can encode the causality of spacetime. The null distance function requires the choice of a time function. The purpose of this note is to observe that the causality assumptions related to such a choice in results used to establish globa… ▽ More Under natural conditions, the null distance introduced by Sormani and Vega [10] is a metric space distance function on spacetime, which, in a certain precise sense, can encode the causality of spacetime. The null distance function requires the choice of a time function. The purpose of this note is to observe that the causality assumptions related to such a choice in results used to establish global encoding of causality, due to Sakovich and Sormani [9] and to Burtscher and García-Heveling [2], can be weakened. △ Less

Submitted 29 June, 2023; originally announced June 2023.

Comments: 6 pages

Some rigidity results for compact initial data sets

Authors: Gregory J. Galloway, Abraão Mendes

Abstract: In this paper, we prove several rigidity results for compact initial data sets, in both the boundary and no boundary cases. In particular, under natural energy, boundary, and topological conditions, we obtain a global version of the main result in [15]. We also obtain some extensions of results in [12]. A number of examples are given in order to illustrate some of the results presented in this pap… ▽ More In this paper, we prove several rigidity results for compact initial data sets, in both the boundary and no boundary cases. In particular, under natural energy, boundary, and topological conditions, we obtain a global version of the main result in [15]. We also obtain some extensions of results in [12]. A number of examples are given in order to illustrate some of the results presented in this paper. △ Less

Submitted 1 February, 2023; v1 submitted 2 January, 2023; originally announced January 2023.

Comments: 19 pages. All comments welcome. Small update

Maximal hypersurfaces in asymptotically Anti-de Sitter spacetime

Authors: Piotr T. Chruściel, Gregory J. Galloway

Abstract: 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. 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. △ Less

Submitted 21 August, 2022; originally announced August 2022.

Comments: 29 pages, 3 figures

Report number: Preprint UWThPh 2022-12

The codimension 2 null cut locus with applications to spacetime topology

Authors: Gregory J. Galloway, Eric Ling

Abstract: In this paper we review and extend some results in the literature pertaining to spacetime topology while naturally utilizing properties of the codimension 2 null cut locus. Our results fall into two classes, depending on whether or not one assumes the presence of horizons. Included among the spacetimes we consider are those that apply to the asymptotically (locally) AdS setting. In this paper we review and extend some results in the literature pertaining to spacetime topology while naturally utilizing properties of the codimension 2 null cut locus. Our results fall into two classes, depending on whether or not one assumes the presence of horizons. Included among the spacetimes we consider are those that apply to the asymptotically (locally) AdS setting. △ Less

Submitted 3 December, 2022; v1 submitted 23 May, 2022; originally announced May 2022.

Comments: 24 pages, 1 figure. v2 accepted to JMP

Positive mass theorems for asymptotically hyperbolic Riemannian manifolds with boundary

Authors: Piotr T. Chruściel, Gregory J. Galloway

Abstract: We prove positive mass theorems for asymptotically hyperbolic and asymptotically locally hyperbolic Riemannian manifolds with black-hole-type boundaries. We prove positive mass theorems for asymptotically hyperbolic and asymptotically locally hyperbolic Riemannian manifolds with black-hole-type boundaries. △ Less

Submitted 12 July, 2021; originally announced July 2021.

Comments: 7 pages, 2 figures

Report number: Preprint UWThPh 2021-9

A note on the positive mass theorem with boundary

Authors: Gregory J. Galloway, Dan A. Lee

Abstract: 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. 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. △ Less

Submitted 7 January, 2022; v1 submitted 24 May, 2021; originally announced May 2021.

Comments: 10 pages, Remark 6 from v2 (which is the published version) was incorrect

MSC Class: 83C57 (Primary) 53C21 (Secondary)

Journal ref: Letters in Mathematical Physics, Vol 111, 111 (2021)

Remarks on the existence of CMC Cauchy surfaces

Authors: Gregory J. Galloway, Eric Ling

Abstract: As is well known, constant mean curvature (CMC) spacelike hypersurfaces play an important role in solving the Einstein equations, both in solving the contraints and the evolution equations. In this paper we review the CMC existence result obtained by the authors in [10] and consider some new existence results motivated by a conjecture of Dilts and Holst [8]. We also address some issues concerning… ▽ More As is well known, constant mean curvature (CMC) spacelike hypersurfaces play an important role in solving the Einstein equations, both in solving the contraints and the evolution equations. In this paper we review the CMC existence result obtained by the authors in [10] and consider some new existence results motivated by a conjecture of Dilts and Holst [8]. We also address some issues concerning the conformal structure of cosmological spacetimes. △ Less

Submitted 10 November, 2021; v1 submitted 5 April, 2021; originally announced April 2021.

Comments: 13 pages; v2: minor corrections/clarifications. To appear in the Proceedings of the X International Meeting on Lorentzian Geometry

The Topology of General Cosmological Models

Authors: Gregory J. Galloway, Marcus A. Khuri, Eric Woolgar

Abstract: 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… ▽ More 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. △ Less

Submitted 1 June, 2022; v1 submitted 13 October, 2020; originally announced October 2020.

Comments: 12 pages; final version

Initial data rigidity results

Authors: Michael Eichmair, Gregory J. Galloway, Abraão Mendes

Abstract: We present several rigidity results for initial data sets motivated by the positive mass theorem. An important step in our proofs here is to establish conditions that ensure that a marginally outer trapped surface is "weakly outermost". A rigidity result for Riemannian manifolds with a lower bound on their scalar curvature is included as a special case. We present several rigidity results for initial data sets motivated by the positive mass theorem. An important step in our proofs here is to establish conditions that ensure that a marginally outer trapped surface is "weakly outermost". A rigidity result for Riemannian manifolds with a lower bound on their scalar curvature is included as a special case. △ Less

Submitted 20 September, 2020; originally announced September 2020.

Comments: 22 pages. All comments welcome

A Bakry-Émery Almost Splitting Result With Applications to the Topology of Black Holes

Authors: Gregory J. Galloway, Marcus A. Khuri, Eric Woolgar

Abstract: The almost splitting theorem of Cheeger-Colding is established in the setting of almost nonnegative generalized $m$-Bakry-Émery Ricci curvature, in which $m$ is positive and the associated vector field is not necessarily required to be the gradient of a function. In this context it is shown that with a diameter upper bound and volume lower bound the fundamental group of such manifolds is almost ab… ▽ More The almost splitting theorem of Cheeger-Colding is established in the setting of almost nonnegative generalized $m$-Bakry-Émery Ricci curvature, in which $m$ is positive and the associated vector field is not necessarily required to be the gradient of a function. In this context it is shown that with a diameter upper bound and volume lower bound the fundamental group of such manifolds is almost abelian. Furthermore, extensions of well-known results concerning Ricci curvature lower bounds are given for generalized $m$-Bakry-Émery Ricci curvature. These include: the first Betti number bound of Gromov and Gallot, Anderson's finiteness of fundamental group isomorphism types, volume comparison, the Abresch-Gromoll inequality, and a Cheng-Yau gradient estimate. Finally, this analysis is applied to stationary vacuum black holes in higher dimensions to find that low temperature horizons must have limited topology, similar to the restrictions exhibited by (extreme) horizons of zero temperature. △ Less

Submitted 16 January, 2021; v1 submitted 19 June, 2020; originally announced June 2020.

Comments: Comm. Math. Phys., to appear

Journal ref: Comm. Math. Phys., 384 (2021), no. 3, 2067-2101

A conformal infinity approach to asymptotically $\text{AdS}_2\times S^{n-1}$ spacetimes

Authors: Gregory J. Galloway, Melanie Graf, Eric Ling

Abstract: It is well known that the spacetime $\text{AdS}_2\times S^2$ arises as the `near horizon' geometry of the extremal Reisser-Nordstrom solution, and for that reason it has been studied in connection with the AdS/CFT correspondence. Motivated by a conjectural viewpoint of Juan Maldacena, the authors in [4] studied the rigidity of asymptotically $\text{AdS}_2\times S^2$ spacetimes satisfying the null… ▽ More It is well known that the spacetime $\text{AdS}_2\times S^2$ arises as the `near horizon' geometry of the extremal Reisser-Nordstrom solution, and for that reason it has been studied in connection with the AdS/CFT correspondence. Motivated by a conjectural viewpoint of Juan Maldacena, the authors in [4] studied the rigidity of asymptotically $\text{AdS}_2\times S^2$ spacetimes satisfying the null energy condition. In this paper, we take an entirely different and more general approach to the asymptotics based on the notion of conformal infinity. This involves a natural modification of the usual notion of timelike conformal infinity for asymptotically anti-de Sitter spacetimes. As a consequence we are able to obtain a variety of new results, including similar results to those in [4] (but now allowing both higher dimensions and more than two ends) and a version of topological censorship. △ Less

Submitted 28 February, 2020; originally announced March 2020.

Comments: 24 pages

Photon surfaces with equipotential time-slices

Authors: Carla Cederbaum, Gregory J. Galloway

Abstract: Photon surfaces are timelike, totally umbilic hypersurfaces of Lorentzian spacetimes. In the first part of this paper, we locally characterize all possible photon surfaces in a class of static, spherically symmetric spacetimes that includes Schwarzschild, Reissner--Nordström, Schwarzschild-anti de Sitter, etc., in $n+1$ dimensions. In the second part, we prove that any static, vacuum, "asymptotica… ▽ More Photon surfaces are timelike, totally umbilic hypersurfaces of Lorentzian spacetimes. In the first part of this paper, we locally characterize all possible photon surfaces in a class of static, spherically symmetric spacetimes that includes Schwarzschild, Reissner--Nordström, Schwarzschild-anti de Sitter, etc., in $n+1$ dimensions. In the second part, we prove that any static, vacuum, "asymptotically isotropic" $n+1$-dimensional spacetime that possesses what we call an "equipotential" and "outward directed" photon surface is isometric to the Schwarzschild spacetime of the same (necessarily positive) mass, using a uniqueness result by the first named author. △ Less

Submitted 22 September, 2020; v1 submitted 9 October, 2019; originally announced October 2019.

Comments: 33 pages, 1 figure We have added a discussion of generating null geodesics and related topics at the end of Section 3 and have simplified some computations

Journal ref: Journal of Mathematical Physics Vol. 62, Issue 3 (2021)

Uniqueness and energy bounds for static AdS metrics

Authors: Piotr T. Chruściel, Gregory J. Galloway, Yohan Potaux

Abstract: 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 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. △ Less

Submitted 30 September, 2019; originally announced October 2019.

Journal ref: Phys. Rev. D 101, 064034 (2020)

Some scalar curvature warped product splitting theorems

Authors: Gregory J. Galloway, Hyun Chul Jang

Abstract: We present several rigidity results for Riemannian manifolds $(M^n,g)$ with scalar curvature $S \ge -n(n-1)$ (or $S\ge 0$), and having compact boundary $N$ satisfying a related mean curvature inequality. The proofs make use of results on marginally outer trapped surfaces applied to appropriate initial data sets. One of the results involves an analysis of Obata's equation on manifolds with boundary… ▽ More We present several rigidity results for Riemannian manifolds $(M^n,g)$ with scalar curvature $S \ge -n(n-1)$ (or $S\ge 0$), and having compact boundary $N$ satisfying a related mean curvature inequality. The proofs make use of results on marginally outer trapped surfaces applied to appropriate initial data sets. One of the results involves an analysis of Obata's equation on manifolds with boundary. This result is relevant to recent work of Lan-Hsuan Huang and the second author concerning the rigidity of asymptotically locally hyperbolic manifolds with zero mass. △ Less

Submitted 30 October, 2019; v1 submitted 22 July, 2019; originally announced July 2019.

Comments: 15 pages; v2: Introduction revised, other small changes; results unchanged. To appear in Proc. Amer. Math. Soc

Roads to topological censorship

Authors: Piotr T. Chruściel, Gregory J. Galloway

Abstract: In this note we review some aspects of topological censorship. We present several (actually five) alternative sets of hypotheses which allow the proof of a topological censorship theorem for spacetimes with conformal completions at infinity and vanishing cosmological constant. In this note we review some aspects of topological censorship. We present several (actually five) alternative sets of hypotheses which allow the proof of a topological censorship theorem for spacetimes with conformal completions at infinity and vanishing cosmological constant. △ Less

Submitted 3 October, 2019; v1 submitted 5 June, 2019; originally announced June 2019.

Comments: minor improvements

Report number: Preprint UWThPh-2019-17

Existence of CMC Cauchy surfaces and spacetime splitting

Authors: Gregory J. Galloway

Abstract: In this paper, we review results on the existence (and nonexistence) of constant mean curvature spacelike hypersurfaces in the cosmological setting, and discuss the connection to the spacetime splittng problem. It is a pleasure to dedicate this paper to Robert Bartnik, who has made fundamental contributions to this area. In this paper, we review results on the existence (and nonexistence) of constant mean curvature spacelike hypersurfaces in the cosmological setting, and discuss the connection to the spacetime splittng problem. It is a pleasure to dedicate this paper to Robert Bartnik, who has made fundamental contributions to this area. △ Less

Submitted 23 February, 2019; originally announced February 2019.

Comments: 16 pages

Existence of CMC Cauchy surfaces from a spacetime curvature condition

Authors: Gregory J. Galloway, Eric Ling

Abstract: In this note we present a result establishing the existence of a compact CMC Cauchy surface from a curvature condition related to the strong energy condition. In this note we present a result establishing the existence of a compact CMC Cauchy surface from a curvature condition related to the strong energy condition. △ Less

Submitted 2 August, 2018; v1 submitted 16 April, 2018; originally announced April 2018.

Comments: 7 pages; (v2) proof of Proposition 3 (and associated claims) corrected, references and several comments added; (v3) to appear in GRG

Rigidity of asymptotically $AdS_2 \times S^2$ spacetimes

Authors: Gregory J. Galloway, Melanie Graf

Abstract: The spacetime $AdS_2 \times S^2$ is well known to arise as the 'near horizon' geometry of the extremal Reissner-Nordstrom solution, and for that reason it has been studied in connection with the AdS/CFT correspondence. Here we consider asymptotically $AdS_2 \times S^2$ spacetimes that obey the null energy condition (or a certain averaged version thereof). Supporting a conjectural viewpoint of Juan… ▽ More The spacetime $AdS_2 \times S^2$ is well known to arise as the 'near horizon' geometry of the extremal Reissner-Nordstrom solution, and for that reason it has been studied in connection with the AdS/CFT correspondence. Here we consider asymptotically $AdS_2 \times S^2$ spacetimes that obey the null energy condition (or a certain averaged version thereof). Supporting a conjectural viewpoint of Juan Maldacena, we show that any such spacetime must have a special geometry similar in various respects to $AdS_2 \times S^2$, and under certain circumstances must be isometric to $AdS_2 \times S^2$. △ Less

Submitted 2 August, 2018; v1 submitted 28 March, 2018; originally announced March 2018.

Comments: 26 pages, v2: minor changes to the introduction and abstract

Weakly trapped surfaces in asymptotically de Sitter spacetimes

Authors: Piotr T. Chruściel, Gregory J. Galloway, Eric Ling

Abstract: It is a standard fact that trapped or marginally trapped surfaces are not visible from conformal infinity, under the usual set of conditions on matter fields and the conformal completion, provided that the cosmological constant is non-positive. In this note we show that the situation is more delicate in the presence of a positive cosmological constant: we present examples of visible marginally tra… ▽ More It is a standard fact that trapped or marginally trapped surfaces are not visible from conformal infinity, under the usual set of conditions on matter fields and the conformal completion, provided that the cosmological constant is non-positive. In this note we show that the situation is more delicate in the presence of a positive cosmological constant: we present examples of visible marginally trapped surfaces, and we provide a set of natural conditions which guarantee non-visibility. △ Less

Submitted 9 May, 2018; v1 submitted 6 March, 2018; originally announced March 2018.

Comments: 9 pages, 4 figures; v2: figure corrected, references added. Version to appear in CQG

On the mass aspect function and positive energy theorems for asymptotically hyperbolic manifolds

Authors: Piotr T. Chruściel, Gregory J. Galloway, Luc Nguyen, Tim-Torben Paetz

Abstract: We prove positivity of energy for a class of asymptotically locally hyperbolic manifolds in dimensions $4\le n \le 7$. The result is established by first proving deformation-of-mass-aspect theorems in dimensions $n\ge 4$. Our positivity results extend to the case $n = 3$ when more stringent conditions are imposed. We prove positivity of energy for a class of asymptotically locally hyperbolic manifolds in dimensions $4\le n \le 7$. The result is established by first proving deformation-of-mass-aspect theorems in dimensions $n\ge 4$. Our positivity results extend to the case $n = 3$ when more stringent conditions are imposed. △ Less

Submitted 30 May, 2019; v1 submitted 10 January, 2018; originally announced January 2018.

Comments: trivial typos corrected

Journal ref: Class. Quantum Grav. 35 (2018) 115015

Rigidity of outermost MOTS - the initial data version

Authors: Gregory J. Galloway

Abstract: In [5], a rigidity result was obtained for outermost marginally outer trapped surfaces (MOTSs) that do not admit metrics of positive scalar curvature. This allowed one to treat the "borderline case" in the author's work with R. Schoen concerning the topology of higher dimensional black holes [8]. The proof of this rigidity result involved bending the initial data manifold in the vicinity of the MO… ▽ More In [5], a rigidity result was obtained for outermost marginally outer trapped surfaces (MOTSs) that do not admit metrics of positive scalar curvature. This allowed one to treat the "borderline case" in the author's work with R. Schoen concerning the topology of higher dimensional black holes [8]. The proof of this rigidity result involved bending the initial data manifold in the vicinity of the MOTS within the ambient spacetime. In this note we show how to circumvent this step, and thereby obtain a pure initial data version of this rigidity result and its consequence concerning the topology of black holes. △ Less

Submitted 13 March, 2018; v1 submitted 6 December, 2017; originally announced December 2017.

Comments: 8 pages; v2: minor changes; version to appear in GRG

Rigidity in vacuum under conformal symmetry

Authors: Gregory J. Galloway, Carlos Vega

Abstract: Moitvated in part by [3], in this note we obtain a rigidity result for globally hyperbolic vacuum spacetimes in arbitrary dimension that admit a timelike conformal Killing vector field. Specifically, we show that if M is a Ricci flat, timelike geodesically complete spacetime with compact Cauchy surfaces that admits a timelike conformal Killing field X, then M must split as a metric product, and X… ▽ More Moitvated in part by [3], in this note we obtain a rigidity result for globally hyperbolic vacuum spacetimes in arbitrary dimension that admit a timelike conformal Killing vector field. Specifically, we show that if M is a Ricci flat, timelike geodesically complete spacetime with compact Cauchy surfaces that admits a timelike conformal Killing field X, then M must split as a metric product, and X must be Killing. This gives a partial proof of the Bartnik splitting conjecture in the vacuum setting. △ Less

Submitted 3 December, 2017; originally announced December 2017.

Comments: 9 pages

Topology and singularities in cosmological spacetimes obeying the null energy condition

Authors: Gregory J. Galloway, Eric Ling

Abstract: We consider globally hyperbolic spacetimes with compact Cauchy surfaces in a setting compatible with the presence of a positive cosmological constant. More specifically, for 3+1 dimensional spacetimes which satisfy the null energy condition and contain a future expanding compact Cauchy surface, we establish a precise connection between the topology of the Cauchy surfaces and the occurrence of past… ▽ More We consider globally hyperbolic spacetimes with compact Cauchy surfaces in a setting compatible with the presence of a positive cosmological constant. More specifically, for 3+1 dimensional spacetimes which satisfy the null energy condition and contain a future expanding compact Cauchy surface, we establish a precise connection between the topology of the Cauchy surfaces and the occurrence of past singularities. In addition to (a refinement of) the Penrose singularity theorem, the proof makes use of some recent advances in the topology of 3-manifolds and of certain fundamental existence results for minimal surfaces. △ Less

Submitted 9 March, 2018; v1 submitted 18 May, 2017; originally announced May 2017.

Comments: 8 pages; v2: minor changes, version to appear in CMP

Timelike completeness as an obstruction to $C^0$-extensions

Authors: Gregory J. Galloway, Eric Ling, Jan Sbierski

Abstract: The study of low regularity (in-)extendibility of Lorentzian manifolds is motivated by the question whether a given solution to the Einstein equations can be extended (or is maximal) as a weak solution. In this paper we show that a timelike complete and globally hyperbolic Lorentzian manifold is $C^0$-inextendible. For the proof we make use of the result, recently established by Sämann [17], that… ▽ More The study of low regularity (in-)extendibility of Lorentzian manifolds is motivated by the question whether a given solution to the Einstein equations can be extended (or is maximal) as a weak solution. In this paper we show that a timelike complete and globally hyperbolic Lorentzian manifold is $C^0$-inextendible. For the proof we make use of the result, recently established by Sämann [17], that even for \emph{continuous} Lorentzian manifolds that are globally hyperbolic, there exists a length-maximizing causal curve between any two causally related points. △ Less

Submitted 2 November, 2017; v1 submitted 2 April, 2017; originally announced April 2017.

Comments: v2: pertinent citations added and minor changes, v3: small refinements and improvements; theorem added, v4: added figure, minor changes, version accepted for publication in CMP

Some Remarks on the $C^0$-(in)extendibility of Spacetimes

Authors: Gregory J. Galloway, Eric Ling

Abstract: The existence, established over the past number of years and supporting earlier work of Ori [14], of physically relevant black hole spacetimes that admit $C^0$ metric extensions beyond the future Cauchy horizon, while being $C^2$-inextendible, has focused attention on fundamental issues concerning the strong cosmic censorship conjecture. These issues were recently discussed in the work of Jan Sbie… ▽ More The existence, established over the past number of years and supporting earlier work of Ori [14], of physically relevant black hole spacetimes that admit $C^0$ metric extensions beyond the future Cauchy horizon, while being $C^2$-inextendible, has focused attention on fundamental issues concerning the strong cosmic censorship conjecture. These issues were recently discussed in the work of Jan Sbierski [17], in which he established the (nonobvious) fact that the Schwarschild solution in global Kruskal-Szekeres coordinates is $C^0$-inextendible. In this paper we review aspects of Sbierski's methodology in a general context, and use similar techniques, along with some new observations, to consider the $C^0$-inextendibility of open FLRW cosmological models. We find that a certain special class of open FLRW spacetimes, which we have dubbed `Milne-like,' actually admit $C^0$ extensions through the big bang. For spacetimes that are not Milne-like, we prove some inextendibility results within the class of spherically symmetric spacetimes. △ Less

Submitted 13 June, 2017; v1 submitted 10 October, 2016; originally announced October 2016.

Comments: 22 pages, v2: minor changes and clarifications; reference added. To appear in Annales Henri Poincare

Hausdorff closed limits and rigidity in Lorentzian geometry

Authors: Gregory J. Galloway, Carlos Vega

Abstract: We begin with a basic exploration of the (point-set topological) notion of Hausdorff closed limits in the spacetime setting. Specifically, we show that this notion of limit is well suited to sequences of achronal sets, and use this to generalize the `achronal limits' introduced in [12]. This, in turn, allows for a broad generalization of the notion of Lorentzian horosphere introduced in [12]. We p… ▽ More We begin with a basic exploration of the (point-set topological) notion of Hausdorff closed limits in the spacetime setting. Specifically, we show that this notion of limit is well suited to sequences of achronal sets, and use this to generalize the `achronal limits' introduced in [12]. This, in turn, allows for a broad generalization of the notion of Lorentzian horosphere introduced in [12]. We prove a new rigidity result for such horospheres, which in a sense encodes various spacetime splitting results, including the basic Lorentzian splitting theorem. We use this to give a partial proof of the Bartnik splitting conjecture, under a new condition involving past and future Cauchy horospheres, which is weaker than those considered in [10] and [12]. We close with some observations on spacetimes with spacelike causal boundary, including a rigidity result in the positive cosmological constant case. △ Less

Submitted 22 August, 2016; originally announced August 2016.

Comments: 29 pages, 5 figures

On the geometry and topology of initial data sets with horizons

Authors: Lars Andersson, Mattias Dahl, Gregory J. Galloway, Daniel Pollack

Abstract: 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… ▽ More 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. △ Less

Submitted 14 January, 2017; v1 submitted 8 August, 2015; originally announced August 2015.

Comments: Final version. To appear in Asian Journal of Mathematics

Journal ref: Asian J. Math. 22 (2018), no. 5, 863-881

Uniqueness of photon spheres in electro-vacuum spacetimes

Authors: Carla Cederbaum, Gregory J. Galloway

Abstract: 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 conseq… ▽ More 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. △ Less

Submitted 4 August, 2015; v1 submitted 3 August, 2015; originally announced August 2015.

Comments: 16 pages. This paper extends the photon sphere uniqueness result obtained in arXiv:1504.05804 from the vacuum to the electro-vacuum setting. While the general proof method is similar, a number of new nontrivial issues arise

Rigidity of marginally outer trapped 2-spheres

Authors: Gregory J. Galloway, Abraao Mendes

Abstract: 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 trappe… ▽ More 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. △ Less

Submitted 9 July, 2016; v1 submitted 29 May, 2015; originally announced June 2015.

Comments: v3: 18 pages; added references and an acknowledgment of NSF support. Version to appear in Communications in Analysis and Geometry. (This paper supersedes arXiv:1503.05540 and arXiv:1504.06754)

Uniqueness of photon spheres via positive mass rigidity

Authors: Carla Cederbaum, Gregory J. Galloway

Abstract: 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 photo… ▽ More 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. △ Less

Submitted 14 December, 2015; v1 submitted 22 April, 2015; originally announced April 2015.

Comments: minor changes; to appear in Commun. in Analysis and Geometry

A note on the rigidity of marginally outer trapped 2-spheres

Authors: Gregory J. Galloway

Abstract: 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… ▽ More 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. △ Less

Submitted 2 June, 2015; v1 submitted 18 March, 2015; originally announced March 2015.

Comments: This paper has been withdrawn; it is superseded by the paper: arXiv:1506.00611, with A. Mendes, which combines the results of this paper with those in arXiv:1504.06754

On static Poincaré-Einstein metrics

Authors: Gregory J Galloway, Eric Woolgar

Abstract: The classification of solutions of the static vacuum Einstein equations, on a given closed manifold or an asymptotically flat one, is a long-standing and much-studied problem. Solutions are characterized by a complete Riemannian $n$-manifold $(M,g)$ and a positive function $N$, called the lapse. We study this problem on Asymptotically Poincaré-Einstein $n$-manifolds, $n\ge 3$, when the conformal b… ▽ More The classification of solutions of the static vacuum Einstein equations, on a given closed manifold or an asymptotically flat one, is a long-standing and much-studied problem. Solutions are characterized by a complete Riemannian $n$-manifold $(M,g)$ and a positive function $N$, called the lapse. We study this problem on Asymptotically Poincaré-Einstein $n$-manifolds, $n\ge 3$, when the conformal boundary-at-infinity is either a round sphere, a flat torus or smooth quotient thereof, or a compact hyperbolic manifold. Such manifolds have well-defined Wang mass, and are time-symmetric slices of static, vacuum, asymptotically anti-de Sitter spacetimes. By integrating a mildly generalized form of an identity used by Lindblom, Shen, Wang, and others, we give a mass formula for such manifolds. In consequence, we observe that either the lapse is trivial and $(M,g)$ is Poincaré-Einstein or the Wang mass is negative, as in the case of time symmetric slices of the AdS soliton. As an application, we use the mass formula to compute the renormalized volume of the warped product $(X,γ) = (M^3,g) \times_{N^2} (S^1,dt^2)$. We also give a mass formula for the case of a metric that is static in the region exterior to a horizon on which the lapse function is zero. Then the manifold $(X,γ)$ is said to have a "bolt" where the $S^1$ factor shrinks to zero length. The renormalized volume of $(X,γ)$ is expected on physical grounds to have the form of the free energy per unit temperature for a black hole in equilibrium with a radiation bath at fixed temperature. When $M$ is 3-dimensional and admits a horizon, we apply this mass formula to compute the renormalized volume of $(X,γ)$ and show that it indeed has the expected thermodynamically motivated form. △ Less

Submitted 21 May, 2018; v1 submitted 16 February, 2015; originally announced February 2015.

Comments: Trivial correction to equation 2.1 (published version does not contain this correction)

Journal ref: JHEP 6 (2015) 051

Variational and rigidity properties of static potentials

Authors: Gregory J. Galloway, Pengzi Miao

Abstract: 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 p… ▽ More 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. △ Less

Submitted 11 December, 2015; v1 submitted 2 December, 2014; originally announced December 2014.

Comments: Reference added, to appear in Comm. Anal. Geom

On the topology of initial data sets with higher genus ends

Authors: Kenneth L. Baker, Gregory J. Galloway

Abstract: 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… ▽ More 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. △ Less

Submitted 23 December, 2014; v1 submitted 4 March, 2014; originally announced March 2014.

Comments: v2: 13 pages, 1 figure; minor corrections and changes, Lemma 2.2 added. To appear in Commun Math Phys

Cosmological singularities in Bakry-Émery spacetimes

Authors: Gregory J. Galloway, Eric Woolgar

Abstract: 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 f… ▽ More 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. △ Less

Submitted 27 October, 2015; v1 submitted 12 December, 2013; originally announced December 2013.

Comments: 15 pages; The wording of Theorem 1.5 is slightly clarified over the wording in the published version, with no change in the result

Journal ref: J. Geom Phys 86 (2014) 359--369

Outer trapped surfaces are dense near MOTSs

Authors: Piotr T. Chrusciel, Gregory J. Galloway

Abstract: 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 spac… ▽ More 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. △ Less

Submitted 22 January, 2014; v1 submitted 28 August, 2013; originally announced August 2013.

Comments: 14 pages, minor rewordings

Report number: Preprint UWThPh-2013-17

Achronal limits, Lorentzian spheres, and splitting

Authors: Gregory J. Galloway, Carlos Vega

Abstract: 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 c… ▽ More 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]. △ Less

Submitted 20 October, 2013; v1 submitted 11 November, 2012; originally announced November 2012.

Comments: v2: Section 6.2 expanded, figures and appendix added, other small improvements, 41 pages. To appear in Ann. Henri Poincare

Topological censorship from the initial data point of view

Authors: Michael Eichmair, Gregory J. Galloway, Daniel Pollack

Abstract: 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 g… ▽ More 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. △ Less

Submitted 16 June, 2013; v1 submitted 1 April, 2012; originally announced April 2012.

Comments: v2: Appendix added, Theorem 5.1 improved, other minor changes. To appear in J. Diff. Geom

Constraints on the topology of higher dimensional black holes

Authors: Gregory J. Galloway

Abstract: 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. 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. △ Less

Submitted 22 November, 2011; originally announced November 2011.

Comments: 23 pages, 9 figures; chapter of a book "Black Holes in Higher Dimensions" to be published by Cambridge University Press (editor: G. Horowitz)

Stability and rigidity of extremal surfaces in Riemannian geometry and General Relativity

Authors: Gregory J. Galloway

Abstract: 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. 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. △ Less

Submitted 28 January, 2011; originally announced January 2011.

Comments: 21 pages. To appear in the book "Surveys in Geometric Analysis and Relativity celebrating Richard Schoen's 60th birthday."

MSC Class: 53C20; 83C57

Singularity theorems from weakened energy conditions

Authors: Christopher J. Fewster, Gregory J. Galloway

Abstract: 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 fiel… ▽ More 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. △ Less

Submitted 15 April, 2011; v1 submitted 29 December, 2010; originally announced December 2010.

Comments: v3 18 pages. Minor correction to the proof of Lemma 3.1; results are unchanged. Final version to appear in Class Quantum Grav

Journal ref: Class. Quantum Grav. 28 (2011) 125009

Singularity theorems based on trapped submanifolds of arbitrary co-dimension

Authors: Gregory J. Galloway, José M. M. Senovilla

Abstract: 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… ▽ More 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. △ Less

Submitted 13 May, 2010; v1 submitted 7 May, 2010; originally announced May 2010.

Comments: 11 pages, no figures, some corrections.

Journal ref: Class.Quant.Grav.27:152002,2010

Nonexistence of marginally trapped surfaces and geons in 2+1 gravity

Authors: Gregory J. Galloway, Kristen Schleich, Donald M. Witt

Abstract: 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 obeyin… ▽ More 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. △ Less

Submitted 24 August, 2011; v1 submitted 2 May, 2010; originally announced May 2010.

Comments: v3: Elements from the original two proofs of the main result have been combined to give a single proof, thereby circumventing an issue with the second proof associated with potential blow-ups of solutions to Jang's equation. To appear in Commun. Math. Phys