Motion of a gyroscope on a closed timelike curve

Resumen Técnico: Movimiento de un Giroscopio en una Curva Temporal Cerrada

Planteamiento del Problema
Este artículo investiga la consistencia de cuerpos extendidos que se mueven a lo largo de Curvas Temporales Cerradas (CTC) dentro del marco de la Relatividad General. Mientras que las aproximaciones de partículas puntuales para los viajes en el tiempo suelen asumir la auticonsistencia (según el principio de auticonsistencia de Novikov), los cuerpos extendidos poseen una estructura interna que puede conducir a inconsistencias. El problema específico abordado es el movimiento de un giroscopio, modelado como un vector de espín espaciolocal de longitud unitaria ortogonal al 4-vector de velocidad del observador, transportado a lo largo de una CTC. El problema central es si el vector de espín regresa a su orientación inicial al completar un circuito de la CTC. Si el vector precesa de tal manera que $s^a(t_0) \neq s^a(t_1)$ a pesar de que $\gamma(t_0) = \gamma(t_1)$, el movimiento se considera inconsistente, lo que podría descartar tales historias para cuerpos extendidos.

Metodología
El autor modela el movimiento del giroscopio utilizando ecuaciones de transporte de Fermi-Walker (FW) a lo largo de una CTC $\gamma$ de clase $C^2$ por tramos, con periodo $T$. El vector de espín $s^a$ satisface:
$$u^c \nabla_c s^a = (u^a a_b - a^a u_b) s^b$$
donde $u^a$ es el vector tangente y $a^a$ es la aceleración.

El análisis se basa en las propiedades del propagador de FW, $\Gamma^a_{b'}$, que actúa como una matriz fundamental para el sistema de ecuaciones diferenciales ordinarias (ODE) que rigen el transporte. Dado que los coeficientes de la ecuación de transporte son periódicos (debido a la periodicidad de la CTC), el autor aplica el teorema de Floquet-Lyapunov.

Pasos clave de la metodología:

1. Análisis de la Matriz de Monodromía: Definición de la matriz de monodromía $M^a_{b'} = \Gamma^a_{b'}(T)$, que mapea el vector de espín inicial a su estado tras un periodo.
2. Descomposición de Autovalores: Análisis de los autovalores de $M$. Dado que el transporte de FW preserva los productos internos y el vector de velocidad $u^a$ es en sí mismo una solución periódica, $M$ posee un autovalor de 1 correspondiente a $u^a$. La restricción de $M$ al subespacio ortogonal a $u^a$ (el espacio de los vectores de espín) es un elemento de $SO(3)$.
3. Condiciones de Periodicidad: Determinación de las condiciones bajo las cuales todos los vectores de espín son $T$-periódicos. Esto ocurre si y solo si el ángulo de rotación $\theta$ asociado a los autovalores $\{1, e^{i\theta}, e^{-i\theta}\}$ del subespacio ortogonal es cero (o un múltiplo de $2\pi$).
4. Estudios de Caso: Aplicación de este formalismo a espaciotiempos específicos que admiten CTCs:
   • Espaciotiempos estacionarios con simetría cilíndrica (Gödel, Som-Raychaudhuri, máquinas de Tipler/Van Stockum).
   • Espaciotiempo de Kerr (región interior).
   • Espaciotiempo Taub-NUT.
   • Máquina del tiempo de Ori, asintóticamente plana.

Contribuciones Clave y Resultados

• Marco Teórico General:

  • Proposición 1: Toda CTC $T$-periódica admite al menos un vector de espín $T$-periódico.
  • Proposición 2: Para una CTC dada, o bien todo vector de espín es $T$-periódico, o el conjunto de datos iniciales que producen un espín periódico es de medida cero (específicamente, solo dos puntos en la esfera unidad $S^2$). Por lo tanto, el movimiento giroscópico es universalmente consistente o genéricamente inconsistente.

• Análisis de Espaciotiempos Específicos:

  • Espaciotiempos Estacionarios con Simetría Cilíndrica: La condición para que todos los vectores de espín sean periódicos se reduce a una condición de resonancia donde el periodo de la CTC ($T_\gamma$) es un múltiplo entero del periodo de precesión del vector de espín ($T_s$). Esto conduce a un "perfil de Gödel" donde el movimiento consistente ocurre solo para un conjunto contable de radios (valores discretos de $r$). Para todos los demás radios, solo una orientación específica del vector de espín permanece consistente.
  • Espaciotiempo de Kerr: Condiciones de resonancia similares se aplican en el plano ecuatorial. El movimiento consistente está restringido a un conjunto contable de radios dentro de la región totalmente viciosa ($r < 0$).
  • Espaciotiempo Taub-NUT: A diferencia de los ejemplos anteriores, la condición de consistencia produce un número finito (o cero) de soluciones dependiendo del parámetro NUT. En muchos regímenes de parámetros, no existen CTCs donde todos los vectores de espín sean periódicos.
  • Máquina del Tiempo de Ori: Las CTCs puramente toroidales en este espaciotiempo admiten un movimiento giroscópico consistente. Sin embargo, una perturbación que introduce movimiento poloidal rompe esta consistencia, devolviendo el sistema al caso genérico de movimiento inconsistente.

Significado y Conclusiones
El artículo concluye que la evolución consistente de un giroscopio a lo largo de una CTC no es posible genéricamente. En un sentido matemáticamente preciso, para las familias de CTCs estudiadas (parametrizadas por variables reales continuas), el subconjunto de CTCs que permiten un movimiento giroscópico consistente es, como máximo, contable (un conjunto de medida cero).

El autor argumenta que, si bien el viaje en el tiempo de partículas puntuales podría ser auticonsistente, la inclusión de la estructura interna (modelada aquí por un giroscopio) introduce restricciones físicas a través de las ecuaciones de transporte de FW que, de forma genérica, descartan las historias consistentes. La "dificultad práctica" para un viajero en el tiempo es que su brújula inercial (el giroscopio) rotaría respecto a su orientación inicial al regresar al mismo evento espaciotemporal, creando una paradoja de identidad para los cuerpos extendidos.

El artículo plantea la conjetura de que esta inconsistencia genérica se mantiene para todos los espaciotiempos orientables en el tiempo. Aunque los ejemplos proporcionados son específicos, el autor sugiere que la naturaleza abierta y densa del conjunto de CTCs inconsistentes (respaldada por la dependencia continua de las soluciones de las ODE respecto a los parámetros) implica que la consistencia es una propiedad excepcional, y no genérica, en los espaciotiempos que admiten CTCs. Esto desafía la viabilidad de los viajes en el tiempo para cuerpos extendidos bajo la Relatividad General clásica.