An extendible spacetime without closed timelike curves whose every extension contains closed timelike curves

Il lavoro risolve una questione posta da Geroch costruendo uno spaziotempo estendibile privo di curve temporali chiuse, ottenuto rimuovendo un frattale dallo spaziotempo di Minkowski arrotolato nel tempo, la cui ogni estensione contiene invece tali curve.

L'essenziale

Il Paradosso della "Macchina del Tempo" Perfetta (e Impossibile)

Immaginate di voler costruire una macchina del tempo. Nella fisica, una macchina del tempo è rappresentata da un percorso nello spazio-tempo che ti permette di tornare indietro e incontrare te stesso. Questo percorso si chiama Curva Temporale Chiusa (CTC).

Il problema è che l'universo sembra odiare le macchine del tempo: nella maggior parte dei modelli fisici, se provi a crearne una, l'universo si "rompe" o crea paradossi.

Gli autori di questo articolo (Andréka, Madarász, Manchak, Németi e Székely) hanno risolto un enigma che il famoso fisico Robert Geroch aveva lasciato aperto da oltre 50 anni. Hanno costruito un universo "strano" con una proprietà incredibile:

1. Nello stato attuale: È un universo perfetto, senza buchi, senza paradossi e senza nessuna macchina del tempo. Puoi viaggiare liberamente senza mai tornare indietro nel tempo.
2. Il trucco: Questo universo è "incompleto". È come un puzzle a cui mancano alcuni pezzi.
3. Il colpo di scena: Se provi a completare questo universo (aggiungendo i pezzi mancanti per renderlo "perfetto" e completo), immediatamente si crea una macchina del tempo.

In altre parole: l'unico modo per completare questo universo è distruggere la sua causalità.

---

L'Analogia del Muro Frattale

Per capire come funziona, usiamo un'analogia visiva.

Immaginate lo spazio-tempo come un foglio di carta infinito. Se "arrotolate" questo foglio lungo la direzione del tempo (come un tappeto che si ripiega su se stesso), teoricamente potreste camminare in avanti e ritrovarvi al punto di partenza nel tempo. Questo creerebbe una macchina del tempo.

Gli scienziati hanno detto: "Ok, ma mettiamo dei muri per bloccare il percorso".
Se mettete un muro solido, però, basta fare un piccolo salto o scavare un tunnel per aggirarlo. Quindi, un muro normale non funziona: se completate l'universo, aggirerete il muro e la macchina del tempo apparirà comunque.

La loro soluzione geniale è stata costruire un muro fatto di mattoni frattali (un tipo di figura geometrica che si ripete all'infinito, come un fiocco di neve o il set di Cantor).

Ecco come è fatto questo "Muro Frattale":

• Immaginate un trapezio.
• Ne rimuovete il centro, ma in modo molto specifico: lasciate tre trapezi più piccoli ai lati.
• Ripetete questo processo all'infinito su ogni piccolo trapezio rimasto.

Il risultato è un muro che è dovunque, ma non è mai solido. È fatto di "buchi" infinitamente piccoli.

• Nello stato attuale: Il muro è così intricato che nessuna linea retta (o curva di tempo) può attraversarlo senza toccarlo. Quindi, nel nostro universo "bucato", non puoi fare il giro completo. Non ci sono macchine del tempo.
• Il problema della completezza: Se provate a "riempire" i buchi di questo muro per completare l'universo, succede qualcosa di magico. I buchi sono così piccoli e vicini che, appena ne riempite uno, i mattoni frattali vicini si allineano perfettamente.

L'Analogia del Ponte che Crolla

Pensate a un ponte sospeso fatto di fili di seta.

• Stato attuale: I fili sono così fitti che non potete attraversare il fiume senza toccarli. Il fiume (il tempo) scorre in una sola direzione.
• Il completamento: Se provate a tappare i buchi tra i fili con della colla per rendere il ponte "solido", la struttura cambia. I fili si tendono in modo tale che, appena il ponte è completo, si forma un anello. Ora potete camminare sul ponte, fare un giro e tornare indietro nel tempo.

Gli autori dimostrano matematicamente che in questo universo speciale:

1. Non ci sono curve temporali chiuse (niente macchine del tempo).
2. L'universo è estendibile (può essere completato).
3. Ogni possibile modo di completarlo crea inevitabilmente una macchina del tempo.

Perché è importante?

Questo lavoro risponde a una domanda fondamentale sulla natura della realtà: esiste un limite alla nostra conoscenza dello spazio-tempo?

Geroch si chiedeva se potessimo definire un "punto singolare" (un punto dove la fisica si rompe) basandoci sul fatto che l'universo non può essere esteso senza creare paradossi.
Questo articolo dice: "Sì, è possibile."

Esiste un universo che è "sano" e senza paradossi, ma che è così fragile che il solo atto di cercare di renderlo "completo" (aggiungendo i punti mancanti) lo trasforma istantaneamente in un luogo dove il tempo si piega su se stesso.

In sintesi

Hanno costruito un universo "trappola".
È un luogo dove il tempo scorre normalmente e non ci sono viaggi nel tempo. Ma è un luogo "incompleto". Se provate a completarlo per renderlo perfetto, la fisica vi obbliga a creare una macchina del tempo. È come se l'universo dicesse: "Posso esistere senza viaggi nel tempo, ma solo se resto incompleto. Se mi rendi completo, sarò costretto a creare un paradosso."

È una scoperta affascinante che mostra quanto la struttura dello spazio-tempo possa essere sottile, complessa e piena di sorprese matematiche.

Sommario tecnico

Titolo del Lavoro

Uno spaziotempo estendibile senza curve temporali chiuse (CTC) il cui ogni estensione contiene curve temporali chiuse.
Autori: H. Andréka, J. Madarász, J. Manchak, I. Néméti, G. Székely.

---

1. Il Problema

Il lavoro affronta una questione fondamentale sollevata da Robert Geroch riguardo alla definizione di "singolarità" nella relatività generale e al concetto di massimalità degli spaziotempi.

• Contesto: Una definizione rigorosa di singolarità dipende dalla definizione di quando uno spaziotempo è "massimale" (ovvero, non può essere esteso isometricamente a uno spaziotempo più grande). Geroch ha identificato diverse proprietà degli spaziotempi e ha chiesto se la condizione $(*)$ sia soddisfatta: "Ogni spaziotempo massimale rispetto a una proprietà $P$ è anche massimale rispetto all'insieme di tutti gli spaziotempi $U$?"
• La Question Specifica: Il paper si concentra sulla proprietà (ii) di Geroch: "Non avere curve temporali chiuse" (CTC).
  • È noto che esistono spaziotempi privi di CTC che sono estendibili (es. la regione $t<0$ dello spaziotempo di Misner).
  • Tuttavia, la domanda aperta era: esiste uno spaziotempo senza CTC che è estendibile, ma tale che ogni sua estensione propria contenga necessariamente CTC?
  • Se la risposta fosse affermativa, ciò implicherebbe che la proprietà "assenza di CTC" non soddisfa la condizione $(*)$, rendendo problematico l'uso delle estensioni per definire punti singolari in questo contesto specifico.

2. Metodologia

Gli autori costruiscono un controesempio esplicito modificando lo spaziotempo di Minkowski arrotolato (time-rolled Minkowski spacetime).

• Idea di Base: Si parte dallo spaziotempo di Minkowski bidimensionale $(\mathbb{R}^2, \eta)$ e lo si "arrotola" lungo la direzione temporale identificando i punti $(-\ell, x)$ con $(\ell, x)$ per un $\ell$ sufficientemente grande. Questo crea naturalmente CTC.
• Costruzione della Barriera Frattale: Per eliminare tutte le CTC dallo spaziotempo arrotolato, gli autori rimuovono un insieme di punti $B$ (una "barriera") che interseca ogni possibile curva temporale chiusa.
  • Geometria della Rimozione: Invece di rimuovere segmenti lineari (che creerebbero estensioni banali), rimuovono un insieme frattale complesso, una generalizzazione dell'insieme di Cantor, costruito all'interno di trapezi con lati di luce (lightlike).
  • Procedura Iterativa:
    1. Si parte da un trapezio chiuso $B^0_0$ con basi orizzontali e gambe di luce.
    2. Si rimuove una porzione centrale, lasciando tre trapezi più piccoli simili a quello originale, disposti in modo che le loro gambe rimangano allineate su rette di luce.
    3. Questo processo viene ripetuto all'infinito su ciascun trapezio residuo.
    4. L'insieme $B$ è l'intersezione di tutte le unioni di questi trapezi a ogni iterazione.
  • Proprietà di $B$: $B$ è un insieme chiuso, il suo complementare è connesso, e la sua proiezione orizzontale è quasi un insieme di Cantor (ma con intervalli rimossi più corti del classico 1/3).
• Lo Spaziotempo Risultante ($M^-$): Si definisce $M^-$ come lo spaziotempo di Minkowski arrotolato privato dell'insieme $B$.
  • Assenza di CTC: Grazie alla costruzione frattale e al fatto che le gambe dei trapezi sono di luce, ogni curva causale che tenta di attraversare la regione "arrotolata" deve intersecare $B$. Poiché $B$ è rimosso, non esistono curve temporali chiuse in $M^-$.
  • Estendibilità: $M^-$ è chiaramente estendibile (ad esempio, può essere esteso allo spaziotempo di Minkowski arrotolato completo, che contiene CTC).

3. Contributi Chiave e Risultati

Il contributo principale è la dimostrazione che ogni estensione propria di $M^-$ contiene necessariamente CTC.

• Dimostrazione della Massimalità Relativa:

  1. Si assume che $S$ sia un'estensione propria di $M^-$. Poiché $M^-$ è ottenuto rimuovendo punti da uno spaziotempo geodeticamente completo, $S$ deve "riempire" almeno un punto $p$ che apparteneva all'insieme rimosso $B$.
  2. Densità dei Punti "Finalmente Centrali": Si dimostra che i punti di $B$ che sono "eventualmente centrali" (la cui sequenza di scelte nella costruzione frattale diventa definitivamente "Centro" dopo un certo numero di iterazioni) sono densi in $B$.
  3. Proprietà Geometriche Locali: Per ogni punto "eventualmente centrale" $e \in B$, esistono curve temporali $\tau$ e $\tau'$ che partono da punti identificati nell'arrotolamento (es. $(-\ell, x)$ e $(\ell, x)$) e convergono verso $e$ senza intersecare $B$ in nessun altro punto.
  4. Il Meccanismo di Chiusura: Se un'estensione $S$ riempie un punto $p \in B$, per proprietà di continuità e le condizioni di regolarità della metrica (Lemma 4), l'estensione deve anche "riempire" punti vicini. In particolare, se $S$ contiene un punto $p$ vicino a un punto "eventualmente centrale" $e$, l'estensione permette di collegare le curve $\tau$ e $\tau'$ attraverso $e$.
  5. Formazione della CTC: Poiché i punti di partenza di $\tau$ e $\tau'$ sono identificati nell'arrotolamento, e le curve convergono allo stesso punto $e$ nell'estensione $S$, si forma un ciclo chiuso temporale (CTC) all'interno di $S$.

• Generalizzazione: La costruzione è estesa a dimensioni superiori ($d > 2$) rimuovendo $B \times \mathbb{R}^{d-2}$, mantenendo le stesse proprietà.

4. Significato e Implicazioni

• Risposta alla Domanda di Geroch: Il paper risolve negativamente la questione (ii) posta da Geroch. La proprietà "non avere curve temporali chiuse" non soddisfa la condizione $(*)$. Esiste uno spaziotempo che è massimale rispetto all'assenza di CTC (nel senso che non può essere esteso senza introdurne), ma non è massimale in assoluto (è estendibile).
• Implicazioni per la Teoria delle Singolarità: Questo risultato suggerisce che l'approccio di definire singolarità tramite l'impossibilità di estendere uno spaziotempo senza violare certe proprietà causali (come l'assenza di CTC) è problematico. Se un'estensione introduce CTC, ciò non implica necessariamente che lo spaziotempo originale fosse "singolare" in un senso fisico tradizionale, ma piuttosto che la proprietà causale è fragile rispetto all'estensione.
• Non è una "Macchina del Tempo": Gli autori sottolineano che $M^-$ non è una macchina del tempo nel senso convenzionale. Le CTC appaiono solo nelle estensioni e sono confinate nel passato temporale di $M^-$ all'interno dell'estensione. Lo spaziotempo originale è causalmente ben comportato.
• Metodologia Matematica: L'uso di un frattale (insieme di Cantor generalizzato) come barriera è innovativo. A differenza di rimozioni di punti isolati o segmenti, la struttura frattale garantisce che ogni tentativo di estensione che cerchi di "riempire" un punto della barriera riattivi inevitabilmente la causalità chiusa a causa della densità dei punti "eventualmente centrali" e della struttura auto-simile.

In sintesi, il lavoro dimostra che è possibile costruire uno spaziotempo causalmente sano che è intrinsecamente "al limite" della causalità: qualsiasi tentativo di completarlo matematicamente porta inevitabilmente alla creazione di paradossi temporali (CTC).