Motion of a gyroscope on a closed timelike curve

Resumo Técnico: Movimento de um Giroscópio em uma Curva Temporal Fechada

Enunciado do Problema
Este artigo investiga a consistência de corpos extensos movendo-se ao longo de Curvas Temporais Fechadas (CTCs) dentro do arcabouço da Relatividade Geral. Enquanto as aproximações de partícula pontual para viagens no tempo frequentemente assumem a autossistência (conforme o princípio de autossistência de Novikov), corpos extensos possuem estrutura interna que pode levar a inconsistências. O problema específico abordado é o movimento de um giroscópio, modelado como um vetor de spin espacial de comprimento unitário ortogonal ao 4-vetor de velocidade do observador, transportado ao longo de uma CTC. A questão central é se o vetor de spin retorna à sua orientação inicial ao completar um circuito da CTC. Se o vetor sofrer precessão de tal forma que $s^a(t_0) \neq s^a(t_1)$ apesar de $\gamma(t_0) = \gamma(t_1)$, o movimento é considerado inconsistente, potencialmente descartando tais histórias para corpos extensos.

Metodologia
O autor modela o movimento do giroscópio usando equações de transporte de Fermi-Walker (FW) ao longo de uma CTC $\gamma$, de classe $C^2$ por partes, com período $T$. O vetor de spin $s^a$ satisfaz:
$$u^c \nabla_c s^a = (u^a a_b - a^a u_b) s^b$$
onde $u^a$ é o vetor tangente e $a^a$ é a aceleração.

A análise baseia-se nas propriedades do propagador FW, $\Gamma^a_{b'}$, que atua como uma matriz fundamental para o sistema de equações diferenciais ordinárias (ODEs) lineares que regem o transporte. Como os coeficientes da equação de transporte são periódicos (devido à periodicidade da CTC), o autor aplica o teorema de Floquet-Lyapunov.

Etapas principais da metodologia incluem:

1. Análise da Matriz de Monodromia: Definição da matriz de monodromia $M^a_{b'} = \Gamma^a_{b'}(T)$, que mapeia o vetor de spin inicial para seu estado após um período.
2. Decomposição de Autovalores: Análise dos autovalores de $M$. Como o transporte FW preserva produtos internos e o vetor de velocidade $u^a$ é, por si só, uma solução periódica, $M$ possui um autovalor de 1 correspondente a $u^a$. A restrição de $M$ ao subespaço ortogonal a $u^a$ (o espaço dos vetores de spin) é um elemento de $SO(3)$.
3. Condições de Periodicidade: Determinação das condições sob as quais todos os vetores de spin são $T$-periódicos. Isso ocorre se, e somente se, o ângulo de rotação $\theta$ associado aos autovalores $\{1, e^{i\theta}, e^{-i\theta}\}$ do subespaço ortogonal for zero (ou um múltiplo de $2\pi$).
4. Estudos de Caso: Aplicação deste formalismo a espaços-tempos específicos que admitem CTCs:
   • Espaços-tempos estacionários com simetria cilíndrica (Gödel, Som-Raychaudhuri, Máquinas de Tipler/Van Stockum).
   • Espaço-tempo de Kerr (região interna).
   • Espaço-tempo Taub-NUT.
   • Máquina do tempo assintoticamente plana de Ori.

Principais Contribuições e Resultados

• Estrutura Teórica Geral:

  • Proposição 1: Toda CTC $T$-periódica admite pelo menos um vetor de spin $T$-periódico.
  • Proposição 2: Para uma dada CTC, ou todo vetor de spin é $T$-periódico, ou o conjunto de dados iniciais que resultam em um vetor de spin periódico é de medida zero (especificamente, apenas dois pontos na esfera unitária $S^2$). Assim, o movimento giroscópico é universalmente consistente ou genericamente inconsistente.

• Análise de Espaços-Tempos Específicos:

  • Espaços-Tempos Estacionários com Simetria Cilíndrica: A condição para que todos os vetores de spin sejam periódicos reduz-se a uma condição de ressonância onde o período da CTC ($T_\gamma$) é um múltiplo inteiro do período de precessão do vetor de spin ($T_s$). Isso leva a um "perfil de Gödel", onde o movimento consistente ocorre apenas para um conjunto enumerável de raios (valores discretos de $r$). Para todos os outros raios, apenas uma orientação específica do vetor de spin permanece consistente.
  • Espaço-Tempo de Kerr: Condições de ressonância semelhantes aplicam-se na região equatorial. O movimento consistente é restrito a um conjunto enumerável de raios dentro da região totalmente viciosa ($r < 0$).
  • Espaço-Tempo Taub-NUT: Diferente dos exemplos anteriores, a condição para consistência produz um número finito (ou zero) de soluções, dependendo do parâmetro NUT. Em muitos regimes de parâmetros, não existem CTCs onde todos os vetores de spin sejam periódicos.
  • Máquina do Tempo de Ori: CTCs puramente toroidais neste espaço-tempo admitem movimento giroscópico consistente. No entanto, uma perturbação que introduz movimento poloidal quebra essa consistência, retornando o sistema ao caso genérico de movimento inconsistente.

Significância e Conclusões
O artigo conclui que a evolução consistente de um giroscópio ao longo de uma CTC é genericamente impossível. Em um sentido matematicamente preciso, para as famílias de CTCs estudadas (parametrizadas por variáveis reais contínuas), o subconjunto de CTCs que permite o movimento giroscópico consistente é, no máximo, enumerável.

O autor argumenta que, embora a viagem no tempo de partículas pontuais possa ser autossistente, a inclusão de estrutura interna (modelada aqui por um giroscópio) introduz restrições físicas via equações de transporte FW que, genericamente, descartam histórias consistentes. A "dificuldade prática" para um viajante do tempo é que seu compasso inercial (o giroscópio) rotacionaria em relação à sua orientação inicial ao retornar ao mesmo evento espaço-temporal, criando um paradoxo de identidade para corpos extensos.

O artigo propõe uma conjectura de que essa inconsistência genérica se mantém para todos os espaços-tempos orientáveis no tempo. Embora os exemplos fornecidos sejam específicos, o autor sugere que a natureza aberta e densa do conjunto de CTCs inconsistentes (suportada pela dependência contínua das soluções de ODE em relação aos parâmetros) implica que a consistência é uma propriedade excepcional, e não genérica, em espaços-tempos que admitem CTCs. Isso desafia a viabilidade da viagem no tempo para corpos extensos sob a Relatividade Geral clássica.