View source for Naked singularity

According to Einstein's theory of general relativity (cf. [[Relativity theory|Relativity theory]]), [[Space-time|space-time]] can be modeled by a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n120/n120010/n1200101.png" />-dimensional Lorentzian manifold (cf. [[Pseudo-Riemannian space|Pseudo-Riemannian space]]). Photons correspond to null geodesics and freely falling particles to time-like geodesics (cf. also [[Geodesic line|Geodesic line]]). Since an affine parameter of a time-like geodesic can be regarded as a normal clock carried by the freely falling particle, one says that a Lorentzian manifold contains a (future) singularity if there exists a time-like (or null) geodesic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n120/n120010/n1200102.png" /> which is future inextensible and whose affine parameter remains finite. The interpretation of a singularity as a physical singularity in the sense that space-time or gravity diverges in some sense may be misleading. As a simple example, consider the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n120/n120010/n1200103.png" />-dimensional Lorentzian manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n120/n120010/n1200104.png" />. The curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n120/n120010/n1200105.png" /> is an incomplete geodesic and the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n120/n120010/n1200106.png" /> is an isometry (cf. also [[Isometric mapping|Isometric mapping]]). Defining <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n120/n120010/n1200107.png" /> as

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n120/n120010/n1200108.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n120/n120010/n1200109.png" /></td> </tr></table>

one obtains the compact Lorentzian Clifford–Pohl torus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n120/n120010/n12001010.png" />. The curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n120/n120010/n12001011.png" /> is an incomplete null geodesic in this compact torus and, therefore, in any physical sense a non-singular Lorentzian manifold. There are theorems which state that under "physically reasonable" conditions there are singularities in the Lorentzian manifolds representing space-times [[#References|[a2]]], [[#References|[a1]]] (but see also [[#References|[a4]]] and [[#References|[a3]]]). There is not much known about the properties of the singularities predicted by these theorems. In particular, it is not known whether these singularities are necessarily of a different nature than those in the Clifford–Pohl torus. More generally, it is not known whether they can be naked in the following sense.

A singularity is called naked if it is visible from some regular point in space-time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n120/n120010/n12001012.png" />, i.e., if there is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n120/n120010/n12001013.png" /> such that the geodesic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n120/n120010/n12001014.png" /> is contained in the past of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n120/n120010/n12001015.png" />. It is presently (1998) believed by the majority of physicists that naked future singularities do not occur in physically realistic and stable space-times (cf. [[Penrose cosmic censorship|Penrose cosmic censorship]]). Note that in the physics literature there are various conflicting definitions of singularities and naked singularities. The version chosen here is motivated by the singularity theorems.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> S.W. Hawking, G.F.R. Ellis, "The large scale structure of space-time" , Cambridge Univ. Press (1973) {{MR|0424186}} {{ZBL|0265.53054}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> S.W. Hawking, R. Penrose, "The singularities of gravitational collapse and cosmology" ''Proc. R. Soc. London Ser. A'' , '''314''' (1970) pp. 529–548 {{MR|0264959}} {{ZBL|0954.83012}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> M. Kriele, "A generalization of the singularity theorem of Hawking and Penrose to spacetimes with causality violations" ''Proc. R. Soc. London A'' , '''431''' (1990) pp. 451–464 {{MR|1086352}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> R.P.A.C. Newman, "Black holes without singularities" ''Gen. Rel. Grav.'' , '''18''' : 11 (1989) pp. 981–995 {{MR|1016054}} {{ZBL|0677.53072}} </TD></TR></table>