-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Rigidity and Positivity of Mass for Asymptotically Hyperbolic Manifolds
Authors:
Lars Andersson,
Mingliang Cai,
Gregory J. Galloway
Abstract:
The Witten spinorial argument has been adapted in several works over the years to prove positivity of mass in the asymptotically AdS and asymptotically hyperbolic settings in arbitrary dimensions. In this paper we prove a scalar curvature rigidity result and a positive mass theorem for asymptotically hyperbolic manifolds that do not require a spin assumption. The positive mass theorem is reduced…
▽ More
The Witten spinorial argument has been adapted in several works over the years to prove positivity of mass in the asymptotically AdS and asymptotically hyperbolic settings in arbitrary dimensions. In this paper we prove a scalar curvature rigidity result and a positive mass theorem for asymptotically hyperbolic manifolds that do not require a spin assumption. The positive mass theorem is reduced to the rigidity case by a deformation construction near the conformal boundary. The proof of the rigidity result is based on a study of minimizers of the BPS brane action.
△ Less
Submitted 9 March, 2007;
originally announced March 2007.
-
Uniqueness of de Sitter space
Authors:
Gregory J. Galloway,
Didier A. Solis
Abstract:
All inextendible null geodesics in four dimensional de Sitter space dS^4 are complete and globally achronal. This achronality is related to the fact that all observer horizons in dS^4 are eternal, i.e. extend from future infinity scri^+ all the way back to past infinity scri^-. We show that the property of having a null line (inextendible achronal null geodesic) that extends from scri^- to scri^…
▽ More
All inextendible null geodesics in four dimensional de Sitter space dS^4 are complete and globally achronal. This achronality is related to the fact that all observer horizons in dS^4 are eternal, i.e. extend from future infinity scri^+ all the way back to past infinity scri^-. We show that the property of having a null line (inextendible achronal null geodesic) that extends from scri^- to scri^+ characterizes dS^4 among all globally hyperbolic and asymptotically de Sitter spacetimes satisfying the vacuum Einstein equations with positive cosmological constant. This result is then further extended to allow for a class of matter models that includes perfect fluids.
△ Less
Submitted 27 March, 2007;
originally announced March 2007.
-
Rigidity of marginally trapped surfaces and the topology of black holes
Authors:
Gregory J. Galloway
Abstract:
In a recent paper (gr-qc/0509107) the author and Rick Schoen obtained a generalization to higher dimensions of a classical result of Hawking concerning the topology of black holes. It was proved that, apart from certain exceptional circumstances, cross sections of the event horizon, in the stationary case, and 'weakly outermost' marginally outer trapped surfaces, in the general case, in black ho…
▽ More
In a recent paper (gr-qc/0509107) the author and Rick Schoen obtained a generalization to higher dimensions of a classical result of Hawking concerning the topology of black holes. It was proved that, apart from certain exceptional circumstances, cross sections of the event horizon, in the stationary case, and 'weakly outermost' marginally outer trapped surfaces, in the general case, in black hole spacetimes obeying the dominant energy condition, are of positive Yamabe type. This implies many well-known restrictions on the topology, and is consistent with recent examples of five dimensional stationary black hole spacetimes with horizon topology $S^2 \times S^1$. In the present paper, we rule out for 'outermost' marginally outer trapped surfaces, in particular, for cross sections of the event horizon in stationary black hole spacetimes, the possibility of any such exceptional circumstances (which might have permitted, e.g., toroidal cross sections). This follows from the main result, which is a rigidity result for marginally outer trapped surfaces that are not of positive Yamabe type.
△ Less
Submitted 14 January, 2008; v1 submitted 28 August, 2006;
originally announced August 2006.
-
A generalization of Hawking's black hole topology theorem to higher dimensions
Authors:
Gregory J. Galloway,
Richard Schoen
Abstract:
Hawking's theorem on the topology of black holes asserts that cross sections of the event horizon in 4-dimensional asymptotically flat stationary black hole spacetimes obeying the dominant energy condition are topologically 2-spheres. This conclusion extends to outer apparent horizons in spacetimes that are not necessarily stationary. In this paper we obtain a natural generalization of Hawking's…
▽ More
Hawking's theorem on the topology of black holes asserts that cross sections of the event horizon in 4-dimensional asymptotically flat stationary black hole spacetimes obeying the dominant energy condition are topologically 2-spheres. This conclusion extends to outer apparent horizons in spacetimes that are not necessarily stationary. In this paper we obtain a natural generalization of Hawking's results to higher dimensions by showing that cross sections of the event horizon (in the stationary case) and outer apparent horizons (in the general case) are of positive Yamabe type, i.e., admit metrics of positive scalar curvature. This implies many well-known restrictions on the topology, and is consistent with recent examples of five dimensional stationary black hole spacetimes with horizon topology $S^2 \times S^1$. The proof is inspired by previous work of Schoen and Yau on the existence of solutions to the Jang equation (but does not make direct use of that equation).
△ Less
Submitted 11 November, 2005; v1 submitted 27 September, 2005;
originally announced September 2005.
-
Non-Existence of Black Holes in Certain $Λ<0$ Spacetimes
Authors:
G. J. Galloway,
S. Surya,
E. Woolgar
Abstract:
Assuming certain asymptotic conditions, we prove a general theorem on the non-existence of static regular (i.e., nondegenerate) black holes in spacetimes with a negative cosmological constant, given that the fundamental group of space is infinite. We use this to rule out the existence of regular negative mass AdS black holes with Ricci flat scri. For any mass, we also rule out a class of conform…
▽ More
Assuming certain asymptotic conditions, we prove a general theorem on the non-existence of static regular (i.e., nondegenerate) black holes in spacetimes with a negative cosmological constant, given that the fundamental group of space is infinite. We use this to rule out the existence of regular negative mass AdS black holes with Ricci flat scri. For any mass, we also rule out a class of conformally compactifiable static black holes whose conformal infinity has positive scalar curvature and infinite fundamental group, subject to our asymptotic conditions. In a limited, but important, special case our result adds new support to the AdS/CFT inspired positive mass conjecture of Horowitz and Myers.
△ Less
Submitted 7 March, 2003; v1 submitted 19 December, 2002;
originally announced December 2002.
-
On the Geometry and Mass of Static, Asymptotically AdS Spacetimes, and the Uniqueness of the AdS Soliton
Authors:
G. J. Galloway,
S. Surya,
E. Woolgar
Abstract:
We prove two theorems, announced in hep-th/0108170, for static spacetimes that solve Einstein's equation with negative cosmological constant. The first is a general structure theorem for spacetimes obeying a certain convexity condition near infinity, analogous to the structure theorems of Cheeger and Gromoll for manifolds of non-negative Ricci curvature. For spacetimes with Ricci-flat conformal…
▽ More
We prove two theorems, announced in hep-th/0108170, for static spacetimes that solve Einstein's equation with negative cosmological constant. The first is a general structure theorem for spacetimes obeying a certain convexity condition near infinity, analogous to the structure theorems of Cheeger and Gromoll for manifolds of non-negative Ricci curvature. For spacetimes with Ricci-flat conformal boundary, the convexity condition is associated with negative mass. The second theorem is a uniqueness theorem for the negative mass AdS soliton spacetime. This result lends support to the new positive mass conjecture due to Horowitz and Myers which states that the unique lowest mass solution which asymptotes to the AdS soliton is the soliton itself. This conjecture was motivated by a nonsupersymmetric version of the AdS/CFT correspondence. Our results add to the growing body of rigorous mathematical results inspired by the AdS/CFT correspondence conjecture. Our techniques exploit a special geometric feature which the universal cover of the soliton spacetime shares with familiar ``ground state'' spacetimes such as Minkowski spacetime, namely, the presence of a null line, or complete achronal null geodesic, and the totally geodesic null hypersurface that it determines. En route, we provide an analysis of the boundary data at conformal infinity for the Lorentzian signature static Einstein equations, in the spirit of the Fefferman-Graham analysis for the Riemannian signature case. This leads us to generalize to arbitrary dimension a mass definition for static asymptotically AdS spacetimes given by Chruściel and Simon. We prove equivalence of this mass definition with those of Ashtekar-Magnon and Hawking-Horowitz.
△ Less
Submitted 22 January, 2003; v1 submitted 9 April, 2002;
originally announced April 2002.
-
dS/CFT and spacetime topology
Authors:
Lars Andersson,
Gregory J. Galloway
Abstract:
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, wit…
▽ More
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.
△ Less
Submitted 26 December, 2003; v1 submitted 25 February, 2002;
originally announced February 2002.
-
A uniqueness theorem for the adS soliton
Authors:
G. J. Galloway,
S. Surya,
E. Woolgar
Abstract:
The stability of physical systems depends on the existence of a state of least energy. In gravity, this is guaranteed by the positive energy theorem. For topological reasons this fails for nonsupersymmetric Kaluza-Klein compactifications, which can decay to arbitrarily negative energy. For related reasons, this also fails for the AdS soliton, a globally static, asymptotically toroidal $Λ<0$ spac…
▽ More
The stability of physical systems depends on the existence of a state of least energy. In gravity, this is guaranteed by the positive energy theorem. For topological reasons this fails for nonsupersymmetric Kaluza-Klein compactifications, which can decay to arbitrarily negative energy. For related reasons, this also fails for the AdS soliton, a globally static, asymptotically toroidal $Λ<0$ spacetime with negative mass. Nonetheless, arguing from the AdS/CFT correspondence, Horowitz and Myers (hep-th/9808079) proposed a new positive energy conjecture, which asserts that the AdS soliton is the unique state of least energy in its asymptotic class. We give a new structure theorem for static $Λ<0$ spacetimes and use it to prove uniqueness of the AdS soliton. Our results offer significant support for the new positive energy conjecture and add to the body of rigorous results inspired by the AdS/CFT correspondence.
△ Less
Submitted 9 April, 2002; v1 submitted 22 August, 2001;
originally announced August 2001.
-
On the topology and area of higher dimensional black holes
Authors:
Mingliang Cai,
Gregory J. Galloway
Abstract:
Over the past decade there has been an increasing interest in the study of black holes, and related objects, in higher (and lower) dimensions, motivated to a large extent by developments in string theory. The aim of the present paper is to obtain higher dimensional analogues of some well known results for black holes in 3+1 dimensions. More precisely, we obtain extensions to higher dimensions of…
▽ More
Over the past decade there has been an increasing interest in the study of black holes, and related objects, in higher (and lower) dimensions, motivated to a large extent by developments in string theory. The aim of the present paper is to obtain higher dimensional analogues of some well known results for black holes in 3+1 dimensions. More precisely, we obtain extensions to higher dimensions of Hawking's black hole topology theorem for asymptotically flat ($Λ=0$) black hole spacetimes, and Gibbons' and Woolgar's genus dependent, lower entropy bound for topological black holes in asymptotically locally anti-de Sitter ($Λ<0$) spacetimes. In higher dimensions the genus is replaced by the so-called $σ$-constant, or Yamabe invariant, which is a fundamental topological invariant of smooth compact manifolds.
△ Less
Submitted 27 February, 2001; v1 submitted 21 February, 2001;
originally announced February 2001.
-
Boundaries of Zero Scalar Curvature in the AdS/CFT Correspondence
Authors:
Mingliang Cai,
Gregory J. Galloway
Abstract:
In hep-th/9910245, Witten and Yau consider the AdS/CFT correspondence in the context of a Riemannian Einstein manifold $M^{n+1}$ of negative Ricci curvature which admits a conformal compactification with conformal boundary $N^n$. They prove that if the conformal class of the boundary contains a metric of positive scalar curvature, then $M$ and $N$ have several desirable properties: (1) $N$ is co…
▽ More
In hep-th/9910245, Witten and Yau consider the AdS/CFT correspondence in the context of a Riemannian Einstein manifold $M^{n+1}$ of negative Ricci curvature which admits a conformal compactification with conformal boundary $N^n$. They prove that if the conformal class of the boundary contains a metric of positive scalar curvature, then $M$ and $N$ have several desirable properties: (1) $N$ is connected, (2) the $n$th homology of the compactified $M$ vanishes, and (3) the fundamental group of $M$ is "bounded by" that of $N$. Here it is shown that all of these results extend to the case where the conformal class of the boundary contains a metric of nonnegative scalar curvature. (The case of zero scalar curvature is of interest as it is borderline for the stability of the theory.) The proof method used here is different from, and in some sense dual to, that used by Witten and Yau. While their method involves minimizing the co-dimension one brane action on $M$, and requires the machinery of geometric measure theory, the main arguments presented here use only geodesic geometry.
△ Less
Submitted 7 March, 2000;
originally announced March 2000.
-
Topological Censorship and Higher Genus Black Holes
Authors:
G. J. Galloway,
K. Schleich,
D. M. Witt,
E. Woolgar
Abstract:
Motivated by recent interest in black holes whose asymptotic geometry approaches that of anti-de Sitter spacetime, we give a proof of topological censorship applicable to spacetimes with such asymptotic behavior. Employing a useful rephrasing of topological censorship as a property of homotopies of arbitrary loops, we then explore the consequences of topological censorship for horizon topology o…
▽ More
Motivated by recent interest in black holes whose asymptotic geometry approaches that of anti-de Sitter spacetime, we give a proof of topological censorship applicable to spacetimes with such asymptotic behavior. Employing a useful rephrasing of topological censorship as a property of homotopies of arbitrary loops, we then explore the consequences of topological censorship for horizon topology of black holes. We find that the genera of horizons are controlled by the genus of the space at infinity. Our results make it clear that there is no conflict between topological censorship and the non-spherical horizon topologies of locally anti-de Sitter black holes. More specifically, let D be the domain of outer communications of a boundary at infinity ``scri.'' We show that the principle of topological censorship (PTC), that every causal curve in D having endpoints on scri can be deformed to scri, holds under reasonable conditions for timelike scri, as it is known to do for a simply connected null scri. We then show that the PTC implies that the fundamental group of scri maps, via inclusion, onto the fundamental group of D, i.e., every loop in D is homotopic to a loop in scri. We use this to determine the integral homology of preferred spacelike hypersurfaces (Cauchy surfaces or analogues thereof) in the domain of outer communications of any 4-dimensional spacetime obeying PTC. From this, we establish that the sum of the genera of the cross-sections in which such a hypersurface meets black hole horizons is bounded above by the genus of the cut of infinity defined by the hypersurface. Our results generalize familiar theorems valid for asymptotically flat spacetimes requiring simple connectivity of the domain of outer communications and spherical topology for stationary and slowly evolving black holes.
△ Less
Submitted 19 June, 1999; v1 submitted 19 February, 1999;
originally announced February 1999.
