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

Die Autoren konstruieren eine erweiterbare Raumzeit ohne geschlossene zeitartige Kurven, deren jede Erweiterung solche Kurven enthält, und beantworten damit eine von Geroch gestellte Frage.

Das Wesentliche

Das Universum, das man nicht reparieren kann: Eine Reise durch Zeit und Löcher

Stellen Sie sich das Universum wie ein riesiges, glattes Stück Stoff vor, das die Raumzeit darstellt. In der Physik gibt es eine wichtige Regel: Ein „gutes" Universum sollte keine geschlossenen zeitartigen Kurven (CTCs) enthalten. Was bedeutet das? Vereinfacht gesagt: Es darf keine Zeitmaschinen geben. Wenn Sie eine solche Kurve durchlaufen, kämen Sie in Ihrer eigenen Vergangenheit an und könnten Ihren Großvater treffen – was zu paradoxen Problemen führt.

Die Wissenschaftler in diesem Papier haben ein faszinierendes Gedankenexperiment durchgeführt. Sie haben ein Universum konstruiert, das zwei scheinbar widersprüchliche Eigenschaften hat:

1. Aktuell: In diesem Universum gibt es keine Zeitmaschinen. Alles ist sicher und logisch.
2. Zukünftig: Wenn Sie versuchen, dieses Universum zu „reparieren" oder zu erweitern (also Lücken zu füllen), zwingt die Mathematik Sie unweigerlich dazu, eine Zeitmaschine zu bauen.

Es ist, als hätten Sie einen perfekten, geschlossenen Kreis aus Draht, der keine Löcher hat. Aber sobald Sie versuchen, ein kleines Stück Draht hinzuzufügen, um ihn zu verlängern, entsteht plötzlich eine Schleife, die in sich selbst zurückführt.

Die Idee: Der „Zeit-Rollteppich"

Um das zu verstehen, nehmen wir zuerst das einfachste Modell: den Minkowski-Raum. Das ist wie ein flaches, unendliches Blatt Papier, das die Raumzeit beschreibt.

• Der Trick: Stellen Sie sich vor, Sie nehmen dieses Blatt und rollen es wie einen Teppich in der Zeitrichtung zusammen. Die Oberkante wird mit der Unterkante verklebt.
• Das Problem: Wenn Sie das tun, können Sie einfach geradeaus laufen und landen irgendwann wieder genau dort, wo Sie angefangen haben – aber in der Vergangenheit. Das ist eine Zeitmaschine (eine CTC).

Der Bau des „Schutzzauns" (Das Fraktal)

Die Autoren wollten dieses rollte Universum nehmen, aber die Zeitmaschinen entfernen. Wie macht man das? Indem man Löcher in den Teppich schneidet, durch die man nicht hindurchgehen kann.

Stellen Sie sich einen langen, horizontalen Korridor vor, den Sie durchqueren müssen. Um Zeitreisen zu verhindern, bauen sie eine Wand quer durch diesen Korridor.

• Die Wand besteht aus Ziegelsteinen: Diese Ziegel sind keine gewöhnlichen Steine, sondern Fraktale. Ein Fraktal ist wie eine Schneeflocke oder ein Farnblatt: Wenn Sie hineinzoomen, sehen Sie immer wieder die gleiche Struktur.
• Der Bau der Wand: Sie beginnen mit einem großen Trapez (einem Viereck mit schrägen Seiten). Dann entfernen sie den mittleren Teil, aber nicht einfach so. Sie entfernen Teile so, dass drei kleinere, ähnliche Trapeze übrig bleiben. Dann machen sie das mit den kleinen Trapezen wieder, und wieder, und wieder – unendlich oft.
• Das Ergebnis: Eine Wand, die so komplex ist wie ein Cantor-Staub (ein mathematisches Konstrukt, das aus unendlich vielen winzigen Punkten besteht, aber keine zusammenhängenden Linien hat).

Warum ist das wichtig?
Diese Wand ist so gebaut, dass sie wie ein undurchdringlicher Nebel wirkt. Jede mögliche Zeitreise, die versuchen würde, den Korridor zu durchqueren, würde unweigerlich gegen einen dieser winzigen „Staubkörner" prallen. Da die Wand keine festen Linien hat (sie ist kein durchgehender Balken), kann man sie theoretisch umgehen, aber nur, wenn man die Zeit nicht verändert.

Das Paradoxon: Warum jede Reparatur scheitert

Jetzt kommt der geniale Teil des Papiers.

1. Das aktuelle Universum: Wir haben den rollten Teppich mit dieser fraktalen Wand versehen. Da die Wand alle Zeitreisen blockiert, gibt es in diesem Universum keine Zeitmaschinen. Es ist „sicher".
2. Das Dilemma: Dieses Universum ist jedoch nicht „vollständig". Es hat Lücken (die fraktalen Löcher). Ein Physiker würde sagen: „Das Universum ist erweiterbar!" Man könnte versuchen, die Lücken zu füllen, um ein perfektes, glattes Universum zu erhalten.
3. Die Katastrophe: Die Autoren beweisen, dass jede mögliche Art, diese Lücken zu füllen, katastrophal ist.
   • Wenn Sie versuchen, einen Punkt in der Wand zu füllen, müssen Sie auch die Punkte direkt daneben füllen (wegen der mathematischen Struktur der Raumzeit).
   • Aber die Wand ist so gebaut, dass sie aus „Endlich-Mitte-Punkten" besteht (ein mathematischer Begriff für Punkte, die tief in der Mitte der fraktalen Struktur liegen).
   • Sobald Sie einen dieser Punkte wiederherstellen, entsteht automatisch eine Lücke in der Barriere.
   • Durch diese Lücke kann nun eine Zeitkurve schlüpfen, die sich selbst schließt.

Die Analogie:
Stellen Sie sich vor, Sie haben einen Zaun aus unendlich vielen, winzigen, schwebenden Sandkörnern. Er ist so dicht, dass kein Ball hindurchkommt.

• Solange die Sandkörner schweben (das ist unser Universum), ist der Zaun intakt.
• Aber wenn Sie versuchen, den Zaun zu „reparieren", indem Sie die Sandkörner fest miteinander verbinden (die Lücken füllen), dann zwingt die Geometrie des Zauns Sie dazu, eine Tür einzubauen.
• Sobald diese Tür da ist, können Sie hindurchgehen und landen in der Vergangenheit.

Das Fazit

Die Autoren haben bewiesen, dass es ein Universum gibt, das aktuell keine Zeitmaschinen hat, aber so instabil ist, dass es unmöglich ist, es zu einem perfekten, vollständigen Universum zu erweitern, ohne dabei eine Zeitmaschine zu erschaffen.

Das beantwortet eine alte Frage des berühmten Physikers Robert Geroch: Gibt es ein Universum, das „maximal" (also nicht erweiterbar) ist, ohne Zeitmaschinen zu haben?
Die Antwort dieses Papiers lautet: Nein. Man kann ein solches Universum bauen, das keine Zeitmaschinen hat, aber sobald man es auch nur ein kleines bisschen erweitert, explodiert die Kausalität und Zeitreisen werden möglich.

Es ist wie ein perfektes Schloss, das nur dann funktioniert, wenn es kaputt ist. Sobald man versucht, es zu reparieren, fällt es in sich zusammen und öffnet die Tür zur Vergangenheit.

Technische Zusammenfassung

Titel: Eine erweiterbare Raumzeit ohne geschlossene zeitartige Kurven, deren jede Erweiterung geschlossene zeitartige Kurven enthält

Autoren: H. Andréka, J. Madarász, J. Manchak, I. Németi, G. Székely

---

1. Problemstellung und Hintergrund

Das Paper adressiert ein fundamentales Problem in der Allgemeinen Relativitätstheorie, das von Robert Geroch vor über 50 Jahren formuliert wurde: Die Definition von Singularitäten hängt kritisch von der Definition der Maximalität einer Raumzeit ab.

• Der Kontext: Eine Raumzeit $(M, g)$ wird als $P$-maximal bezeichnet, wenn sie nicht isometrisch zu einer echten Teilmenge einer anderen Raumzeit in einer Klasse $P$ ist. Ist sie dies nicht, ist sie $P$-erweiterbar.
• Die Fragestellung: Geroch fragte, ob für bestimmte physikalisch relevante Eigenschaften $P$ (z. B. "keine geschlossenen zeitartigen Kurven" oder CTCs) gilt: Ist jede $P$-maximale Raumzeit auch $U$-maximal (maximal in der Klasse aller Raumzeiten)?
• Die spezifische Herausforderung: Bisher war unklar, ob die Eigenschaft "keine CTCs" diese Bedingung erfüllt. Es bestand die Hoffnung, dass eine Raumzeit ohne CTCs maximal sein könnte, d. h., dass man sie nicht so erweitern könnte, ohne CTCs einzuführen. Geroch betonte, dass die Klärung dieser Frage entscheidend für die Konstruktion von "idealen Punkten" (Singularitäten) ist.

2. Methodik und Konstruktion

Die Autoren konstruieren ein Gegenbeispiel, indem sie eine spezielle Raumzeit $M_-$ schaffen, die folgende Eigenschaften besitzt:

1. Sie ist erweiterbar (nicht maximal).
2. Sie enthält keine geschlossenen zeitartigen Kurven (CTCs).
3. Jede ihrer echten Erweiterungen enthält unweigerlich CTCs.

Die Konstruktion erfolgt in mehreren Schritten:

A. Zeitgerollte Minkowski-Raumzeit

Ausgangspunkt ist die zweidimensionale Minkowski-Raumzeit $(\mathbb{R}^2, \eta)$. Um CTCs zu erzeugen, wird die Zeitrichtung "aufgerollt" (identifiziert), was normalerweise zu CTCs führt. Um diese zu verhindern, entfernen die Autoren eine spezielle Menge von Punkten.

B. Der Fraktal-Barrieren-Ansatz (Die "Mauer" $B$)

Um alle CTCs in der aufgerollten Raumzeit zu unterbinden, wird eine Barriere $B$ konstruiert, die jede mögliche geschlossene Kurve schneidet.

• Geometrie: Anstelle eines einfachen Cantor-Sets wird ein fraktales Gebilde aus Trapezen verwendet.
• Konstruktionsschritt: Aus einem geschlossenen Trapez mit lichtartigen Schenkeln (Legs) werden Teile entfernt, sodass drei kleinere, ähnliche Trapeze übrig bleiben. Dieser Prozess wird unendlich oft iteriert (ähnlich der Cantor-Menge, aber mit Trapezen).
• Parameter: Die Ähnlichkeitsratio $\lambda$ wird so gewählt, dass $2 < \lambda < 3$. Dies stellt sicher, dass die Trapeze nicht überlappen und die Barriere$B$ keine Linienstücke enthält (was wichtig ist, damit die Raumzeit nicht trivial wird).
• Eigenschaften von $B$:
  • $B$ ist abgeschlossen und seine Komplementmenge ist zusammenhängend.
  • Proposition 2: Keine kausale Kurve kann den Bereich $[0, 1] \times \mathbb{R}$ durchqueren, ohne $B$ zu schneiden. Dies liegt daran, dass die Schenkel der Trapeze lichtartig sind und die Barriere somit eine "undurchdringliche" Wand für kausale Signale bildet.

C. Die Raumzeit $M_-$

Die Raumzeit $M_-$ entsteht durch das Entfernen der Barriere $B$ aus der aufgerollten Minkowski-Raumzeit.

• Da $B$ jede geschlossene Kurve schneidet, enthält $M_-$ keine CTCs.
• $M_-$ ist jedoch erweiterbar, da sie eine echte Teilmenge der vollen aufgerollten Minkowski-Raumzeit ist.

3. Beweisstrategie für die CTCs in Erweiterungen

Der Kern des Beweises (Proposition 3) zeigt, dass jede echte Erweiterung $S$ von $M_-$ CTCs enthalten muss.

1. Füllen von Lücken: Jede echte Erweiterung muss mindestens einen Punkt $p$ "auffüllen", der in $M_-$ fehlte (d. h. $p \in B$).
2. Dichte der "Endlich-Mitte"-Punkte: Die Autoren definieren eine Teilmenge von $B$, die sogenannten "eventually middle points" (Punkte, deren Wahlsequenz in der fraktalen Konstruktion nach endlich vielen Schritten nur noch "Mitte" wählt). Diese Menge ist dicht in $B$.
3. Lokale Struktur (Lemma 2 & 3):
   • Für jeden "eventually middle point" $e \in B$ existiert eine Umgebung (ein "Licht-Rauten"-Gebiet), in der $e$ der einzige Punkt von $B$ auf der vertikalen Mittellinie ist.
   • Es existieren zwei zeitartige Kurven $\tau$ und $\tau'$, die von den Rändern der aufgerollten Raumzeit zu $e$ führen und $B$ nur in $e$ schneiden.
4. Der Konvergenz-Argument (Lemma 4):
   • Wenn eine Erweiterung $S$ einen Punkt $p \in B$ auffüllt, dann muss sie aufgrund der Stetigkeit und der lokalen Geometrie (dargestellt durch kurze Kurven $\lambda_n$, die die Lücke überbrücken) auch die "eventually middle points" in der Nähe auffüllen.
   • Durch Lemma 4 (ein technisches Lemma über die Fortsetzbarkeit von Kurven in Erweiterungen) wird gezeigt, dass die Kurven $\tau$ und $\tau'$ in der Erweiterung $S$ denselben Grenzwert haben müssen.
5. Entstehung der CTC: Da die Endpunkte von $\tau$ und $\tau'$ in der ursprünglichen aufgerollten Raumzeit identifiziert sind (durch das "Aufrollen"), und beide nun in $S$ den gleichen Punkt $e$ erreichen, bilden sie zusammen eine geschlossene zeitartige Kurve (CTC).

4. Ergebnisse

• Existenzbeweis: Die Autoren haben eine explizite Konstruktion einer Raumzeit $M_-$ geliefert, die:
  1. Keine CTCs enthält.
  2. Erweiterbar ist.
  3. Jede ihrer echten Erweiterungen CTCs enthält.
• Beantwortung von Gerochs Frage: Dies widerlegt die Vermutung, dass die Klasse der raumzeitlichen Mannigfaltigkeiten ohne CTCs die Bedingung (*) erfüllt (dass $P$-maximale Raumzeiten auch $U$-maximal sind). Die Bedingung ist nicht erfüllt.
• Verallgemeinerung: Die Konstruktion lässt sich auf beliebige Dimensionen $d \geq 2$ verallgemeinern, indem das fraktale Barrieren-Set $B$ mit $\mathbb{R}^{d-2}$ multipliziert wird.

5. Wissenschaftliche Bedeutung und Implikationen

• Singularitäten-Theorie: Das Ergebnis hat tiefgreifende Auswirkungen auf die Definition von Singularitäten. Es zeigt, dass man nicht einfach durch "maximale Erweiterung" eine Singularität definieren kann, ohne dabei die Kausalität (das Fehlen von CTCs) zu opfern. Wenn man versucht, eine "nackte" Singularität zu entfernen, indem man die Raumzeit erweitert, führt dies unweigerlich zu Zeitmaschinen (CTCs).
• Kausalitätsstruktur: Die Arbeit verdeutlicht die extreme Empfindlichkeit der Kausalitätseigenschaften gegenüber topologischen Erweiterungen. Selbst eine "winzige" Entfernung (ein fraktales Set von Punkten) kann eine Raumzeit so verändern, dass jede Wiederherstellung der Vollständigkeit die Kausalität zerstört.
• Keine "Zeitmaschine": Die Autoren betonen, dass $M_-$ selbst keine Zeitmaschine ist. Die CTCs existieren nur in den Erweiterungen und liegen in der zeitartigen Vergangenheit von $M_-$ innerhalb der Erweiterung.

Zusammenfassend liefert dieses Paper ein mathematisch rigoroses Gegenbeispiel, das die Komplexität der Beziehung zwischen Raumzeit-Maximalität und Kausalität aufzeigt und Gerochs offene Frage negativ beantwortet. Die Methode der "fraktalen Barriere" ist ein innovativer Ansatz in der Lorentzschen Geometrie.