Teoremas de singularidad de Penrose-Hawking

Los teoremas de singularidad de Penrose-Hawking (en honor a Roger Penrose y Stephen Hawking ) son un conjunto de resultados de la relatividad general que intentan responder a la pregunta de cuándo la gravitación produce singularidades . El teorema de singularidad de Penrose es un teorema de geometría semiriemanniana y su interpretación relativista general predice una singularidad gravitacional en la formación de agujeros negros. El teorema de singularidad de Hawking se basa en el teorema de Penrose y se interpreta como una singularidad gravitacional en la situación del Big Bang . Penrose fue galardonado con el Premio Nobel de Física en 2020 "por el descubrimiento de que la formación de agujeros negros es una predicción robusta de la teoría general de la relatividad", que compartió con Reinhard Genzel y Andrea Ghez . ^[1]

Una singularidad en las soluciones de las ecuaciones de campo de Einstein es una de tres cosas:

• Singularidades de tipo espacial: la singularidad se encuentra en el futuro o el pasado de todos los eventos dentro de una región determinada. La singularidad del Big Bang y la singularidad típica dentro de un agujero negro de Schwarzschild sin carga y que no gira son de tipo espacial.
• Singularidades temporales: son singularidades que un observador puede evitar porque no necesariamente están en el futuro de todos los eventos. Un observador podría moverse alrededor de una singularidad temporal. Son menos comunes en las soluciones conocidas de las ecuaciones de campo de Einstein .
• Singularidades nulas: Estas singularidades se dan en superficies nulas o similares a la luz. Un ejemplo podría encontrarse en ciertos tipos de interiores de agujeros negros, como el horizonte de Cauchy de un agujero negro cargado ( Reissner–Nordström ) o giratorio ( Kerr ).

Una singularidad puede ser fuerte o débil:

• Singularidades débiles: Una singularidad débil es aquella en la que las fuerzas de marea (que son responsables de la espaguetificación en los agujeros negros) no son necesariamente infinitas. Un observador que caiga en una singularidad débil podría no desgarrarse antes de llegar a la singularidad, aunque las leyes de la física igualmente se desmoronarían allí. El horizonte de Cauchy dentro de un agujero negro cargado o en rotación podría ser un ejemplo de una singularidad débil.
• Singularidades fuertes: una singularidad fuerte es aquella en la que las fuerzas de marea se vuelven infinitas. En una singularidad fuerte, cualquier objeto sería destruido por fuerzas de marea infinitas a medida que se acerca a la singularidad. La singularidad en el centro de un agujero negro de Schwarzschild es un ejemplo de una singularidad fuerte.

Las singularidades espaciales son una característica de los agujeros negros no cargados y no rotatorios, tal como se describe en la métrica de Schwarzschild , mientras que las singularidades temporales son aquellas que ocurren en soluciones exactas de agujeros negros cargados o rotatorios. Ambas tienen la propiedad de incompletitud geodésica , en la que una trayectoria de luz o una trayectoria de partícula no se pueden extender más allá de un cierto tiempo propio o parámetro afín (siendo el parámetro afín el análogo nulo del tiempo propio).

El teorema de Penrose garantiza que se produce algún tipo de incompletitud geodésica dentro de cualquier agujero negro siempre que la materia satisfaga condiciones de energía razonables . La condición de energía requerida para el teorema de singularidad del agujero negro es débil: dice que los rayos de luz siempre se concentran juntos por la gravedad, nunca se separan, y esto se cumple siempre que la energía de la materia no sea negativa.

El teorema de singularidad de Hawking es para todo el universo y funciona hacia atrás en el tiempo: garantiza que el Big Bang (clásico) tiene una densidad infinita. ^[2] Este teorema es más restringido y solo se cumple cuando la materia obedece a una condición de energía más fuerte, llamada condición de energía fuerte , en la que la energía es mayor que la presión. Toda la materia ordinaria, con la excepción de un valor esperado de vacío de un campo escalar , obedece a esta condición. Durante la inflación , el universo viola la condición de energía dominante, y se argumentó inicialmente (por ejemplo, por Starobinsky ^[3] ) que las cosmologías inflacionarias podrían evitar la singularidad inicial del Big Bang. Sin embargo, desde entonces se ha demostrado que las cosmologías inflacionarias todavía son pasadas incompletas, ^[4] y, por lo tanto, requieren física distinta de la inflación para describir el límite pasado de la región inflacionaria del espacio-tiempo.

Todavía es una cuestión abierta si la relatividad general (clásica) predice singularidades espaciales en el interior de agujeros negros realistas cargados o rotatorios, o si estos son artefactos de soluciones de alta simetría y se convierten en singularidades nulas o temporales cuando se agregan perturbaciones.

En la relatividad general , una singularidad es un lugar al que pueden llegar objetos o rayos de luz en un tiempo finito donde la curvatura se vuelve infinita, o el espacio-tiempo deja de ser una variedad . Se pueden encontrar singularidades en todos los espacio-tiempos de agujeros negros, la métrica de Schwarzschild , la métrica de Reissner-Nordström , la métrica de Kerr y la métrica de Kerr-Newman , y en todas las soluciones cosmológicas que no tienen una energía de campo escalar o una constante cosmológica. ^{[ cita requerida ]}

No se puede predecir lo que podría surgir de una singularidad de Big Bang en nuestro pasado, o lo que le sucede a un observador que cae en una singularidad de agujero negro en el futuro, por lo que se requiere una modificación de la ley física. Antes de Penrose, era concebible que las singularidades solo se formaran en situaciones artificiales. Por ejemplo, en el colapso de una estrella para formar un agujero negro, si la estrella está girando y, por lo tanto, posee cierto momento angular , tal vez la fuerza centrífuga contrarreste parcialmente la gravedad y evite que se forme una singularidad. Los teoremas de singularidad prueban que esto no puede suceder, y que una singularidad siempre se formará una vez que se forma un horizonte de eventos .

En el ejemplo de la estrella que colapsa, dado que toda la materia y la energía son una fuente de atracción gravitatoria en la relatividad general, el momento angular adicional solo atrae a la estrella con más fuerza a medida que se contrae: la parte fuera del horizonte de eventos finalmente se asienta en un agujero negro de Kerr (ver el teorema de no-hair ). La parte dentro del horizonte de eventos necesariamente tiene una singularidad en alguna parte. La prueba es algo constructiva: muestra que la singularidad se puede encontrar siguiendo los rayos de luz desde una superficie justo dentro del horizonte. Pero la prueba no dice qué tipo de singularidad ocurre, espacial, temporal, nula, orbifold , discontinuidad de salto en la métrica. Solo garantiza que si uno sigue las geodésicas temporales hacia el futuro, es imposible que el límite de la región que forman sea generado por las geodésicas nulas desde la superficie. Esto significa que el límite debe provenir de la nada o todo el futuro termina en alguna extensión finita.

Los teoremas de singularidad revelan una característica "filosófica" interesante de la relatividad general. Como la relatividad general predice la aparición inevitable de singularidades, la teoría no está completa sin una especificación de lo que le sucede a la materia que choca con la singularidad. Se puede extender la relatividad general a una teoría de campo unificado, como el sistema de Einstein-Maxwell-Dirac, donde no ocurren tales singularidades.

En la historia, existe una profunda conexión entre la curvatura de una variedad y su topología . El teorema de Bonnet-Myers establece que una variedad de Riemann completa que tiene una curvatura de Ricci en todas partes mayor que una cierta constante positiva debe ser compacta . La condición de curvatura de Ricci positiva se enuncia de la siguiente manera: para cada geodésica hay una geodésica cercana inicialmente paralela que se curvará hacia ella cuando se extienda, y las dos se intersectarán en una longitud finita.

Cuando dos geodésicas paralelas cercanas se intersecan (ver punto conjugado ), la extensión de cualquiera de ellas ya no es el camino más corto entre los puntos finales. La razón es que dos caminos geodésicos paralelos necesariamente colisionan después de una extensión de igual longitud, y si se sigue un camino hasta la intersección y luego el otro, se están conectando los puntos finales mediante un camino no geodésico de igual longitud. Esto significa que para que una geodésica sea un camino de longitud más corta, nunca debe intersecar geodésicas paralelas vecinas.

Si se parte de una esfera pequeña y se envían geodésicas paralelas desde el límite, suponiendo que la variedad tiene una curvatura de Ricci limitada por debajo por una constante positiva, ninguna de las geodésicas es un camino más corto después de un tiempo, ya que todas chocan con un vecino. Esto significa que después de una cierta cantidad de extensión, se han alcanzado todos los puntos potencialmente nuevos. Si todos los puntos en una variedad conexa están a una distancia geodésica finita de una esfera pequeña, la variedad debe ser compacta.

Roger Penrose argumentó de manera análoga en relatividad. Si se siguen geodésicas nulas , las trayectorias de los rayos de luz , hacia el futuro, se generan puntos en el futuro de la región. Si un punto está en el límite del futuro de la región, solo se puede alcanzar yendo a la velocidad de la luz, no más lento, por lo que las geodésicas nulas incluyen todo el límite del futuro propio de una región. ^{[ cita requerida ]} Cuando las geodésicas nulas se cruzan, ya no están en el límite del futuro, están en el interior del futuro. Entonces, si todas las geodésicas nulas chocan, no hay límite hacia el futuro.

En relatividad, la curvatura de Ricci, que determina las propiedades de colisión de las geodésicas, está determinada por el tensor de energía y su proyección sobre rayos de luz es igual a la proyección nula del tensor de energía-momento y siempre es no negativa. Esto implica que el volumen de una congruencia de geodésicas nulas paralelas, una vez que comienza a disminuir, llegará a cero en un tiempo finito. Una vez que el volumen es cero, hay un colapso en alguna dirección, por lo que cada geodésica interseca a alguna vecina.

Penrose concluyó que siempre que hay una esfera en la que todos los rayos de luz salientes (y entrantes) convergen inicialmente, el límite del futuro de esa región terminará después de una extensión finita, porque todas las geodésicas nulas convergerán. ^[5] Esto es significativo, porque los rayos de luz salientes para cualquier esfera dentro del horizonte de una solución de agujero negro son todos convergentes, por lo que el límite del futuro de esta región es compacto o surge de la nada. El futuro del interior termina después de una extensión finita, o tiene un límite que eventualmente es generado por nuevos rayos de luz que no pueden rastrearse hasta la esfera original.

Los teoremas de singularidad utilizan la noción de incompletitud geodésica como sustituto de la presencia de curvaturas infinitas. La incompletitud geodésica es la noción de que existen geodésicas , caminos de observadores a través del espacio-tiempo, que solo pueden extenderse durante un tiempo finito medido por un observador que viaja a lo largo de una de ellas. Presumiblemente, al final de la geodésica, el observador ha caído en una singularidad o se ha encontrado con alguna otra patología en la que las leyes de la relatividad general se rompen.

Normalmente, un teorema de singularidad tiene tres ingredientes: ^[6]

1. Una condición energética sobre la materia,
2. Una condición sobre la estructura global del espacio-tiempo ,
3. La gravedad es lo suficientemente fuerte (en algún lugar) como para atrapar una región.

Hay varias posibilidades para cada ingrediente y cada uno conduce a diferentes teoremas de singularidad.

Una herramienta clave utilizada en la formulación y demostración de los teoremas de singularidad es la ecuación de Raychaudhuri , que describe la divergencia de una congruencia (familia) de geodésicas. La divergencia de una congruencia se define como la derivada del logaritmo del determinante del volumen de congruencia. La ecuación de Raychaudhuri es ${\displaystyle \theta }$

${\displaystyle {\dot {\theta }}=-\sigma _{ab}\sigma ^{ab}-{\frac {1}{3}}\theta ^{2}-{E[{\vec {X}}]^{a}}_{a}}$

donde es el tensor de cizallamiento de la congruencia y también se conoce como el escalar de Raychaudhuri (consulte la página de congruencia para obtener más detalles). El punto clave es que será no negativo siempre que se cumplan las ecuaciones de campo de Einstein y ^[6]${\displaystyle \sigma _{ab}}$${\displaystyle {E[{\vec {X}}]^{a}}_{a}=R_{mn}\,X^{m}\,X^{n}}$${\displaystyle {E[{\vec {X}}]^{a}}_{a}}$

• La condición de energía nula se cumple y la congruencia geodésica es nula, o
• La condición de energía fuerte se mantiene y la congruencia geodésica es temporal.

Cuando se cumplen estas condiciones, la divergencia se vuelve infinita en un valor finito del parámetro afín. Por lo tanto, todas las geodésicas que parten de un punto eventualmente volverán a converger después de un tiempo finito, siempre que se cumpla la condición de energía adecuada, un resultado también conocido como el teorema de enfoque .

Esto es relevante para las singularidades gracias al siguiente argumento:

1. Supongamos que tenemos un espacio-tiempo que es globalmente hiperbólico y dos puntos y que pueden conectarse mediante una curva temporal o nula . Entonces existe una geodésica de longitud máxima que conecta y . Llamemos a esta geodésica .${\displaystyle p}$${\displaystyle q}$${\displaystyle p}$${\displaystyle q}$${\displaystyle \gamma }$
2. La geodésica puede variar a una curva más larga si otra geodésica se interseca en otro punto, llamado punto conjugado .${\displaystyle \gamma }$${\displaystyle p}$${\displaystyle \gamma }$
3. Del teorema de focalización se desprende que todas las geodésicas tienen puntos conjugados en valores finitos del parámetro afín. En particular, esto es cierto para la geodésica de longitud máxima. Pero esto es una contradicción: por lo tanto, se puede concluir que el espacio-tiempo es geodésicamente incompleto.${\displaystyle p}$

En relatividad general , existen varias versiones del teorema de singularidad de Penrose-Hawking . La mayoría de las versiones establecen, a grandes rasgos, que si hay una superficie nula atrapada y la densidad de energía no es negativa, entonces existen geodésicas de longitud finita que no pueden extenderse. ^[7]

Estos teoremas, estrictamente hablando, prueban que hay al menos una geodésica no espacial que sólo es finitamente extensible hacia el pasado, pero hay casos en los que las condiciones de estos teoremas se obtienen de tal manera que todos los caminos espacio-temporales dirigidos hacia el pasado terminan en una singularidad.

Hay muchas versiones; a continuación se muestra la versión nula:

Asumir

1. Se cumple la condición de energía nula .
2. Tenemos una superficie de Cauchy conectada no compacta .
3. Tenemos una superficie nula atrapada cerrada .${\displaystyle {\mathcal {T}}}$

Entonces, tenemos o bien una incompletitud geodésica nula, o bien curvas temporales cerradas .

Bosquejo de la prueba : Prueba por contradicción. El límite del futuro de , se genera por segmentos geodésicos nulos que se originan en con vectores tangentes ortogonales a él. Al ser una superficie nula atrapada, por la ecuación nula de Raychaudhuri , ambas familias de rayos nulos que emanan de encontrarán cáusticas. (Una cáustica por sí misma no es problemática. Por ejemplo, el límite del futuro de dos puntos separados espacialmente es la unión de dos conos de luz futuros con las partes interiores de la intersección eliminadas. Las cáusticas ocurren donde los conos de luz se intersecan, pero no hay singularidad allí). Sin embargo, las geodésicas nulas que se generan tienen que terminar, es decir, alcanzar sus puntos finales futuros en o antes de las cáusticas. De lo contrario, podemos tomar dos segmentos geodésicos nulos, cambiando en la cáustica, y luego deformarlos ligeramente para obtener una curva temporal que conecte un punto en el límite con un punto en , una contradicción. Pero como es compacto, dada una parametrización afín continua de los generadores geodésicos, existe un límite inferior para el valor absoluto del parámetro de expansión. Por lo tanto, sabemos que se desarrollarán cáusticas para cada generador antes de que haya transcurrido un límite uniforme en el parámetro afín. Como resultado, tiene que ser compacto. O tenemos curvas temporales cerradas, o podemos construir una congruencia mediante curvas temporales, y cada una de ellas tiene que intersecar la superficie de Cauchy no compacta exactamente una vez. Considere todas esas curvas temporales que pasan por y observe su imagen en la superficie de Cauchy. Al ser un mapa continuo, la imagen también tiene que ser compacta. Al ser una congruencia temporal , las curvas temporales no pueden intersecar y, por lo tanto, el mapa es inyectivo . Si la superficie de Cauchy no fuera compacta, entonces la imagen tiene un límite. Estamos asumiendo que el espacio-tiempo viene en una pieza conexa. Pero es compacto y sin límites porque el límite de un límite está vacío. Un mapa inyectivo continuo no puede crear un límite, lo que nos da nuestra contradicción.${\displaystyle {\mathcal {T}}}$${\displaystyle {\dot {J}}({\mathcal {T}})}$${\displaystyle {\mathcal {T}}}$${\displaystyle {\mathcal {T}}}$${\displaystyle {\dot {J}}({\mathcal {T}})}$${\displaystyle {\mathcal {T}}}$${\displaystyle {\mathcal {T}}}$${\displaystyle {\dot {J}}({\mathcal {T}})}$${\displaystyle {\dot {J}}({\mathcal {T}})}$${\displaystyle {\dot {J}}({\mathcal {T}})}$

Lagunas : si existen curvas temporales cerradas, no es necesario que intersequen la superficie parcial de Cauchy. Si la superficie de Cauchy fuera compacta, es decir, el espacio es compacto, los generadores geodésicos nulos del límite pueden intersecar en todas partes porque pueden intersecar en el otro lado del espacio.

También existen otras versiones del teorema que involucran la condición de energía débil o fuerte.

En la gravedad modificada, las ecuaciones de campo de Einstein no se cumplen y, por lo tanto, estas singularidades no surgen necesariamente. Por ejemplo, en la gravedad derivada infinita , es posible que sea negativo incluso si se cumple la condición de energía nula. ^{[8] [9]}${\displaystyle {E[{\vec {X}}]^{a}}_{a}}$

• Hawking, Stephen y Ellis, GFR (1973). La estructura a gran escala del espacio-tiempo . Cambridge: Cambridge University Press. ISBN 0-521-09906-4.La referencia clásica.
• Natário, J. (2006). "Relatividad y singularidades: una breve introducción para matemáticos". Resenhas . 6 : 309–335. arXiv : math.DG/0603190 . Bibcode :2006math......3190N.
• Penrose, Roger (1965), "Colapso gravitacional y singularidades espacio-temporales", Phys. Rev. Lett. , 14 (3): 57, Bibcode :1965PhRvL..14...57P, doi : 10.1103/PhysRevLett.14.57
• Garfinkle, D.; Senovilla, JMM (2015), "El teorema de singularidad de Penrose de 1965", Class. Quantum Grav. , 32 (12): 124008, arXiv : 1410.5226 , Bibcode :2015CQGra..32l4008S, doi :10.1088/0264-9381/32/12/124008, S2CID  54622511También disponible como arXiv :1410.5226
• Kalvakota, Vaibhav R. (2021), "Una discusión sobre geometría y relatividad general"
• Véase también arXiv :hep-th/9409195 para un capítulo relevante de La estructura a gran escala del espacio-tiempo .
• Witten, Edward (2020), "Light Rays, Singularities, and All That", Rev. Mod. Phys. 92 , 45004 (2020), https://doi.org/10.1103/RevModPhys.92.045004 . También disponible como https://arxiv.org/abs/1901.03928 . Una excelente revisión pedagógica de las propiedades causales de la relatividad general .