Existence of Yamabe stability optimizers

Resumo Técnico: Existência de Otimizadores de Estabilidade de Yamabe

Enunciado do Problema
O artigo investiga a estabilidade quantitativa da desigualdade de Yamabe em variedades riemannianas fechadas $(M, g)$ de dimensão $n \geqslant 3$ com invariante de Yamabe positivo $Y(M, [g]) > 0$. O problema de Yamabe estabelece que toda classe conforme contém uma métrica de curvatura escalar constante, minimizando o quociente de Yamabe $Q(u)$. Os autores abordam a estabilidade desta desigualdade, perguntando especificamente se o "melhor constante de estabilidade" na desigualdade do tipo Bianchi-Egnell é atingido.

A desigualdade de estabilidade, estabelecida por Engelstein, Neumayer e Spolaor, afirma que para um expoente de estabilidade $\gamma \geqslant 2$, existe uma constante $c_\gamma(M, g) > 0$ tal que:
$$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$$
onde $E[u]$ é a energia de Yamabe, $\mathcal{O}$ é o conjunto dos otimizadores de Yamabe, e $\text{dist}$ é a distância na norma de energia. A questão central é se o ínfimo que define $c_\gamma(M, g)$ é atingido por uma função $u \in H^1(M) \setminus \mathcal{O}$ (um "otimizador").

Metodologia
Os autores adaptam a estratégia de concentração-compactação anteriormente utilizada para a desigualdade de Sobolev euclidiana (especificamente o trabalho do segundo autor sobre a esfera) para o cenário geral de variedades. A prova baseia-se na análise de sequências minimizantes para o quociente de estabilidade $S_\gamma(u)$.

1. Análise de Limiar (Threshold Analysis): A atingibilidade da constante depende da comparação de $c_\gamma(M, g)$ contra dois limiares críticos:

   • Limiar Local ($c_{\text{loc}}^\gamma$): O limite de $S_\gamma$ ao longo de sequências que convergem para um otimizador.
   • Limiar de Bolha ($c_{\text{bub}}^\gamma$): O limite de $S_\gamma$ ao longo de sequências que se concentram e formam bolhas (convergindo fracamente para zero).
     Os autores provam que, se $c_\gamma(M, g)$ estiver estritamente abaixo de ambos os limiares, as sequências minimizantes convergem fortemente para um otimizador.

2. Compacidade de Otimizadores: Um passo técnico crucial envolve provar a compacidade do conjunto de otimizadores de Yamabe com normalização $L^p$, $\mathcal{O}_1$, quando $Y(M, [g]) < Y(S^n, [g_\circ])$. Isso contrasta com o caso da esfera redonda, onde o conjunto de otimizadores é não-compacto.

3. Análise Assintótica: Para verificar a condição do limiar de bolha ($c_\gamma < c_{\text{bub}}^\gamma$), os autores constroem funções de teste específicas e realizam expansões assintóticas do quociente de estabilidade. Eles distinguem dois regimes baseados na dimensão e na geometria conformal:

   • Variedades Não-Localmente Conformemente Planas (LCF) ($n \geqslant 6$): Eles utilizam bolhas de Aubin-Talenti truncadas. A expansão revela que a correção de energia (impulsionada pela curvatura de Weyl) domina o termo de massa de estabilidade, garantindo a desigualdade estrita.
   • Variedades Localmente Conformemente Planas ou baixas dimensões ($3 \leqslant n \leqslant 5$): Onde a curvatura de Weyl desaparece ou a correção de energia é de ordem inferior. Aqui, os autores empregam funções de teste modificadas pela função de Green de Schoen. Eles derivam uma "condição de dominância de massa" comparando a massa da função de Green ($m_{x_0}$) contra um coeficiente de "massa de estabilidade" ($m_\infty(x_0)$).

Principais Contribuições e Resultados

• Teorema de Existência (Teorema 1.2): O artigo estabelece que um otimizador de estabilidade existe se o melhor constante $c_\gamma(M, g)$ for estritamente menor que tanto o limiar local $c_{\text{loc}}^\gamma(M, g)$ quanto o limiar de bolha $c_{\text{bub}}^\gamma(M, g)$. Isso fornece um framework unificado para a existência que se aplica a variedades gerais, distinto do específico limiar de "duas bolhas" encontrado no caso da esfera redonda.

• Verificação do Limiar de Bolha (Teorema 1.3): Para variedades com $n \geqslant 6$ que não são localmente conformemente planas, os autores provam que $c_\gamma(M, g) < c_{\text{bub}}^\gamma(M, g)$ ocorre incondicionalmente. Isso é alcançado mostrando que a correção de energia negativa do tensor de Weyl (de ordem $\mu^4$) domina o termo de massa de estabilidade positivo (de ordem $\mu^{n-2}$).

• Condição de Dominância de Massa (Teorema 1.4): Nos casos complementares (variedades localmente conformemente planas ou dimensões $3 \leqslant n \leqslant 5$), os autores introduzem uma nova condição suficiente para a desigualdade estrita. Eles provam que, se uma "condição de dominância de massa" for satisfeita em algum ponto $x_0$ (onde a massa da função de Green supera suficientemente o coeficiente de massa de estabilidade), então $c_\gamma(M, g) < c_{\text{bub}}^\gamma(M, g)$.

• Corolário 1.5: Combinando o acima, o artigo fornece critérios geométricos explícitos (envolvendo dimensão, conformidade local plana e a condição de dominância de massa) sob os quais a existência de otimizadores de estabilidade é garantida.

Significância
O artigo resolve a questão aberta de se otimizadores de estabilidade existem para a desigualdade de Yamabe em variedades fechadas gerais com curvatura escalar positiva. Ele destaca uma diferença fundamental entre o caso esférico e o não-esférico: enquanto a esfera exige a exclusão de um cenário de concentração de "duas bolhas", as variedades gerais exigem apenas a exclusão de um cenário de "uma bolha" devido à compacidade do conjunto de otimizadores.

O trabalho introduz o conceito de um funcional de "massa de estabilidade", que desempenha um papel análogo à massa da função de Green no problema clássico de Yamabe, mas atua como um termo competidor no quociente de estabilidade. Os autores demonstram que, em baixas dimensões ou configurações localmente conformemente planas, a positividade da massa da função de Green por si só é insuficiente; uma comparação quantitativa (a condição de dominância de massa) é necessária para garantir a estabilidade. Isso refina a compreensão da estabilidade quantitativa em análise geométrica, indo além do problema clássico de Yamabe para a estrutura mais fina da desigualdade de estabilidade.