Are Petrov type-N and D spacetimes admitting CTCs valid in $f(R,\mathcal{L}_m,\Phi,X)$ gravity?

Resumen Técnico: Validez de Espaciotiempos de Tipo Petrov N y D con CTCs en la Gravedad $f(R, L_m, \Phi, X)$

Planteamiento del Problema
La relación entre la Relatividad General (RG) y la existencia de Curvas Temporales Cerradas (CTCs) sigue siendo un tema central en la gravedad clásica, particularmente en lo que respecta a la conjetura de protección de la cronología de Hawking. Si bien la RG admite soluciones exactas que contienen CTCs —tales como la métrica de núcleo compacto en el vacío de Ori (2005) y la generalización tetradimensional de Ahmed (2018) del espacio de Misner—, no está claro si las extensiones de la gravedad que introducen grados de libertad adicionales pueden imponer una protección de la cronología. Específicamente, este trabajo investiga si la recientemente propuesta gravedad $f(R, L_m, \Phi, X)$, que acopla la curvatura ($R$), la densidad lagrangiana de la materia ($L_m$), un campo escalar ($\Phi$) y su invariante cinético ($X = g^{\mu\nu}\nabla_\mu\Phi\nabla_\nu\Phi$), altera la admisibilidad de estas geometrías específicas de máquinas del tiempo. El estudio se centra en si el grado de libertad escalar puede suprimir las CTCs o imponer condiciones de energía que harían que estas soluciones fueran no físicas.

Metodología
Los autores analizan los espaciotiempos de Ori y Ahmed dentro del modelo específico $f = R + L_m + (\lambda/2)X$, donde $\lambda$ es una constante de acoplamiento adimensional y el potencial escalar se establece en cero. Esta elección aísla la contribución del sector cinético mientras mantiene ecuaciones de campo de segundo orden.

1. Ecuaciones de Campo: Los autores derivan las ecuaciones de campo modificadas para la teoría $f(R, L_m, \Phi, X)$, reduciéndolas al modelo específico donde el campo escalar se comporta como un campo libre sin masa ($\square\Phi = 0$) sobre el fondo curvo.
2. Métricas de Fondo:
   • Métrica de Ori: Una máquina del tiempo de núcleo en el vacío con una dimensión $z$ compacta, definida por $ds^2 = dx^2 + dy^2 - 2dT dz + [F(x,y) - T]dz^2$.
   • Métrica de Ahmed: Una generalización 4D del espacio de Misner con una coordenada $\psi$ periódica, definida por $ds^2 = e^{-f(x,y)}(dx^2 + dy^2) - 2dt d\psi - t d\psi^2$.
3. Perfiles Escalares: Los autores resuelven la ecuación de onda escalar para perfiles armónicos $\Phi(x,y)$, probando específicamente $\Phi_1 = a(x^2 - y^2)/2$, $\Phi_2 = a \ln\sqrt{x^2+y^2}$ y $\Phi_3 = a e^x \cos y$.
4. Análisis: Para cada fondo, los autores calculan invariantes de curvatura (escalar de Ricci, invariante de Kretschmann), determinan el tensor de energía-impulso efectivo ($T_{\mu\nu}$) requerido para soportar la geometría y evalúan la densidad de energía medida por observadores en bucles temporales cerrados. Verifican específicamente las condiciones de energía Nula (NEC), Débil (WEC), Fuerte (SEC) y Dominante (DEC).

Contribuciones y Resultados Clave

• Soluciones Exactas: Se confirma que tanto la métrica de Ori (tipo Petrov N) como la de Ahmed (tipo Petrov D) son soluciones exactas de las ecuaciones de campo de $f(R, L_m, \Phi, X)$. El campo escalar no perturba la estructura geométrica; más bien, "adorna" el contenido de materia efectivo con tensiones anisotrópicas.
• Persistencia de las CTCs: Las regiones que violan la cronología permanecen sin cambios. Para la métrica de Ori, las CTCs existen donde $T > F(x,y)$; para la métrica de Ahmed, existen donde $t > 0$. El grado de libertad escalar no desplaza la ubicación del horizonte de cronología ni elimina las CTCs.
• Corrección del Invariante Cinético: Los autores corrigen un olvido previo en la literatura respecto al invariante cinético $X$. Demuestran que para perfiles armónicos no constantes, $X$ es distinto de cero (por ejemplo, $X = a^2(x^2+y^2)$ para la métrica de Ori), lo cual es esencial para el análisis de las condiciones de energía.
• Energía-Impulso Efectiva:
  • La teoría modificada genera un tensor de energía-impulso efectivo que incluye componentes fuera de la diagonal (por ejemplo, $T_{Tz}$ en Ori, $T_{t\psi}$ en Ahmed) y tensiones de corte transversales ($T_{xy}$).
  • La fuente de materia requerida para soportar estas métricas en la teoría modificada es anisotrópica y no puede modelarse como un fluido perfecto ni como radiación pura.
• Condiciones de Energía:
  • Violación de la WEC: La Condición de Energía Débil se viola en regiones específicas dependiendo del acoplamiento $\lambda$ y de la amplitud escalar $a$. La violación es local y depende de la posición.
  • Protección de la Cronología: Crucialmente, la densidad de energía medida por un observador atrapado en una curva temporal cerrada ($\rho_{loop}$) coincide con la densidad medida por un observador estático fuera del horizonte (hasta un signo). El sector escalar no genera la densidad de energía negativa requerida para suprimir las CTCs mediante un mecanismo clásico de protección de la cronología.
• Distinciones Geométricas:
  • La métrica de Ori tiene un escalar de Ricci nulo ($R=0$) en todas partes.
  • La métrica de Ahmed posee un escalar de Ricci no trivial ($R = e^f \nabla^2 f$) determinado por el factor conforme, lo que conduce a fuentes efectivas dependientes de la posición que difieren del caso de Ori.

Significado y Afirmaciones
El artículo afirma que la introducción del grado de libertad escalar en la gravedad $f(R, L_m, \Phi, X)$ no impone un mecanismo de protección de la cronología para estas geometrías específicas de núcleo compacto y similares a Misner. Los resultados reflejan hallazgos de pruebas anteriores de gravedad modificada (tales como $f(R)$ y $f(R, T)$) sobre métricas de tipo Gödel y la máquina del tiempo de Li, donde la métrica sobrevive como solución y las CTCs persisten.

Los autores concluyen que el campo escalar simplemente redistribuye el contenido de materia, introduciendo tensiones anisotrópicas y modificando los umbrales de violación de las condiciones de energía, pero no elimina las patologías geométricas subyacentes. Esto sirve como una prueba de consistencia para la gravedad modificada extendida con escalares en configuraciones no globalmente hiperbólicas. El trabajo sugiere que si la protección de la cronología ha de realizarse en estas teorías, probablemente requerirá efectos semiclásicos (divergencias renormalizadas de energía-impulso) en lugar de modificaciones clásicas a las ecuaciones de campo. El artículo establece explícitamente que un tratamiento semiclásico completo que involucre energía-impulso renormalizada en un estado de Hadamard sigue siendo una tarea abierta más allá del alcance de este análisis clásico.