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

Resumo Técnico: Valididade de Espaços-Tempos do Tipo Petrov N e D com CTCs na Gravidade $f(R, L_m, \Phi, X)$

Declaração do Problema
A relação entre a Relatividade Geral (RG) e a existência de Curvas Temporais Fechadas (CTCs) permanece uma questão central na gravidade clássica, particularmente no que tange à conjectura de proteção da cronologia de Hawking. Embora a RG admita soluções exatas contendo CTCs — como a métrica de núcleo-vácuo compacto de Ori (2005) e a generalização quadridimensional de Ahmed (2018) do espaço de Misner —, não está claro se extensões da gravidade que introduzem graus de liberdade adicionais podem impor a proteção da cronologia. Especificamente, este trabalho investiga se a recentemente proposta gravidade $f(R, L_m, \Phi, X)$, que acopla a curvatura ($R$), a densidade lagrangiana da matéria ($L_m$), um campo escalar ($\Phi$) e seu invariante cinético ($X = g^{\mu\nu}\nabla_\mu\Phi\nabla_\nu\Phi$), altera a admissibilidade dessas geometrias específicas de máquinas do tempo. O estudo foca se o grau de liberdade escalar pode suprimir as CTCs ou impor condições de energia que tornariam essas soluções não físicas.

Metodologia
Os autores analisam os espaços-tempo de Ori e Ahmed dentro do modelo específico $f = R + L_m + (\lambda/2)X$, onde $\lambda$ é uma constante de acoplamento adimensional e o potencial escalar é definido como zero. Essa escolha isola a contribuição do setor cinético, mantendo equações de campo de segunda ordem.

1. Equações de Campo: Os autores derivam as equações de campo modificadas para a teoria $f(R, L_m, \Phi, X)$, reduzindo-as ao modelo específico onde o campo escalar comporta-se como um campo livre sem massa ($\square\Phi = 0$) sobre o fundo curvo.
2. Métricas de Fundo:
   • Métrica de Ori: Uma máquina do tempo de núcleo-vácuo com uma dimensão $z$ compacta, definida por $ds^2 = dx^2 + dy^2 - 2dT dz + [F(x,y) - T]dz^2$.
   • Métrica de Ahmed: Uma generalização 4D do espaço de Misner com uma coordenada $\psi$ periódica, definida por $ds^2 = e^{-f(x,y)}(dx^2 + dy^2) - 2dt d\psi - t d\psi^2$.
3. Perfis Escalares: Os autores resolvem a equação de onda escalar para perfis harmônicos $\Phi(x,y)$, testando especificamente $\Phi_1 = a(x^2 - y^2)/2$, $\Phi_2 = a \ln\sqrt{x^2+y^2}$ e $\Phi_3 = a e^x \cos y$.
4. Análise: Para cada fundo, os autores calculam invariantes de curvatura (escalar de Ricci, invariante de Kretschmann), determinam o tensor de energia-momento efetivo ($T_{\mu\nu}$) necessário para suportar a geometria e avaliam a densidade de energia medida por observadores em laços temporais fechados. Eles verificam especificamente as condições de energia Nula (NEC), Fraca (WEC), Forte (SEC) e Dominante (DEC).

Principais Contribuições e Resultados

• Soluções Exatas: Tanto a métrica de Ori (tipo Petrov N) quanto a métrica de Ahmed (tipo Petrov D) são confirmadas como soluções exatas das equações de campo de $f(R, L_m, \Phi, X)$. O campo escalar não perturba a estrutura geométrica; ao contrário, ele veste o conteúdo de matéria efetivo com tensões anisotrópicas.
• Persistência das CTCs: As regiões que violam a cronologia permanecem inalteradas. Para a métrica de Ori, as CTCs existem onde $T > F(x,y)$; para a métrica de Ahmed, elas existem onde $t > 0$. O grau de liberdade escalar não desloca a localização do horizonte de cronologia nem elimina as CTCs.
• Correção do Invariante Cinético: Os autores corrigem uma omissão anterior na literatura referente ao invariante cinético $X$. Eles demonstram que, para perfis harmônicos não constantes, $X$ é não nulo (por exemplo, $X = a^2(x^2+y^2)$ para a métrica de Ori), o que é essencial para a análise das condições de energia.
• Tensor de Energia-Momento Efetivo:
  • A teoria modificada gera um tensor de energia-momento efetivo que inclui componentes fora da diagonal (por exemplo, $T_{Tz}$ em Ori, $T_{t\psi}$ em Ahmed) e tensões de cisalhamento transversais ($T_{xy}$).
  • A fonte de matéria necessária para suportar essas métricas na teoria modificada é anisotrópica e não pode ser modelada como um fluido perfeito ou radiação pura.
• Condições de Energia:
  • Violação da WEC: A Condição de Energia Fraca é violada em regiões específicas dependendo do acoplamento $\lambda$ e da amplitude escalar $a$. A violação é local e dependente da posição.
  • Proteção da Cronologia: Crucialmente, a densidade de energia medida por um observador preso a uma curva temporal fechada ($\rho_{loop}$) coincide com a densidade medida por um observador estático fora do horizonte (até um sinal). O setor escalar não gera a densidade de energia negativa necessária para suprimir as CTCs via um mecanismo clássico de proteção da cronologia.
• Distinções Geométricas:
  • A métrica de Ori possui um escalar de Ricci nulo ($R=0$) em todos os lugares.
  • A métrica de Ahmed possui um escalar de Ricci não trivial ($R = e^f \nabla^2 f$) determinado pelo fator conforme, levando a fontes efetivas dependentes da posição que diferem do caso de Ori.

Significado e Alegações
O artigo alega que a introdução do grau de liberdade escalar na gravidade $f(R, L_m, \Phi, X)$ não impõe um mecanismo de proteção da cronologia para essas geometrias específicas de núcleo compacto e semelhantes a Misner. Os resultados espelham achados de testes anteriores de gravidade modificada (como $f(R)$ e $f(R, T)$) em métricas do tipo Gödel e na máquina do tempo de Li, onde a métrica sobrevive como solução e as CTCs persistem.

Os autores concluem que o campo escalar meramente redistribui o conteúdo de matéria, introduzindo tensões anisotrópicas e modificando os limiares de violação das condições de energia, mas não remove as patologias geométricas subjacentes. Isso serve como um teste de consistência para a gravidade modificada estendida por escalares em configurações não globalmente hiperbólicas. O trabalho sugere que, se a proteção da cronologia deve ser realizada nessas teorias, ela provavelmente requer efeitos semi-clássicos (divergências renormalizadas do tensor de energia-momento) em vez de modificações clássicas às equações de campo. O artigo afirma explicitamente que um tratamento semi-clássico completo envolvendo energia-momento renormalizada em um estado de Hadamard permanece uma tarefa em aberto além do escopo desta análise clássica.