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

In dit artikel wordt door het verwijderen van een fractaal uit de tijdgerolde Minkowski-ruimtetijd een uitbreidbare ruimtetijd geconstrueerd zonder gesloten tijdachtige krommen, waarvan elke uitbreiding dergelijke krommen bevat, waarmee een vraag van Geroch wordt beantwoord.

De kern

De Kernvraag: Kunnen we de tijd "repareren"?

Stel je voor dat het heelal een heel groot, onbeschadigd tapijt is. In de natuurkunde (algemene relativiteitstheorie) willen we weten of dit tapijt "volledig" is. Soms lijkt het tapijt een gat te hebben. De vraag is: als we dat gat dichten, krijgen we dan een compleet tapijt, of ontdekken we dat het dichten van het gat een nieuw, heel vreemd probleem veroorzaakt?

De auteurs van dit artikel (Andréka, Madarász, Manchak, Némethi en Székely) hebben een heel speciaal "tapijt" ontworpen. Hun ontdekking is verrassend:

1. Hun tapijt heeft geen tijdsdaden (geen kringen in de tijd waar je in de toekomst én verleden tegelijk kunt zijn).
2. Het tapijt heeft wel een gat (het is "uitbreidbaar").
3. Maar als je dat gat probeert te dichten, moet je per se een tijdsdaad creëren.

Het is alsof je een deur probeert te dichten, maar zodra je de laatste steen legt, begint de muur plotseling in een lus te draaien.

De Analogie: De Tijdmolen met een Onzichtbare Muur

Om dit te begrijpen, moeten we drie concepten voorstellen:

1. De Tijdmolen (Rolde Minkowski-ruimtetijd)
Stel je voor dat je een lange, rechte weg (de tijd) neemt en deze oprolt tot een grote cilinder, zoals een rol behang. Als je nu een auto (een deeltje) vooruit rijdt, kom je uiteindelijk weer uit bij je startpunt. In de natuurkunde betekent dit dat je in de tijd terug kunt reizen. Dit is een "tijdsdaad" (Closed Timelike Curve of CTC). Normaal gesproken is dit een probleem, want het leidt tot paradoxen (zoals je grootvader vermoorden).

2. De Onzichtbare Muur (Het Fractal)
De auteurs willen een wereld maken die niet in een cilinder zit, maar wel op die manier is opgebouwd. Ze nemen die opgerolde tijd en bouwen een muur in de weg.
Maar dit is geen gewone muur van bakstenen. Het is een fractal muur (een wiskundig patroon dat oneindig ingewikkeld is, net als een sneeuwvlok of de rand van een broccoli).

• Ze bouwen deze muur zo slim dat elke mogelijke weg die je in de tijd zou kunnen nemen, altijd tegen deze muur aanbotst.
• Omdat je de muur niet kunt passeren, kun je de cilinder niet volledig rondrijden. Er is dus geen tijdsdaad. Je kunt niet in de tijd terugreizen.
• De muur is echter "geperforeerd": er zijn oneindig veel kleine gaatjes in, maar ze zijn zo klein en ingewikkeld dat je er niet doorheen kunt glippen zonder de wetten van de natuurkunde te breken.

3. Het Dichten van het Gat (De Uitbreiding)
Nu komt het spannende deel. De wetenschappers zeggen: "Oké, deze wereld is compleet binnen de regels, maar er is nog een klein stukje ruimte buiten de muur dat we kunnen toevoegen."
Ze proberen een nieuwe wereld te bouwen die dit gat opvult.

• Het probleem: Omdat de muur een fractal is (oneindig ingewikkeld), kun je het gat niet dichten zonder dat je de structuur van de muur verandert.
• Het resultaat: Zodra je het gat dicht, verdwijnt de barrière op precies de juiste plekken. De weg die voorheen geblokkeerd was, wordt nu open. En omdat de wereld oorspronkelijk een opgerolde tijd was, betekent dit dat je nu weer een volledige rondje kunt rijden.
• Conclusie: Elke poging om dit specifieke universum "groter" of "vollediger" te maken, forceert het universum om tijdsdaden te creëren.

Waarom is dit belangrijk?

Voor de natuurkunde is dit een groot nieuws. Er is een oude vraag van de beroemde fysicus Roger Geroch: "Als we een universum hebben zonder tijdsdaden, kunnen we het dan altijd 'repareren' of uitbreiden zonder dat er tijdsdaden ontstaan?"

De meeste mensen hoopten dat het antwoord "ja" was. Ze dachten: "Als we een gat dichten, krijgen we gewoon een groter, veilig universum."

De auteurs van dit artikel zeggen: "Nee."
Ze hebben een tegenvoorbeeld gevonden. Ze hebben een universum ontworpen dat veilig is (geen tijdsdaden), maar dat zo fragiel is dat elke uitbreiding het onveilig maakt. Het is alsof je een slot hebt dat perfect werkt, maar zodra je de sleutel probeert te maken om het te openen, springt het slot in elkaar en begint de deur in een cirkel te draaien.

Samenvatting in één zin

De auteurs hebben een wiskundig universum bedacht dat geen tijdsreizen toelaat, maar dat zo is gebouwd dat elke poging om het universum te voltooien, per ongeluk tijdsreizen mogelijk maakt.

Dit betekent dat de definitie van een "volledig" universum in de natuurkunde veel complexer is dan we dachten: soms is een universum met een gat veiliger dan een universum dat volledig is dichtgemetseld.

Technische samenvatting

Titel en Context

Titel: Een uitbreidbare ruimtetijd zonder gesloten tijdachtige krommen (CTC's) waarvan elke uitbreiding gesloten tijdachtige krommen bevat.
Auteurs: H. Andréka, J. Madarász, J. Manchak, I. Néméti, G. Székely.
Doel: Het oplossen van een open vraag van Robert Geroch over de relatie tussen de maximaliteit van ruimtetijden en de eigenschap "geen gesloten tijdachtige krommen".

---

1. Het Probleem

In de algemene relativiteitstheorie is de definitie van een "singulariteit" sterk afhankelijk van het concept van maximaliteit van een ruimtetijd. Een ruimtetijd $(M, g)$ wordt $P$-maximaal genoemd als deze niet isometrisch is aan een proper deelverzameling van een andere ruimtetijd in een verzameling $P$.

Geroch stelde de volgende voorwaarde $(*)$ aan een verzameling ruimtetijden $P$:

"Elke $P$-maximale ruimtetijd is ook $U$-maximaal (maximaal binnen de verzameling van alle gladde Lorentz-variëteiten)."

Voor veel eigenschappen (zoals globale hyperboliciteit) is bekend dat $(*)$ niet geldt. Geroch vroeg zich echter specifiek af of $(*)$ geldt voor de verzameling $P$ van alle ruimtetijden zonder gesloten tijdachtige krommen (CTC's).

• De vraag: Bestaat er een ruimtetijd die zelf geen CTC's bevat, uitbreidbaar is (dus niet maximaal), maar waarbij elke mogelijke uitbreiding wel CTC's bevat?
• Huidige status: Voor de meeste andere causaliteitsvoorwaarden zijn tegenvoorbeelden bekend, maar voor "geen CTC's" was dit een open probleem.

---

2. Methodologie en Constructie

De auteurs construeren een specifiek tegenvoorbeeld in twee dimensies (veralgemeend naar $d$ dimensies in sectie 4). De constructie combineert de Minkowski-ruimtetijd met een "fractale barrière".

A. Tijd-gerolde Minkowski-ruimtetijd

Ze beginnen met de standaard Minkowski-ruimtetijd $(\mathbb{R}^2, \eta)$ en "rollen" deze op in de tijdsrichting door punten $(-\ell, x)$ en $(\ell, x)$ te identificeren voor een groot getal $\ell$. Deze gerolde ruimte bevat van nature veel CTC's.

B. De Fractale Barrière ($B$)

Om alle CTC's te elimineren, verwijderen ze een specifieke verzameling punten $B$ uit de ruimte.

• Constructie van $B$: De set $B$ wordt gebouwd als een oneindige iteratie van het verwijderen van trapeziums uit een oorspronkelijk trapezium.
  • Het proces start met een gesloten trapezium met lichtachtige benen (legs).
  • In elke stap worden de trapeziums vervangen door drie kleinere, zelfgelijkende trapeziums (links, midden, rechts), waarbij de "midden" en "randen" op een specifieke manier worden verwijderd.
  • De verhouding van gelijkenis $\lambda$ wordt gekozen zodat $2 < \lambda < 3$.
  • De limiet van dit proces is een verzameling $B$ die topologisch lijkt op een veralgemeende Cantor-set.
• Eigenschappen van $B$:
  • $B$ is gesloten.
  • Het complement $\mathbb{R}^2 \setminus B$ is verbonden.
  • Cruciaal: $B$ bevat geen lijnsegmenten (om te voorkomen dat uitbreidingen mogelijk zijn zonder CTC's).

C. De Ruimtetijd $M^-$

De resulterende ruimtetijd is $M^- = (\mathbb{R}^2 \setminus B, \eta)$, met de tijd-rolidentificatie.

• Geen CTC's in $M^-$: Door Propositie 2 bewijzen de auteurs dat elke causale kromme die de strook $[0, 1] \times \mathbb{R}$ kruist, de barrière $B$ moet snijden. Omdat $B$ is verwijderd, kunnen er geen gesloten tijdachtige krommen bestaan binnen $M^-$.
• Uitbreidbaarheid: $M^-$ is uitbreidbaar omdat het een proper deel is van de volledige gerolde Minkowski-ruimtetijd (waarbij $B$ weer is toegevoegd).

---

3. Belangrijkste Resultaten en Bewijsvoering

Het centrale resultaat is Propositie 3: Elke echte uitbreiding van $M^-$ bevat gesloten tijdachtige krommen.

Het bewijs verloopt via de volgende stappen:

1. Aanname van een uitbreiding: Stel $S$ is een uitbreiding van $M^-$. Omdat $M^-$ niet maximaal is, moet $S$ ten minste één punt $p$ bevatten dat niet in $M^-$ zit.
2. Locatie van het punt: Aangezien de oorspronkelijke gerolde Minkowski-ruimtetijd geodesisch compleet is, moet het punt $p$ corresponderen met een punt dat is verwijderd, d.w.z. $p \in B$ (of een punt in de uitbreiding dat naar een punt in $B$ convergeert).
3. Dichtheid van "Uiteindelijk Midden" punten: De auteurs definiëren "uiteindelijk midden" punten in $B$ (punten die in de constructie van de Cantor-set uiteindelijk altijd in het midden-segment blijven). Deze punten zijn dicht in $B$.
4. Lemmas over de structuur van $B$:
   • Lemma 2: Voor elk "uiteindelijk midden" punt $e$ bestaat er een klein licht-rombusje waarin $e$ het enige punt van $B$ is op de verticale middellijn.
   • Lemma 3: Er bestaan tijdachtige krommen $\tau$ en $\tau'$ die vanuit de "linker" en "rechter" zijde van de gerolde ruimte naar $e$ lopen, zonder andere punten van $B$ te raken.
5. Het "Vullende" Argument (Lemma 4):
   • Als een uitbreiding $S$ het punt $p$ (of een limietpunt ervan) toevoegt, dan moet deze uitbreiding ook de "gaten" rondom $p$ vullen.
   • Door de dichtheid van de "uiteindelijk midden" punten en de eigenschappen van de metriek, kunnen de auteurs aantonen dat als $S$ één punt van $B$ bevat, het ook de specifieke tijdachtige krommen $\tau$ en $\tau'$ (die in $M^-$ gescheiden waren door de barrière) kan verbinden.
   • Omdat de startpunten van $\tau$ en $\tau'$ in de gerolde ruimte geïdentificeerd zijn (door de "rol"), vormen de verbindingen via het nieuwe punt $p$ een gesloten tijdachtige kromme (CTC) in $S$.

Conclusie: Het toevoegen van enig punt aan $M^-$ om het uit te breiden, forceert de aanwezigheid van CTC's.

---

4. Veralgemening naar Hogere Dimensies

In Sectie 4 wordt aangetoond dat de constructie werkt voor elke dimensie $d \geq 2$.

• De barrière wordt $B \times \mathbb{R}^{d-2}$.
• De bewijzen voor causaliteit en de aanwezigheid van CTC's in uitbreidingen blijven geldig door de productstructuur en het feit dat elke 2-dimensionale verticale doorsnede isomorf is met het 2D-geval.

---

5. Bijdrage en Significantie

• Beantwoording van Geroch's Vraag: Het paper geeft een definitief negatief antwoord op Geroch's vraag (ii). De verzameling van ruimtetijden zonder CTC's voldoet niet aan voorwaarde $(*)$. Er bestaat dus een ruimtetijd die "maximaal is binnen de klasse van CTC-vrije ruimtetijden" (in de zin dat elke uitbreiding CTC's introduceert), maar die zelf niet maximaal is in de algemene klasse van alle ruimtetijden.
• Conceptuele Implicatie: Dit resultaat heeft belangrijke gevolgen voor de definitie van singulariteiten. Het suggereert dat het "ideale punt"-constructieprogramma (het definiëren van singulariteiten via uitbreidingen) problematisch is voor de eigenschap "geen CTC's". Een ruimtetijd kan "volledig" lijken wat betreft causaliteit (geen CTC's), maar toch "gebroken" zijn op een manier die alleen zichtbaar wordt als je CTC's accepteert.
• Technische Innovatie: De auteurs introduceren een nieuwe manier om causaliteit te manipuleren door het gebruik van een fractale barrière (een veralgemeende Cantor-set) in plaats van een gladde of eenvoudige topologische barrière. Dit toont aan dat de structuur van de "ontbrekende" punten cruciaal is voor het gedrag van causaliteit bij uitbreidingen.
• Niet-als-Tijdmachine: De auteurs benadrukken dat dit geen "tijdmachine" is in de gebruikelijke zin, omdat de CTC's in elke uitbreiding zich uitsluitend in het verleden van de oorspronkelijke ruimte bevinden (in de uitbreiding). De oorspronkelijke ruimte $M^-$ blijft causaal veilig.

Samenvattend: Dit werk levert een elegant en technisch complex tegenvoorbeeld dat de subtiliteit van ruimtetijd-maximaliteit blootlegt en aantoont dat de afwezigheid van gesloten tijdachtige krommen geen garantie biedt voor de maximaliteit van een ruimtetijd in de algemene relativiteitstheorie.