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

Sintesi Tecnica: Validità di Spaziotempi di Tipo Petrov N e D con CTC nella Gravità $f(R, L_m, \Phi, X)$

Enunciato del Problema
La relazione tra la Relatività Generale (RG) e l'esistenza di Curve Temporali Chiuse (CTC) rimane una questione centrale nella gravità classica, in particolare riguardo alla congettura di protezione della cronologia di Hawking. Sebbene la RG ammetta soluzioni esatte contenenti CTC—come la metrica a nucleo compatto-vuoto di Ori (2005) e la generalizzazione quadridimensionale dello spazio di Misner di Ahmed (2018)—non è chiaro se estensioni della gravità che introducono gradi di libertà aggiuntivi possano imporre la protezione della cronologia. Nello specifico, questo lavoro indaga se la recentemente proposta gravità $f(R, L_m, \Phi, X)$, che accoppia la curvatura ($R$), la densità lagrangiana della materia ($L_m$), un campo scalare ($\Phi$) e il suo invariante cinetico ($X = g^{\mu\nu}\nabla_\mu\Phi\nabla_\nu\Phi$), alteri l'ammissibilità di queste specifiche geometrie di macchine del tempo. Lo studio si concentra sul fatto che il grado di libertà scalare possa sopprimere le CTC o imporre condizioni energetiche che renderebbero queste soluzioni non fisiche.

Metodologia
Gli autori analizzano gli spaziotempi di Ori e Ahmed all'interno del modello specifico $f = R + L_m + (\lambda/2)X$, dove $\lambda$ è una costante di accoppiamento adimensionale e il potenziale scalare è posto a zero. Questa scelta isola il contributo del settore cinetico mantenendo equazioni di campo del secondo ordine.

1. Equazioni di Campo: Gli autori derivano le equazioni di campo modificate per la teoria $f(R, L_m, \Phi, X)$, riducendole al modello specifico in cui il campo scalare si comporta come un campo libero senza massa ($\square\Phi = 0$) sullo sfondo curvo.
2. Metriche di Sfondo:
   • Metrica di Ori: Una macchina del tempo a nucleo vuoto con una dimensione $z$ compatta, definita da $ds^2 = dx^2 + dy^2 - 2dT dz + [F(x,y) - T]dz^2$.
   • Metrica di Ahmed: Una generalizzazione 4D dello spazio di Misner con una coordinata $\psi$ periodica, definita da $ds^2 = e^{-f(x,y)}(dx^2 + dy^2) - 2dt d\psi - t d\psi^2$.
3. Profilo Scalare: Gli autori risolvono l'equazione d'onda scalare per profili armonici $\Phi(x,y)$, testando specificamente $\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. Analisi: Per ogni sfondo, gli autori calcolano gli invarianti di curvatura (scalare di Ricci, invariante di Kretschmann), determinano il tensore di energia-impulso effettivo ($T_{\mu\nu}$) necessario a sostenere la geometria e valutano la densità di energia misurata da osservatori su loop temporali chiusi. Verificano specificamente le condizioni energetiche Null (NEC), Debole (WEC), Forte (SEC) e Dominante (DEC).

Contributi e Risultati Chiave

• Soluzioni Esatte: Sia la metrica di Ori (tipo Petrov N) che quella di Ahmed (tipo Petrov D) sono confermate come soluzioni esatte delle equazioni di campo $f(R, L_m, \Phi, X)$. Il campo scalare non disturba la struttura geometrica; piuttosto, "veste" il contenuto di materia effettivo con stress anisotropi.
• Persistenza delle CTC: Le regioni che violano la cronologia rimangono invariate. Per la metrica di Ori, le CTC esistono dove $T > F(x,y)$; per la metrica di Ahmed, esistono dove $t > 0$. Il grado di libertà scalare non sposta la posizione dell'orizzonte della cronologia né elimina le CTC.
• Correzione dell'Invariante Cinetico: Gli autori correggono un precedente errore nella letteratura riguardante l'invariante cinetico $X$. Dimostrano che per profili armonici non costanti, $X$ è non nullo (ad esempio, $X = a^2(x^2+y^2)$ per la metrica di Ori), il che è essenziale per l'analisi delle condizioni energetiche.
• Energia-Impulso Effettiva:
  • La teoria modificata genera un tensore di energia-impulso effettivo che include componenti fuori diagonale (ad esempio, $T_{Tz}$ in Ori, $T_{t\psi}$ in Ahmed) e sforzi di taglio trasversali ($T_{xy}$).
  • La sorgente di materia richiesta per sostenere queste metriche nella teoria modificata è anisotropa e non può essere modellata come un fluido perfetto o radiazione pura.
• Condizioni Energetiche:
  • Violazione della WEC: La Condizione Energetica Debole è violata in regioni specifiche a seconda dell'accoppiamento $\lambda$ e dell'ampiezza scalare $a$. La violazione è locale e dipendente dalla posizione.
  • Protezione della Cronologia: Crucialmente, la densità di energia misurata da un osservatore vincolato a una curva temporale chiusa ($\rho_{loop}$) corrisponde alla densità misurata da un osservatore statico fuori dall'orizzonte (a meno di un segno). Il settore scalare non genera la densità di energia negativa necessaria per sopprimere le CTC tramite un meccanismo classico di protezione della cronologia.
• Distinzioni Geometriche:
  • La metrica di Ori ha uno scalare di Ricci nullo ($R=0$) ovunque.
  • La metrica di Ahmed possiede uno scalare di Ricci non banale ($R = e^f \nabla^2 f$) determinato dal fattore conforme, portando a sorgenti effettive dipendenti dalla posizione che differiscono dal caso di Ori.

Significato e Affermazioni
Il lavoro afferma che l'introduzione del grado di libertà scalare nella gravità $f(R, L_m, \Phi, X)$ non impone un meccanismo di protezione della cronologia per queste specifiche geometrie a nucleo compatto e simili a Misner. I risultati rispecchiano le scoperte di precedenti test sulla gravità modificata (come $f(R)$ e $f(R, T)$) su metriche di tipo Gödel e sulla macchina del tempo di Li, dove la metrica sopravvive come soluzione e le CTC persistono.

Gli autori concludono che il campo scalare ridistribuisce semplicemente il contenuto di materia, introducendo stress anisotropi e modificando le soglie di violazione delle condizioni energetiche, ma non rimuove le patologie geometriche sottostanti. Ciò funge da test di coerenza per la gravità modificata estesa scalare in contesti non globalmente iperbolici. Il lavoro suggerisce che, se la protezione della cronologia deve essere realizzata in queste teorie, richiede probabilmente effetti semi-classici (divergenze di energia-impulso rinormalizzate) piuttosto che modifiche classiche alle equazioni di campo. Il lavoro afferma esplicitamente che un trattamento semi-classico completo che coinvolga l'energia-impulso rinormalizzata in uno stato di Hadamard rimane un compito aperto al di là del perimetro di questa analisi classica.