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

Resumo Técnico: Novos Teoremas de Bishop–Gromov e Bonnet–Myers Espectrais e Aplicações à Isoperimetria

Enunciado do Problema
O artigo aborda a generalização dos clássicos teoremas de comparação em geometria Riemanniana — especificamente o teorema de comparação de volume de Bishop–Gromov e o teorema de diâmetro de Bonnet–Myers — para um cenário espectral. Os teoremas clássicos baseiam-se em limites inferiores pontuais da curvatura de Ricci ($\text{Ric} \geq (n-1)\lambda$). Este trabalho investiga se limites semelhantes de volume e diâmetro podem ser estabelecidos quando a condição de curvatura é substituída por uma condição espectral envolvendo o operador $-\gamma\Delta + \text{Ric}$, onde $\gamma \geq 0$.

O problema central é determinar o intervalo agudo do parâmetro $\gamma$ para o qual estas condições espectrais implicam:

1. Finitude do grupo fundamental $\pi_1(M)$.
2. Limites superiores no diâmetro da cobertura universal $\tilde{M}$.
3. Limites superiores no volume de $M$ (ou $\tilde{M}$).
4. Controle isoperimétrico agudo no infinito para variedades completas com curvatura de Ricci não negativa e limites de bi-Ricci espectral.

Metodologia
Os autores empregam uma combinação de teoria geométrica da medida, análise espectral e métodos variacionais. As principais inovações técnicas incluem:

1. Perfis Isoperimétricos com Pesos Desiguais:
   Ao contrário de generalizações espectrais anteriores (por exemplo, em dimensão 3) que utilizavam perfis com pesos iguais, os autores introduzem um perfil com pesos desiguais para os termos de área e volume. Para uma função positiva $u$ que satisfaz a condição espectral, eles definem:
   $$I(v) := \inf \left\{ \int_{\partial^* E} u^\gamma : E \subset \subset M, \int_E u^{\frac{2\gamma}{n-1}} = v \right\}$$
   Este peso específico permite a derivação de uma desigualdade diferencial aguda para o perfil isoperimétrico:
   $$I''I \leq -\frac{(I')^2}{n-1} - (n-1)\lambda$$
   Esta desigualdade é válida no sentido de viscosidade e coincide com a desigualdade aguda conhecida para o caso de curvatura constante, permitindo um limite de volume agudo via comparação de ODE.

2. $\mu$-Bolhas com Warping Desigual:
   Para estabelecer limites de diâmetro, os autores utilizam a técnica de $\mu$-bolhas (originalmente de Gromov). Eles definem um funcional com um potencial de warping desigual:
   $$E(\Omega) = \int_{\partial^* \Omega} u^\gamma - \int_{\Omega} h u^{\frac{2\gamma}{n-1}}$$
   Ao escolher cuidadosamente a função de warping $h$ para satisfazer uma desigualdade diferencial específica envolvendo $\nabla h$, $u$ e $\gamma$, eles derivam uma contradição se o diâmetro for excessivamente grande. Esta abordagem estende o limite de diâmetro para todo o intervalo de $\gamma$ onde a condição espectral é significativa.

3. Estabilidade e Regularidade:
   As provas envolvem a análise da segunda variação do funcional de energia. Um obstáculo técnico significativo é a potencial formação de singularidades em hipersuperfícies minimizantes para dimensões $n \geq 8$. Os autores adaptam argumentos da literatura (especificamente [7, 11]) para mostrar que as desigualdades de estabilidade mantêm-se para variações suportadas longe do conjunto singular, estendendo assim os seus resultados para todas as dimensões $n \geq 3$.

Principais Contribuições e Resultados

1. Teoremas Espectrais de Bishop–Gromov e Bonnet–Myers (Teorema 1 & Corolário 1)
O artigo estabelece uma generalização aguda dos teoremas clássicos. Seja $(M, g)$ uma variedade Riemanniana fechada de dimensão $n \geq 3$. Se existir uma função suave positiva $u$ tal que:
$$\gamma \Delta u \leq u \text{Ric} - (n-1)\lambda u$$
com $0 \leq \gamma \leq \frac{n-1}{n-2}$ e $\lambda > 0$, então:

• Limite de Diâmetro: O diâmetro da cobertura universal $\tilde{M}$ é limitado por:
  $$\text{diam}(\tilde{M}) \leq \frac{\pi}{\sqrt{\lambda}} \left( \frac{\max(u)}{\min(u)} \right)^{\frac{n-3}{n-1}\gamma}$$
  Consequentemente, $\pi_1(M)$ é finito.
• Limite de Volume: O volume da cobertura universal satisfaz:
  $$\text{vol}(\tilde{M}) \leq \lambda^{-n/2} \text{vol}(S^n)$$
• Rigidez: Se a igualdade ocorrer no limite de volume, então $u$ é constante e $\tilde{M}$ é isométrico à esfera redonda de raio $\lambda^{-1/2}$.

Os autores provam que o intervalo $\gamma \leq \frac{n-1}{n-2}$ é agudo; para $\gamma > \frac{n-1}{n-2}$, existem contraexemplos (ex: em $S^1 \times S^{n-1}$) onde a condição espectral é satisfeita, mas os limites de volume e diâmetro falham.

2. Solução do Problema de Bernstein Estável (Teorema 2)
Como aplicação direta, os autores resolvem o problema de Bernstein estável em $\mathbb{R}^6$. Eles provam que qualquer hipersuperfície mínima imersa, completa, conexa e de dois lados $M^n \hookrightarrow \mathbb{R}^{n+1}$ para $2 \leq n \leq 5$ é um hiperplano euclidiano. Este resultado baseia-se na condição espectral derivada do operador de estabilidade e no intervalo agudo de $\gamma$ estabelecido no Teorema 1. O caso $n=6$ permanece em aberto.

3. Isoperimetria no Infinito (Teorema 3)
Para variedades não compactas completas com $3 \leq n \leq 5$, $\text{Ric} \geq 0$, e uma condição de bi-Ricci espectral $\lambda_1(-\gamma\Delta + \text{biRic}) \geq n-2$ fora de um conjunto compacto, o artigo prova:

• Crescimento de Volume Linear: A variedade possui crescimento de volume linear.
• Perfil Isoperimétrico Agudo: O perfil isoperimétrico $I_M(v)$ satisfaz $I_M(v) \leq \text{vol}(S^{n-1})$ para todo $v > 0$.
• Rigidez: A igualdade para algum $v$ implica que a variedade é isométrica a um cilindro $S^{n-1} \times [0, \infty)$ fora de um conjunto limitado.

Significado e Alegações
Os autores alegam que a principal novidade reside na introdução do perfil isoperimétrico com pesos desiguais e das $\mu$-bolhas com warping desigual. Estas ferramentas permitem recuperar constantes agudas e estender os resultados para todo o intervalo de $\gamma$ onde a condição espectral é válida, superando as limitações de métodos anteriores que exigiam limites mais estritos para $\gamma$ (por exemplo, $\gamma < \frac{4}{n-1}$) ou que produziam limites de volume não agudos.

O artigo enfatiza que o intervalo $\gamma \leq \frac{n-1}{n-2}$ é ótimo para a finitude de $\pi_1(M)$ e limites de volume, um facto demonstrado por contraexemplos explícitos para $\gamma$ supercrítico. Além disso, o trabalho unifica e estende resultados anteriores sobre o problema de Bernstein estável e estruturas isoperimétricas em variedades com curvatura de Ricci não negativa, fornecendo um quadro espectral unificado para estes problemas geométricos. Os resultados são apresentados como aplicáveis a todas as dimensões $n \geq 3$, com tratamento específico para o caso singular $n \geq 8$.