New spectral Bishop-Gromov and Bonnet-Myers theorems and applications to isoperimetry

Technische Zusammenfassung: Neue spektrale Bishop–Gromov- und Bonnet–Myers-Theoreme und Anwendungen auf die Isoperimetrie

Problemstellung
Die Arbeit befasst sich mit der Verallgemeinerung klassischer Vergleichssätze in der Riemannschen Geometrie – insbesondere des Bishop–Gromov-Volumenvergleichssatzes und des Bonnet–Myers-Durchmesser-Theorems – in einen spektralen Kontext. Die klassischen Theoreme beruhen auf punktweisen unteren Schranken der Ricci-Krümmung ($\text{Ric} \geq (n-1)\lambda$). Diese Arbeit untersucht, ob ähnliche Volumen- und Durchmesserbeschränkungen gelten, wenn die Krümmungsbedingung durch eine spektrale Bedingung ersetzt wird, die den Operator $-\gamma\Delta + \text{Ric}$ beinhaltet, wobei $\gamma \geq 0$.

Die zentrale Aufgabe besteht darin, den scharfen Bereich des Parameters $\gamma$ zu bestimmen, für den diese spektralen Bedingungen Folgendes implizieren:

1. Die Endlichkeit der Fundamentalgruppe $\pi_1(M)$.
2. Obere Schranken für den Durchmesser der universellen Überlagerung $\tilde{M}$.
3. Obere Schranken für das Volumen von $M$ (oder $\tilde{M}$).
4. Scharfe isoperimetrische Kontrolle im Unendlichen für vollständige Mannigfaltigkeiten mit nichtnegativer Ricci-Krümmung und spektralen bi-Ricci-Schranken.

Methodik
Die Autoren verwenden eine Kombination aus geometrischer Maßtheorie, Spektralanalyse und Variationsmethoden. Die zentralen technischen Innovationen umfassen:

1. Ungleich gewichtete isoperimetrische Profile:
   Im Gegensatz zu früheren spektralen Verallgemeinerungen (z. B. in Dimension 3), die gleich gewichtete Profile verwendeten, führen die Autoren ein Profil mit ungleichen Gewichten für die Flächen- und Volumenanteile ein. Für eine positive Funktion $u$, die die spektrale Bedingung erfüllt, definieren sie:
   $$I(v) := \inf \left\{ \int_{\partial^* E} u^\gamma : E \subset \subset M, \int_E u^{\frac{2\gamma}{n-1}} = v \right\}$$
   Diese spezifische Gewichtung ermöglicht die Ableitung einer scharfen Differentialungleichung für das isoperimetrische Profil:
   $$I''I \leq -\frac{(I')^2}{n-1} - (n-1)\lambda$$
   Diese Ungleichung gilt im Sinne der Viskosität und entspricht der scharfen Ungleichung des Falles konstanter Krümmung, was einen scharfen Volumenvergleich via ODE-Vergleich ermöglicht.

2. Ungleich gewarbte $\mu$-Bubbles:
   Um Durchmesserbeschränkungen zu etablieren, nutzen die Autoren die $\mu$-Bubble-Technik (ursprünglich von Gromov). Sie definieren ein Funktional mit einem ungleich gewarbten Potenzial:
   $$E(\Omega) = \int_{\partial^* \Omega} u^\gamma - \int_{\Omega} h u^{\frac{2\gamma}{n-1}}$$
   Durch eine sorgfältige Wahl der Warping-Funktion $h$, die eine spezifische Differentialungleichung unter Einbeziehung von $\nabla h$, $u$ und $\gamma$ erfüllt, leiten sie einen Widerspruch ab, falls der Durchmesser zu groß ist. Dieser Ansatz erweitert die Durchmesserbeschränkung auf den vollen Bereich von $\gamma$, in dem die spektrale Bedingung sinnvoll ist.

3. Stabilität und Regularität:
   Die Beweise beinhalten die Analyse der zweiten Variation des Energiefunktionals. Eine signifikante technische Hürde ist die potenzielle Bildung von Singularitäten in minimierenden Hyperflächen für Dimensionen $n \geq 8$. Die Autoren passen Argumente aus der Literatur (speziell [7, 11]) an, um zu zeigen, dass Stabilitätsungleichungen für Variationen gelten, die fernab der singulären Menge unterstützt sind, wodurch sie ihre Ergebnisse auf alle Dimensionen $n \geq 3$ ausweiten.

Wesentliche Beiträge und Ergebnisse

1. Spektrale Bishop–Gromov- und Bonnet–Myers-Theoreme (Theorem 1 & Korollar 1)
Das Paper etabliert eine scharfe Verallgemeinerung der klassischen Theoreme. Sei $(M, g)$ eine abgeschlossene Riemannsche Mannigfaltigkeit der Dimension $n \geq 3$. Wenn es eine positive glatte Funktion $u$ gibt, so dass:
$$\gamma \Delta u \leq u \text{Ric} - (n-1)\lambda u$$
mit $0 \leq \gamma \leq \frac{n-1}{n-2}$ und $\lambda > 0$, dann gilt:

• Durchmesserbeschränkung: Der Durchmesser der universellen Überlagerung $\tilde{M}$ ist beschränkt durch:
  $$\text{diam}(\tilde{M}) \leq \frac{\pi}{\sqrt{\lambda}} \left( \frac{\max(u)}{\min(u)} \right)^{\frac{n-3}{n-1}\gamma}$$
  Folglich ist $\pi_1(M)$ endlich.
• Volumenbeschränkung: Das Volumen der universellen Überlagerung erfüllt:
  $$\text{vol}(\tilde{M}) \leq \lambda^{-n/2} \text{vol}(S^n)$$
• Rigidität: Falls die Gleichheit in der Volumenbeschränkung eintritt, ist $u$ konstant und $\tilde{M}$ ist isometrisch zur runden Sphäre mit Radius $\lambda^{-1/2}$.

Die Autoren beweisen, dass der Bereich $\gamma \leq \frac{n-1}{n-2}$ scharf ist; für $\gamma > \frac{n-1}{n-2}$ existieren Gegenbeispiele (z. B. auf $S^1 \times S^{n-1}$), bei denen die spektrale Bedingung erfüllt ist, aber die Volumen- und Durchmesserbeschränkungen versagen.

2. Lösung des stabilen Bernstein-Problems (Theorem 2)
Als direkte Anwendung lösen die Autoren das stabile Bernstein-Problem in $\mathbb{R}^6$. Sie beweisen, dass jede implizierte, vollständige, zusammenhängende, zwei-seitige, stabile minimale Hyperfläche $M^n \hookrightarrow \mathbb{R}^{n+1}$ für $2 \leq n \leq 5$ eine euklidische Hyperebene ist. Dieses Resultat stützt sich auf die aus dem Stabilitätsoperator abgeleitete spektrale Bedingung und den scharfen Bereich von $\gamma$, der in Theorem 1 etabliert wurde. Der Fall $n=6$ bleibt offen.

3. Isoperimetrie im Unendlichen (Theorem 3)
Für vollständige nichtkompakte Mannigfaltigkeiten mit $3 \leq n \leq 5$, $\text{Ric} \geq 0$ und einer spektralen bi-Ricci-Bedingung $\lambda_1(-\gamma\Delta + \text{biRic}) \geq n-2$ außerhalb einer kompakten Menge, beweist das Paper:

• Lineares Volumenwachstum: Die Mannigfaltigkeit besitzt lineares Volumenwachstum.
• Scharfes isoperimetrisches Profil: Das isoperimetrische Profil $I_M(v)$ erfüllt $I_M(v) \leq \text{vol}(S^{n-1})$ für alle $v > 0$.
• Rigidität: Gleichheit für ein bestimmtes $v$ impliziert, dass die Mannigfaltigkeit außerhalb einer beschränkten Menge isometrisch zu einem Zylinder $S^{n-1} \times [0, \infty)$ ist.

Bedeutung und Ansprüche
Die Autoren behaupten, dass die primäre Neuartigkeit in der Einführung des ungleich gewichteten isoperimetrischen Profils und der ungleich gewarbten $\mu$-Bubbles liegt. Diese Werkzeuge ermöglichen es, scharfe Konstanten zurückzugewinnen und die Ergebnisse auf den vollen Bereich von $\gamma$ zu erweitern, in dem die spektrale Bedingung gültig ist, wodurch Einschränkungen früherer Methoden überwunden werden, die entweder strengere Schranken für $\gamma$ (z. B. $\gamma < \frac{4}{n-1}$) erforderten oder nicht-scharfe Volumenbeschränkungen lieferten.

Das Paper betont, dass der Bereich $\gamma \leq \frac{n-1}{n-2}$ optimal für die Endlichkeit von $\pi_1(M)$ und die Volumenbeschränkungen ist, eine Tatsache, die durch explizite Gegenbeispiele für superkritische $\gamma$ demonstriert wird. Des Weiteren vereinigt und erweitert die Arbeit frühere Ergebnisse zum stabilen Bernstein-Problem und zu isoperimetrischen Strukturen in Mannigfaltigkeiten mit nichtnegativer Ricci-Krümmung zu einem einheitlichen spektralen Rahmenwerk für diese geometrischen Probleme. Die Ergebnisse sind als anwendbar für alle Dimensionen $n \geq 3$ dargestellt, mit spezifischer Behandlung des singulären Falles $n \geq 8$.