Topológicamente, ¿una singularidad de curvatura es solo un agujero?

Hablando en términos topológicos, se puede introducir un agujero en una variedad y seguirá siendo una variedad, por ejemplo, elimine puntos dentro de una esfera de 2 de algún radio del plano cartesiano y aún tendrá una variedad.

Los teoremas de singularidad de Penrose prueban la existencia (matemáticamente) de geodésicas nulas incompletas, pero no de singularidades de curvatura, por así decirlo. Así que me pregunto si, desde mi punto de vista ingenuo, tal vez una perspectiva topológica sea más adecuada para describir singularidades de curvatura. SI es así, no estoy seguro de cómo ver las singularidades de curvatura topológicamente.

Mi pregunta: ¿es una singularidad de curvatura , por ejemplo, un agujero negro, en relatividad general simplemente un agujero topológico de la variedad de espacio-tiempo, o es más complicado topológicamente? O, en cambio, ¿la estructura singular no es parte de la variedad, como se sugiere en la respuesta de @ benrg a esta pregunta, y por lo tanto no es un agujero topológico? ¿O no es así de simple, y hay algunos matices que me faltan?

EDITAR: Supongo que puedo expresar mi confusión de esta manera: ¿cómo es lógicamente consistente decir que la singularidad física no es parte de la variedad de espacio-tiempo (como cómo no es un punto en la línea real) Y que podemos tener una descripción de la estructura singular de la métrica en sí (por ejemplo, la métrica de Kerr tiene una singularidad de anillo como se puede mostrar en la métrica)? ¿O evitamos esta confusión si la singularidad es un agujero topológico ?

¡Gracias por la referencia! Esas otras preguntas de SE son útiles. benrg es correcto, una singularidad es una región de coordenadas que no forma parte de la variedad de espacio-tiempo. Entonces supongo que mi pregunta es, ¿qué significa "no ser parte de la variedad de espacio-tiempo" si las geodésicas terminan en ese punto? Es por eso que enmarqué mi pregunta en torno a los agujeros topológicos.
Está bien, ya veo. ¡Gracias por las aclaraciones! Agregué una pregunta editada que, con suerte, se aproxima mejor a mi confusión.
Curiosamente, el teorema del área de Hawking también se aplica a un agujero: ¿que no puede encogerse?
Hay información relevante aquí: physics.stackexchange.com/q/144447/123208
Publiqué estas preguntas en dos publicaciones diferentes en Math SE: math.stackexchange.com/questions/4199439/… y math.stackexchange.com/questions/4198452/… ya que me di cuenta de que en realidad son preguntas de matemáticas.
En plato.stanford.edu/entries/spacetime-holearg , hay un artículo filosófico que podría ser útil. (Todavía no lo he leído, yo mismo).

Respuestas (4)

O, en cambio, ¿la estructura singular no es parte de la variedad, como se sugiere en la respuesta de @ benrg a esta pregunta, y por lo tanto no es un agujero topológico?

Estas no son dos interpretaciones diferentes. Un agujero topológico es precisamente algo que no forma parte de la variedad.

Me pregunto si, desde mi punto de vista ingenuo, tal vez una perspectiva topológica sea más adecuada para describir singularidades de curvatura.

Una vez más, esto no es un "o".

El teorema de Hawking (SW Hawking, CMP 25, 152-166 (1972)) establece que las superficies del horizonte de sucesos en (3+1)D espaciostiempos de agujeros negros estacionarios asintóticamente planos que obedecen a la condición de energía dominante son topológicamente 2 esferas.

Además, si considera una integral euclidiana de Gauss-Bonnet escalar de un BH ( r desde el horizonte hasta el infinito y el tiempo euclidiano desde 0 a 1 / T ), obtendrá las características de Euler x = 2 , que es de hecho una esfera.

Bueno, estoy preguntando sobre la singularidad gravitacional, no sobre el horizonte de eventos. Pero para mi curiosidad, ¿se debe especificar una condición de energía para determinar la topología de un horizonte de eventos? Y también la topología del horizonte de eventos depende en la condición de energía?

"Cuando Schwarzschild se dispuso a determinar el campo gravitatorio de una fuente puntual situada en el origen de R 3 . Por lo tanto, su solución debe ser diferenciable en R × ( R 3 - {(0, 0, 0)}) y singular sobre R × {(0, 0, 0)} sin transgredir la noción de punto matemático o más precisamente, la noción de línea de universo de un punto, pero él cambia a la variedad de borde R × [0, +∞[×S² que tiene singularidades en el borde R × {0} × S² pero la métrica espacial α²dω², inducida en el borde, restaura claramente la topología de S². Por lo tanto, la métrica espacial restaura la topología de [0, +∞[×S². El espacio del observador se identifica así con un semicilindro tridimensional real, es decir, con un espacio diferente del espacio R 3 que aparece en la formulación del problema. Se suponía que la masa puntual estaba colocada en el origen de R 3 que sería por hipótesis un punto singular para la métrica. Ahora no tenemos un punto singular, sino una infinidad de puntos singulares que constituyen la arista {0} × S² que tiene la potencia del continuo. El contenido mismo del problema se modifica profundamente. Sin embargo, se sigue hablando del "origen r = 0" como si fuera un punto.

resumen o extracto de un documento extenso en francés.

Por lo que entiendo, el problema radica en el uso de cambio de variables (explícito o implícito) sin tener en cuenta las condiciones matemáticas que les dan un significado lógico.

¿Le importa dar una fuente para este "documento largo en francés"?
Gracias. ¿De qué página citaste? Y solo para su información, es una buena práctica en este sitio incluir las fuentes de su respuesta en su respuesta real.
El documento, de Stavroulakis en 1999, tiene un resumen en inglés y pide que se reemplace el concepto de agujeros negros por uno diferente: como se otorgó un premio Nobel de 2020 a Penrose por su trabajo sobre los BH, el llamado de Stavroulakis no parece haber sido escuchado, probablemente debido a la evidencia astronómica de su existencia. (Hasta ahora se han detectado más de 90, principalmente por las trayectorias elípticas que aún siguen sus antiguos compañeros en pares binarios: la mitad o más de todas las estrellas generalmente se consideran binarias).

La mejor manera de responder a esta pregunta es estudiar la solución interior de Schwarzschild. Lo que sucede como el parámetro de compacidad α = r s / R alcanza valor 8 / 9 ? Los componentes métricos se convierten en gramo 00 = 0 y gramo r r = 1 . Densidad de energia ε permanece finito y la presión diverge como pag   r 2 . Es el "nacimiento" de la singularidad central. Sin embargo, estas palabras no tienen sentido físico. Lo que sí tenemos seguro es el horizonte de sucesos inicial, definido claramente por los puntos del espaciotiempo donde cesa el tiempo, es decir gramo 00 = 0 . También es claro que la curvatura es invariante R , debido a la divergencia de la presión tiende al infinito. Pero en el espacio-tiempo esféricamente simétrico, la curvatura es una propiedad intrínseca de una esfera bidimensional y no de un punto adimensional. Así, se debe interpretar r = 0 como 2 esferas con área de superficie cero.