A CMC existence result for expanding cosmological spacetimes

Titel und Autoren

Titel: Ein Existenzresultat für konstante mittlere Krümmung (CMC) in expandierenden kosmologischen Raumzeiten.
Autoren: Gregory J. Galloway und Eric Ling.

1. Problemstellung und Motivation

Das zentrale Problem der Arbeit ist die Existenz von Cauchy-Flächen mit konstanter mittlerer Krümmung (CMC, Constant Mean Curvature) in kosmologischen Raumzeiten.

• Kontext: In der Allgemeinen Relativitätstheorie ist die Lösung der Einstein-Gleichungen oft abhängig von der Wahl einer geeigneten Eichung (Gauge). Die CMC-Eichung vereinfacht sowohl die Einstein-Nebenbedingungen (Constraint Equations) als auch die Evolutionsgleichungen erheblich.
• Hintergrund: Dilts und Holst untersuchten die Existenz solcher Flächen in "kosmologischen Raumzeiten" (global hyperbolisch, kompakte Cauchy-Flächen, starke Energiebedingung erfüllt). Sie stellten mehrere Vermutungen auf, darunter die Vermutung 2:

  Wenn eine Raumzeit $(M, g)$ mit kompakten Cauchy-Flächen zukunfts-timelike-geodätisch vollständig ist und die starke Energiebedingung ($Ric(X, X) \ge 0$ für alle zeitartigen Vektoren $X$) erfüllt, dann enthält sie eine CMC-Cauchy-Fläche.

• Lücke: Bisherige Ergebnisse (z. B. Theorem 1 der Autoren) benötigten stärkere Krümmungsbedingungen (nicht-positive zeitartige Sektionalkrümmungen). Die Vermutung 2, die nur die schwächere starke Energiebedingung fordert, war offen.

2. Methodik

Die Autoren verwenden eine Kombination aus geometrischer Analysis, der Theorie der Mittelkrümmungsflüsse und Barrieren-Methoden im "Support-Sense" (im Sinne der Stützhyperebenen).

• Mittelkrümmungsfluss (Mean Curvature Flow - MCF):
  Der Beweis basiert auf der Evolution einer initialen Cauchy-Fläche $V_0$ gemäß dem Fluss:
  $$\frac{d}{ds}F(x, s) = (H - c)\nu$$
  wobei $H$ die mittlere Krümmung, $c$ eine Konstante und $\nu$ die zukunftsgerichtete Einheitsnormale ist. Das Ziel ist es, einen asymptotischen Grenzwert dieses Flusses zu finden, der eine Fläche mit konstanter mittlerer Krümmung $H=c$ darstellt.

• Barrieren im Support-Sense:
  Da die Raumzeit nicht notwendigerweise glatte Barrieren zulässt, definieren die Autoren Flächen mit mittlerer Krümmung $H \le c$ (oder $H \ge c$) im Support-Sense. Eine Fläche $S$ hat $H \le c$ im Support-Sense, wenn es für jeden Punkt $p \in S$ und jedes $\epsilon > 0$ eine glatte Stützhyperebene $W_{p,\epsilon}$ gibt, die lokal in der Zukunft von $S$ liegt und deren mittlere Krümmung $H_{W} \le c + \epsilon$ erfüllt.

• Konstruktion von Barrieren:

  • Untere Barriere: Ausgehend von einer glatten Cauchy-Fläche $V$ mit $H \ge 0$ (die durch kleine Perturbationen aus der Annahme $H \ge 0$ gewonnen wird) wird eine untere Barriere konstruiert.
  • Obere Barriere: Unter der Annahme der zukünftigen timelike-geodätischen Vollständigkeit und der starken Energiebedingung wird gezeigt, dass die Lorentz-Abstandsflächen $S_\tau = \{q \mid d(S, q) = \tau\}$ für große $\tau$ eine mittlere Krümmung $H \le n/\tau$ im Support-Sense besitzen. Dies folgt aus der Raychaudhuri-Gleichung.

• Fluss-Ergebnis:
  Durch den Einsatz von Sätzen von Ecker und Huisken (angepasst an Barrieren im Support-Sense) wird bewiesen, dass der MCF zwischen einer unteren Barriere ($H \ge a$) und einer oberen Barriere ($H \le b$ mit $b < c < a$) global existiert und gegen eine glatte CMC-Fläche konvergiert.

3. Hauptergebnisse

Theorem 3 (Hauptresultat)

Sei $(M, g)$ eine Raumzeit mit kompakten Cauchy-Flächen. Angenommen, es existiert eine glatte, raumartige Cauchy-Fläche $V$ mit mittlerer Krümmung $H \ge 0$. Wenn $(M, g)$ zukunfts-timelike-geodätisch vollständig ist und die starke Energiebedingung erfüllt, dann enthält $(M, g)$ eine CMC-Cauchy-Fläche.

• Bedeutung: Dies bestätigt die Vermutung von Dilts und Holst (Vermutung 2) unter der zusätzlichen, aber physikalisch plausiblen Annahme einer expandierenden Anfangsfläche ($H \ge 0$).
• Verallgemeinerung: Die Annahme der zukünftigen Vollständigkeit kann in bestimmten Fällen (z. B. bei großen $H$) abgeschwächt werden, indem man die "Zukunfts-Existenzzeit" betrachtet.

Erweiterung auf positive kosmologische Konstante ($\Lambda > 0$)

In Abschnitt 4 wird das Ergebnis auf den Fall $\Lambda > 0$ erweitert.

• Die starke Energiebedingung wird durch eine modifizierte Ungleichung ersetzt: $Ric(X, X) \ge -n\lambda$ (wobei $\lambda \propto \Lambda$).
• Theorem 7: Unter der Annahme einer glatten Cauchy-Fläche mit $H \ge n\sqrt{\lambda}$ und der modifizierten Energiebedingung existiert eine CMC-Cauchy-Fläche. Die obere Barriere wird hier durch $H \le n\sqrt{\lambda} \coth(\sqrt{\lambda}\tau)$ gegeben.

Diskussion zur Bartnik-Splitting-Vermutung (Abschnitt 5)

Die Autoren untersuchen die Beziehung zwischen der Existenz von CMC-Flächen und der Bartnik-Splitting-Vermutung (Vermutung 8), die besagt, dass eine vollständig timelike-geodätische Raumzeit mit kompakter Cauchy-Fläche und starker Energiebedingung isometrisch in ein Produkt $\mathbb{R} \times V$ zerfällt.

• Ein Gegenbeispiel wird konstruiert (ein mehrfach gewichteter Produkt-Raumzeit), das die starke Energiebedingung und zukünftige Vollständigkeit erfüllt, aber dessen zukünftiger kausaler Rand ($C^+$) mehr als ein Element enthält. Dies widerlegt die Idee, dass die starke Energiebedingung allein ausreicht, um $C^+$ als einpunktig zu garantieren.
• Es wird jedoch gezeigt, dass wenn der zukünftige kausale Rand raumartig ist (spacelike) und die Raumzeit auch vergangenheits-vollständig ist, dann existiert eine maximale Cauchy-Fläche ($H=0$), was die Bartnik-Splitting-Vermutung bestätigt.

4. Signifikanz und Beiträge

1. Lösung einer offenen Vermutung: Das Paper liefert einen entscheidenden Fortschritt bei der Klärung der Existenz von CMC-Flächen in kosmologischen Modellen, indem es die starke Energiebedingung als Hauptvoraussetzung nutzt, anstatt strengerer Krümmungsbedingungen.
2. Technische Innovation: Die Anpassung der Existenzsätze für den Mittelkrümmungsfluss (Ecker-Huisken) auf den Kontext von "Barrieren im Support-Sense" ist ein wesentlicher methodischer Beitrag. Dies ermöglicht den Umgang mit nicht-glatten Barrieren, die in der globalen Lorentz-Geometrie häufig auftreten.
3. Physikalische Relevanz: Da CMC-Flächen für die numerische Relativitätstheorie und das Verständnis der Anfangsbedingungen des Universums (Big Bang Szenarien) essenziell sind, liefert das Ergebnis eine solide theoretische Grundlage für die Existenz solcher Koordinatensysteme in realistischen, expandierenden Universen.
4. Klärung der kausalen Struktur: Die Arbeit differenziert präzise zwischen den Bedingungen für die Existenz von CMC-Flächen und den Bedingungen für das Splitting der Raumzeit, indem sie Gegenbeispiele für die Einpunktigkeit des kausalen Randes liefert, während gleichzeitig neue Wege zur Bestätigung der Splitting-Vermutung aufgezeigt werden.

Zusammenfassend etabliert das Paper, dass in expandierenden, zukunfts-vollständigen kosmologischen Raumzeiten, die die starke Energiebedingung erfüllen, die Existenz von CMC-Cauchy-Flächen garantiert ist, sofern eine initial expandierende Fläche existiert. Dies schließt eine wichtige Lücke in der mathematischen Kosmologie.