Dimension of polynomial growth harmonic functions on locally conformally flat manifolds with nonnegative Ricci curvature

Resumo Técnico: Dimensão de Funções Harmônicas de Crescimento Polinomial em Variedades Localmente Conformais Planas

Enunciado do Problema
O artigo aborda duas questões fundamentais levantadas por S.-T. Yau sobre o espaço $H_d(M)$ das funções harmônicas com crescimento polinomial de grau no máximo $d$ em uma variedade Riemanniana completa $(M, g)$ com curvatura de Ricci não negativa ($\text{Ric} \ge 0$).

1. Dimensionalidade Finita: $\dim H_d(M) < \infty$? (Confirmado por Colding e Minicozzi).
2. Comparação Euclidiana Estrita: $\dim H_d(M) \le \dim H_d(\mathbb{R}^n)$?

Embora a dimensionalidade finita esteja estabelecida, a comparação euclidiana estrita (Questão 2) permanece em aberto para variedades gerais de curvatura não negativa. Contraexemplos de Donnelly mostram que a desigualdade falha para graus não inteiros $d \in (1, 2)$ em dimensões $n \ge 5$. O artigo investiga se a desigualdade se mantém para graus inteiros $d$ sob a restrição geométrica específica de que $(M, g)$ é localmente conformemente plana (LCF).

Metodologia
Os autores empregam uma combinação de análise geométrica, teoria do potencial e análise assintótica de fatores conformais. A metodologia é estruturada da seguinte forma:

1. Classificação e Redução:
   Utilizando teoremas de classificação de Zhu e Carron–Herzlich, os autores reduzem o problema a quatro casos para variedades LCF completas e conexas com $\text{Ric} \ge 0$:

   • Globalmente conformemente equivalente a $\mathbb{R}^n$ (não plana).
   • Globalmente conformemente equivalente a uma forma espacial esférica.
   • Localmente isométrica ao cilindro redondo $\mathbb{R} \times S^{n-1}$.
   • Variedades planas.
     O esforço técnico central foca no primeiro caso: $(M, g) = (\mathbb{R}^n, e^{2f}g_0)$ com $\text{Ric} \ge 0$.

2. Análise Assintótica do Fator Conformal:
   A análise baseia-se fortemente no trabalho de Ma e Qing sobre o comportamento assintótico do fator conformal $f$ (onde $g = e^{2f}g_0$).

   • Eles utilizam a existência de um expoente assintótico $m \in [0, 1]$ tal que $\liminf_{x\to\infty} \frac{f(x)}{\ln|x|} = -m$.
   • Estabelecem uma relação refinada entre a distância intrínseca $r(x)$ e a distância euclidiana $|x|$: $\lim_{x\to\infty} \frac{\ln r(x)}{\ln |x|} = 1 - m$.
   • Relacionam a razão de volume assintótica $\beta$ ao expoente $m$ via $\beta = (1-m)^{n-1}$.

3. Comparação de Distância e Tradução de Crescimento:
   Os autores provam que o crescimento polinomial intrínseco em $(M, g)$ se traduz em uma taxa de crescimento específica em relação à métrica euclidiana. Se $h \in H_d(M)$, então $|h(x)| \le C(1 + |x|)^{d(1-m+\epsilon)}$ para $|x|$ grande.

4. G-Convergência Ponderada e Blow-Down:
   Uma ferramenta técnica central é o desenvolvimento de um arcabouço de G-convergência ponderada.

   • Os autores definem métricas escalonadas e pesos $P_R, Q_R$ derivados do fator conformal.
   • Eles provam um teorema de compacidade (Teorema 4.2) mostrando que sequências de funções harmônicas escalonadas convergem para funções harmônicas em uma métrica de cone limite $(\mathbb{R}^n, |y|^{-2m}g_0)$.
   • Este operador limite é o operador de Laplace-Beltrami em um cone com um fator de deformação (warping factor) específico.

5. Análise Espectral no Cone Limite:
   Os autores analisam o espectro do operador do cone limite. Eles determinam as taxas de crescimento homogêneo $\sigma_\ell$ de funções harmônicas no cone, que satisfazem uma equação quadrática envolvendo o parâmetro $a = 1-m$.

   • Estabelecem uma "propagação de um passo uniforme" (Proposição 5.4) usando a log-convexidade da massa $L^2$ ponderada no cone.
   • Essa propagação permite limitar a dimensão do espaço de funções harmônicas na variedade original pelo dimensão do espaço de funções harmônicas no cone com crescimento estritamente menor que o próximo hiato espectral (spectral gap).

Principais Resultados

• Teorema Principal: Para uma variedade localmente conformemente plana completa e não compacta $(M^n, g)$ ($n \ge 3$), com $\text{Ric} \ge 0$, e para qualquer inteiro fixo $d \ge 0$:
  $$\dim H_d(M) \le \dim H_d(\mathbb{R}^n).$$
  Além disso, se a igualdade ocorrer para algum inteiro $d \ge 1$, então $(M, g)$ é isométrico ao espaço euclidiano $\mathbb{R}^n$.

• Caso $\beta = 0$ (Razão de Volume Assintótica Nula):
  Se a razão de volume assintótica $\beta = 0$, então $H_d(M) = \mathbb{R}$ (apenas funções constantes) para qualquer $d$ finito. Isso é provado usando o critério de Carron sobre o crescimento do diâmetro das esferas geodésicas e análise de ODE de modos radiais.

• Caso $\beta > 0$ (Crescimento de Volume Euclidiano):
  Se $\beta \in (0, 1)$, os autores provam a desigualdade mais estrita:
  $$\dim H_d(M) \le \dim H_{d-1}(\mathbb{R}^n) < \dim H_d(\mathbb{R}^n).$$
  Esta desigualdade estrita surge porque o cone limite possui um espectro de crescimento "mais lento" do que o espaço euclidiano devido ao parâmetro $m > 0$.

• Rigidez:
  A igualdade $\dim H_d(M) = \dim H_d(\mathbb{R}^n)$ para um inteiro $d \ge 1$ força $m=0$, implicando $\beta=1$ e que a variedade é isométrica ao espaço euclidiano $\mathbb{R}^n$.

• Graus Não Inteiros (Observação 6.3):
  O artigo nota que o limite euclidiano estrito também se aplica para graus não inteiros ($\dim H_d(M) \le \dim H_d(\mathbb{R}^n)$), mas a afirmação de rigidez falha. Eles constroem exemplos de variedades LCF não planas onde $\dim H_p(M) = \dim H_p(\mathbb{R}^n)$ para $p$ não inteiro $p \in (1, 2)$.

Significância e Alegações
O artigo fornece uma resposta afirmativa à segunda questão de Yau (comparação euclidiana estrita) especificamente para a classe de variedades localmente conformemente planas com curvatura de Ricci não negativa.

• Extensão de Li-Tam: O trabalho é apresentado como uma extensão dos resultados de Li e Tam sobre superfícies com curvatura total finita para dimensões superiores dentro da categoria LCF.
• Resolução do Caso Inteiro: Resolve a questão aberta de se o limite euclidiano se mantém para graus inteiros na presença de curvatura não negativa, um caso onde existem contraexemplos gerais para graus não inteiros.
• Contribuição Metodológica: O artigo introduz um arcabouço robusto de G-convergência ponderada e análise de blow-down adaptado para métricas conformais com curvatura de Ricci não negativa, ligando a geometria assintótica da variedade (via o expoente do fator conformal) diretamente às propriedades espectrais das funções harmônicas.

Os autores não pretendem resolver o problema para variedades gerais com curvatura de Ricci não negativa, mas sim estabelecer o resultado sob a forte suposição estrutural de conformidade plana local, aproveitando as propriedades de classificação e assintóticas específicas disponíveis nesse cenário.