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

Sintesi Tecnica: Nuovi Teoremi di Bishop–Gromov e Bonnet–Myers Spettrali e Applicazioni all'Isoperimetria

Enunciato del Problema
Il saggio affronta la generalizzazione dei classici teoremi di confronto in geometria riemanniana — nello specifico il teorema di confronto del volume di Bishop–Gromov e il teorema del diametro di Bonnet–Myers — in un contesto spettrale. I classici teoremi si basano su limiti inferiori puntuali della curvatura di Ricci ($\text{Ric} \geq (n-1)\lambda$). Questo lavoro investiga se simili limiti sul volume e sul diametro sussistano quando la condizione di curvatura è sostituita da una condizione spettrale che coinvolge l'operatore $-\gamma\Delta + \text{Ric}$, con $\gamma \geq 0$.

Il problema centrale è determinare l'intervallo ottimale del parametro $\gamma$ per il quale tali condizioni spettrali implicano:

1. La finitezza del gruppo fondamentale $\pi_1(M)$.
2. Limiti superiori sul diametro della copertura universale $\tilde{M}$.
3. Limiti superiori sul volume di $M$ (o $\tilde{M}$).
4. Il controllo isoperimetrico netto all'infinito per varietà complete con curvatura di Ricci non negativa e limiti di bi-Ricci spettrale.

Metodologia
Gli autori impiegano una combinazione di teoria della misura geometrica, analisi spettrale e metodi variazionali. Le principali innovazioni tecniche includono:

1. Profili Isoperimetrici con Pesi Disuguali:
   A differenza delle precedenti generalizzazioni spettrali (ad esempio in dimensione 3) che utilizzavano profili con pesi uguali, gli autori introducono un profilo con pesi disuguali per i termini di area e volume. Per una funzione positiva $u$ che soddisfa la condizione spettrale, essi definiscono:
   $$I(v) := \inf \left\{ \int_{\partial^* E} u^\gamma : E \subset \subset M, \int_E u^{\frac{2\gamma}{n-1}} = v \right\}$$
   Questa specifica pesatura permette la derivazione di una disuguaglianza differenziale netta per il profilo isoperimetrico:
   $$I''I \leq -\frac{(I')^2}{n-1} - (n-1)\lambda$$
   Questa disuguaglianza è valida nel senso della viscosità e coincide con la disuguaglianza netta nota per il caso a curvatura costante, consentendo un limite di volume netto tramite confronto ODE.

2. $\mu$-Bubbles con Warping Disuguale:
   Per stabilire i limiti sul diametro, gli autori utilizzano la tecnica delle $\mu$-bubbles (originariamente dovuta a Gromov). Essi definiscono un funzionale con un potenziale di warping disuguale:
   $$E(\Omega) = \int_{\partial^* \Omega} u^\gamma - \int_{\Omega} h u^{\frac{2\gamma}{n-1}}$$
   Scegliendo accuratamente la funzione di warping $h$ affinché soddisfi una specifica disuguaglianza differenziale che coinvolge $\nabla h$, $u$ e $\gamma$, essi derivano una contraddizione qualora il diametro sia troppo grande. Questo approccio estende il limite sul diametro all'intero intervallo di $\gamma$ in cui la condizione spettrale è significativa.

3. Stabilità e Regolarità:
   Le dimostrazioni comportano l'analisi della seconda variazione del funzionale di energia. Un ostacolo tecnico significativo è la potenziale formazione di singolarità nelle ipersuperfici minimizzanti per dimensioni $n \geq 8$. Gli autori adattano argomenti dalla letteratura (specificamente [7, 11]) per mostrare che le disuguaglianze di stabilità valgono per variazioni supportate lontano dall'insieme singolare, estendendo così i loro risultati a tutte le dimensioni $n \geq 3$.

Contributi Chiave e Risultati

1. Teoremi Spettrali di Bishop–Gromov e Bonnet–Myers (Teorema 1 & Corollario 1)
Il saggio stabilisce una generalizzazione netta dei classici teoremi. Sia $(M, g)$ una varietà riemanniana chiusa di dimensione $n \geq 3$. Se esiste una funzione smooth positiva $u$ tale che:
$$\gamma \Delta u \leq u \text{Ric} - (n-1)\lambda u$$
con $0 \leq \gamma \leq \frac{n-1}{n-2}$ e $\lambda > 0$, allora:

• Limite sul Diametro: Il diametro della copertura universale $\tilde{M}$ è limitato da:
  $$\text{diam}(\tilde{M}) \leq \frac{\pi}{\sqrt{\lambda}} \left( \frac{\max(u)}{\min(u)} \right)^{\frac{n-3}{n-1}\gamma}$$
  Di conseguenza, $\pi_1(M)$ è finito.
• Limite sul Volume: Il volume della copertura universale soddisfa:
  $$\text{vol}(\tilde{M}) \leq \lambda^{-n/2} \text{vol}(S^n)$$
• Rigidità: Se l'uguaglianza si verifica nel limite di volume, allora $u$ è costante e $\tilde{M}$ è isometrica alla sfera tonda di raggio $\lambda^{-1/2}$.

Gli autori dimostrano che l'intervallo $\gamma \leq \frac{n-1}{n-2}$ è ottimale; per $\gamma > \frac{n-1}{n-2}$, esistono controesempi (ad esempio su $S^1 \times S^{n-1}$) in cui la condizione spettrale è soddisfatta ma i limiti di volume e diametro falliscono.

2. Soluzione del Problema di Bernstein Stabile (Teorema 2)
Come applicazione diretta, gli autori risolvono il problema di Bernstein stabile in $\mathbb{R}^6$. Essi dimostrano che ogni ipersuperficie minimale immersa, completa, connessa e a due facce $M^n \hookrightarrow \mathbb{R}^{n+1}$ per $2 \leq n \leq 5$ è un iperpiano euclideo. Questo risultato si basa sulla condizione spettrale derivata dall'operatore di stabilità e sull'intervallo ottimale di $\gamma$ stabilito nel Teorema 1. Il caso $n=6$ rimane aperto.

3. Isoperimetria all'Infinito (Teorema 3)
Per varietà non compatte complete con $3 \leq n \leq 5$, $\text{Ric} \geq 0$, e una condizione di bi-Ricci spettrale $\lambda_1(-\gamma\Delta + \text{biRic}) \geq n-2$ al di fuori di un insieme compatto, il saggio dimostra:

• Crescita Lineare del Volume: La varietà ha una crescita del volume lineare.
• Profilo Isoperimetrico Netto: Il profilo isoperimetrico $I_M(v)$ soddisfa $I_M(v) \leq \text{vol}(S^{n-1})$ per ogni $v > 0$.
• Rigidità: L'uguaglianza per un certo $v$ implica che la varietà è isometrica a un cilindro $S^{n-1} \times [0, \infty)$ al di fuori di un insieme limitato.

Significato e Rivendicazioni
Gli autori sostengono che la principale novità risieda nell'introduzione del profilo isoperimetrico con pesi disuguali e delle $\mu$-bubbles con warping disuguale. Questi strumenti permettono di recuperare costanti nette ed estendere i risultati all'intero intervallo di $\gamma$ in cui la condizione spettrale è valida, superando i limiti dei metodi precedenti che richiedevano vincoli più stretti su $\gamma$ (ad esempio $\gamma < \frac{4}{n-1}$) o producevano limiti di volume non ottimali.

Il saggio sottolinea che l'intervallo $\gamma \leq \frac{n-1}{n-2}$ è ottimale per la finitezza di $\pi_1(M)$ e per i limiti di volume, un fatto dimostrato da espliciti controesempi per $\gamma$ supercritico. Inoltre, il lavoro unifica ed estende i risultati precedenti sul problema di Bernstein stabile e sulle strutture isoperimetriche in varietà con curvatura di Ricci non negativa, fornendo un quadro spettrale unificato per questi problemi geometrici. I risultati sono presentati come applicabili a tutte le dimensioni $n \geq 3$, con una gestione specifica del caso singolare $n \geq 8$.