Causality in the maximally extended extreme Reissner--Nordström spacetime with identifications

Resumen Técnico: Causalidad en el Espaciotiempo de Reissner–Nordström Extremo Máximamente Extendido con Identificaciones

Planteamiento del Problema
Este artículo investiga si la identificación de las regiones asintóticamente planas (AFR, por sus siglas en inglés) en el espaciotiempo de Reissner–Nordström extremo máximamente extendido ($e^2 = m^2$) conduce a violaciones de la causalidad. Específicamente, el estudio se pregunta si un observador en una AFR puede enviar mensajes a su propio pasado utilizando geodésicas de tipo tiempo o nulas. Esta investigación sigue el trabajo previo (Ref. [1]), el cual demostró que tales brechas de causalidad sí ocurren en la métrica de RN no extrema ($e^2 < m^2$) cuando se identifican las AFR, permitiendo que las geodésicas radiales de tipo tiempo regresen al pasado del emisor. El presente trabajo busca determinar si el caso extremo ($e^2 = m^2$) exhibe un comportamiento similar o si la estructura causal impide tales bucles.

Metodología
El autor emplea una combinación de derivación analítica e integración numérica:

1. Derivación de la Métrica: Se vuelve a derivar la extensión máxima de la métrica de RN extrema utilizando coordenadas de curvatura transformadas a coordenadas nulas ($p, q$) y, posteriormente, a coordenadas de Kruskal-tipo ($P, Q$) y coordenadas de espaciotiempo ($U, V$). En este sistema de coordenadas específico, la singularidad en $r=0$ se representa como una línea recta ($U=-1$), y el horizonte de sucesos en $r=m$ corresponde a límites nulos específicos.
2. Ecuaciones Geodésicas: Se analizan las ecuaciones de movimiento para geodésicas de tipo tiempo y nulas. Se utilizan primeras integrales que involucran energía ($\Gamma$) y momento angular ($J_0$). Se examina el comportamiento de las geodésicas radiales y no radiales, centrándose especialmente en los puntos de retorno (TP) donde la velocidad radial se anula.
3. Integración Numérica: Se integran numéricamente trayectorias geodésicas específicas partiendo de puntos en el Sector I (una región asintóticamente plana). Se rastrean las trayectorias mientras cruzan el horizonte hacia el Sector II y se aproximan a la "copia futura" del punto inicial en el Sector I' (creada por la identificación de las AFR).
4. Análisis de Causalidad: Se comparan las posiciones de los puntos de retorno de estas geodésicas frente a los conos de luz pasados de las copias futuras de los puntos de emisión. Si un punto de retorno se encuentra en el futuro del cono de luz pasado de la copia del emisor, la geodésica no puede regresar al pasado del emisor, preservando la causalidad.

Contribuciones Clave y Resultados

• Estructura Geométrica: El artículo establece que en la métrica de RN extrema, la imagen de la singularidad ($r=0$) en el plano $(U, V)$ es una línea recta ($U=-1$), distinta del caso $e^2 < m^2$ donde la forma de la singularidad depende de los parámetros de masa y carga. Se muestra que el horizonte ($r=m$) es tangente a las geodésicas nulas y de tipo tiempo no radiales en las coordenadas $(U, V)$.
• Geodésicas Radiales:
  • Geodésicas Nulas Radiales Entrantes: Estas impactan la singularidad en $r=0$ y terminan allí; no atraviesan hacia otras regiones.
  • Geodésicas de Tipo Tiempo Radiales: Los ejemplos numéricos muestran que estas geodésicas se aproximan al horizonte tangencialmente. Sus puntos de retorno (donde revierten la dirección) se encuentran estrictamente en el futuro del cono de luz pasado de la copia futura del emisor. En consecuencia, no pueden regresar al pasado del emisor.
• Geodésicas No Radiales:
  • Geodésicas Nulas: Las soluciones analíticas para los puntos de retorno revelan que, para geodésicas nulas no radiales, siempre existe un punto de retorno dentro del horizonte. Para un momento angular suficientemente grande ($|J_0|$), existen dos puntos de retorno adicionales fuera del horizonte. Las geodésicas con un $|J_0|$ grande pueden oscilar entre el punto de retorno interno y el externo, cruzando el horizonte en cada ciclo.
  • Verificación Numérica: Las integraciones numéricas de geodésicas de tipo tiempo y nulas no radiales que cruzan el horizonte confirman que sus puntos de retorno también se sitúan en el futuro de los conos de luz pasados de las copias futuras de sus puntos de emisión.
• Conclusión de Causalidad: A diferencia del caso $e^2 < m^2$, la identificación de las regiones asintóticamente planas en el espaciotiempo de RN extremo no conduce a brechas de causalidad para las geodésicas probadas. Los mensajes enviados a través de estas geodésicas no pueden alcanzar el pasado causal de la copia futura del emisor.

Significancia y Limitaciones
La principal significancia de este trabajo es la demostración, mediante ejemplos numéricos, de que el espaciotiempo de RN extremo ($e^2 = m^2$) es causalmente estable bajo la identificación de sus regiones asintóticamente planas, en contraste con el caso no extremo. El artículo establece explícitamente que, aunque la evidencia numérica es robusta, una prueba matemática formal de esta tesis (es decir, demostrar que todas las geodésicas de este tipo se comportan de esta manera, no solo los ejemplos proporcionados) sigue siendo un problema abierto. El autor señala que la no existencia de violaciones de la causalidad no puede probarse únicamente mediante ejemplos, y que la derivación de una prueba analítica rigurosa es un paso futuro deseado.

El artículo no propone nuevas aplicaciones experimentales ni especula sobre implicaciones físicas más amplias más allá de la estructura causal específica de este modelo de espaciotiempo. Sirve como una continuación rigurosa del trabajo previo sobre las extensiones de la métrica de RN, aclarando las distintas propiedades causales del límite extremo.