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

Sintesi Tecnica: Dimensione delle Funzioni Armoniche a Crescita Polinomiale su Manifold Localmente Conformalmente Piatte

Enunciato del Problema
Il saggio affronta due questioni fondamentali poste da S.-T. Yau riguardanti lo spazio $H_d(M)$ delle funzioni armoniche con crescita polinomiale di grado al massimo $d$ su un manifold riemanniano completo $(M, g)$ con curvatura di Ricci non negativa ($\text{Ric} \ge 0$).

1. Finite Dimensionalità: È $\dim H_d(M) < \infty$? (Confermato da Colding e Minicozzi).
2. Confronto Euclideo Sharp: È $\dim H_d(M) \le \dim H_d(\mathbb{R}^n)$?
   Mentre la finitezza è stabilita, il confronto euclideo sharp (Questione 2) rimane aperto per i manifold con curvatura non negativa in generale. I controesempi di Donnelly mostrano che la disuguaglianza fallisce per gradi non interi $d \in (1, 2)$ in dimensioni $n \ge 5$. Il saggio indaga se la disuguaglianza valga per gradi interi $d$ sotto il vincolo geometrico specifico che $(M, g)$ sia localmente conformalmente piatto (LCF).

Metodologia
Gli autori impiegano una combinazione di analisi geometrica, teoria del potenziale e analisi asintotica dei fattori conformi. La metodologia è strutturata come segue:

1. Classificazione e Riduzione:
   Utilizzando i teoremi di classificazione di Zhu e Carron–Herzlich, gli autori riducono il problema a quattro casi per manifold LCF completi e connessi con $\text{Ric} \ge 0$:

   • Globalmente equivalente per via conforme a $\mathbb{R}^n$ (non piatto).
   • Globalmente equivalente a una forma sferica di spazio.
   • Localmente isometrico al cilindro rotondo $\mathbb{R} \times S^{n-1}$.
   • Manifold piatti.
     Lo sforzo tecnico centrale si concentra sul primo caso: $(M, g) = (\mathbb{R}^n, e^{2f}g_0)$ con $\text{Ric} \ge 0$.

2. Analisi Asintotica del Fattore Conforme:
   L'analisi si basa fortemente sul lavoro di Ma e Qing riguardo al comportamento asintotico del fattore conforme $f$ (dove $g = e^{2f}g_0$).

   • Essi utilizzano l'esistenza di un esponente asintotico $m \in [0, 1]$ tale che $\liminf_{x\to\infty} \frac{f(x)}{\ln|x|} = -m$.
   • Stabiliscono una relazione raffinata tra la distanza intrinseca $r(x)$ e la distanza euclidea $|x|$: $\lim_{x\to\infty} \frac{\ln r(x)}{\ln |x|} = 1 - m$.
   • Relazionano il rapporto di volume asintotico $\beta$ all'esponente $m$ tramite $\beta = (1-m)^{n-1}$.

3. Confronto della Distanza e Traslazione della Crescita:
   Gli autori dimostrano che la crescita polinomiale intrinseca su $(M, g)$ si traduce in un tasso di crescita specifico rispetto alla metrica euclidea. Se $h \in H_d(M)$, allora $|h(x)| \le C(1 + |x|)^{d(1-m+\epsilon)}$ per grandi $|x|$.

4. G-Convergenza Pesata e Blow-Down:
   Uno strumento tecnico centrale è lo sviluppo di un framework di G-convergenza pesata.

   • Gli autori definiscono metriche riscalate e pesi $P_R, Q_R$ derivati dal fattore conforme.
   • Dimostrano un teorema di compattezza (Teorema 4.2) mostrando che sequenze di funzioni armoniche riscalate convergono a funzioni armoniche su una metrica conica limite $(\mathbb{R}^n, |y|^{-2m}g_0)$.
   • L'operatore limite è l'operatore di Laplace-Beltrami su un cono con un fattore di warping specifico.

5. Analisi Spettrale sul Cono Limite:
   Gli autori analizzano lo spettro dell'operatore del cono limite. Determinano i tassi di crescita omogenei $\sigma_\ell$ delle funzioni armoniche sul cono, che soddisfano un'equazione quadratica coinvolgente il parametro $a = 1-m$.

   • Stabiliscono una "propagazione a uno step uniforme" (Proposizione 5.4) utilizzando la log-convessità della massa $L^2$ pesata sul cono.
   • Questa propagazione permette di limitare la dimensione dello spazio delle funzioni armoniche sul manifold originale dalla dimensione dello spazio delle funzioni armoniche sul cono con una crescita strettamente inferiore al successivo gap spettrale.

Risultati Chiave

• Teorema Principale: Per un manifold localmente conformalmente piatto completo non compatto $(M^n, g)$ ($n \ge 3$), e per ogni intero fissato $d \ge 0$:
  $$\dim H_d(M) \le \dim H_d(\mathbb{R}^n).$$
  Inoltre, se l'uguaglianza è verificata per qualche intero $d \ge 1$, allora $(M, g)$ è isometrico allo spazio euclideo $\mathbb{R}^n$.

• Caso $\beta = 0$ (Rapporto di Volume Asintotico Vanificante):
  Se il rapporto di volume asintotico $\beta = 0$, allora $H_d(M) = \mathbb{R}$ (solo funzioni costanti) per ogni $d$ finito. Ciò è dimostrato usando il criterio di Carron sulla crescita del diametro delle sfere geodesiche e l'analisi ODE dei modi radiali.

• Caso $\beta > 0$ (Crescita di Volume Euclidea):
  Se $\beta \in (0, 1)$, gli autori dimostrano il limite più stretto:
  $$\dim H_d(M) \le \dim H_{d-1}(\mathbb{R}^n) < \dim H_d(\mathbb{R}^n).$$
  Questa stretta disuguaglianza deriva dal fatto che il cono limite ha uno spettro di crescita "più lento" rispetto allo spazio euclideo a causa del parametro $m > 0$.

• Rigidità:
  L'uguaglianza $\dim H_d(M) = \dim H_d(\mathbb{R}^n)$ per un intero $d \ge 1$ impone $m=0$, implicando $\beta=1$ e che il manifold sia isometrico allo spazio euclideo $\mathbb{R}^n$.

• Gradi Non Interi (Rimarca 6.3):
  Il saggio nota che il limite euclideo sharp vale anche per gradi non interi $d$ ($\dim H_d(M) \le \dim H_d(\mathbb{R}^n)$), ma l'enunciato di rigidità fallisce. Gli autori costruiscono esempi di manifold LCF non piatti dove $\dim H_p(M) = \dim H_p(\mathbb{R}^n)$ per non interi $p \in (1, 2)$.

Significato e Rivendicazioni
Il saggio fornisce una risposta affermativa alla seconda questione di Yau (confronto euclideo sharp) specificamente per la classe dei manifold localmente conformalmente piatti con curvatura di Ricci non negativa.

• Estensione di Li-Tam: Il lavoro è presentato come un'estensione dei risultati di Li e Tam su superfici con curvatura totale finita a dimensioni superiori all'interno della categoria LCF.
• Risoluzione del Caso Intero: Risolve la questione aperta se il limite euclideo valga per gradi interi in presenza di curvatura non negativa, un caso in cui esistono controesempi generali per gradi non interi.
• Contributo Metodologico: Il saggio introduce un robusto framework di G-convergenza pesata e analisi di blow-down adattata a metriche conformi con curvatura di Ricci non negativa, collegando direttamente la geometria asintotica del manifold (tramite l'esponente del fattore conforme) alle proprietà spettrali delle funzioni armoniche.

Gli autori non pretendono di aver risolto il problema per tutti i manifold con curvatura di Ricci non negativa, ma stabiliscono il risultato sotto la forte ipotesi strutturale di compattezza conformale locale, sfruttando la specifica classificazione e le proprietà asintotiche disponibili in tale contesto.