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

Resumen Técnico: Dimensión de las Funciones Armónicas de Crecimiento Polinómico en Variedades Localmente Conformemente Planas

Planteamiento del Problema
El artículo aborda dos preguntas fundamentales planteadas por S.-T. Yau con respecto al espacio $H_d(M)$ de funciones armónicas con crecimiento polinómico de grado como máximo $d$ en una variedad riemanniana completa $(M, g)$ con curvatura de Ricci no negativa ($\text{Ric} \ge 0$):

1. Finitud de la Dimensión: ¿Es $\dim H_d(M) < \infty$? (Confirmado por Colding y Minicozzi).
2. Comparación Euclídea Aguda: ¿Es $\dim H_d(M) \le \dim H_d(\mathbb{R}^n)$?
   Si bien la finitud de la dimensión está establecida, la comparación euclídea aguda (Pregunta 2) sigue abierta para variedades generales de curvatura no negativa. Los contraejemplos de Donnelly muestran que la desigualdad falla para grados no enteros $d \in (1, 2)$ en dimensiones $n \ge 5$. El artículo investiga si la desigualdad se cumple para grados enteros $d$ bajo la restricción geométrica específica de que $(M, g)$ sea localmente conformemente plana (LCF).

Metodología
Los autores emplean una combinación de análisis geométrico, teoría de potencial y análisis asintótico de factores conformes. La metodología se estructura de la siguiente manera:

1. Clasificación y Reducción:
   Utilizando los teoremas de clasificación de Zhu y Carron–Herzlich, los autores reducen el problema a cuatro casos para variedades LCF completas y conexas con $\text{Ric} \ge 0$:

   • Globalmente equivalente conforme a $\mathbb{R}^n$ (no plana).
   • Globalmente equivalente conforme a una forma espacial esférica.
   • Localmente isométrica al cilindro redondo $\mathbb{R} \times S^{n-1}$.
   • Variedades planas.
     El esfuerzo técnico central se centra en el primer caso: $(M, g) = (\mathbb{R}^n, e^{2f}g_0)$ con $\text{Ric} \ge 0$.

2. Análisis Asintótico del Factor Conforme:
   El análisis depende fuertemente del trabajo de Ma y Qing sobre el comportamiento asintótico del factor conforme $f$ (donde $g = e^{2f}g_0$).

   • Utilizan la existencia de un exponente asintótico $m \in [0, 1]$ tal que $\liminf_{x\to\infty} \frac{f(x)}{\ln|x|} = -m$.
   • Establecen una relación refinada entre la distancia intrínseca $r(x)$ y la distancia euclídea $|x|$: $\lim_{x\to\infty} \frac{\ln r(x)}{\ln |x|} = 1 - m$.
   • Relacionan la razón de volumen asintótico $\beta$ con el exponente $m$ mediante $\beta = (1-m)^{n-1}$.

3. Comparación de Distancias y Traducción de Crecimiento:
   Los autores demuestran que el crecimiento polinómico intrínseco en $(M, g)$ se traduce en una tasa de crecimiento específica con respecto a la métrica euclídea. Si $h \in H_d(M)$, entonces $|h(x)| \le C(1 + |x|)^{d(1-m+\epsilon)}$ para $|x|$ grande.

4. G-convergencia Ponderada y Blow-Down:
   Una herramienta técnica central es el desarrollo de un marco de G-convergencia ponderada.

   • Los autores definen métricas reescaladas y pesos $P_R, Q_R$ derivados del factor conforme.
   • Demuestran un teorema de compacidad (Teorema 4.2) mostrando que las secuencias de funciones armónicas reescaladas convergen a funciones armónicas en un cono métrico límite $(\mathbb{R}^n, |y|^{-2m}g_0)$.
   • Este operador límite es el operador de Laplace-Beltrami en un cono con un factor de deformación (warping factor) específico.

5. Análisis Espectral en el Cono Límite:
   Los autores analizan el espectro del operador del cono límite. Determinan las tasas de crecimiento homogéneo $\sigma_\ell$ de las funciones armónicas en el cono, las cuales satisfacen una ecuación cuadrática que involucra al parámetro $a = 1-m$.

   • Establecen una "propagación uniforme de un solo paso" (Proposición 5.4) utilizando la log-convexidad de la masa $L^2$ ponderada en el cono.
   • Esta propagación permite acotar la dimensión del espacio de funciones armónicas en la variedad original por la dimensión del espacio de funciones armónicas en el cono con un crecimiento estrictamente menor que la siguiente brecha espectral (spectral gap).

Resultados Clave

• Teorema Principal: Para una variedad localmente conformemente plana completa no compacta $(M^n, g)$ ($n \ge 3$) con $\text{Ric} \ge 0$, y para cualquier entero fijo $d \ge 0$:
  $$\dim H_d(M) \le \dim H_d(\mathbb{R}^n).$$
  Además, si la igualdad se cumple para algún entero $d \ge 1$, entonces $(M, g)$ es isométrica al espacio euclídeo $\mathbb{R}^n$.

• Caso $\beta = 0$ (Razón de Volumen Asintótico Nula):
  Si la razón de volumen asintótico $\beta = 0$, entonces $H_d(M) = \mathbb{R}$ (solo funciones constantes) para cualquier $d$ finito. Esto se demuestra utilizando el criterio de Carron sobre el crecimiento del diámetro de las esferas geodésicas y el análisis de ODE de los modos radiales.

• Caso $\beta > 0$ (Crecimiento de Volumen Euclídeo):
  Si $\beta \in (0, 1)$, los autores demuestran la cota más aguda:
  $$\dim H_d(M) \le \dim H_{d-1}(\mathbb{R}^n) < \dim H_d(\mathbb{R}^n).$$
  Esta desigualdad estricta surge porque el cono límite tiene un espectro de crecimiento "más lento" que el espacio euclídeo debido al parámetro $m > 0$.

• Rigidez:
  La igualdad $\dim H_d(M) = \dim H_d(\mathbb{R}^n)$ para un entero $d \ge 1$ fuerza a $m=0$, lo que implica $\beta=1$ y que la variedad es isométrica al espacio euclídeo $\mathbb{R}^n$.

• Grados No Enteros (Observación 6.3):
  El artículo señala que la cota euclídea aguda también se cumple para grados no enteros ($\dim H_d(M) \le \dim H_d(\mathbb{R}^n)$), pero la declaración de rigidez falla. Construyen ejemplos de variedades LCF no planas donde $\dim H_p(M) = \dim H_p(\mathbb{R}^n)$ para un no entero $p \in (1, 2)$.

Significado y Pretensiones
El artículo proporciona una respuesta afirmativa a la segunda pregunta de Yau (comparación euclídea aguda) específicamente para la clase de variedades localmente conformemente planas con curvatura de Ricci no negativa.

• Extensión de Li-Tam: El trabajo se presenta como una extensión de los resultados de Li y Tam sobre superficies con curvatura total finita a dimensiones superiores dentro de la categoría LCF.
• Resolución del Caso Entero: Resuelve la cuestión abierta de si la cota euclídea se mantiene para grados enteros en presencia de curvatura no negativa, un caso donde existen contraejemplos generales para grados no enteros.
• Contribución Metodológica: El artículo introduce un marco robusto de G-convergencia ponderada y análisis de blow-down adaptado a métricas conformes con curvatura de Ricci no negativa, vinculando la geometría asintótica de la variedad (a través del exponente del factor conforme) directamente con las propiedades espectrales de las funciones armónicas.

Los autores no pretenden resolver el problema para variedades generales con curvatura de Ricci no negativa, sino que establecen el resultado bajo la fuerte suposición estructural de la conformidad conforme local, aprovechando las propiedades de clasificación y de comportamiento asintótico disponibles en ese entorno.