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

Resumo Técnico: Causalidade no Espaço-Tempo de Reissner–Nordström Extremo Maximamente Estendido com Identificações

Enunciado do Problema
Este artigo investiga se a identificação de regiões assintoticamente planas (AFRs) no espaço-tempo de Reissner–Nordström (RN) extremo ($e^2 = m^2$) leva a violações de causalidade. Especificamente, o estudo questiona se um observador em uma AFR pode enviar mensagens para o seu próprio passado usando geodésicas temporais ou nulas. Esta investigação segue o trabalho anterior (Ref. [1]), que demonstrou que tais quebras de causalidade ocorrem no métrico RN não-extremo ($e^2 < m^2$) quando as AFRs são identificadas, permitindo que geodésicas radiais temporais retornem ao passado do emissor. O presente trabalho busca determinar se o caso extremo ($e^2 = m^2$) exibe comportamento semelhante ou se a estrutura causal impede tais loops.

Metodologia
O autor emprega uma combinação de derivação analítica e integração numérica:

1. Derivação do Métrico: A extensão máxima do métrico RN extremo é rederivada usando coordenadas de curvatura transformadas em coordenadas nulas ($p, q$) e, subsequentemente, em coordenadas de Kruskal-like ($P, Q$) e coordenadas de espaço-tempo ($U, V$). Neste sistema de coordenadas específico, a singularidade em $r=0$ é representada como uma linha reta ($U=-1$), e o horizonte de eventos em $r=m$ corresponde a limites nulos específicos.
2. Equações Geodésicas: As equações de movimento para geodésicas temporais e nulas são analisadas. Primeiras integrais envolvendo energia ($\Gamma$) e momento angular ($J_0$) são utilizadas. O comportamento de geodésicas radiais e não-radiais é examinado, focando particularmente em pontos de retorno (TPs) onde a velocidade radial é nula.
3. Integração Numérica: Trajetórias geodésicas específicas são integradas numericamente partindo de pontos no Setor I (uma região assintoticamente plana). Os caminhos são rastreados enquanto cruzam o horizonte para o Setor II e se aproximam da "cópia futura" do ponto inicial no Setor I' (criada pela identificação das AFRs).
4. Análise de Causalidade: As posições dos pontos de retorno dessas geodésicas são comparadas contra os cones de luz passados das cópias futuras dos pontos de emissão. Se um ponto de retorno reside no futuro do cone de luz passado da cópia do emissor, a geodésica não pode retornar ao passado do emissor, preservando a causalidade.

Principais Contribuições e Resultados

• Estrutura Geométrica: O artigo estabelece que, no métrico RN extremo, a imagem da singularidade ($r=0$) no plano $(U, V)$ é uma linha reta ($U=-1$), distinta do caso $e^2 < m^2$, onde a forma da singularidade depende dos parâmetros de massa e carga. Mostra-se que o horizonte ($r=m$) é tangente a geodésicas nulas e temporais não-radiais nas coordenadas $(U, V)$.
• Geodésicas Radiais:
  • Geodésicas Nulas Radiais Entrantes: Estas atingem a singularidade em $r=0$ e terminam nela; elas não atravessam para outras regiões.
  • Geodésicas Temporais Radiais: Exemplos numéricos mostram que estas geodésicas aproximam-se do horizonte tangencialmente. Seus pontos de retorno (onde invertem a direção) residem estritamente no futuro do cone de luz passado da cópia futura do emissor. Consequentemente, elas não podem retornar ao passado do emissor.
• Geodésicas Não-Radiais:
  • Geodésicas Nulas: Soluções analíticas para pontos de retorno revelam que, para geodésicas nulas não-radiais, um ponto de retorno sempre existe dentro do horizonte. Para momento angular suficientemente grande ($|J_0|$), dois pontos de retorno adicionais existem fora do horizonte. Geodésicas com $|J_0|$ grande podem oscilar entre o ponto de retorno interno e o externo, cruzando o horizonte em cada ciclo.
  • Verificação Numérica: Integrações numéricas de geodésicas temporais e nulas não-radiais que cruzam o horizonte confirmam que seus pontos de retorno também residem no futuro dos cones de luz passados das cópias futuras de seus pontos de emissão.
• Conclusão de Causalidade: Diferente do caso $e^2 < m^2$, a identificação de regiões assintoticamente planas no espaço-tempo RN extremo não leva a quebras de causalidade para as geodésicas testadas. Mensagens enviadas via estas geodésicas não podem alcançar o passado causal da cópia futura do emissor.

Significância e Limitações
A principal significância deste trabalho é a demonstração, através de exemplos numéricos, que o espaço-tempo RN extremo ($e^2 = m^2$) é causalmente estável sob a identificação de suas regiões assintoticamente planas, em contraste com o caso não-extremo. O artigo afirma explicitamente que, embora a evidência numérica seja robusta, uma prova matemática formal desta tese (ou seja, provar que todas as tais geodésicas se comportam desta maneira, não apenas os exemplos fornecidos) permanece um problema em aberto. O autor observa que a não existência de violações de causalidade não pode ser provada apenas por exemplos, e que a derivação de uma prova analítica rigorosa é um passo futuro desejado.

O artigo não propõe novas aplicações experimentais ou especula sobre implicações físicas mais amplas além da estrutura causal específica deste modelo de espaço-tempo. Ele serve como uma continuação rigorosa de trabalhos anteriores sobre extensões do métrico RN, esclarecendo as propriedades causais distintas do limite extremo.