Un espacio-tiempo generalmente se llama singularmente desnudo si para algún punto , existe una curva causal futura incompleta dirigida al futuro . Pero considere el siguiente espacio-tiempo: espacio de Minkowski bidimensional con un conjunto triangular eliminado, de la forma, dado algún punto y algo de tiempo
con la coordenada de tiempo de , o, ilustrado,
La curva es futuro incompleto, pero la parte singular nunca estará en ninguna , y como tal no encajaría en la definición de singular desnudo, ya que siempre será prorrogable.
Sin embargo, esto todavía se siente bastante singular, ya que la información puede salir y entrar en el espacio-tiempo hacia el futuro de una superficie de Cauchy parcial para . ¿Este espacio-tiempo en realidad no es singularmente singular? Si no es así, ¿no cuenta porque todos los puntos fronterizos son regulares y hay una extensión del espacio-tiempo donde esta singularidad desaparece? No estoy seguro de un ejemplo con puntos límite singulares, ¿ese tipo de fenómeno no ocurre en esos casos?
Lo primero que hay que decir aquí es que, aunque este espacio-tiempo tiene una incompletitud geodésica, no está muy claro que debamos referirnos a la región eliminada como una singularidad. No existe una definición realmente satisfactoria de una singularidad. Aunque definirlo en términos de incompletitud geodésica es una especie de definición estándar predeterminada, una de las principales desventajas de esta definición es que nos permite tener estas tontas singularidades formadas al eliminar puntos o regiones de un espacio-tiempo. Hay una buena discusión de esto en Geroch 1968. Por ejemplo, puedes tomar el espacio de Minkowski y eliminar cada punto con , pero es difícil argumentar que se trata de una singularidad "real": se parece más a un universo en el que Dios forma todo el primer día de la creación, en el año 4000 a. C., con fósiles de dinosaurios falsos ya dentro de las rocas.
De todos modos, si aceptamos la región que falta en su ejemplo como una singularidad, entonces la definición de una singularidad desnuda con la que estoy familiarizado es la que se da en Penrose 1973. La idea básica de esa definición es que unimos puntos idealizados que representan la límite del espacio-tiempo, y entonces la singularidad está desnuda si tal punto A puede estar tanto en el pasado como en el futuro del mismo observador. Según esa definición, supongo que obtenemos el mismo resultado que con su definición, porque los únicos puntos A en su ejemplo que podrían calificarlo como una singularidad desnuda son los que se encuentran en las esquinas inferiores del triángulo negro. Pero ha definido S como un conjunto abierto, por lo que esas esquinas están realmente presentes en el espacio-tiempo M.
Creo que el problema básico aquí es que su M no es una variedad, es una variedad con límite. Normalmente no hacemos GR en una variedad con límite. Si también eliminamos el límite del triángulo negro de M, creo que, según ambas definiciones, se trata de una singularidad desnuda. Según su definición, podemos tener una geodésica nula que sea colineal con un borde del triángulo. Según la definición de Penrose, nos unimos a un punto ideal en una esquina inferior, y puede estar tanto en el pasado como en el futuro para el mismo observador.
Referencias
Geroch, "¿Qué es una singularidad en la relatividad general?", Ann Phys 48 (1968) 526. Creo que se pueden encontrar copias buscando en Google.
Penrose, Radiación gravitacional y colapso gravitacional; Actas del Simposio, Varsovia, 1973. Dordrecht, D. Reidel Publishing Co. pp. 82-91. http://adsabs.harvard.edu/full/1974IAUS...64...82P (no pago)
usuario4552