Connected sum of manifolds with spectral Ricci lower bounds

Resumo Técnico: Soma Conectada de Variedades com Limites Espectrais de Ricci

Enunciado do Problema
O artigo aborda a estabilidade dos limites espectrais de Ricci sob a operação topológica de soma conectada. Especificamente, investiga-se se duas variedades suaves de dimensão $n$ ($n \geq 3$) que admitem uma métrica Riemanniana completa satisfazendo uma condição espectral da forma $\lambda_1(-\gamma\Delta + \text{Ric}) \geq \lambda$ podem ser conectadas para formar uma nova variedade $M \# N$ que também admita uma métrica satisfazendo a mesma condição.

A condição $\lambda_1(-\gamma\Delta + \text{Ric}) \geq \lambda$ é definida pela existência de uma função positiva $u$ tal que $-\gamma\Delta u + \text{Ric} \cdot u \geq \lambda u$, ou equivalentemente, pela validade da desigualdade $\int_M (\gamma|\nabla \phi|^2 + \text{Ric} \cdot \phi^2) \geq \lambda \int_M \phi^2$ para todas as funções $C^1$ de suporte compacto. Esta é uma condição espectral global sobre a curvatura de Ricci, que é geralmente mais fraca do que limites inferiores pontuais.

Um limiar crítico para o parâmetro $\gamma$ é identificado como $\frac{n-1}{n-2}$. Trabalhos anteriores (notadamente Bour–Carron [4]) estabeleceram limites de volume e de números de Betti para variedades onde $\gamma \leq \frac{n-1}{n-2}$. No entanto, no intervalo "supercrítico" $\gamma > \frac{n-1}{n-2}$, contraexemplos para esses limites existem (por exemplo, via produtos de guerra em $S^{n-1} \times S^1$). Os autores visam demonstrar que o comportamento geométrico e topológico das variedades neste intervalo supercrítico difere significativamente, provando que a condição espectral é preservada sob somas conectadas quando $\gamma > \frac{n-1}{n-2}$.

Metodologia
A prova emprega uma construção geométrica análoga às técnicas de Gromov–Lawson e Schoen–Yau utilizadas para a curvatura escalar, mas adaptada para a condição espectral de Ricci. A estratégia central envolve:

1. Construção de Modelo Local: Os autores utilizam um "modelo de brinquedo" inspirado por Bour–Carron [4], envolvendo uma métrica de produto de guerra $dr^2 + f(r)^2 g_{S^{n-1}}$ e uma função específica $u = f(r)^{2-n}$. Eles observam que, para qualquer função de guerra convexa $f$, este par satisfaz uma identidade diferencial específica. Ao escolher $f(r) \approx |r|$ para $|r|$ grande, constroem uma métrica local em $\mathbb{R}^n \# \mathbb{R}^n$ que satisfaz a condição espectral com $\lambda=0$.

2. Globalização via Funções de Green: Para estender este modelo local a uma variedade geral $M$, os autores removem duas pequenas bolas $B(x_1, \epsilon)$ e $B(x_2, \epsilon)$ e inserem um "túnel" $S^{n-1} \times [0, 1]$.

   • Em vez de apenas fundir métricas, eles devem fundir as autofunções associadas.
   • Os autores observam que, próximo à singularidade, a função do modelo comporta-se como $r^{2-n}$, o que corresponde à função de Green do Laplaciano.
   • Consequentemente, resolvem a equação $-\gamma\Delta u + \text{Ric} \cdot u = (\lambda - \epsilon)u + (\delta_{x_1} + \delta_{x_2})$ na variedade original $M$ para obter uma função de Green $u$ com polos em $x_1$ e $x_2$.
   • A nova autofunção $\hat{u}$ na soma conectada é construída interpolando suavemente entre a solução $u$ na variedade original e a solução do modelo $f^{2-n}$ dentro do túnel.

3. Estimativas Analíticas: A prova depende de estimativas assintóticas precisas da métrica e da função de Green perto dos polos (Lema 1, Lema 7, Lema 8). Os autores definem uma função de corte para misturar a métrica original $g$ com a métrica de produto de guerra na região do túnel. Eles então computam a curvatura de Ricci e o Laplaciano da nova autofunção em duas regiões:

   • Região I (Próximo à variedade original): Onde a métrica é próxima da original.
   • Região II (O centro do túnel): Onde a métrica é o produto de guerra.
     O passo crucial envolve mostrar que o termo $\gamma(n-2) - (n-1)$, que surge da interação dos termos do Laplaciano e de Ricci, é positivo. Esta positividade é garantida apenas se $\gamma > \frac{n-1}{n-2}$.

Principais Contribuições e Resultados
O resultado principal é o Teorema 1, que afirma:
Seja $n \geq 3$, $\gamma > \frac{n-1}{n-2}$ e $\lambda \in \mathbb{R}$. Se $(M, g)$ é uma variedade completa satisfazendo $\lambda_1(-\gamma\Delta + \text{Ric}) \geq \lambda$, então para quaisquer dois pontos $x_1, x_2 \in M$, existe uma variedade completa $M'$ (topologicamente $M$ com um túnel conectando $x_1$ e $x_2$) e uma métrica $g'$ tal que:

1. $g'$ coincide com $g$ fora de pequenas vizinhanças de $x_1$ e $x_2$.
2. $M'$ satisfaz $\lambda_1(-\gamma\Delta_{g'} + \text{Ric}_{g'}) \geq \lambda - \epsilon$ para qualquer $\epsilon > 0$.

Corolários:

• Corolário 1: A soma conectada $M_1 \# M_2$ de duas tais variedades admite uma métrica completa satisfazendo o mesmo limite espectral inferior.
• Corolário 2: A soma conectada $M \# (S^{n-1} \times S^1)$ admite tal métrica.
• Nitidez do Limiar: Os autores demonstram que a condição $\gamma > \frac{n-1}{n-2}$ é nítida. No intervalo $\gamma \leq \frac{n-1}{n-2}$, a operação de soma conectada violaria obstruções topológicas conhecidas (como o limite do número de Betti $b_1(M) \leq n$ de Bour–Carron [4]). Especificamente, a construção implica que, para $\gamma > \frac{n-1}{n-2}$, é possível construir variedades com números de Betti de primeira ordem arbitrariamente grandes (ex: $\#_k(S^{n-1} \times S^1)$) satisfazendo $\lambda_1(-\gamma\Delta + \text{Ric}) > 0$, mostrando assim que o limite do número de Betti falha neste intervalo.

Significado
O artigo fornece evidências adicionais de que o limite espectral de Ricci sofre uma transição qualitativa no valor crítico $\gamma = \frac{n-1}{n-2}$.

• Abaixo do limiar ($\gamma \leq \frac{n-1}{n-2}$): A condição impõe fortes restrições topológicas (limites de volume, limites de números de Betti).
• Acima do limiar ($\gamma > \frac{n-1}{n-2}$): A condição é flexível o suficiente para permitir operações topológicas como somas conectadas, que tipicamente aumentam a complexidade topológica (ex: aumentando $b_1$).

Os autores observam que sua construção é tecnicamente distinta da clássica cirurgia de Gromov–Lawson para curvatura escalar. No caso da curvatura escalar, o fator de guerra deve satisfazer uma desigualdade diferencial específica. Em contraste, para a condição de Ricci espectral no intervalo supercrítico, o fator de guerra $f$ pode ser qualquer função convexa, desde que satisfaça certas condições de contorno. Isso sugere um maior grau de liberdade na construção de métricas com limites espectrais de Ricci comparado a limites pontuais ou limites de curvatura escalar.

O artigo conclui observando que o resultado cobre o caso de codimensão $k=n$ de cirurgia, e levanta a questão de se uma estabilidade semelhante se mantém para cirurgias de codimensão $k$ onde $2 < k < n$, desde que $\gamma > \frac{k-1}{k-2}$.