Kähler-Ricci Flow preserves negative anti-bisectional curvature

Technische Zusammenfassung: Die Kähler-Ricci-Flow bewahrt negative Anti-Bisektionskrümmung

Problemstellung
Diese Arbeit untersucht das Verhalten der „Anti-Bisektionskrümmung“ unter der Kähler-Ricci-Flow. Die Anti-Bisektionskrümmung, definiert als $R(V, W, V, W)$ für polarisierte $(1,0)$-Vektoren $V$ und $W$, ergibt sich aus einer Korrespondenz zwischen der Regularitätstheorie des optimalen Transports und der Geometrie von Kähler-Mannigfaltigkeiten auf Röhrendomänen. Der Ma-Trudinger-Wang (MTW)-Tensor für Kostenfunktionen der Form $c(x, y) = \Psi(x-y)$ entspricht der Anti-Bisektionskrümmung einer assoziierten Kähler-Metrik.

Während die Ricci-Flow bekannt dafür ist, verschiedene Positivitätsbedingungen der Krümmung zu bewahren (z. B. nicht-negative Bisektionskrümmung), ist allgemein nicht bekannt, ob sie Negativitätsbedingungen bewahrt, mit der bemerkenswerten Ausnahme der negativen Gaußschen Krümmung für Riemannsche Flächen. Die Autoren untersuchen die Frage, ob eine nicht-positive Anti-Bisektionskrümmung unter dem Fluss bewahrt wird, eine Eigenschaft, die signifikante Auswirkungen auf die Regularität von optimalen Transportkarten und die Geometrie von Kähler-Einstein-Metriken hätte.

Methodik
Die Autoren untersuchen die Kähler-Ricci-Flow auf Röhrendomänen $T\Omega = \Omega + i\mathbb{R}^n$, wobei $\Omega \subset \mathbb{R}^n$ eine konvexe Domäne ist. Diese Domänen entsprechen den Tangentialbündeln von Hessian-Mannigfaltigkeiten, die mit Kähler-Sasaki-Metriken ausgestattet sind. Der Fluss wird über die Evolution des Krümmungstensors analysiert.

1. Uhlenbeck's Trick: Um die komplexen Reaktions-Diffusions-Gleichungen zu steuern, die die Krümmungsevolution bestimmen, verwenden die Autoren den Uhlenbeck-Trick. Sie führen ein abstraktes Vektorbündel ein, das isomorph zum komplexen Tangentialbündel ist, sowie eine zeitabhängige Isometrie, um den Krümmungstensor in eine Form zu transformieren, in der die Evolutionsgleichung zu einem Reaktions-Diffusions-System mit einem quadratischen Reaktionsterm $Q(\tilde{R})$ vereinfacht wird.
2. Maximumprinzip: Da die betrachteten Mannigfaltigkeiten oft nicht-kompakt sind (Röhrendomänen), ist das Standard-Maximumprinzip für kompakte Mannigfaltigkeiten unzureichend. Die Autoren nutzen eine Version des Maximumprinzips für vollständige Mannigfaltigkeiten mit beschränkter Krümmung, das ursprünglich von Shi etabliert wurde. Dies erfordert die Verifizierung einer „Null-Vektor-Bedingung“ für den Reaktionsterm $Q$.
3. Verifizierung des Null-Vektors: Der zentrale technische Beitrag besteht darin, zu beweisen, dass, wenn die Anti-Bisektionskrümmung nicht-positiv (oder nicht-negativ für den orthogonalen Fall in Dimension zwei) ist und an einem spezifischen Paar von Vektoren verschwindet, der Reaktionsterm $Q$ „nach innen gerichtet“ ist (d. h. nicht-positiv oder nicht-negativ, jeweils entsprechend). Diese Verifizierung beruht auf algebraischen Manipulationen der Symmetrien des Krümmungstensors und spezifischen Lemmata bezüglich semidefiniter Matrizen (adaptiert aus der Arbeit von Cao und Hamilton).
4. Dimensionale Beschränkungen: Die Analyse unterscheidet zwischen allgemeinen Dimensionen und der komplexen Dimension zwei. Für die Bewahrung der nicht-negativen orthogonalen Anti-Bisektionskrümmung beruht der Beweis auf spezifischen algebraischen Ausgleichen, die nur gelten, wenn die komplexe Dimension $n=2$ ist.

Wesentliche Beiträge und Ergebnisse

• Theorem 1 (Bewahrung nicht-positiver Anti-Bisektionskrümmung): Die Autoren beweisen, dass, wenn eine vollständige Kähler-Mannigfaltigkeit mit beschränkter Krümmung eine nicht-positive Anti-Bisektionskrümmung besitzt, diese Bedingung unter der Kähler-Ricci-Flow für alle Zeiten bewahrt wird, in denen der Fluss existiert. Dies ist ein bedeutendes Ergebnis, da es eine seltene Instanz einer bewahrten Negativitätsbedingung in höherdimensionalen Ricci-Flows identifiziert.
• Theorem 2 (Bewahrung nicht-negativer orthogonaler Anti-Bisektionskrümmung in Dimension 2): In der komplexen Dimension zwei zeigen die Autoren, dass die nicht-negative orthogonale Anti-Bisektionskrümmung (die MTW(0)-Bedingung, eingeschränkt auf orthogonale Vektoren) ebenfalls unter dem Fluss bewahrt wird. Sie stellen fest, dass dieses Ergebnis nicht auf Dimensionen $n \geq 3$ verallgemeinerbar ist, bedingt durch das Vorzeichen des quadratischen Reaktionsterms.
• Geometrische Konsequenzen (Korollare 1–4):
  • Kähler-Einstein-Metriken: Durch Kombination von Theorem 1 mit Tong's Konvergenzergebnissen für Metriken mit negativ gepinquter holomorpher Sektionskrümmung zeigen die Autoren, dass die resultierende Kähler-Einstein-Metrik auf einer Röhrendomäne eine nicht-positive Anti-Bisektionskrümmung beibehält.
  • Negative Kosten-Krümmung: Für glatte, beschränkte und stark konvexe Domänen wird gezeigt, dass die Kähler-Einstein-Metrik eine „negative Kosten-Krümmung“ aufweist (eine stärkere Bedingung, die nicht-positive Anti-Bisektionskrümmung und negativ gepinqute polarisierte holomorphe Sektionskrümmung impliziert).
  • Krümmungskontrolle: Die Autoren leiten quantitative Abschätzungen ab, die zeigen, dass für eine positive Zeit $t$ die polarisierte holomorphe Sektionskrümmung durch einen Term nach unten beschränkt ist, der von der orthogonalen Anti-Bisektions-Spurkrümmung ($O$) und der initialen Skalarkrümmungsschranke abhängt, unabhängig von der initialen holomorphen Sektionskrümmungs-Pinching.
• Anwendungen auf den optimalen Transport:
  • KR schwache Regularität: Die Bewahrung der nicht-negativen orthogonalen Anti-Bisektionskrümmung in Dimension 2 ermöglicht die Definition von „KR schwach regulären“ Kostenfunktionen. Dies sind Kostenfunktionen $c(x,y) = \Psi(x-y)$, bei denen das Potenzial $\Psi$ unter einem parabolischen Fluss evolviert, um die MTW(0)-Bedingung aufrechtzuerhalten.
  • Regularitätsschätzungen: Unter Verwendung dieser Flow etablieren die Autoren innere Hölder-Abschätzungen für optimale Transportkarten assoziiert mit $W^{2,p}$ konvexen Potenzialen in zwei Dimensionen, wodurch die bestehende Regularitätstheorie auf weniger glatte Kostenfunktionen erweitert wird.

Bedeutung und Behauptungen
Das Paper behauptet, dass die Bewahrung der nicht-positiven Anti-Bisektionskrümmung „etwas unerwartet“ ist, da die meisten bekannten invarianten Krümmungsbedingungen unter der Ricci-Flow Positivitätsbedingungen sind. Die Autoren betonen, dass dieses Ergebnis ein neues Werkzeug zur Untersuchung der Beziehung zwischen holomorpher Sektionskrümmung und Ricci-Krümmung in der komplexen Geometrie bietet.

Im Kontext des optimalen Transports schlägt die Arbeit die Brücke zwischen der geometrischen Evolution von Metriken und der Regularität von Transportkarten. Indem sie zeigen, dass der Fluss die MTW(0)-Bedingung (in Dimension 2) bewahrt, bietet das Paper eine kanonische Methode, um Kostenfunktionen zu deformieren, um Regularität zu gewährleisten, was potenziell die Regularitätstheorie auf rauere Kostenfunktionen (wie Monge's ursprüngliche Kosten $|x-y|$) durch Approximation erweitert.

Die Autoren liefern auch konkrete Beispiele für Metriken, die diese Bedingungen erfüllen, einschließlich der Calabi-Metrik auf der Röhrendomäne über der Einheitssphäre und Metriken auf Kegeln, was zeigt, dass die Annahme einer negativen Anti-Bisektionskrümmung nicht vakant ist. Schließlich merken die Autoren an, dass während die Ergebnisse für vollständige Metriken robust sind, die Erweiterung auf unvollständige Metriken (häufig im optimalen Transport) eine offene Frage bleibt, die geeignete Randbedingungen erfordert.