- #1
- 6,724
- 431
I see statements that in order to define a black hole, we need asymptotic flatness, but this only seems to be necessary because we want to define the horizon as the boundary of a region from which light can't escape to null infinity ([itex]\mathscr{I}^+[/itex]). It seems like you can have a well defined null infinity without having asymptotic flatness. E.g., Hawking and Ellis describe de Sitter space as having a Penrose diagram that looks like a square, and they do refer to the top edge of the square as [itex]\mathscr{I}^+[/itex]. (This means that [itex]\mathscr{I}^+[/itex] in de Sitter space is spacelike rather than timelike.)
So can't we define a black hole simply by saying that light can't escape to [itex]\mathscr{I}^+[/itex]? I guess this raises the point of what general definition we would have in mind for [itex]\mathscr{I}^+[/itex]. H&E don't actually give an explicit definition, but it seems like the thrust of it is that it's the graveyard of lightlike geodesics on a Penrose diagram, and implicitly I think the intention is that a singularity isn't part of [itex]\mathscr{I}^+[/itex], even though light rays can end up there. So I suppose we want the definition to be that it's the graveyard of complete lightlike geodesics.
If asymptotic flatness really is necessary in order to define black holes, then it seems like we can't, for example, define black holes in de Sitter space. This seems silly to me -- if we lived in de Sitter space, we could certainly tell what was and what wasn't a black hole, couldn't we?
[EDIT] Hmm... possibly this answers my question: http://relativity.livingreviews.org/open?pubNo=lrr-2001-6&page=articlese2.html "Similar definitions of a black hole can be given in other contexts (such as asymptotically anti-deSitter spacetimes) where there is a well defined asymptotic region." Geroch is talking about a-dS, not dS, but the concept seems the same.
So can't we define a black hole simply by saying that light can't escape to [itex]\mathscr{I}^+[/itex]? I guess this raises the point of what general definition we would have in mind for [itex]\mathscr{I}^+[/itex]. H&E don't actually give an explicit definition, but it seems like the thrust of it is that it's the graveyard of lightlike geodesics on a Penrose diagram, and implicitly I think the intention is that a singularity isn't part of [itex]\mathscr{I}^+[/itex], even though light rays can end up there. So I suppose we want the definition to be that it's the graveyard of complete lightlike geodesics.
If asymptotic flatness really is necessary in order to define black holes, then it seems like we can't, for example, define black holes in de Sitter space. This seems silly to me -- if we lived in de Sitter space, we could certainly tell what was and what wasn't a black hole, couldn't we?
[EDIT] Hmm... possibly this answers my question: http://relativity.livingreviews.org/open?pubNo=lrr-2001-6&page=articlese2.html "Similar definitions of a black hole can be given in other contexts (such as asymptotically anti-deSitter spacetimes) where there is a well defined asymptotic region." Geroch is talking about a-dS, not dS, but the concept seems the same.
Last edited by a moderator: