Tell me more ×
Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. It's 100% free, no registration required.

For a Reissner–Nordström or Kerr black hole there is an analytic continuation through the event horizon and back out. Assuming this is physically meaningful (various site members hereabouts think not!) does this change the genus of spacetime?

In the 2D rubber sheet analogy a loop drawn around the event horizon wouldn't be contractible because it would go through the event horizon and back out and still have the black hole in it's centre. I don't know if the same argument applies to 4D spacetime.

share|improve this question
4  
But in thinking about the topology of the manifold, shouldn't we ignore the event horizon because it's nothing special. For topology genus questions wouldn't we be looking at shrinking any closed curves, regardless of their being spacelike or timelike? – twistor59 Dec 19 '12 at 10:27
1  
Ok, ignore the event horizon. – John Rennie Dec 19 '12 at 11:37
1  
I agree with @twistor59 that the causal classification of the curves shouldn't enter if we're just doing pure topology. – Chris White Dec 19 '12 at 20:32
1  
@crazybuddy: Was this edit really necessary? Why change the British spelling! – MBN 2 days ago
1  
The correct spelling of centre has now been restored :-) – John Rennie 2 days ago
show 9 more comments

This question has an open bounty worth +300 reputation from nonagon ending in 4 days.

This question has not received enough attention.

1 Answer

To rephrase the question slightly, you are asking for one of the Betti numbers of the (3+1)-dimensional manifold corresponding to one of the solutions of the Einstein field equations that corresponds to charged or rotating black hole.

The Betti numbers of a manifold are topological invariants that intuitively represent the number of non-contractible d-dimensional "handles" on that manifold (or formally, the number of generators of the d-th homology group), and for a D dimensional manifold there are D+1 nonzero Betti numbers, $B_0,B_1, ... ,B_D$. The zero-th, $B_0$, corresponds to the number of connected components, $B_1$ the number of one-dimensional handles, and so on.

For example, the Betti numbers of a single torus $\mathbb{T}^2$ are: $B_0=1$, $B_1=2$, and $B_2=1$; and for a sphere $\mathbb{S}^2$ they are $B_0=1$, $B_1=0$, and $B_2=1$. These can be related directly back to simpler invariants you may already have heard of, like the Euler characteristic $\chi$, and the genus $g$, and we can see that for closed two-dimensional manifolds with no boundaries like the above, $g$ is related to the first Betti number:

$B_1 = 2g$

For surfaces where $B_1$ is not an even number, that is, for surfaces which are open or aren't orientable, this definition breaks down, and we talk instead of a non-orientable genus $k=B_1$. For higher dimensional manifolds we can take $k=B_{D-1}$.

So to return to your question, we want to know what the Betti numbers of the spacetime you're describing are. Assuming the topology of timelike curves is simple enough (i.e. no closed timelike curves) or that the solution is independent of time, it's easiest to look at the topology of the purely spacelike part of the solution; $D=3$, so $k=B_2$.

@Siva pointed out that the only relevant non-contractible surface that is introduced by the event horizon is one sphere, $\mathbb{S}^2$, so I would guess* that $B_2 = 1$. This would mean that $k=1$, which is a genus, but because $B_2$ is not an even number, essentially because asymptotically flat spacetimes like these are open, not closed, we can't interpret it in the same sense as the genus of a torus or another 2-d handlebody. But it is a genus in some modified sense, it's a non-orientable genus.

So, I would say that $k=1$.

*If there is a string theorist or someone else who can compute homology groups better than me, this might need checking. In 2D there's an isomorphism between the first homotopy group (which is really what Siva's sphere argument is pointing to) and the first homology group but this doesn't necessarily hold in higher dimensions IIRC. I did a quick calculation with a cellular homology that looked reasonable but I might be oversimplifying.

share|improve this answer
I do not understand your point about $B_2$ being not an integer. It is the rank of a certain homology group (or equivalently, the vectorspace dimension of the same homology taken with rational coefficients). If it is not infinite, how can it be non-integer? – Peter Kravchuk 2 days ago
3  
If you consider the space time to have the only peculiarity -- the point of the singularity being removed, that is a whole time-like path cut out from the 3+1D space, then the homology groups are easily calculated. Homology groups are homopoty-invariant, so you only need to contract the full space-time to a constant-t slice, then it is an $\mathbb{R}^3$ without a point. The latter is contractible onto an $S^2$. So the homology groups are that of a two-sphere, i.e. $H_0(X,\mathbb{Z})=\mathbb{Z},\,H_1(X,\mathbb{Z})=0,\,H_2(X,\mathbb{Z})=\mathbb{‌​Z}$, which says $b_0=1,\,b_1=0,\,b_2=1,\,\chi=2$. – Peter Kravchuk 2 days ago
@PeterKravchuk Ah, that's a typo. I mean to write "even number", so it can't be identified with $g$. $b_3 = 0$ as well unless spacetime is asymptotically spherical, which would also change $b_1$ by Poincaré duality IIRC. – Chay Paterson yesterday
My point is that we can't identify genus as the $g$ in $\chi=2-2g$, since e.g. $S^3$ has $\chi=0$, but as a sphere we still want to say its genus is zero (it's genus zero under a standard splitting). So I'm picking $b_2$, but since it's not an even number, it can't be genus in the same sense as a handlebody, but still counts as a nonorientable genus. – Chay Paterson yesterday
About $b_3$, I wanted to write "and all other numbers are zero", but there was no space left.) – Peter Kravchuk yesterday
show 1 more comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.