Rigidity and flexibility under spectral Ricci lower bounds and mean-convex boundary

Resumo Técnico: Rigidez e Flexibilidade Sob Limites Espectrais de Ricci Inferiores e Condição de Fronteira Mean-Convexa

Declaração do Problema
Este artigo investiga a rigidez geométrica e topológica de variedades riemannianas $(M^n, g)$ com fronteira não vazia $\partial M$, sujeitas a limites espectrais inferiores na curvatura de Ricci e condições de fronteira mean-convexa. A indagação central aborda um análogo de fronteira da "Questão 1" apresentada na introdução: determinar o limiar agudo $\gamma(n)$ tal que, se uma variedade compacta admite uma métrica satisfazendo a condição espectral $\lambda_1(-\gamma \Delta + \text{Ric}) \ge 0$ (e potencialmente uma condição de fronteira), ela deve também admitir uma métrica com curvatura seccional estritamente positiva e fronteira estritamente mean-convexa.

A condição espectral é definida pela existência de uma função positiva $u \in C^{2,\alpha}(M)$ tal que $-\gamma \Delta u + u \text{Ric} \ge 0$ em $M$ e $H_{\partial M} + \gamma u^{-1}\langle \nabla u, \nu \rangle \ge 0$ em $\partial M$, onde $H_{\partial M}$ é a curvatura média em relação à normal unitária exterior $\nu$. Os autores buscam estender teoremas clássicos de rigidez (especificamente o teorema de divisão de Kasue para $\text{Ric} \ge 0$) para este cenário espectral e determinar a faixa ótima de $\gamma$ para a qual tais restrições de rigidez ou topológicas se mantêm.

Metodologia
Os autores empregam uma abordagem variacional centrada em geodésicas ponderadas. Diferentemente de trabalhos recentes que utilizam $\mu$-bolhas (que envolvem superfícies mínimas de dimensões superiores), este artigo utiliza minimizadores unidimensionais do funcional:
$$E(\beta) := \int_\beta u^\gamma d\ell_g$$
onde $d\ell_g$ é o elemento de comprimento riemanniano. Esta escolha permite aos autores evitar questões de regularidade associadas a hipersuperfícies mínimas de dimensões superiores em contextos não compactos.

O maquinário técnico central envolve:

1. Fórmulas de Primeira e Segunda Variação: Cálculos detalhados são realizados para o funcional $E(\beta)$ ao longo de curvas conectando componentes de fronteira disjuntas. Estes produzem desigualdades de estabilidade envolvendo a curvatura de Ricci, o Hessiano de $u$ e termos de curvatura média de fronteira.
2. Desigualdades de Estabilidade (Lemmas 1 e 2): Ao testar a segunda variação com funções de corte específicas e utilizar um quadro ponderado, os autores derivam desigualdades integrais que restringem a geometria das curvas minimizantes.
3. Captura de Geodésicas e Compacidade (Lema 3 e Proposição 4): Uma contribuição técnica crítica é a prova de que sequências minimizantes para $E(\beta)$ conectando uma componente de fronteira compacta ao restante da fronteira não podem "escapar para o infinito" no caso não compacto, desde que $\gamma$ esteja dentro de uma faixa aguda específica. Isso é alcançado construindo uma contradição usando funções de corte e a desigualdade de estabilidade, garantindo a existência de minimizantes globais.
4. Argumentos Topológicos: O artigo combina os resultados de rigidez geométrica com um teorema profundo de Lawson e Michelsohn sobre a existência de métricas com curvatura seccional positiva.

Principais Contribuições e Resultados

1. Rigidez Espectral Aguda (Teorema 1)
Os autores provam uma extensão aguda do teorema de rigidez de Kasue. Se $(M^n, g)$ é uma variedade completa com fronteira desconexa (pelo menos uma componente compacta) satisfazendo as condições espectrais com:

• $0 \le \gamma < 4$ para $n=2$,
• $0 \le \gamma < \frac{n-1}{n-2}$ para $n \ge 3$,
  então a variedade se divide isometricamente como um produto $[0, L] \times \Sigma$, onde $\Sigma$ é uma variedade compacta com $\text{Ric}_\Sigma \ge 0$.
• Acutidade: Os autores fornecem contraexemplos (Proposições 2 e 3) demonstrando que, se $\gamma$ exceder esses limiares, a conclusão de divisão falha. Especificamente, para $\gamma = \frac{n-1}{n-2}$, a variedade pode falhar em se dividir, e para $\gamma > \frac{n-1}{n-2}$, as conclusões topológicas falham.

2. Rigidez Topológica (Teorema 2)
O artigo estabelece que, sob as mesmas condições espectrais (com o limiar estendido para incluir a igualdade para $n \ge 3$, ou seja, $0 \le \gamma \le \frac{n-1}{n-2}$), se pelo menos uma desigualdade for estrita, o grupo fundamental relativo desaparece: $\pi_1(M, \partial M) = 0$. Isso implica que a fronteira é conexa e a inclusão $\partial M \hookrightarrow M$ induz uma sobrejeção nos grupos fundamentais.

• Significado: Isso generaliza resultados conhecidos para $\text{Ric} \ge 0$ para o cenário espectral. Os autores observam que a compacidade da própria variedade não é necessária; apenas uma componente de fronteira deve ser compacta.

3. Existência de Métricas de Curvatura Positiva (Teorema 3)
Combinando o Teorema 2 com o teorema de Lawson–Michelsohn, os autores provam que, para $n \neq 4$, qualquer variedade compacta com fronteira satisfazendo as condições espectrais (com pelo menos uma desigualdade estrita) admite uma métrica com curvatura seccional positiva e fronteira estritamente mean-convexa.

• Acutidade: A faixa de $\gamma$ é mostrada como aguda via Proposição 1, que constrói variedades com $\lambda_1(-\gamma \Delta + \text{Ric}) > 0$ que não admitem tais métricas quando $\gamma > \frac{n-1}{n-2}$.
• Restrição Dimensional: O resultado vale para $n \neq 4$. Os autores afirmam explicitamente que o caso $n=4$ permanece em aberto devido ao status não resolvido de uma proposição específica no trabalho de Lawson–Michelsohn referente a 4-células falsas.

4. Corolário 1 (Rigidez Unificada)
Este resultado sintetiza os teoremas anteriores, afirmando que, para a faixa aguda de $\gamma$, uma variedade satisfazendo as condições espectrais deve ou se dividir isometricamente (se a fronteira for desconexa) ou ter um grupo fundamental relativo trivial (se a fronteira for conexa).

Significado e Alegações
O artigo alega resolver o análogo de fronteira agudo da Questão 1 para dimensões $n \neq 4$. Os autores enfatizam que seu uso de minimizantes de comprimento ponderado (objetos unidimensionais) em vez de $\mu$-bolhas é uma vantagem metodológica distinta, particularmente no manuseio de variedades não compactas e na evitação de questões de regularidade de dimensões superiores.

Os autores são modestos quanto ao escopo de seu trabalho:

• Eles reconhecem que a Questão 1 permanece amplamente em aberto para $n \ge 5$ no caso compacto geral, sem suposições de fronteira.
• Eles notam que a suposição de compacidade no Teorema 1 (Item 2) pode ser removível para $n=2,3$, mas isso é deixado para trabalhos futuros.
• Eles afirmam explicitamente que o caso $n=4$ é um problema em aberto devido a restrições externas no teorema de Lawson–Michelsohn.
• Eles não propõem novas aplicações ou propostas experimentais, mas enquadram seu trabalho como um avanço teórico na análise geométrica, conectando especificamente a geometria espectral à rigidez topológica e limites de curvatura.

O artigo conclui fornecendo resultados do Apêndice (Proposição 5 e Observação 6) que oferecem generalizações espectrais de estimativas de raio inercial e diâmetro do tipo Bonnet–Myers, mostrando ligeiras melhorias na dependência da oscilação dos limites em comparação com a literatura anterior.