Rigidity and flexibility under spectral Ricci lower bounds and mean-convex boundary

Technische Zusammenfassung: Starrheit und Flexibilität unter spektralen Ricci-Untergrenzen und mittelpunktskonvexem Rand

Problemstellung
Diese Arbeit untersucht die geometrische und topologische Starrheit riemannscher Mannigfaltigkeiten $(M^n, g)$ mit nichtleerem Rand $\partial M$, die spektralen Untergrenzen für die Ricci-Krümmung und Bedingungen der mittelpunktskonvexen Randgeometrie unterliegen. Die zentrale Fragestellung bezieht sich auf ein Rand-Analogon von „Frage 1", die in der Einleitung aufgeworfen wurde: die Bestimmung des scharfen Schwellenwerts $\gamma(n)$, sodass, wenn eine kompakte Mannigfaltigkeit eine Metrik zulässt, die die spektrale Bedingung $\lambda_1(-\gamma \Delta + \text{Ric}) \ge 0$ (und potenziell eine Randbedingung) erfüllt, sie auch eine Metrik mit strikt positiver Schnittkrümmung und strikt mittelpunktskonvexem Rand zulassen muss.

Die spektrale Bedingung ist definiert durch die Existenz einer positiven Funktion $u \in C^{2,\alpha}(M)$, sodass $-\gamma \Delta u + u \text{Ric} \ge 0$ auf $M$ und $H_{\partial M} + \gamma u^{-1}\langle \nabla u, \nu \rangle \ge 0$ auf $\partial M$ gilt, wobei $H_{\partial M}$ die mittlere Krümmung bezüglich des nach außen gerichteten Einheitsnormalenvektors $\nu$ ist. Die Autoren streben danach, klassische Starrheitssätze (insbesondere Kasues Spaltungssatz für $\text{Ric} \ge 0$) auf diese spektrale Setting zu erweitern und den optimalen Bereich von $\gamma$ zu bestimmen, für den solche Starrheits- oder topologischen Einschränkungen gelten.

Methodik
Die Autoren wenden einen variationsbasierten Ansatz an, der auf gewichteten Geodäten basiert. Im Gegensatz zu neueren Arbeiten, die $\mu$-Blasen verwenden (die höherdimensionale Minimalflächen beinhalten), nutzt diese Arbeit eindimensionale Minimierer des Funktionals:
$$E(\beta) := \int_\beta u^\gamma d\ell_g$$
wobei $d\ell_g$ das riemannsche Längenelement ist. Diese Wahl ermöglicht es den Autoren, Regularitätsprobleme zu vermeiden, die mit höherdimensionalen minimalen Hyperflächen in nicht-kompakten Settings verbunden sind.

Die zentrale technische Ausrüstung umfasst:

1. Formeln für die erste und zweite Variation: Detaillierte Berechnungen werden für das Funktional $E(\beta)$ entlang von Kurven durchgeführt, die disjunkte Randkomponenten verbinden. Diese liefern Stabilitätsungleichungen, die die Ricci-Krümmung, die Hesse-Matrix von $u$ und Terme der mittleren Randkrümmung einbeziehen.
2. Stabilitätsungleichungen (Lemma 1 & 2): Durch Testen der zweiten Variation mit spezifischen Abschneidefunktionen und die Nutzung eines gewichteten Rahmens leiten die Autoren Integralungleichungen ab, die die Geometrie minimierender Kurven einschränken.
3. Geodäten-Einfang und Kompaktheit (Lemma 3 & Proposition 4): Ein kritischer technischer Beitrag ist der Beweis, dass minimierende Folgen für $E(\beta)$, die eine kompakte Randkomponente mit dem Rest des Randes verbinden, im nicht-kompakten Fall nicht „ins Unendliche entweichen" können, sofern $\gamma$ innerhalb eines bestimmten scharfen Bereichs liegt. Dies wird durch die Konstruktion eines Widerspruchs unter Verwendung von Abschneidefunktionen und der Stabilitätsungleichung erreicht, wodurch die Existenz globaler Minimierer sichergestellt wird.
4. Topologische Argumente: Die Arbeit kombiniert die geometrischen Starrheitsergebnisse mit einem tiefgreifenden Satz von Lawson und Michelsohn bezüglich der Existenz von Metriken mit positiver Schnittkrümmung.

Hauptbeiträge und Ergebnisse

1. Scharfe spektrale Starrheit (Satz 1)
Die Autoren beweisen eine scharfe Erweiterung von Kasues Starrheitssatz. Wenn $(M^n, g)$ eine vollständige Mannigfaltigkeit mit unzusammenhängendem Rand (mindestens eine Komponente ist kompakt) ist, die die spektralen Bedingungen mit folgenden Werten erfüllt:

• $0 \le \gamma < 4$ für $n=2$,
• $0 \le \gamma < \frac{n-1}{n-2}$ für $n \ge 3$,
  dann spaltet sich die Mannigfaltigkeit isometrisch als Produkt $[0, L] \times \Sigma$ auf, wobei $\Sigma$ eine kompakte Mannigfaltigkeit mit $\text{Ric}_\Sigma \ge 0$ ist.
• Schärfe: Die Autoren liefern Gegenbeispiele (Propositionen 2 und 3), die zeigen, dass, wenn $\gamma$ diese Schwellenwerte überschreitet, die Schlussfolgerung der Spaltung ausfällt. Insbesondere kann für $\gamma = \frac{n-1}{n-2}$ die Mannigfaltigkeit versagen, sich zu spalten, und für $\gamma > \frac{n-1}{n-2}$ versagen die topologischen Schlussfolgerungen.

2. Topologische Starrheit (Satz 2)
Die Arbeit stellt fest, dass unter denselben spektralen Bedingungen (mit dem Schwellenwert, der für $n \ge 3$ die Gleichheit einschließt, d. h. $0 \le \gamma \le \frac{n-1}{n-2}$), wenn mindestens eine Ungleichung strikt ist, die relative Fundamentalgruppe verschwindet: $\pi_1(M, \partial M) = 0$. Dies impliziert, dass der Rand zusammenhängend ist und die Inklusion $\partial M \hookrightarrow M$ eine Surjektion auf den Fundamentalgruppen induziert.

• Bedeutung: Dies verallgemeinert bekannte Ergebnisse für $\text{Ric} \ge 0$ auf das spektrale Setting. Die Autoren bemerken, dass die Kompaktheit der Mannigfaltigkeit selbst nicht erforderlich ist; nur eine Randkomponente muss kompakt sein.

3. Existenz von Metriken positiver Krümmung (Satz 3)
In Kombination von Satz 2 mit dem Lawson–Michelsohn-Satz beweisen die Autoren, dass für $n \neq 4$ jede kompakte Mannigfaltigkeit mit Rand, die die spektralen Bedingungen erfüllt (mit mindestens einer strikten Ungleichung), eine Metrik mit positiver Schnittkrümmung und strikt mittelpunktskonvexem Rand zulässt.

• Schärfe: Der Bereich von $\gamma$ wird als scharf nachgewiesen durch Proposition 1, die Mannigfaltigkeiten mit $\lambda_1(-\gamma \Delta + \text{Ric}) > 0$ konstruiert, die solche Metriken nicht zulassen, wenn $\gamma > \frac{n-1}{n-2}$.
• Dimensionsbeschränkung: Das Ergebnis gilt für $n \neq 4$. Die Autoren stellen ausdrücklich fest, dass der Fall $n=4$ aufgrund des ungelösten Status einer spezifischen Proposition in der Lawson–Michelsohn-Arbeit bezüglich gefälschter 4-Zellen offen bleibt.

4. Korollar 1 (Vereinheitlichte Starrheit)
Dieses Ergebnis fasst die vorherigen Sätze zusammen und besagt, dass für den scharfen Bereich von $\gamma$ eine Mannigfaltigkeit, die die spektralen Bedingungen erfüllt, entweder isometrisch spaltet (wenn der Rand unzusammenhängend ist) oder eine triviale relative Fundamentalgruppe besitzt (wenn der Rand zusammenhängend ist).

Bedeutung und Behauptungen
Die Arbeit beansprucht, das scharfe Rand-Analogon von Frage 1 für Dimensionen $n \neq 4$ zu klären. Die Autoren betonen, dass ihre Verwendung von gewichteten Längenminimierern (eindimensionale Objekte) anstelle von $\mu$-Blasen einen deutlichen methodischen Vorteil darstellt, insbesondere beim Umgang mit nicht-kompakten Mannigfaltigkeiten und der Vermeidung von Regularitätsproblemen höherer Dimensionen.

Die Autoren sind bescheiden hinsichtlich des Umfangs ihrer Arbeit:

• Sie räumen ein, dass Frage 1 für $n \ge 5$ im allgemeinen kompakten Fall ohne Randannahmen weitgehend offen bleibt.
• Sie bemerken, dass die Kompaktheitsannahme in Satz 1 (Punkt 2) für $n=2,3$ möglicherweise entfernbar ist, dies jedoch zukünftigen Arbeiten vorbehalten bleibt.
• Sie stellen ausdrücklich fest, dass der Fall $n=4$ ein offenes Problem ist aufgrund externer Einschränkungen im Lawson–Michelsohn-Satz.
• Sie schlagen keine neuen Anwendungen oder experimentellen Vorschläge vor, sondern rahmen ihre Arbeit als theoretischen Fortschritt in der geometrischen Analysis ein, der speziell die spektrale Geometrie mit topologischer Starrheit und Krümmungsschranken verbindet.

Die Arbeit schließt mit Ergebnissen im Anhang (Proposition 5 und Remark 6), die spektrale Verallgemeinerungen von Inradius- und Bonnet–Myers-artigen Durchschätzungen bieten und leichte Verbesserungen in der Oszillationsabhängigkeit der Schranken im Vergleich zur vorherigen Literatur zeigen.