Existence of Yamabe stability optimizers

Technische Samenvatting: Bestaan van Yamabe-stabiliteitsoptimalisatoren

Probleemstelling
Het artikel onderzoekt de kwantitatieve stabiliteit van de Yamabe-ongelijkheid op gesloten Riemanniaanse variëteiten $(M, g)$ van dimensie $n \geqslant 3$ met een positieve Yamabe-invariant $Y(M, [g]) > 0$. Het Yamabe-probleem stelt dat elke conformale klasse een metriek bevat met constante scalaire kromming, die de Yamabe-quotient $Q(u)$ minimaliseert. De auteurs behandelen de stabiliteit van deze ongelijkheid, waarbij specifiek wordt gevraagd of de "beste stabiliteitsconstante" in de Bianchi-Egnell-type ongelijkheid wordt bereikt.

De stabiliteitsongelijkheid, vastgesteld door Engelstein, Neumayer en Spolaor, stelt dat er voor een stabiliteitsexponent $\gamma \geqslant 2$ een constante $c_\gamma(M, g) > 0$ bestaat zoals:
$$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$$
waarbij $E[u]$ de Yamabe-energie is, $\mathcal{O}$ de verzameling van Yamabe-optimalisatoren is, en $\text{dist}$ de afstand is in de energienorm. De centrale vraag is of het infimum dat $c_\gamma(M, g)$ definieert wordt bereikt door een functie $u \in H^1(M) \setminus \mathcal{O}$ (een "optimalisator").

Methodologie
De auteurs passen de concentratie-compactheidstrategie aan die eerder werd gebruikt voor de Euclidische Sobolev-ongelijkheid (specifiek het werk van de tweede auteur over de sfeer) naar de algemene manifold-setting. Het bewijs rust op het analyseren van minimaliserende sequenties voor de stabiliteitsquotient $S_\gamma(u)$.

1. Drempelanalyse: De bereikbaarheid van de constante hangt af van het vergelijken van $c_\gamma(M, g)$ met twee kritieke drempelwaarden:

   • Lokale drempel ($c_{\text{loc}}^\gamma$): De limiet van $S_\gamma$ langs sequenties die convergeren naar een optimalisator.
   • Bubble-drempel ($c_{\text{bub}}^\gamma$): De limiet van $S_\gamma$ langs sequenties die concentreren en bubbels vormen (zwakker convergent naar nul).
     De auteurs bewijzen dat als $c_\gamma(M, g)$ strikt onder beide drempelwaarden ligt, minimaliserende sequenties sterk convergeren naar een optimalisator.

2. Compactheid van Optimalisatoren: Een cruciale technische stap is het bewijzen van de compactheid van de verzameling $L^p$-genormaliseerde Yamabe-optimalisatoren $\mathcal{O}_1$ wanneer $Y(M, [g]) < Y(S^n, [g_\circ])$. Dit staat in contrast met het geval van de ronde sfeer, waar de verzameling optimalisatoren niet-compact is.

3. Asymptotische Analyse: Om de bubble-drempelvoorwaarde ($c_\gamma < c_{\text{bub}}^\gamma$) te verifiëren, construeren de auteurs specifieke testfuncties en voeren ze asymptotische expansies uit van de stabiliteitsquotient. Zij maken onderscheid tussen twee regimes op basis van dimensie en conformale geometrie:

   • Niet-lokaal conform vlakkere (LCF) manifolds ($n \geqslant 6$): Zij maken gebruik van afgekapte Aubin-Talenti bubbels. De expansie laat zien dat de energiecorrectie (gedreven door de Weyl-kromming) de stabiliteitsmassa-term domineert, wat de strikte ongelijkheid garandeert.
   • Lokaal conform vlakkere manifolds of lage dimensies ($3 \leqslant n \leqslant 5$): In deze gevallen verdwijnt de Weyl-kromming of is de energiecorrectie van een lagere orde. Hier gebruiken de auteurs Schoen's Green-functie gemodificeerde testfuncties. Zij leiden een "massa-dominantievoorwaarde" af die de Green-functie massa ($m_{x_0}$) vergelijkt met een "stabiliteitsmassa" coëfficiënt ($m_\infty(x_0)$).

Belangrijkste Bijdragen en Resultaten

• Bestaansstelling (Theorem 1.2): Het artikel stelt vast dat een stabiliteitsoptimalisator bestaat als de beste constante $c_\gamma(M, g)$ strikt kleiner is dan zowel de lokale drempel $c_{\text{loc}}^\gamma(M, g)$ als de bubble-drempel $c_{\text{bub}}^\gamma(M, g)$. Dit biedt een verenigd kader voor bestaan dat van toepassing is op algemene manifolds, verschillend van de specifieke "twee-bubbel" drempel die in het geval van de ronde sfeer wordt gevonden.

• Verificatie van de Bubble-drempel (Theorem of 1.3): Voor manifolds met $n \geqslant 6$ die niet lokaal conform vlak zijn, bewijzen de auteurs dat $c_\gamma(M, g) < c_{\text{bub}}^\gamma(M, g)$ onvoorwaardelijk geldt. Dit wordt bereikt door aan te tonen dat de negatieve energiecorrectie van de Weyl-tensor (van orde $\mu^4$) de positieve stabiliteitsmassa-term (van orde $\mu^{n-2}$) domineert.

• Massa-dominantievoorwaarde (Theorem 1.4): In de complementaire gevallen (lokaal conform vlakkere manifolds of dimensies $3 \leqslant n \leqslant 5$) introduceren de auteurs een nieuwe voldoende voorwaarde voor de strikte ongelijkheid. Zij bewijzen dat als een "massa-dominantievoorwaarde" geldt op een punt $x_0$ (waar de Green-functie massa de stabiliteitsmassa-coëfficiënt voldoende overtreft), dan $c_\gamma(M, g) < c_{\text{bub}}^\gamma(M, g)$.

• Corollary 1.5: Door de bovenstaande resultaten te combineren, biedt het artikel expliciete geometrische criteria (waarin dimensie, lokale conformale vlakheid en de massa-dominantievoorwaarde betrokken zijn) waaronder de existentie van stabiliteitsoptimalisatoren gegarandeerd is.

Betekenis
Dit artikel lost de openstaande vraag op of stabiliteitsoptimalisatoren bestaan voor de Yamabe-ongelijkheid op algemene gesloten manifolds met positieve scalaire kromming. Het benadrukt een fundamenteel verschil tussen het geval van de sfeer en het niet-sferische geval: terwijl de sfeer vereist dat een "twee-bubbel" concentratiescenario wordt uitgesloten, vereisen algemene manifolds slechts een "één-bubbel" scenario vanwege de compactheid van de verzameling optimalisatoren.

Het werk introduceert het concept van een "stabiliteitsmassa" functionaal, die een rol speelt analoog aan de Green-functie massa in het klassieke Yamabe-probleem, maar die fungeert als een concurrerende term in de stabiliteitsquotient. De auteurs demonstreren dat in lage dimensies of lokaal conform vlakkere settings, de positiviteit van de Green-functie massa alleen niet voldoende is; een kwantitatieve vergelijking (de massa-dominantievoorwaarde) is noodzakelijk om stabiliteit te garanderen. Dit verfijnt het begrip van kwantitatieve stabiliteit in de geometrische analyse, waarbij men verder gaat dan het klassieke Yamabe-probleem naar de fijnere structuur van de stabiliteitsongelijkheid.