Namespaces
Variants
Actions

Difference between revisions of "Naked singularity"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (AUTOMATIC EDIT (latexlist): Replaced 14 formulas out of 16 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
Line 1: Line 1:
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
+
<!--This article has been texified automatically. Since there was no Nroff source code for this article,  
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
  
<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>
+
Out of 16 formulas, 14 were replaced by TEX code.-->
  
<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>
+
{{TEX|semi-auto}}{{TEX|partial}}
 +
According to Einstein's theory of general relativity (cf. [[Relativity theory|Relativity theory]]), [[Space-time|space-time]] can be modeled by a $4$-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 $\gamma$ 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 $2$-dimensional Lorentzian manifold $( M , g ) = ( \mathbf{R} ^ { 2 } \backslash \{ 0 \} , 2 / ( u ^ { 2 } + v ^ { 2 } ) d u d v )$. The curve $\nu ( t ) : = ( 1 / ( 1 - t ) , 0 )$ is an incomplete geodesic and the mapping $\psi : ( u , v ) \rightarrow ( 2 u , 2 v )$ is an isometry (cf. also [[Isometric mapping|Isometric mapping]]). Defining $x \sim y$ as
  
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.
+
\begin{equation*} x \sim y \end{equation*}
  
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.
+
<table class="eq" style="width:100%;"> <tr><td style="width:94%;text-align:center;" valign="top"><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 $( \pi ( M ) , \pi_{*} g )$. The curve $\pi ( \nu )$ 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 $M$, i.e., if there is an $x \in M$ such that the geodesic $\gamma$ is contained in the past of $x$. 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====
 
====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>
+
<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>

Revision as of 17:01, 1 July 2020

According to Einstein's theory of general relativity (cf. Relativity theory), space-time can be modeled by a $4$-dimensional Lorentzian manifold (cf. Pseudo-Riemannian space). Photons correspond to null geodesics and freely falling particles to time-like geodesics (cf. also 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 $\gamma$ 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 $2$-dimensional Lorentzian manifold $( M , g ) = ( \mathbf{R} ^ { 2 } \backslash \{ 0 \} , 2 / ( u ^ { 2 } + v ^ { 2 } ) d u d v )$. The curve $\nu ( t ) : = ( 1 / ( 1 - t ) , 0 )$ is an incomplete geodesic and the mapping $\psi : ( u , v ) \rightarrow ( 2 u , 2 v )$ is an isometry (cf. also Isometric mapping). Defining $x \sim y$ as

\begin{equation*} x \sim y \end{equation*}

one obtains the compact Lorentzian Clifford–Pohl torus $( \pi ( M ) , \pi_{*} g )$. The curve $\pi ( \nu )$ 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 [a2], [a1] (but see also [a4] and [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 $M$, i.e., if there is an $x \in M$ such that the geodesic $\gamma$ is contained in the past of $x$. 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). 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

[a1] S.W. Hawking, G.F.R. Ellis, "The large scale structure of space-time" , Cambridge Univ. Press (1973) MR0424186 Zbl 0265.53054
[a2] S.W. Hawking, R. Penrose, "The singularities of gravitational collapse and cosmology" Proc. R. Soc. London Ser. A , 314 (1970) pp. 529–548 MR0264959 Zbl 0954.83012
[a3] 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 MR1086352
[a4] R.P.A.C. Newman, "Black holes without singularities" Gen. Rel. Grav. , 18 : 11 (1989) pp. 981–995 MR1016054 Zbl 0677.53072
How to Cite This Entry:
Naked singularity. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Naked_singularity&oldid=50423
This article was adapted from an original article by Marcus Kriele (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article