Searcharxiv⌕ Search

arXiv subjects

E. Woolgar

Publications and source records attributed to E. Woolgar.

17 recordsLinked to original sources
arXiv2012

The Ricci flow of asymptotically hyperbolic mass and applications

We consider the evolution of the asymptotically hyperbolic mass under the curvature-normalized Ricci flow of asymptotically hyperbolic, conformally compactifiable manifolds. In contrast to asymptotically flat manifolds, for which ADM mass is constant during Ricci flow, we show that the mass of an asymptotically hyperbolic manifold of dimension n>2 decays smoothly to zero exponentially in the flow time. From this, we obtain a no-breathers theorem and a Ricci flow based, modified proof of the scalar curvature rigidity of zero-mass asymptotically hyperbolic manifolds. We argue that the nonconstant time evolution of the asymptotically hyperbolic mass is natural in light of a conjecture of Horowitz and Myers, and is a test of that conjecture. Finally, we use a simple parabolic scaling argument to produce a heuristic "derivation" of the constancy of ADM mass under asymptotically flat Ricci flow, starting from our decay formula for the asymptotically hyperbolic mass under the curvature-normalized flow.

math.DG↗
arXiv2010

On long-time existence for the flow of static metrics with rotational symmetry

B List has proposed a geometric flow whose fixed points correspond to solutions of the static Einstein equations of general relativity. This flow is now known to be a certain Hamilton-DeTurck flow (the pullback of a Ricci flow by an evolving diffeomorphism) on RxM^n. We study the SO(n) rotationally symmetric case of List's flow under conditions of asymptotic flatness. We are led to this problem from considerations related to Bartnik's quasi-local mass definition and, as well, as a special case of the coupled Ricci-harmonic map flow. The problem also occurs as a Ricci flow with broken SO(n+1) symmetry, and has arisen in a numerical study of Ricci flow for black hole thermodynamics. When the initial data admits no minimal hypersphere, we find the flow is immortal when a single regularity condition holds for the scalar field of List's flow at the origin. This regularity condition can be shown to hold at least for n=2. Otherwise, near a singularity, the flow will admit rescalings which converge to an SO(n)-symmetric ancient Ricci flow on R^n.

math.DG↗
arXiv2008

Asymptotically Flat Ricci Flows

We study Ricci flows on $R^n$, $n\ge 3$, that evolve from asymptotically flat initial data. Under mild conditions on the initial data, we show that the flow exists and remains asymptotically flat for an interval of time. The mass is constant in time along the flow. We then specialize to the case of rotationally symmetric, asymptotically flat initial data containing no embedded minimal hyperspheres. We show that in this case the flow is immortal, remains asymptotically flat, never develops a minimal hypersphere, and converges to flat Euclidean space as the time diverges to infinity. We discuss the behaviour of quasi-local mass under the flow, and relate this to a conjecture in string theory.

math.DG↗
arXiv2007

Some Applications of Ricci Flow in Physics

I discuss certain applications of the Ricci flow in physics. I first review how it arises in the renormalization group (RG) flow of a nonlinear sigma model. I then review the concept of a Ricci soliton and recall how a soliton was used to discuss the RG flow of mass in 2-dimensions. I then present recent results obtained with Oliynyk on the flow of mass in higher dimensions. The final section discusses one way in which Ricci flow may arise in general relativity, particularly for static metrics.

hep-th↗
arXiv2007

A Metric for Gradient RG Flow of the Worldsheet Sigma Model Beyond First Order

Tseytlin has recently proposed that an action functional exists whose gradient generates to all orders in perturbation theory the Renormalization Group (RG) flow of the target space metric in the worldsheet sigma model. The gradient is defined with respect to a metric on the space of coupling constants which is explicitly known only to leading order in perturbation theory, but at that order is positive semi-definite, as follows from Perelman's work on the Ricci flow. This gives rise to a monotonicity formula for the flow which is expected to fail only if the beta function perturbation series fails to converge, which can happen if curvatures or their derivatives grow large. We test the validity of the monotonicity formula at next-to-leading order in perturbation theory by explicitly computing the second-order terms in the metric on the space of coupling constants. At this order, this metric is found not to be positive semi-definite. In situations where this might spoil monotonicity, derivatives of curvature become large enough for higher order perturbative corrections to be significant.

hep-th↗
arXiv2003

Non-Existence of Black Holes in Certain $Λ<0$ Spacetimes

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.

gr-qc↗
arXiv2003

On the Geometry and Mass of Static, Asymptotically AdS Spacetimes, and the Uniqueness of the AdS Soliton

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.

hep-th↗
arXiv2002

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 $Λ<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.

hep-th↗
arXiv2001

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.

gr-qc↗
arXiv2000

The AdS/CFT Correspondence Conjecture and Topological Censorship

In gr-qc/9902061 it was shown that (n+1)-dimensional asymptotically anti-de-Sitter spacetimes obeying natural causality conditions exhibit topological censorship. We use this fact in this paper to derive in arbitrary dimension relations between the topology of the timelike boundary-at-infinity, $\scri$, and that of the spacetime interior to this boundary. We prove as a simple corollary of topological censorship that any asymptotically anti-de Sitter spacetime with a disconnected boundary-at-infinity necessarily contains black hole horizons which screen the boundary components from each other. This corollary may be viewed as a Lorentzian analog of the Witten and Yau result hep-th/9910245, but is independent of the scalar curvature of $\scri$. Furthermore, the topology of V', the Cauchy surface (as defined for asymptotically anti-de Sitter spacetime with boundary-at-infinity) for regions exterior to event horizons, is constrained by that of $\scri$. In this paper, we prove a generalization of the homology results in gr-qc/9902061 in arbitrary dimension, that H_{n-1}(V;Z)=Z^k where V is the closure of V' and k is the number of boundaries $Σ_i$ interior to $Σ_0$. As a consequence, V does not contain any wormholes or other compact, non-simply connected topological structures. Finally, for the case of n=2, we show that these constraints and the onto homomorphism of the fundamental groups from which they follow are sufficient to limit the topology of interior of V to either B^2 or $I\times S^1$.

hep-th↗
arXiv1999

Bounded Area Theorems for Higher Genus Black Holes

By a simple modification of Hawking's well-known topology theorems for black hole horizons, we find lower bounds for the areas of smooth apparent horizons and smooth cross-sections of stationary black hole event horizons of genus $g>1$ in four dimensions. For a negatively curved Einstein space, the bound is ${{4π(g-1)}\over {-\ell}}$ where $\ell$ is the cosmological constant of the spacetime. This is complementary to the known upper bound on the area of $g=0$ black holes in de Sitter spacetime. It also emerges that $g>1$ quite generally requires a mean negative energy density on the horizon. The bound is sharp; we show that it is saturated by certain extreme, asymptotically locally anti-de Sitter spacetimes. Our results generalize a recent result of Gibbons.

gr-qc↗
arXiv1999

A Causal Order for Spacetimes with $C^0$ Lorentzian Metrics: Proof of Compactness of the Space of Causal Curves

We recast the tools of ``global causal analysis'' in accord with an approach to the subject animated by two distinctive features: a thoroughgoing reliance on order-theoretic concepts, and a utilization of the Vietoris topology for the space of closed subsets of a compact set. We are led to work with a new causal relation which we call $K^+$, and in terms of it we formulate extended definitions of concepts like causal curve and global hyperbolicity. In particular we prove that, in a spacetime $\M$ which is free of causal cycles, one may define a causal curve simply as a compact connected subset of $\M$ which is linearly ordered by $K^+$. Our definitions all make sense for arbitrary $C^0$ metrics (and even for certain metrics which fail to be invertible in places). Using this feature, we prove for a general $C^0$ metric, the familiar theorem that the space of causal curves between any two compact subsets of a globally hyperbolic spacetime is compact. We feel that our approach, in addition to yielding a more general theorem, simplifies and clarifies the reasoning involved. Our results have application in a recent positive energy theorem, and may also prove useful in the study of topology change. We have tried to make our treatment self-contained by including proofs of all the facts we use which are not widely available in reference works on topology and differential geometry.

gr-qc↗
arXiv1999

Topological Censorship and Higher Genus Black Holes

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.

gr-qc↗
arXiv1996

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.

gr-qc↗
arXiv1994

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.

gr-qc↗
arXiv1993

A Positive Mass Theorem Based on the Focusing and Retardation of Null Geodesics

A positive mass theorem for General Relativity Theory is proved. The proof is 4-dimensional in nature, and relies completely on arguments pertaining to causal structure, the basic idea being that positive energy-density focuses null geodesics, and correspondingly retards them, whereas a negative total mass would advance them. Because it is not concerned with what lies behind horizons, this new theorem applies in some situations not covered by previous positivity theorems. Also, because geodesic focusing is a global condition, the proof might allow a generalisation to semi-classical gravity, even though quantum violations of local energy conditions can occur there.

gr-qc↗