Existence of Yamabe stability optimizers

Sintesi Tecnica: Esistenza di Ottimizzatori della Stabilità di Yamabe

Enunciato del Problema
Il saggio investiga la stabilità quantitativa della disuguaglianza di Yamabe su varietà riemanniane chiuse $(M, g)$ di dimensione $n \geqslant 3$ con invariante di Yamabe positivo $Y(M, [g]) > 0$. Il problema di Yamabe stabilisce che ogni classe conforme contiene una metrica a curvatura scalare costante, che minimizza il quoziente di Yamabe $Q(u)$. Gli autori affrontano la stabilità di questa disuguaglianza, chiedendosi specificamente se il "miglior costante di stabilità" nella disuguaglianza di tipo Bianchi-Egnell sia raggiunto.

La disuguaglianza di stabilità, stabilita da Engelstein, Neumayer e Spolaor, afferma che per un esponente di stabilità $\gamma \geqslant 2$, esiste una costante $c_\gamma(M, g) > 0$ tale che:
$$E[u](\gamma-2)/2 \left( E[u] - Y(M, [g])\|u\|_{L^p(M)}^2 \right) \geqslant c_\gamma(M, g) \, \text{dist}(u, \mathcal{O})^\gamma$$
dove $E[u]$ è l'energia di Yamabe, $\mathcal{O}$ è l'insieme degli ottimizzatori di Yamabe, e $\text{dist}$ è la distanza nella norma dell'energia. La questione centrale è se l'infimo che definisce $c_\gamma(M, g)$ sia raggiunto da una funzione $u \in H^1(M) \setminus \mathcal{O}$ (un "ottimizzatore").

Metodologia
Gli autori adattano la strategia di concentrazione-compattezza precedentemente utilizzata per la disuguaglianza di Sobolev euclidea (specificamente il lavoro del secondo autore sulla sfera) al contesto generale delle varietà. La dimostrazione si basa sull'analisi delle sequenze minimizzanti per il quoziente di stabilità $S_\gamma(u)$.

1. Analisi delle Soglie: L'raggiungibilità della costante dipende dal confronto di $c_\gamma(M, g)$ rispetto a due soglie critiche:

   • Soglia Locale ($c_{\text{loc}}^\gamma$): Il limite di $S_\gamma$ lungo sequenze che convergono a un ottimizzatore.
   • Soglia di Bolla ($c_{\text{bub}}^\gamma$): Il limite di $S_\gamma$ lungo sequenze che si concentrano e formano bolle (convergendo debolmente a zero).
     Gli autori dimostrano che se $c_\gamma(M, g)$ è strettamente inferiore a entrambe le soglie, le sequenze minimizzanti convergono fortemente a un ottimizzatore.

2. Compattezza degli Ottimizzatori: Un passaggio tecnico cruciale consiste nel dimostrare la compattezza dell'insieme degli ottimizzatori di Yamabe con norma $L^p$-normalizzata $\mathcal{O}_1$ quando $Y(M, [g]) < Y(S^n, [g_\circ])$. Ciò contrasta con il caso della sfera rotonda, dove l'insieme degli ottimizzatori è non compatto.

3. Analisi Asintotica: Per verificare la condizione della soglia di bolla ($c_\gamma < c_{\text{bub}}^\gamma$), gli autori costruiscono funzioni di test specifiche e svolgono espansioni asintotiche del quoziente di stabilità. Distinguono tra due regimi basati sulla dimensione e sulla geometria conforme:

   • Varietà non localmente conformi piatte (LCF) ($n \geqslant 6$): Utilizzano bolle di tipo Aubin-Talenti troncate. L'espansione rivela che la correzione dell'energia (guidata dalla curvatura di Weyl) domina il termine di massa di stabilità, garantendo la stretta disarticolazione.
   • Varietà localmente conformi piatte o basse dimensioni ($3 \leqslant n \leqslant 5$): La curvatura di Weyl svanisce o la correzione dell'energia è di ordine inferiore. In questi casi, gli autori impiegano funzioni di test modificate dalla funzione Green di Schoen. Derivano una "condizione di dominanza della massa" confrontando la massa della funzione Green ($m_{x_0}$) contro un coefficiente di "massa di stabilità" ($m_\infty(x_0)$).

Contributi Chiave e Risultati

• Teorema di Esistenza (Teorema 1.2): Il saggio stabilisce che un ottimizzatore di stabilità esiste se la miglior costante $c_\gamma(M, g)$ è strettamente minore sia della soglia locale $c_{\text{loc}}^\gamma(M, g)$ che della soglia di bolla $c_{\text{bub}}^\gamma(M, g)$. Ciò fornisce un quadro unificato per l'esistenza che si applica a varietà generali, distinto dal caso specifico della soglia a due bolle presente nella sfera rotonda.

• Verifica della Soglia di Bolla (Teorema 1.3): Per varietà con $n \geqslant 6$ che non sono localmente conformi piatte, gli autori dimostrano che $c_\gamma(M, g) < c_{\text{bub}}^\gamma(M, g)$ è verificata incondizionatamente. Ciò avviene mostrando che la correzione negativa dell'energia derivante dal tensore di Weyl (di ordine $\mu^4$) domina il termine di massa di stabilità positivo (di ordine $\mu^{n-2}$).

• Condizione di Dominanza della Massa (Teorema 1.4): Nei casi complementari (varietà localmente conformi piatte o dimensioni $3 \leqslant n \leqslant 5$), gli autori introducono una nuova condizione sufficiente. Dimostrano che se una "condizione di dominanza della massa" è soddisfatta in un punto $x_0$ (dove la massa della funzione Green supera sufficientemente il coefficiente di massa di stabilità), allora $c_\gamma(M, g) < c_{\text{bub}}^\gamma(M, g)$.

• Corollario 1.5: Combinando quanto sopra, il saggio fornisce criteri geometrici espliciti (che coinvolgono dimensione, conformità piatta locale e la condizione di dominanza della massa) sotto i quali la presenza di ottimizzatori di stabilità è garantita.

Significatività
Il saggio risolve la questione aperta se esistano ottimizzatori di stabilità per la disuguaglianza di Yamabe su varietà chiuse generali con curvatura scalare positiva. Esso evidenzia una differenza fondamentale tra il caso sferico e quello non sferico: mentre la sfera richiede l'esclusione di uno scenario di concentrazione a "due bolle", le varietà generali richiedono solo l'esclusione di uno scenario a "una bolla" a causa della compattezza dell'insieme degli ottimizzatori.

Il lavoro introduce il concetto di funzionale di "massa di stabilità", che gioca un ruolo analogo alla massa della funzione Green nel classico problema di Yamabe, ma agisce come un termine competitivo nel quoziente di stabilità. Gli autori dimostrano che, in basse dimensioni o in contesti localmente conformi piatte, la sola positività della massa della funzione Green è insufficiente; un confronto quantitativo (la condizione di dominanza della massa) è necessario per garantire la stabilità. Ciò affina la comprensione della stabilità quantitativa nell'analisi geometrica, andando oltre il classico problema di Yamabe verso la struttura più fine della disuguaglianza di stabilità.