Stationary axisymmetric spacetime

[Rainbow Child]

I am trying to understand the definition of stationary axisymmetric spacetimes and I am confused!
Following Wald's definition in his book "General Relativity" a spacetime is called stationary axisymmetic when it exists a timilike Killing field \xi^\alpha and a spacelike Killing field \psi^\alpha whose integral curves are closed. In this case we can choose a coordinate system (x^0=t,x^1=\phi,x^2,x^3) where the Killing fields are

\xi^\alpha= \frac{\partial}{\partial\,t}, & \psi^\alpha=\frac{\partial}{\partial\,\phi}

Calculating now the integral curves of \psi^\alpha we have

\frac{d\,t}{d\,\lambda}=0, \quad \frac{d\,\phi}{d\,\lambda}=1, \quad \frac{d\,x^2}{d\,\lambda}=0, \quad \frac{d\,x^3}{d\,\lambda}=0 \Rightarrow
t(\lambda)=c_t, \quad \phi(\lambda)=\lambda+c_\phi, \quad x^2(\lambda)=c_2, \quad x^3(\lambda)=c_3

and here is the problem. The above curve is not closed for any interval \lambda \in (\alpha,\beta).
The only answer I can think is that someone must make somekind of identification, say

\phi(\lambda)=\lambda+c_\phi, \quad \lambda \in [0,2\,\pi)
\phi(\lambda+2\,\pi)=\phi(\lambda), \quad \lambda \geq 2\,\pi

in order to produce a closed curve.
Is this the correct answer?

 

[pervect]

The only answer I can think is that someone must make somekind of identification, say

\phi(\lambda)=\lambda+c_\phi, \quad \lambda \in [0,2\,\pi)
\phi(\lambda+2\,\pi)=\phi(\lambda), \quad \lambda \geq 2\,\pi

in order to produce a closed curve.
Is this the correct answer?

AFAIK, yes - the point is that \phi is an angular coordinate, so it is periodic. Wald really only uses this result to show that if one choses coordinates t and \phi properly, being stationary and axissymmetric solution is equivalent to saying that none the metric coefficients are functions of either t (time) or \phi[/itex] (the angle) - so that if you rotate the metric around the axis of symmetry, it doesn't change.

 

[Rainbow Child]

Thanks pervect!

So if I have an albitrary specetime with a Killing field \xi^\alpha =\frac{\partial}{\partial\,z} where the coordinate z is not an angular coordinate, I can make the space time axisymmetric by imposing periodical conditions on z.
I assume that can be done by the cost of altering the topology of the spacetime,

i.e. if for the original spacetime one chart could desribe the whole manifold, after imposing the periodical conditions we need infinity charts to cover the manifold.

 

[pervect]

I'm not so sure I'd go that far!

 

[George Jones]

iafter imposing the periodical conditions we need infinity charts to cover the manifold.

Is exterior Schwarzschild stationary and axisymmetric?

 

[Rainbow Child]

Is exterior Schwarzschild stationary and axisymmetric?

I hope this is not a ...tricky question!

Schwarzschild' s exterior solution is not only stationary but also static. As far as I can understand it is also axisymmetric because it admits the Killing field \xi^\alpha=\partial_\phi which corresponds to the angular coordinate \phi.

Am I loosing something?

 

[George Jones]

I hope this is not a ...tricky question!

Schwarzschild' s exterior solution is not only stationary but also static. As far as I can understand it is also axisymmetric because it admits the Killing field \xi^\alpha=\partial_\phi which corresponds to the angular coordinate \phi.

Am I loosing something?

No, I misread what you wrote in post #3 and thought that Schwarzschild was a counterexample. What I had in mind is captured better by what follows.

Consider \mathbb{R}^2 covered by the standard single chart. The infinite cylinder can be realized as a quotient manifold obtained from the equivalence relation \left( x , y \right) \sim \left( x+n , y \right) for n \in \mathbb{N}.

The single chart that covers \mathbb{R}^2 does give rise to an infinite number of charts on the cylinder, but an infinite number of charts aren't needed to cover the cylinder, since other charts are possible..

 

[pervect]

A simple example of what's bothering me about the question. Suppose we have a plane Then we know that in polar coordinates, that one coordinate chart of the plane is:

ds^2 = dr^2 + r^2 d\theta^2

where 0<=r<\infty and 0<=r<2\pi

(not really sure about all the equal signs here in the domain here, but let's not sweat that right now). Now the question is, can we imagine some other topology (i.e. not a plane) that has the line element

ds^2 = dr^2 + r^2 d\theta^2

defined over a different domain? I think that maybe there could be. What comes to mind is the surface initially postulated by Riemann to handle the logarithmic function on the complex plane, which has an infinite number of sheets. (And there are obvious subsets generated by cutting and pasting).

I think that we have to exclude the origin though - there shouldn't be any real problem including the origin of the plane (it's just a coordinate singularity), but there is a real problem with the manifold at R=0 for the Riemann log surface.

But I don't think getting into this really sheds much light on Wald's intent - it's getting more into the math end of the things than the physics end.

 

[Rainbow Child]

A simple example of what's bothering me about the question. Suppose we have a plane Then we know that in polar coordinates, that one coordinate chart of the plane is:

ds^2 = dr^2 + r^2 d\theta^2

where 0<=r<\infty and 0<=r<2\pi

(not really sure about all the equal signs here in the domain here, but let's not sweat that right now). Now the question is, can we imagine some other topology (i.e. not a plane) that has the line element

ds^2 = dr^2 + r^2 d\theta^2

defined over a different domain? I think that maybe there could be.
...
But I don't think getting into this really sheds much light on Wald's intent - it's getting more into the math end of the things than the physics end.

Ok, let' s return to physics!

There is a very nice article of Gott and Alpert, GRG 16, 243-247 (1984) about (2+1) Spacetime.
In there terminology having the line element:

d\,s^2=-d\,t&#039;^2+B_o\,d\,r^2+r^2\,d\,\phi^2, \quad 0\leq\phi&lt;2\pi

which decribes a flat Minkowski space and performing the coordinate transormation

r&#039;=\sqrt{B_o}\,r,\quad \phi&#039;=\frac{\phi}{\sqrt{B_o}}

we end up with flat (2 +1)-Minkowski metric

d\,s^2=-d\,t&#039;^2+d\,r&#039;^2+r&#039;^2\,d\,\phi&#039;^2

written in polar coordinates. But now the coordinate \phi&#039; has range

0\leq\phi&#039;&lt;\frac{2\pi}{\sqrt{B_o}}

producing a conical singurality. As they mention:

"However, the singularity is focusing, in that particle trajectories which are initially
parallel and pass on opposite sides of r = 0 will eventually intersect each other at
an angle of 2\pi(1-\frac{1}{\sqrt{B_o}}."

So the physics is altered (!)

Thus we come again in the first question.
The former line element is axisymmetric, but the latter is not, if we do not demand the periodical conditions.
And as far as I can understand this is an counterexample for George Jones' s post, because even though we can still have one chart (t&#039;,r&#039;,\phi&#039;) to cover the whole manifold, if we insist on axisymmetric demand we must use infinity charts.

Thus I think that the range of the coordinates are crucial. (The other possibility is that I am are mixed up )

Merry Christmas to everybody!

 

[George Jones]

A simple example of what's bothering me about the question. Suppose we have a plane Then we know that in polar coordinates, that one coordinate chart of the plane is:

ds^2 = dr^2 + r^2 d\theta^2

where 0<=r<\infty and 0<=r<2\pi

(not really sure about all the equal signs here in the domain here, but let's not sweat that right now). Now the question is, can we imagine some other topology (i.e. not a plane) that has the line element

ds^2 = dr^2 + r^2 d\theta^2

defined over a different domain?

Yes.

Consider a slightly altered version of my example in post #7 that is the strip of the plane given given by \left\{\left(x,y\right) | -1 \leq x \leq 1, -\infty &lt; y &lt; \infty\right\}. In this strip, polar coordinates still work in the patch \left\{\left(r,\theta\right) | 0 &lt; r &lt; 1, 0&lt; \theta &lt; 2\pi\right\}.

Now roll the paper into into a cylinder and glue, i.e., identify the lines x = -1 and x = 1. This results in a space that is not simply connected, but that still is intrinsically flat. The components of the metric in the polar coordinate patch (a small part of the space) with domain as in the previous paragraph are just as you gave.