Abstract

We present an axially symmetric, asymptotically flat empty space solution of the Einstein field equations containing a naked singularity. The space-time is regular everywhere except on the symmetry axis where it possesses a true curvature singularity. The space-time is of type D in the Petrov classification scheme and is locally isometric to the metrics of case IV in the Kinnersley classification of type D vacuum metrics. Additionally, the space-time also shows the evolution of closed timelike curves (CTCs) from an initial hypersurface free from CTCs.

1. Introduction

The weak cosmic censorship hypothesis (WCCH) of Penrose forbids naked singularities to be the end state of gravitational collapse [1, 2]. This statement, although accepted by many, has been neither proved nor disproved and, as a matter of fact, recent studies have shown that naked singularities can be formed in a continual gravitational collapse of a dust cloud beginning from a regular initial data [3], indicating therefore the possibility of naked singularities occurring in nature. Since proving (or disproving) the WCCH has proved to be a difficult task, attempts have been made to provide the theoretical framework to devise a technique to distinguish between black holes and naked singularities from astrophysical data mainly through gravitational lensing. Some significant works in this direction are the study of strong gravitational lensing in the Janis-Newman-Winicour space-time [4, 5] and its rotating generalization [6] and notably (although not an exhaustive list) the work in [710]. Other workers have shown that naked singularities and black holes may be differentiated by the properties of the accretion disks that accumulate around them ([11] and references therein). Consequently, the study of naked singularities and space-time with such objects is of considerable current interest.

In [11], the authors have enumerated three possible end states of gravitational collapse. Of these, the last one, namely, that matter falls into the space-time singularity preserving its symmetry structure and leading to a final configuration that is vacuum space-time with a singularity that is either naked or covered, is of special interest to us. In this paper, we attempt to construct such space-time—a vacuum solution of Einstein’s equations with a naked singularity. In what follows, we construct a Ricci flat metric with a singularity at , being the radial coordinate, and show that the space-time is axially symmetric and asymptotically flat. In addition, we find that the metric admits closed timelike curves which appear at a certain moment, implying that it also represents time machine space-time.

Closed timelike curves (CTCs), closed timelike geodesics (CTGs), and closed null geodesics (CNGs), which all imply violation of causality, are an intriguing aspect of the general theory of relativity and are present in certain solutions of Einstein’s field equations. Beginning with Gödel’s universe [12], a considerable number of such causality violating solutions have been constructed. van Stockum’s solution [13], found years before Gödel’s, was later shown to possess CTCs [14]. A few other examples of CTC space-time are Bonnor’s rotating dust space-time which has been analysed in [15] and found to have CTCs, Gott’s [16] space-time with two moving cosmic strings and wormhole space-time [17], and a pure radiation metric with CTCs [18]. In fact, over the years, a number of solutions with CTCs have been obtained. CTCs have also been studied in the context of Brans-Dicke gravity [19], where rigid rotation of matter has been shown to generate these closed curves. Ori and coworkers [2023] have obtained solutions with CTCs which appear after a certain instant, thereby raising the possibility of constructing a workable time machine at least in theory. We place space-time with CTCs (or CTGs or CNGs) into two categories. In the first category, there is the eternal time machine space-time, such as Gödel’s universe where CTCs preexist, while, in the second, there are true time machines where CTCs appear at a certain moment.

Solutions with CTGs and CNGs have also been discussed in the literature. Soares found a class of cosmological solutions with rotating dust and electromagnetic fields admitting [24]. Bonnor and Steadman [25] have shown that space-time with two spinning particles, under special circumstances, allows for the existence of CTGs. A class of solutions of Einstein’s field equations with CTGs representing space-time outside a spinning cosmic string surrounded by a region of finite radial extension with vacuum energy and a gas of strings [26] have been recently found. Other examples are cylindrically symmetric space-time [27] which admit CTGs everywhere outside an axis and vacuum space-time with CNGs found quite recently [28].

2. Space-Time with a Singularity

Consider the following line element, empty space-time, given by The coordinates are labelled , , , and and their ranges are , , and is periodic coordinate , with . The metric is Lorentzian with signature and the determinant of the corresponding metric tensor , . The metric (1) is a solution of Einstein’s equations in vacuum satisfying the equation .

That the space-time represented by (1) is axisymmetric is clear from the following. Consider Killing vector having the normal form:The corresponding covector is The vector (2) satisfies Killing equation . Space-time is cyclically symmetric if it admits a Killing vector with spacelike, closed orbits. Axial symmetry means that the space-time contains a nonempty axis of symmetry. The presence of this axis of symmetry is ensured if the norm of vanishes on the axis, that is, at (see [29, 30] and references therein). In our case, we find that the norm is which represents spacelike, closed orbits for and vanishes on the symmetry axis at . The norm of changes sign for implying the formation of closed timelike curves which are the subject of the next section.

The metric has a curvature singularity at . We find that the Kretschmann scalar (1) and its differential invariant blow up at , indicating a curvature singularity. We also note that both these scalar invariants approach zero rapidly as increases.

The metric (1) belongs to type D in the Petrov classification scheme. To show this, we construct the following set of null tetrads , , , for the metric (1). Explicitly, these vectors have the following form: where . The set of null tetrads above is such that the metric tensor for the line element (1) can be expressed as The vectors (7) are null vectors and are orthogonal, except for and .

Using the set of null tetrads above, we find that, of the five Weyl scalars, only is nonzero. The metric is clearly of type D in the Petrov classification scheme. It clear from (5), (6), and (9) that these scalars rapidly vanish as leading to the conclusion that the metric is asymptotically flat. In fact, all nonzero curvature invariants for the space-time have form , being a real constant and a positive integer which means that their asymptotic behaviour is the same as that of the scalars in (5), (6), and (9).

Vector is not only null but also geodesic, satisfying . We have calculated the kinematical properties of the metric such as expansion, shear, and twist and they are given by Hence, the space-time admits expansion-free, twist-free, and shear-free null geodesic congruence.

Type D vacuum space-time is known and has been classified by Kinnersley [31]. A calculation of the Newman-Penrose spin coefficients [32] shows that, for our case, the spin coefficient . Accordingly, the space-time will be placed in case IV of the classification scheme in [31].

It is interesting property of the metric (1) that it reduces to the Misner space [33] in two space-time dimensions. To demonstrate this, we first apply transformations followed by , to get A further transformation into (11) by yields The above reduces to the Misner space for constants and , indicating that the metric discussed here is 4D extension of the Misner space.

3. CTCs and Cosmic Time Machines

A peculiar property of the space-time (1) is that it generates CTCs at a certain moment exhibiting time machine-like behaviour. Consider closed orbits of constant , , and where , , and are constants given by 1D line element: These orbits are null curves at , spacelike throughout , but become timelike; that is, for , which indicates the presence of CTCs. Hence, CTCs form at an instant of time satisfying .

That these CTCs evolve from initially spacelike hypersurface can be determined by calculating the norm of vector (or alternately from the value of in inverse metric tensor ). A hypersurface is spacelike when , timelike when , and null when . From the metric given in (1), Thus, a hypersurface is spacelike for , timelike for , and null at . Thus, the spacelike hypersurface can be chosen as initial hypersurface over which initial data may be specified. There is a Cauchy horizon at , called chronology horizon, which separates the causal past and future in a past directed and a future directed manner. Hence, the space-time evolves from a partial Cauchy surface (i.e., Cauchy spacelike hypersurface) into a null hypersurface that is causally well-behaved up to a moment, that is, a null hypersurface , and the formation of CTCs takes place from causally well-behaved initial conditions. This type of CTCs is different from those in the Gödel universe [34], where the CTCs preexist, and similar to those in [21], where they form at some moment. The CTCs of the space-time discussed in this paper are analogous to those formed in the Misner space [33]. The metric for the Misner space in 2D iswhere , but the coordinate is periodic. The curves , where is a constant, are closed since is periodic. The curves are spacelike and are timelike, while the null curves form the chronology horizon. The second type of curves, namely, , is closed timelike curves (CTCs).

An interesting possible interpretation of the metric (1) is in terms of a cosmic time machine discussed by Clarke and de Felice. They have shown [35] that if continued gravitational collapse leads to a strong curvature singularity, then strong causality is violated. This would mean that the entire space-time becomes causally ill-behaved and a cosmic time machine is the result. They define a cosmic time machine as space-time which is asymptotically flat and admits closed nonspacelike curves [36]. Our space-time may represent such a cosmic time machine.

Competing Interests

The authors declare that there are no competing interests regarding publication of this paper.