Bounds on area and charge for marginally trapped surfaces with cosmological constant

We sharpen the known inequalities $A \Lambda \le 4\pi (1-g)$ and $A\ge 4\pi Q^2$ between the area $A$ and the electric charge $Q$ of a stable marginally outer trapped surface (MOTS) of genus g in the presence of a cosmological constant $\Lambda$. In particular, instead of requiring stability we include the principal eigenvalue $\lambda$ of the stability operator. For $\Lambda^{*} = \Lambda + \lambda > 0$ we obtain a lower and an upper bound for $\Lambda^{*} A$ in terms of $\Lambda^{*} Q^2$ as well as the upper bound $Q \le 1/(2\sqrt{\Lambda^{*}})$ for the charge, which reduces to $Q \le 1/(2\sqrt{\Lambda})$ in the stable case $\lambda \ge 0$. For $\Lambda^{*} < 0$ there remains only a lower bound on $A$. In the spherically symmetric, static, stable case one of the area inequalities is saturated iff the surface gravity vanishes. We also discuss implications of our inequalities for "jumps" and mergers of charged MOTS.Comment: minor corrections to previous version and to published versio

The Cosmic Censor Forbids Naked Topology

For any asymptotically flat spacetime with a suitable causal structure obeying (a weak form of) Penrose's cosmic censorship conjecture and satisfying conditions guaranteeing focusing of complete null geodesics, we prove that active topological censorship holds. We do not assume global hyperbolicity, and therefore make no use of Cauchy surfaces and their topology. Instead, we replace this with two underlying assumptions concerning the causal structure: that no compact set can signal to arbitrarily small neighbourhoods of spatial infinity (``$i^0$-avoidance''), and that no future incomplete null geodesic is visible from future null infinity. We show that these and the focusing condition together imply that the domain of outer communications is simply connected. Furthermore, we prove lemmas which have as a consequence that if a future incomplete null geodesic were visible from infinity, then given our $i^0$-avoidance assumption, it would also be visible from points of spacetime that can communicate with infinity, and so would signify a true naked singularity.Comment: To appear in CQG, this improved version contains minor revisions to incorporate referee's suggestions. Two revised references. Plain TeX, 12 page

Compactness of the space of causal curves

We prove that the space of causal curves between compact subsets of a separable globally hyperbolic poset is itself compact in the Vietoris topology. Although this result implies the usual result in general relativity, its proof does not require the use of geometry or differentiable structure.Comment: 15 page

A uniqueness theorem for the adS soliton

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 $\Lambda<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 $\Lambda<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.Comment: Revtex, 4 pages; Matches published version. More detail in Abstract and one equation corrected. For details of proofs and further results, see hep-th/020408

New Five Dimensional Black Holes Classified by Horizon Geometry, and a Bianchi VI Braneworld

We introduce two new families of solutions to the vacuum Einstein equations with negative cosmological constant in 5 dimensions. These solutions are static black holes whose horizons are modelled on the 3-geometries nilgeometry and solvegeometry. Thus the horizons (and the exterior spacetimes) can be foliated by compact 3-manifolds that are neither spherical, toroidal, hyperbolic, nor product manifolds, and therefore are of a topological type not previously encountered in black hole solutions. As an application, we use the solvegeometry solutions to construct Bianchi VI$_{-1}$ braneworld cosmologies.Comment: LaTeX, 20 pages, 2 figures Typographical errors corrected, and references to printed matter added in favour of preprints where possibl

Unravelling social constructionism

Social constructionist research is an area of rapidly expanding influence that has brought together theorists from a range of different disciplines. At the same time, however, it has fuelled the development of a new set of divisions. There would appear to be an increasing uneasiness about the implications of a thoroughgoing constructionism, with some regarding it as both theoretically parasitic and politically paralysing. In this paper I review these debates and clarify some of the issues involved. My main argument is that social constructionism is not best understood as a unitary paradigm and that one very important difference is between what Edwards (1997) calls its ontological and epistemic forms. I argue that an appreciation of this distinction not only exhausts many of the disputes that currently divide the constructionist community, but also takes away from the apparent radicalism of much of this work

The Positivity of Energy for Asymptotically Anti-de Sitter Spacetimes

We use the formulation of asymptotically anti-de Sitter boundary conditions given by Ashtekar and Magnon to obtain a coordinate expression for the general asymptotically AdeS metric in a neighbourhood of infinity. From this, we are able to compute the time delay of null curves propagating near infinity. If the gravitational mass is negative, so will be the time delay (relative to null geodesics at infinity) for certain null geodesics in the spacetime. Following closely an argument given by Penrose, Sorkin, and Woolgar, who treated the asymptotically flat case, we are then able to argue that a negative time delay is inconsistent with non-negative matter-energies in spacetimes having good causal properties. We thereby obtain a new positive mass theorem for these spacetimes. The theorem may be applied even when the matter flux near the boundary-at-infinity falls off so slowly that the mass changes, provided the theorem is applied in a time-averaged sense. The theorem also applies in certain spacetimes having local matter-energy that is sometimes negative, as can be the case in semi-classical gravity.Comment: (Plain TeX - figures not included

Theorems on gravitational time delay and related issues

Two theorems related to gravitational time delay are proven. Both theorems apply to spacetimes satisfying the null energy condition and the null generic condition. The first theorem states that if the spacetime is null geodesically complete, then given any compact set $K$, there exists another compact set $K'$ such that for any $p,q \not\in K'$, if there exists a ``fastest null geodesic'', $\gamma$, between $p$ and $q$, then $\gamma$ cannot enter $K$. As an application of this theorem, we show that if, in addition, the spacetime is globally hyperbolic with a compact Cauchy surface, then any observer at sufficiently late times cannot have a particle horizon. The second theorem states that if a timelike conformal boundary can be attached to the spacetime such that the spacetime with boundary satisfies strong causality as well as a compactness condition, then any ``fastest null geodesic'' connecting two points on the boundary must lie entirely within the boundary. It follows from this theorem that generic perturbations of anti-de Sitter spacetime always produce a time delay relative to anti-de Sitter spacetime itself.Comment: 15 pages, 1 figure. Example of gauge perturbation changed/corrected. Two footnotes added and one footnote remove

Effective refractive index tensor for weak field gravity

Gravitational lensing in a weak but otherwise arbitrary gravitational field can be described in terms of a 3 x 3 tensor, the "effective refractive index". If the sources generating the gravitational field all have small internal fluxes, stresses, and pressures, then this tensor is automatically isotropic and the "effective refractive index" is simply a scalar that can be determined in terms of a classic result involving the Newtonian gravitational potential. In contrast if anisotropic stresses are ever important then the gravitational field acts similarly to an anisotropic crystal. We derive simple formulae for the refractive index tensor, and indicate some situations in which this will be important.Comment: V1: 8 pages, no figures, uses iopart.cls. V2: 13 pages, no figures. Significant additions and clarifications. This version to appear in Classical and Quantum Gravit

The Generalized Second Law implies a Quantum Singularity Theorem

The generalized second law can be used to prove a singularity theorem, by generalizing the notion of a trapped surface to quantum situations. Like Penrose's original singularity theorem, it implies that spacetime is null geodesically incomplete inside black holes, and to the past of spatially infinite Friedmann--Robertson--Walker cosmologies. If space is finite instead, the generalized second law requires that there only be a finite amount of entropy producing processes in the past, unless there is a reversal of the arrow of time. In asymptotically flat spacetime, the generalized second law also rules out traversable wormholes, negative masses, and other forms of faster-than-light travel between asymptotic regions, as well as closed timelike curves. Furthermore it is impossible to form baby universes which eventually become independent of the mother universe, or to restart inflation. Since the semiclassical approximation is used only in regions with low curvature, it is argued that the results may hold in full quantum gravity. An introductory section describes the second law and its time-reverse, in ordinary and generalized thermodynamics, using either the fine-grained or the coarse-grained entropy. (The fine-grained version is used in all results except those relating to the arrow of time.) A proof of the coarse-grained ordinary second law is given.Comment: 46 pages, 8 figures. v2: discussion of global hyperbolicity revised (4.1, 5.2), more comments on AdS. v3: major revisions including change of title. v4: similar to published version, but with corrections to plan of paper (1) and definition of global hyperbolicity (3.2). v5: fixed proof of Thm. 1, changed wording of Thm. 3 & proof of Thm. 4, revised Sec. 5.2, new footnote