Closed timelike geodesics in a gas of cosmic strings
Øyvind Grøn and Steinar Johannesen1
Department of Engineering, Oslo University College, PO Box 4, St Olavs Plass, N-0130 Oslo, Norway
1 Author to whom any correspondence should be addressed.
E-mail: Oyvind.Gron@iu.hio.no and Steinar.Johannesen@iu.hio.no
Received 21 May 2008
Published 31 October 2008
| Abstract. We find a class of solutions of Einstein's field equations representing spacetime outside a spinning cosmic string surrounded by vacuum energy and a rotating gas of non-spinning strings of limited radial extension. Outside the region with vacuum energy and cosmic strings there is empty space. We show that there exist closed timelike geodesics in this spacetime. |
Contents
1. Introduction
The question of the causal structure of spacetime is related to the question of the existence of closed timelike curves (CTCs). One should therefore try to formulate as simple criteria as possible for the existence of such curves. It would be particularly exciting if a free particle could move so that it arrives back at the event it started from. Such a particle must follow a closed timelike geodesic (CTG).
The existence of CTCs has been investigated in some cases. Gödel [1] was the first one to demonstrate the existence of a solution of Einstein's field equations with CTCs. He showed that such curves exist in a rotating universe model with dust and negative vacuum energy. Already in 1937 van Stockum [2] found the solutions of Einstein's field equations inside and outside a cylindrically symmetric rotating dust distribution. Tipler [3] showed that the external solution contains CTCs. Gott has shown that CTCs exist in a spacetime with a pair of moving cosmic strings [4]. An eternal time machine in (2 + 1)-dimensional anti-de Sitter space has been analysed by DeDeo and Gott [5]. Another example of a spacetime admitting CTCs is Bonnor's rotating dust metric which has recently been analysed by Collas and Klein [6].
Only a few known solutions contain CTGs. The first one was presented by Soares [7] in 1979. He found a class of cosmological solutions of the Einstein–Maxwell equations with rotating dust and electromagnetic fields. For a subclass of these models, the topology of the spacetime manifold is S3×R, and the timelike geodesic curves followed by the dust particles are closed. In this case, the existence of the CTGs depends upon the nontrivial topology of the considered spacetime.
The first one to have demonstrated the existence of CTGs in R4 is Steadman [8]. He has shown that such curves exist in the exterior van Stockum spacetime. It has also been shown by Bonnor and Steadman [9] that a spacetime with two spinning particles, each one with a magnetic moment and a mass equal to their charge, permit special cases in which there exist CTGs. Rosa and Letelier [10] have shown that there exist regions where these curves are stable.
Recently Rosa and Letelier have constructed a new solution of Einstein's field equations with a spacetime containing a black hole pierced by a spinning cosmic string [11].
In the present paper, we find a class of new solutions of Einstein's field equations describing a spacetime with CTGs. This spacetime is time independent and cylindrically symmetric. It is filled with a gas of limited radial extension which consists of non-spinning strings parallel to the symmetry axis and vacuum energy, and there is a spinning cosmic string along the axis. Spacetime in the gas is matched continuously to the external metric in empty space outside a spinning cosmic string [12].
2. Physical properties of the reference frame
We shall consider curved spacetime with axial symmetry. The metric is assumed to be stationary. The line element may then be written [13]
where f, k, l and μ are functions of r and z, and we have used units so that the velocity of light c = 1. It may be noted that the Lorentz invariance in the z-direction implies that f = eμ. The coordinates r,
and z are comoving in a reference frame R.
Rindler and Perlick [14] have deduced a formula for the four-acceleration Aμ and the vorticity Ω of the four-velocity field of the reference particles in R relative to the local compass of inertia. Applied to the line element (1) one obtains [15]
and
where
The condition fl + k2 > 0 comes from the signature of the spacetime metric. Here Ω represents the local rate of rotation of the reference frame R, i.e. the rotation with respect to a `compass of inertia'. A more general formula, valid also for time-dependent metrics, has been deduced by Weissenhoff [16]. When k/f is constant, the vorticity is vanishing. Since the metric is time independent, the distances between fixed reference points are also independent of time. In this sense, the reference system is rigid. Thus, when k/f is constant, the swinging plane of the Foucault pendulum, representing a local compass of inertia, will have a fixed direction in R.
The coordinate clocks showing the time t are at rest in R, but the existence of the product term dt d
means that these clocks are not Einstein synchronized around a closed curve when k≠0 [17].
In order to investigate the kinematics of the frame R, we consider a particle moving in a plane z = constant. The Lagrange function of the particle is
The conserved angular momentum of the particle is
where the dot denotes differentiation with respect to the proper time of the particle.
In the case l > 0, the coordinate basis vector
is spacelike, and we can define an angular velocity
giving
A local inertial reference frame is a freely falling, non-rotating frame having p
= 0. Hence the inertial frames have an angular velocity
in the reference frame R. This is an expression of the inertial dragging effect. Hence, in the case l > 0, the presence of the d
dt-term in the line element (1) is due to the rotation of the reference frame R relative to the inertial frames. We will now argue that this interpretation is not valid in the case l < 0.
The line element (1) may be written
This form of the line element is obtained by replacing the coordinate basis vector field
by the orthogonal basis vector field
. The vector
is timelike and
,
and
are spacelike when l > 0, which leads to the usual interpretation of ω as an angular velocity as given in equation (9). However,
is timelike and
,
and
are spacelike when l < 0, making this interpretation impossible.
The line element can also be written in the form
when l > –k2/f, permitting both positive and negative values of l. This is obtained by replacing the coordinate basis vector field
with the orthogonal basis vector field
. The three-space spanned by the spacelike basis vectors
represents the simultaneity space orthogonal to the timelike basis vector
. Hence the form (11) of the line element separates out the three-space orthogonal to the four-velocity of the reference particles.
The expression dt–(k/f)d
is an exact differential when k/f is constant. In this case, one can introduce a new time coordinate
and the line element takes the form
The clocks showing
are locally Einstein synchronized. Hence the coordinate clocks showing t are not Einstein synchronized.
In the case l > 0, the reference frame is rotating. Then the Einstein synchronized clocks showing
have a gap when one goes around a circle about the axis. In this case, the time
is not well-defined globally due to the mentioned gap.
As shown above, when l < 0 the reference system is not rotating. In this case, one may Einstein synchronize clocks around a circle. Then the time
given by equation (12) is well-defined globally. Hence, although the form (11) of the line element is valid both for l > 0 and l < 0, it introduces this well-defined coordinate
only when l < 0.
Locally the situation is then similar to that of a person travelling westwards around the equator in an airplane so that the local time is constant on the Earth at the position of the airplane. This corresponds to keeping the time t constant. However, the proper time of the passenger increases, corresponding to an increase of the time
as given in equation (12), when
decreases. Going around a circle, there is a gap of the time t on the Earth at the date line.
However, spacetime may be different. In the present paper, we shall consider spacetime outside a spinning cosmic string. Then there is no time gap in t when one goes around the circle.
3. General criteria for CTGs
Let us consider a circular timelike curve in the plane z = constant. The four-velocity identity applied to the tangent vector field of the curve takes the form
where we have used units so that the velocity of light c = 1 and the dot means the derivative with respect to proper time τ. If
, the curve is closed in spacetime. This condition seems to mean that a particle moving along such a curve is everywhere on the curve at a fixed point of time, i.e. it has an infinitely great velocity. One may wonder if this is in conflict with the special theory of relativity. However, this infinitely great velocity is measured with clocks that are not Einstein synchronized. As measured by the Einstein synchronized clocks, the velocity of the particle is less than the velocity of light. Hence its world line is inside the light cone, which means to say that it is timelike. For such a curve the four-velocity identity reduces to
Hence the metric component l < 0 on the curve.
We shall now consider closed geodesic curves in a plane z = constant. The radial Lagrange equation is
In the case of a circular geodesic in the z = constant plane, the Lagrangian of a free particle is
and the equation takes the form
The condition that the curve shall be closed is
. From equations (15) and (18) we then have the following two conditions which must be fulfilled on a closed circular geodesic curve with radius r = r2:
Similarly, from the z-component of the geodesic equation, we obtain the condition
The first of the conditions (19) comes from the requirement that the curve shall be closed in spacetime, the second as well as (20), that it is also geodesic.
4. Applications to some known metrics
4.1. The Bonnor metric
This metric represents spacetime in a rotating cloud of dust. It has earlier been investigated by Collas and Klein [6]. Let us apply the conditions (19) and (20) to Bonnor's metric, having
In this case the condition (20) takes the form
which requires that z = 0. Hence timelike circular closed geodesics in the hyperplane of z = constant, with centre on the z-axis, can only exist in the plane z = 0. The condition l, r (r2) = 0 takes the form r24 = –4h2, showing that there are no closed, circular geodesics in the plane z = 0. This shows that the Bonnor metric does not permit the existence of such closed, timelike geodesics. This provides a simple proof of a result that was originally found by Collas and Klein [6].
4.2. The van Stockum spacetime
We shall apply our criteria (19) to a van Stockum metric [2] which has earlier been analysed by Steadman [8], describing an empty space outside a rotating dust cylinder. In this case, the relevant metric function (in our notation) is
where
The constant a is the spin per mass of the rotating dust.
The condition l, r (r2) = 0 for a CTG now takes the form
where k is an integer. Inserting this into the expression for l gives
Using equation (24) this can be written
In addition, the condition l(r2) < 0 must be fulfilled. This requires that k = 2n where n is an integer. Hence there exists closed timelike circular geodesics with radii
where n is an integer. Since the present metric is a solution of the field equations in empty space outside the dust distribution, the radii must satisfy r2 > R. Hence nπ > 2
which demands that n is a positive integer. We have thereby given a simple demonstration of a result which was first found by Steadman [8].
4.3. The Gödel universe
We shall here apply our criteria to the Gödel universe model [1]. This is a rotating universe filled with dust and vacuum energy. The density of the vacuum energy is negative and has half the value of the density of the dust. Barrow and Tsagas [18] have recently analysed the stability and dynamics of the Gödel universe and also discussed the existence of CTCs in this universe model. The metric function g![]()
is
where a2 = 1/κμ and μ is the density of the dust. Then l, r = 0 leads to
Inserting this into equation (29) we get l = l0 = a2 > 0. Hence closed timelike circular geodesics do not exist in this universe model. However, there is a region with closed timelike non-geodesic curves. In this region l < 0, which corresponds to
.
5. New solutions with CTGs
We shall consider a cylindrically symmetric space outside a spinning cosmic string. The space is filled with vacuum energy and a non-rotating gas of non-spinning strings oriented parallel to the axis. The vacuum energy and the gas of strings have limited extension in the radial direction. We shall find the metric inside the gas by solving Einstein's field equations, demanding that it matches continuously at the outer boundary of the mass distribution to the metric [12] in empty space outside a spinning cosmic string.
We now assume that f = eμ = 1 and that k is constant. According to equation (3) this means that the vorticity of the four-velocity field of the reference particles vanishes. From equation (2) it also follows that the acceleration of gravity vanishes, so that the gas of strings is in static equilibrium. We shall construct solutions with l < 0 in the region with cosmic strings. Hence the reference frame is non-rotating in this region. The line element then takes the form
This form of the metric with k = constant has recently been discussed by Cooperstock and Tieu [19] and Culetu [20]. In this case, it is possible to introduce a new time coordinate
so that the line element takes the form
The three-space of the gas is given by the last three terms in equation (32).
Going around a curve from
= 0 to
= 2π, either t or
(or both) have to make a gap, and in general there seems to be lacking a criterion to decide which one. It may be a question of defining the topology of the spacetime which is considered.
In the present work, we assume that the spacetime outside the gas which surrounds the string is that of empty space outside a spinning cosmic string [12]. Then the original time coordinate t does not have a gap, whereas
has a gap equal to 2πk.
The nonzero contravariant components of the energy–momentum tensor in the gas of strings are
We assume that the vacuum energy has a density ρΛ > 0. It is also assumed to have a pressure pΛ only in the axial direction. The nonzero contravariant components of the energy–momentum tensor for the vacuum are
where pΛ = –ρΛ is constant. There is no energy current since the gas is at rest in the reference frame.
Calculating the Einstein tensor for the line element (31), we find that the tt- and zz-components of Einstein's field equations take the form
and
where κ is Einstein's gravitational constant. From these equations we obtain
Note that in the present case the usual coordinate condition D(r) = r does not permit a non-vanishing density, and therefore cannot be applied in the space inside the gas.
The metric function l depends upon the density as a function of r which may be chosen freely. Furthermore,
For a bounded function D(r) the condition l(r) < 0 may be fulfilled by choosing k sufficiently large. Hence there are CTCs in this spacetime. However, these curves will in general not be geodesics. If they shall be geodesics, the additional requirement, l ' (r) = 2D(r)D ' (r) = 0 must be met. In order not to have a degenerate metric, we must assume that D(r)≠0. Then the condition l ' (r) = 0 is equivalent to the condition D ' (r) = 0, showing that the two conditions (19) for a closed circular geodesic curve may be fulfilled.
In the situation we consider, there is a spinning cosmic string along the z-axis. The non-vanishing energy–momentum tensor components of the string are given by
where λcs and J are the mass and the angular momentum per unit length of the string [21]. The line element in empty space outside this string is [12]
where λ is the total mass per unit length of the spinning string on the z-axis and the gas and vacuum outside it. Furthermore,
where
is the gravitational line density. This solution has
Assume that the exterior boundary of the gas is at r = r1. Then the components of the metric tensor and their derivatives must be continuous at r = r1. Hence
We see that D'' and D must have equal signs. Otherwise the graph of D(r) curves towards the r-axis. In this case, D(r) = 0 for a value of r between each CTG where D'(r) = 0, and between r = r1 and the geodesic of maximum r. These values of r correspond to cylindrical surfaces in spacetime where the metric is degenerate. In order to obtain a connected spacetime, we must therefore assume that D''/D > 0. According to equations (35) and (36) this implies that
and
Note that when l < 0, equation (45) permits a positive mass density of the gas of strings. Also, since pΛ = –ρΛ, it follows from equation (46) that pg > 0. Hence the pressure and the density of the gas of cosmic strings have the same sign. This is unusual. In the absence of the vacuum energy the cosmic gas would, according to equation (37), obey the equation of state pg = –ρg. In the present model, however, equation (37) tells that the equation of state of the gas of cosmic strings is modified by the vacuum energy. Also, there are no cosmic strings in the external region where there is no vacuum energy.
In the present case, the sign of D(r) cannot change, and we can therefore assume that D(r) > 0 for every value of r > 0. This means that the line density of the string must fulfil λ < λ0 which secures the possibility of a weak field approximation.
By choosing
we obtain l(r1) = 0 from equation (41). With this choice of the angular momentum per unit length of the string, we have that l(r) > 0 for r > r1. According to our analysis in section 2, this means that the reference frame R is rotating in this region. From equations (9) and (3) it follows that the angular velocity of the reference frame decreases for increasing r in such a way that the vorticity of the four-velocity field of the reference particles vanishes also in this region. We consider solutions with the property that in the region 0 < r≤r1, the function D(r) has a maximum at r = r1, ensuring that l < 0 in the gas of strings. This means that the reference frame is non-rotating in the entire region with vacuum energy and strings.
We shall now discuss two different solutions with these properties.
| (i) | The pressure pg of the gas is constant inside a cylindrical surface with radius r1. The total pressure in the combined system of strings and vacuum energy is p0 = pg + pΛ. Solving the field equations then gives
for r≤r1, where β > 0 and α are integration constants. In the region r≤r1, the function D(r) has a maximum for r = r1. Thus l(r) < 0 for r < r1. Furthermore, Applying the conditions (43) and (44) to the solution (48) leads to showing that r1 > r0. Hence It may be noted that if the gas is removed, corresponding to r0→∞, we get λ→λcs giving the spacetime outside the string [12]. The condition D ' (r2) = 0 for a closed circular timelike geodesic with radius r2 leads to In order that r2 > 0, the radius r1 of the gas must fulfil which may be written This means approximately that r1 > 1.2r0, which implies that p0 = pg + pΛ > –1.4/κr12. Since pΛ < 0 this requires pg > 0. This shows that there is no CTG without the gas surrounding the spinning string. |
| (ii) | The total pressure p = pg + pΛ of the gas and vacuum energy is assumed to be where the constant b represents a length corresponding to the total pressure of the gas and vacuum at the radius r = a, Note that p(r) > 0 in accordance with equation (46). We assume that the vacuum energy and the gas extend to a radius Outside this radius the spacetime is described by the metric (40). The field equation (36) now takes the form Introducing this equation can be written which implies that The general solution of this equation is where c1 and c2 are integration constants. Using equations (59) and (57), the condition (43) leads to Using equations (59) and (61), the condition (44) gives Equations (63) and (64) imply that so that In order that D(r) > 0, the condition λ < λ0 must be fulfilled since r1 > a. In order for the reference frame to be non-rotating in the entire region with vacuum energy and strings, the condition l(r) < 0 must be satisfied for 0 < r≤r1. Hence, in this region the function D(r) describing a parabola must have a maximum for r = r1, which demands that D(0)≤D(r1) giving r1≥2a. Inserting the expression (57) for r1 this condition may also be expressed as For the present solution the conditions for the existence of CTGs give Thus, the constant a represents the radius of the CTGs. With J as given in equation (47), and using equations (42) and (38), we have J = D(r1)λ0. Hence, the inequality (67) may be written D(r1) > D(a), which is clearly satisfied for the parabola described by equation (66). |
6. Isometric embedding
In this section, we shall find the embedding surface for the three-space
in the case of (ii). Writing the line element of the spacetime in the gas of cosmic strings in the form (11), we obtain
where
and c2 is given in equation (65). It may be noted that this metric has a strange property. Consider a circle in the plane z = constant having its centre on the axis. The quotient between the length of this circle and the diameter tends to infinity in the limit r→0. However, r = 0 is not part of the spacetime described by the line element (68), since there is a cosmic string along the z-axis. The spatial part of this line element represents the space S defined by simultaneity on Einstein synchronized clocks at rest in the reference frame R.
We shall now show that the r
-surface with z = constant can be isometrically embedded in Euclidean three-space. The line element of this three-space in cylinder coordinates
is
The line element of the r
-surface is
where we have introduced the function
The line element (70) can be reorganized as follows:
This will coincide with the line element in the three-space given by equation (66) if we choose
Hence
which leads to
where 0 < r≤r1. The embedding is thus given by (75) together with
The embedding of the external space, given by the spatial part of the line element (40), has
for r≥r1. Hence, it is described by a part of a cone in the embedding diagram. The embedded surface is shown in figure 1.
Figure 1. The r as embedded in Euclidean three-space. The region corresponds to 0 < r < a. Note that in the embedding diagram, r = 0 is represented by the circle at the bottom of the surface. |
Expression (77) shows that the total line density λ must satisfy 0 < λ < 2λ0 in order that the embedding shall be well-defined.
One may wonder why the embedded surface is bounded below at a value of
corresponding to r = 0. The reason is that the value r = 0 must be excluded from the region with the gas of strings because of the spinning cosmic string at the axis.
7. The Sagnac effect
The local vorticity of a velocity field is given by equation (3). Applied to our solutions of Einstein's field equations in section 5 this formula gives a vanishing vorticity. One may then wonder whether the existence of CTGs is independent of the state of rotation of the space. This would, however, be rather surprising, since CTCs have been shown to exist in some rotating systems, e.g. in the Gödel universe [1], outside a rotating cosmic string [12], and in a rotating distribution of dust [8, 9].
Usually the Sagnac effect is thought of as an effect appearing when the apparatus is fixed in a rotating reference frame. In section 2, we have argued that if l > 0, the frame R is rotating, but that R is not rotating if l < 0. We shall now investigate whether an experiment with the apparatus fixed in R will show a Sagnac effect independent of the sign of l. For light moving in a circular path with ds = dr = dz = 0, the four-velocity identity takes the form (including here the velocity of light c)
Introducing the coordinate velocity d
/dt we then get
The solutions are
We shall now consider light emitted in opposite directions along a circle around the axis. Integrating equation (80) around the circle we find the travelling times for the two light signals
The time difference for light travelling around a circle in opposite directions is
where we have used that D2 = k2 + fl. The Sagnac effect is due to this time difference. In our models we have l < 0. Then it follows from equation (81) that t1 < 0 and t2 > 0. Hence the light emitted in the negative
-direction moves backwards in time. This implies the possibility that free material particles can move along closed timelike worldlines.
As an illustration, we may draw the light cones of light moving in the circular paths. For comparison, we first consider the usual case l > 0. Then t1 and t2 are both positive. The shape of the light cone is as shown in figure 2(a). In our models with l < 0 the shape of the light cone is as shown in figure 2(b). In equation (78), we see that the first two terms are negative, which implies the condition
This shows that
has opposite signs for light moving in opposite directions. Hence there exist worldlines of light moving in the negative time direction.
| Figure 2. The light cone when (a) l > 0 and (b) l < 0. |
Delgado et al [22] have introduced an angular velocity ωS characterizing a global rotation of space, utilizing the Sagnac effect. They compared the Sagnac effect in the Gödel universe with that in a rotating reference frame in flat spacetime in the weak field approximation. In this approximation
in the rotating frame. This gives
By using equation (42) we get for our solutions
According to this interpretation space has a global rotation. However, the angular velocity decreases with the distance from the axis in such a way that the local vorticity vanishes. Hence the existence of a non-vanishing global rotation seems to be decisive for the existence of CTGs in this spacetime.
We have seen in section 2, however, that R can only be interpreted as a rotating frame when l > 0. When l < 0 the Sagnac effect is not due to a rotation of the reference frame, but is a consequence of the fact that the clocks in R (showing t) are not Einstein synchronized. As we noted, they cannot be so, in order that the time t shall not have a gap around a closed circle about the axis. Consequently, the velocity of light is anisotropic as measured with these clocks. This implies a non-vanishing Sagnac effect although the apparatus which is fixed in R does not rotate.
8. Inertial dragging
In section 2, we showed that if l > 0, inertial frames will be dragged around the axis in the reference frame R with an angular velocity ω = –k/l. In this case, there is therefore an inertial dragging effect.
We now want to investigate the case l < 0. The conserved energy of the particle is
Solving equations (6) and (87) with respect to
and
, we obtain
The four-velocity identity of the particle is
where
= –1, 0, 1, respectively, for a timelike, lightlike or spacelike interval in spacetime. Inserting the expressions (88) for
and
leads to
If p
= 0, then
Hence l < 0 implies that
= 1. Consequently local inertial frames having p
= 0, must follow spacelike worldlines in spacetime when l < 0. They then have a tachyon-like character. This is not to be interpreted as some sort of super dragging effect. One must rather conclude that when l < 0 no inertial frames with velocity v < c exist. This is not due to rotation, but to the way that the clocks in R must be synchronized in order that the time t showed by them shall not have a gap when one passes around a circle about the axis. This property of the spacetime is presumably due to the spinning cosmic string at the axis.
9. Conclusion
In the present paper, we have found a new class of solutions of Einstein's field equations. They represent cylindrically symmetric spacetimes in a region of limited radial extension with a non-rotating gas of vacuum energy and strings, and with a spinning cosmic string along the symmetry axis. Outside this region there is empty spacetime.
Timelike circular curves are characterized by the four-velocity identity
. Considering a circular timelike curve in the plane z = constant, this equation takes the form (14). Surprisingly, such a timelike curve may fulfil the condition
, which means that the curve is closed in spacetime. This requires l < 0 in the line element (1). If such a curve shall also be a geodesic, the requirements (19) must also be met.
We have investigated two solutions of the class mentioned above, one with constant pressure, and one in which the pressure is given by equation (55), both containing CTGs. In these models it is possible for a free particle to travel along such a curve and come back to the event it started from.
Rosa and Letelier [23] have shown that the CTGs followed by such free particles are not stable. However, in the present case the force needed to move along a CTC perturbing the geodesic may be made arbitrarily small.
Acknowledgments
We acknowledge the referees for useful and inspiring comments leading to a substantial improvement of the manuscript.
References
Øyvind Grøn and Steinar Johannesen 2008 New J. Phys. 10 103025
Adam Doliwa 2009 J. Phys. A: Math. Theor. 42 404008
Lasko Basnarkov and Viktor Urumov J. Stat. Mech. (2009) P10014
Vitaly N Golovach and Daniel Loss 2002 Semicond. Sci. Technol. 17 355
Ming Liu et al 2008 Nanotechnology 19 265705
Junhong Chen and Ganhua Lu 2006 Nanotechnology 17 2891
E Badareu et al 1964 Br. J. Appl. Phys. 15 1171
E Badareu et al 1965 Br. J. Appl. Phys. 16 63
L Brandus and I Popescu 1964 Br. J. Appl. Phys. 15 85
I Popescu et al 1966 Br. J. Appl. Phys. 17 129