Topology of black holes - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T09:13:16Z http://mathoverflow.net/feeds/question/52452 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/52452/topology-of-black-holes Topology of black holes Merrick Brown 2011-01-19T01:23:56Z 2011-01-19T15:13:55Z <p>I've asked this question of some physicist friends of mine and I've never gotten a satisfactory answer: What is topologically possible for a neighborhood of a black hole? To clarify, I'm curious about the topology as a 4-manifold, although I'd also be interested to hear about time-like and space-like slices as well. I've heard that a time-like slice of the event horizon can be a torus or sphere, but this isn't really what I'd like to know, although I imagine that there is a close connection between the topology of the event horizon (as a 3-manifold) and the topology of a neighborhood of the black hole. Please ask if any clarifications are needed.</p> http://mathoverflow.net/questions/52452/topology-of-black-holes/52464#52464 Answer by J Verma for Topology of black holes J Verma 2011-01-19T03:17:26Z 2011-01-19T13:21:09Z <p>Hawking's Theorem of Black Hole topology asserts that the in case of $4$d asymptotically flat stationary black holes satisfying the suitable energy condition (dominant energy condition), the cross sections of the evernt horizon are spherical. </p> <p>Galloway and Schoen extended this theorem to higher dimensions; they showed that the cross sections of event horizon (stationary case) and the outer (apparent) horizon (general case) are of positive Yamabe type. This paper can be found at Galloway's webpage www.math.miami.edu/~galloway/papers/220_2006_19_OnlinePDF.pdf</p> http://mathoverflow.net/questions/52452/topology-of-black-holes/52468#52468 Answer by Rbega for Topology of black holes Rbega 2011-01-19T03:41:59Z 2011-01-19T03:41:59Z <p>[While I was writing, J. Verma answered the question more succinctly but I already wrote most of my answer so figured I would post it]</p> <p>First of all I am not a physicist nor do I work in GR, but I have taken a number of courses over the year so I will attempt to give some idea of an answer (I'm sure an expert can expand).</p> <p>Basically one wants to restrict attention to asymptotically flat spacetimes (in 4d) i.e complete spacelike slices of the spacetime are asymptotically euclidean (i.e. in a neighborhood of infinity the metric looks like the euclidean metric in a definite way). This physically models an isolated gravitating system. I think one probably also wants a global non-vanishing timelike vectorfield (so no timelike closed loops) and also that the the dominant energy condition holds (this is too technical to state but physically means no energy enters the past light cone of a point from outside the past light cone).</p> <p>Given this setup the event horizon is still not an easy concept to grasp (it depends on the global hyperbolic structure and so requires one to understand the entire spacetime all at once... I'm not sure what can be said about it honestly other than for highly symmetric spacetimes). An easier thing to grab hold of are MOTS (marginally outer trapped surfaces). To find these one takes a space-like complete slice and looks for surfaces whose area is unchanged under the flow by null vectors (this is marginally trapped) and that there is no surface strictly outside of this surface with this property (this is outermost). The existence of one of these implies the formation of a singularity (due to Penrose?) so are natural stand-ins for black holes (I'm not sure how much more is known about the full relationship between MOTS and black holes though I believe understanding it completely is about as hard as showing cosmic censorship). Anyway, it can be shown that these guys (since they are "stable") must be either spheres or tori (this is analogous to theorems about minimal surfaces) and the latter has a rigidity result attached to it which I believe makes it unphysical (due to Galloway and Schoen).</p> <p>I hope this makes sense and I haven't made any glaring errors.</p> http://mathoverflow.net/questions/52452/topology-of-black-holes/52517#52517 Answer by Jeff Harvey for Topology of black holes Jeff Harvey 2011-01-19T14:20:05Z 2011-01-19T14:20:05Z <p>The previous answers dealt with the physically relevant case of $d=4$ spacetime dimensions. One of the surprising discoveries in recent years is that in higher dimensions the possible topologies are much richer. I believe this started with the discovery by Emparan and Reall of a black hole in $d=5$ with horizon topology $S^2 \times S^1$ (hep-th/0110260). The recent paper arXiv:1002.0490 by Hollands et. al. surveys the situation and discusses restrictions on the possible topologies of the horizon for $d=5$ black holes.</p> http://mathoverflow.net/questions/52452/topology-of-black-holes/52521#52521 Answer by Willie Wong for Topology of black holes Willie Wong 2011-01-19T15:13:55Z 2011-01-19T15:13:55Z <p>So far J Verma and RBega provided two succint descriptions on topology of the apparent horizon itself (for any space-time admitted trapped regions), and so by association, the topology of the event horizon in a stationary asymptotically flat black-hole space-time. </p> <p>I'll try to provide an answer to an interpretation of the question you asked for: namely that of the topology of a <strong>neighborhood</strong> of the event horizon. That I have to interpret the question is because you have not actually provide a description of what you mean by a neighborhood. Using the Hawking topology theorem you can easily manage that the topology of the event horizon is $\mathbb{S}^2\times \mathbb{R}$, and is an embedded null hypersurface. So a tubular neighborhood of it necessarily has the topology $\mathbb{S}^2\times \mathbb{R}^2$, which is, for one thing, simply connected. But there is absolutely nothing to prevent you from choosing a neighborhood to be some arbitrary open set containing the event horizon with complicated topology. Indeed, you can easily imagine removing a four dimensional tube disjoint from the event horizon from the $\mathbb{S}^2\times\mathbb{R}^2$ set to get something that is not simply connected. </p> <p>Because of this freedom to choose subsets, the naive reading of you question leads to the answer that "pretty much as bad as you want". </p> <p>But that answer is rather physically useless: it doesn't capture anything essential about black holes. In fact, the answer given above is identical to the answer to the following question: let $U$ be an open connected subset of $\mathbb{R}^4$, what kinds of topology can $U$ admit? </p> <p>A more useful question to ask is: given an isolated gravitating body (such as a black hole), what is the topology of the space-time outside of it? And that question is one admitting a good answer. The content is the <strong>topological censorship theorem</strong>. In physicist's language, to quote <a href="http://prl.aps.org/abstract/PRL/v71/i10/p1486_1" rel="nofollow">Friedman, Schleich, and Witt</a>, </p> <blockquote> <p>general relativity does not allow an observer to probe the topology of spacetime: Any topological structure collapses too quickly to allow light to traverse it. </p> </blockquote> <p>An early version of this is due to <a href="http://link.aip.org/link/?JMP/16/2364/1" rel="nofollow">Gannon</a>, who showed that Cauchy hypersurface with non-trivial topology will necessarily generate a development which is null geodesically incomplete. The FSW paper showed that under some restrictions, all the non-trivial topology must be hidden behind the event horizon. </p> <p>A stronger generalisation of the topological censorship theorem is due to <a href="http://iopscience.iop.org/0264-9381/12/10/002/fulltext" rel="nofollow">Galloway</a>, who later, with Schleich, Witt, and Woolgar, extended the result from asymptotically flat space-times to also asymptotically <a href="http://dx.doi.org/10.1016/S0370-2693%2801%2900335-5" rel="nofollow">anti-deSitter ones</a>. One interesting crucial assumption of these theorems is the requirement for null or time-like "Scri". </p> <p>A somewhat related paper is <a href="http://arxiv.org/abs/1006.2890" rel="nofollow">this one by Schleich and Witt</a> which I didn't read in detail so cannot say more about. </p>