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

Technische Samenvatting: Nieuwe Spectrale Bishop–Gromov en Bonnet–Myers Stellingen en Toepassingen op Isoperimetrie

Probleemstelling
Het artikel behandelt de generalisatie van klassieke vergelijkingsstellingen in de Riemanniaanse meetkunde—specifiek de Bishop–Gromov volumevergelijkingsstelling en de Bonnet–Myers diameterstelling—naar een spectrale setting. De klassieke stellingen rusten op puntvormige ondergrenzen voor de Ricci-kromming ($\text{Ric} \geq (n-1)\lambda$). Dit werk onderzoekt of vergelijkbare volume- en diameterbounds standhouden wanneer de krommingsvoorwaarde wordt vervangen door een spectrale conditie die verband houdt met de operator $-\gamma\Delta + \text{Ric}$, waarbij $\gamma \geq 0$.

Het centrale probleem is het bepalen van het scherpe bereik van de parameter $\gamma$ waarvoor deze spectrale condities implicaties hebben voor:

1. De eindigheid van de fundamentele groep $\pi_1(M)$.
2. Bovengrenzen op de diameter van de universele dekking $\tilde{M}$.
3. Bovengrenzen op het volume van $M$ (of $\tilde{M}$).
4. Scherpe isoperimetrische controle in de oneindigheid voor volledige variëteiten met niet-negatieve Ricci-kromming en spectrale bi-Ricci-bounds.

Methodologie
De auteurs maken gebruik van een combinatie van geometrische meetkunde, spectrale analyse en variationele methoden. De kern van de technische innovaties omvat:

1. Ongelijk Gewogen Isoperimetrische Profielen:
   In tegen tegenstelling tot eerdere spectrale generalisaties (bijv. in dimensie 3) die gebruikmaakten van gelijk gewogen profielen, introduceren de auteurs een profiel met ongelijke gewichten voor de oppervlakte- en volumetermen. Voor een positieve functie $u$ die de spectrale conditie vervult, definiëren zij:
   $$I(v) := \inf \left\{ \int_{\partial^* E} u^\gamma : E \subset \subset M, \int_E u^{\frac{2\gamma}{n-1}} = v \right\}$$
   Deze specifieke weging maakt de afleiding van een scherpe differentiële ongelijkheid voor het isoperimetrische profiel mogelijk:
   $$I''I \leq -\frac{(I')^2}{n-1} - (n-1)\lambda$$
   Deze ongelijkheid geldt in de viscosiezens en komt overeen met de scherpe ongelijkheid die bekend is voor het geval van constante kromming, wat een scherpe volume-bound via ODE-vergelijking mogelijk maakt.

2. Ongelijk Gewarpt $\mu$-Bubbles:
   Om diameterbounds vast te stellen, maken de auteurs gebruik van de $\mu$-bubble techniek (oorspronkelijk door Gromov). Zij definiëren een functional met een ongelijk gewarpt potentiaal:
   $$E(\Omega) = \int_{\partial^* \Omega} u^\gamma - \int_{\Omega} h u^{\frac{2\gamma}{n-1}}$$
   Door zorgvuldig een warping functie $h$ te kiezen die een specifieke differentiële ongelijkheid bevredigt met betrekking tot $\nabla h$, $u$ en $\gamma$, leiden zij een contradictie af indien de diameter te groot is. Deze aanpak breidt de diameterbound uit naar het volledige bereik van $\gamma$ waar de spectrale conditie betekenisvol is.

3. Stabiliteit en Regulariteit:
   De bewijzen omvatten de analyse van de tweede variatie van de energiefunctional. Een aanzienlijk technisch obstakel is de potentiële vorming van singulariteiten in minimaliserende hypersurfaces voor dimensies $n \geq 8$. De auteurs passen argumenten uit de literatuur (specifiek [7, 11]) aan om aan te tonen dat stabiliteitsongelijkheden gelden voor variaties ondersteund buiten de singuliere verzameling, waardoor zij hun resultaten uitbreiden naar alle dimensies $n \geq 3$.

Belangrijkste Bijdragen en Resultaten

1. Spectrale Bishop–Gromov en Bonnet–Myers Stellingen (Stelling 1 & Corolarium 1)
Het artikel vestigt een scherpe generalisatie van de klassieke stellingen. Laat $(M, g)$ een gesloten Riemanniaanse variëteit zijn van dimensie $n \geq 3$. Indien er een positieve gladde functie $u$ bestaat zodanig dat:
$$\gamma \Delta u \leq u \text{Ric} - (n-1)\lambda u$$
met $0 \leq \gamma \leq \frac{n-1}{n-2}$ en $\lambda > 0$, dan geldt:

• Diameterbound: De diameter van de universele dekking $\tilde{M}$ is begrensd door:
  $$\text{diam}(\tilde{M}) \leq \frac{\pi}{\sqrt{\lambda}} \left( \frac{\max(u)}{\min(u)} \right)^{\frac{n-3}{n-1}\gamma}$$
  Bijgevolg is $\pi_1(M)$ eindig.
• Volumebound: Het volume van de universele dekking voldoet aan:
  $$\text{vol}(\tilde{M}) \leq \lambda^{-n/2} \text{vol}(S^n)$$
• Rigiditeit: Indien gelijkheid geldt in de volumebound, dan is $u$ constant en is $\tilde{M}$ isometrisch aan de ronde sfeer met straal $\lambda^{-1/2}$.

De auteurs bewijzen dat het bereik $\gamma \leq \frac{n-1}{n-2}$ scherp is; voor $\gamma > \frac{n-1}{n-2}$ bestaan er tegenvoorbeelden (bijv. op $S^1 \times S^{n-1}$) waarbij de spectrale conditie standhoudt maar de volume- en diameterbounds falen.

2. Oplossing van het Stabiele Bernstein Probleem (Stelling 2)
Als directe toepassing lossen de auteurs het stabiele Bernstein probleem in $\mathbb{R}^6$ op. Zij bewijzen dat elke geïmmerseerde, volledige, samenhangende, tweezijdige, stabiele minimale hypersurface $M^n \hookrightarrow \mathbb{R}^{n+1}$ voor $2 \leq n \leq 5$ een Euclidisch hypervlak is. Dit resultaat steunt op de spectrale conditie afgeleid van de stabiliteitsoperator en het scherpe bereik van $\gamma$ dat in Stelling 1 is vastgesteld. De casus $n=6$ blijft open.

3. Isoperimetrie in de Oneindigheid (Stelling 3)
Voor volledige niet-compacte variëteiten met $3 \leq n \leq 5$, $\text{Ric} \geq 0$, en een spectrale bi-Ricci conditie $\lambda_1(-\gamma\Delta + \text{biRic}) \geq n-2$ buiten een compacte verzameling, bewijst het artikel:

• Lineaire Volumegroei: De variëteit heeft lineaire volumegroei.
• Scherp Isoperimetrisch Profiel: Het isoperimetrische profiel $I_M(v)$ voldoet aan $I_M(v) \leq \text{vol}(S^{n-1})$ voor alle $v > 0$.
• Rigiditeit: Gelijkheid voor een bepaalde $v$ impliceert dat de variëteit buiten een begrensde verzameling isometrisch is aan een cilinder $S^{n-1} \times [0, \infty)$.

Betekenis en Claims
De auteurs claimen dat de primaire nieuwheid ligt in de introductie van het ongelijk gewogen isoperimetrische profiel en de ongelijk gewarpt $\mu$-bubbles. Deze instrumenten maken het mogelijk om scherpe constanten te herstellen en de resultaten uit te breiden naar het volledige bereik van $\gamma$ waar de spectrale conditie geldig is, waarmee de beperkingen van eerdere methoden (die striktere bounds voor $\gamma$ vereisten, zoals $\gamma < \frac{4}{n-1}$, of niet-scherpe volumebounds opleverden) worden overwonnen.

Het artikel benadrukt dat het bereik $\gamma \leq \frac{n-1}{n-2}$ optimaal is voor de eindigheid van $\pi_1(M)$ en volumebounds, een feit dat wordt gedemonstreerd door expliciete tegenvoorbeelden voor superkritisch $\gamma$. Verder verenigt het werk eerdere resultaten over het stabiele Bernstein probleem en isoperimetrische structuren in variëteiten met niet-negatieve Ricci-kromming, en biedt het een verenigd spectraal kader voor deze geometrische problemen. De resultaten zijn gepresenteerd als toepasbaar voor alle dimensies $n \geq 3$, met specifieke behandeling van het singuliere geval $n \geq 8$.