arXiv subjects
Publications and source records attributed to Gregory J. Galloway.
We show that the hypothesis of analyticity in the uniqueness theory of vacuum, or electrovacuum, static black holes is not needed. More generally, we show that prehorizons covering a closed set cannot occur in well-behaved domains of outer communications.
The standard topological censorship theorems require asymptotic hypotheses which are too restrictive for several situations of interest. In this paper we prove a version of topological censorship under significantly weaker conditions, compatible e.g. with solutions with Kaluza-Klein asymptotic behavior. In particular we prove simple connectedness of the quotient of the domain of outer communications by the group of symmetries for models which are asymptotically flat, or asymptotically anti-de Sitter, in a Kaluza-Klein sense. This allows one, e.g., to define the twist potentials needed for the reduction of the field equations in uniqueness theorems. Finally, the methods used to prove the above are used to show that weakly trapped compact surfaces cannot be seen from Scri.
We consider the application of stable marginally outer trapped surfaces to problems concerning the size of material bodies and the area of black holes. The results presented extend to general initial data sets (V,g,K) previous results assuming either maximal (tr K = 0) or time-symmetric (K = 0) initial data.
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.
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.
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.
We first show that the intrinsic, geometrical structure of a dynamical horizon is unique. A number of physically interesting constraints are then established on the location of trapped and marginally trapped surfaces in the vicinity of any dynamical horizon. These restrictions are used to prove several uniqueness theorems for dynamical horizons. Ramifications of some of these results to numerical simulations of black hole spacetimes are discussed. Finally several expectations on the interplay between isometries and dynamical horizons are shown to be borne out.
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).
We discuss some global properties of cosmological spacetimes of de Sitter type, based on results with Lars Andersson obtained in hep-th/0202161. We relate the geometry and topology of conformal infinity to the occurrence of singularities in such spacetimes, thereby extending to a much broader context certain properties of some well-known cosmological models.
We show that positivity of energy for stationary, asymptotically flat, non-singular domains of outer communications is a simple corollary of the Lorentzian splitting theorem.
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.
The null splitting theorem (proved in math.DG/9909158) is discussed. As an application, a uniqueness theorem for Minkowski space and for de Sitter space associated with the occurrence of null lines (inextendible globally achronal null geodesics) is presented.
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.
We prove that the area of sections of future event horizons in space-times satisfying the null energy condition is non-decreasing towards the future under any one of the following circumstances: 1) the horizon is future geodesically complete; 2) the horizon is a black hole event horizon in a globally hyperbolic space-time and there exists a conformal completion with a ``H-regular'' Scri plus; 3) the horizon is a black hole event horizon in a space-time which has a globally hyperbolic conformal completion. (Some related results under less restrictive hypotheses are also established.) This extends a theorem of Hawking, in which piecewise smoothness of the event horizon seems to have been assumed. No assumptions about the cosmological constant or its sign are made. We prove smoothness or analyticity of the relevant part of the event horizon when equality in the area inequality is attained - this has applications to the theory of stationary black holes, as well as to the structure of compact Cauchy horizons. In the course of the proof we establish several new results concerning the differentiability properties of horizons.
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.
A maximum principle for C^0 null hypersurfaces is obtained and used to derive a splitting theorem for spacetimes which contain null lines. As a consequence of this null splitting theorem, it is proved that an asymptotically simple vacuum (Ricci flat) spacetime which contains a null line is isometric to Minkowski space.