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

Technische Samenvatting: Dimensie van Harmonische Functies met Polynomiale Groei op Lokaal Conformeel Platte Manifolds

Probleemstelling
Het artikel behandelt twee fundamentele vragen die door S.-T. Yau zijn opgeworpen over de ruimte $H_d(M)$ van harmonische functies met een polynomiale groei van graad ten hoogste $d$ op een volledige Riemanniaanse manifold $(M, g)$ met niet-negatieve Ricci-kromming ($\text{Ric} \ge 0$).

1. Eindigheid van de dimensie: Is $\dim H_d(M) < \infty$? (Bevestigd door Colding en Minicozzi).
2. Scherpe Euclidische Vergelijking: Is $\dim H_d(M) \le \dim H_d(\mathbb{R}^n)$?

Hoewel de eindigheid van de dimensie is vastgesteld, blijft de scherpe Euclidische vergelijking (Vraag 2) open voor algemene manifolds met niet-negatieve kromming. Tegenvoorbeelden door Donnelly tonen aan dat de ongelijkheid faalt voor niet-gehele graden $d \in (1, 2)$ in dimensies $n \ge 5$. Dit artikel onderzoekt of de ongelijkheid standhoudt voor gehele graden $d$ onder de specifieke geometrische beperking dat $(M, g)$ een lokaal conformeel platte (LCF) manifold is.

Methodologie
De auteurs maken gebruik van een combinatie van geometrische analyse, potentietheorie en asymptotische analyse van conforme factoren. De methodologie is gestructureerd als volgt:

1. Classificatie en Reductie:
   Met behulp van classificatiestellingen door Zhu en Carron–Herzlich reduceren de auteurs het probleem tot vier gevallen voor verbonden, volledige LCF-manifolds met $\text{Ric} \ge 0$:

   • Globaal conform equivalent aan $\mathbb{R}^n$ (niet-plat).
   • Globaal conform equivalent aan een sferische ruimtevorm.
   • Lokaal isometrisch aan de ronde cilinder $\mathbb{R} \times S^{n-1}$.
   • Platte manifolds.
     De kern van de technische inspanning richt zich op het eerste geval: $(M, g) = (\mathbb{R}^n, e^{2f}g_0)$ met $\text{Ric} \ge 0$.

2. Asymptotische Analyse van de Conforme Factor:
   De analyse leunt zwaar op het werk van Ma en Qing met betrekking tot het asymptotische gedrag van de conforme factor $f$ (waarbij $g = e^{2f}g_0$).

   • Zij maken gebruik van het bestaan van een asymptotische exponent $m \in [0, 1]$ zodanig dat $\liminf_{x\to\infty} \frac{f(x)}{\ln|x|} = -m$.
   • Zij stellen een verfijnde relatie vast tussen de intrinsieke afstand $r(x)$ en de Euclidische afstand $|x|$: $\lim_{x\to\infty} \frac{\ln r(x)}{\ln |x|} = 1 - m$.
   • Zij relateren de asymptotische volumeverhouding $\beta$ aan de exponent $m$ via $\beta = (1-m)^{n-1}$.

3. Afstandsvergelijking en Groei-translatie:
   De auteurs bewijzen dat intrinsieke polynomiale groei op $(M, g)$ vertaalt naar een specifieke groeisnelheid met betrekking tot de Euclidische metriek. Als $h \in H_d(M)$, dan $|h(x)| \le C(1 + |x|)^{d(1-m+\epsilon)}$ voor grote $|x|$.

4. Gewogen G-convergentie en Blow-Down:
   Een centraal technisch instrument is de ontwikkeling van een gewogen G-convergentie raamwerk.

   • De auteurs definiëren geschaalde metrieken en gewichten $P_R, Q_R$ afgeleid van de conforme factor.
   • Zij bewijzen een compactheidsstelling (Theorema 4.2) die laat zien dat sequenties van geschaalde harmonische functies convergeren naar harmonische functies op een limiterende metriek-kegel $(\mathbb{R}^n, |y|^{-2m}g_0)$.
   • Deze limiterende operator is de Laplace-Beltrami-operator op een kegel met een specifieke warping factor.

5. Spectrale Analyse op de Limiterende Kegel:
   De auteurs analyseren het spectrum van de limiterende kegel-operator. Zij bepalen de homogene groeisnelheden $\sigma_\ell$ van harmonische functies op de kegel, die voldoen aan een kwadratische vergelijking met betrekking tot de parameter $a = 1-m$.

   • Zij stellen een "uniforme één-stap propagatie" (Propositie 5.4) vast met behulp van de log-convexiteit van de gewogen $L^2$-massa op de kegel.
   • Deze propagatie maakt het mogelijk om de dimensie van de ruimte van harmonische functies op de oorspronkelijke manifold te begrenzen door de dimensie van de ruimte van harmonische functies op de kegel met een groei die strikt kleiner is dan de volgende spectrale kloof.

Belangrijkste Resultaten

• Hoofdtheorema: Voor een volledige niet-compacte lokaal conformeel platte manifold $(M^n, g)$ ($n \ge 3$) met $\text{Ric} \ge 0$, en voor elke vaste gehele $d \ge 0$:
  $$\dim H_d(M) \le \dim H_d(\mathbb{R}^n).$$
  Bovendien, indien gelijkheid geldt voor een bepaalde gehele $d \ge 1$, dan is $(M, g)$ isometrisch aan de Euclidische ruimte $\mathbb{R}^n$.

• Geval $\beta = 0$ (Verdwijnende Asymptotische Volumeverhouding):
  Indien de asymptotische volumeverhouding $\beta = 0$, dan is $H_d(M) = \mathbb{R}$ (alleen constante functies) voor elke eindige $d$. Dit wordt bewezen met de criterium van Carron op de diametergroei van geodetische sferen en ODE-analyse van radiale modi.

• Geval $\beta > 0$ (Euclidische Volumegroei):
  Indien $\beta \in (0, 1)$, bewijzen de auteurs de scherpere grens:
  $$\dim H_d(M) \le \dim H_{d-1}(\mathbb{R}^n) < \dim H_d(\mathbb{R}^n).$$
  Deze strikte ongelijkheid ontstaat omdat de limiterende kegel een "tragere" groeispectrum heeft dan de Euclidische ruimte vanwege de parameter $m > 0$.

• Rigiditeit:
  De gelijkheid $\dim H_d(M) = \dim H_d(\mathbb{R}^n)$ voor een gehele $d \ge 1$ dwingt $m=0$ af, wat impliceert dat $\beta=1$ en de manifold isometrisch is aan de Euclidische ruimte $\mathbb{R}^n$.

• Niet-gehele Graden (Opmerking 6.3):
  Het artikel merkt op dat de scherpe Euclidische grens ook geldt voor niet-gehele $d$ ($\dim H_d(M) \le \dim H_d(\mathbb{R}^n)$), maar dat de rigiditeitsstelling faalt. Zij construeren voorbeelden van niet-platte LCF-manifolds waar $\dim H_p(M) = \dim H_p(\mathbb{R}^n)$ voor niet-gehele $p \in (1, 2)$.

Betekenis en Claims
Het artikel geeft een bevestigend antwoord op Yau's tweede vraag (scherpe Euclidische vergelijking) specifiek voor de klasse van lokaal conformeel platte manifolds met niet-negatieve Ricci-kromming.

• Uitbreiding van Li-Tam: Het werk wordt gepresenteerd als een uitbreiding van de resultaten van Li en Tam over oppervlakken met eindige totale kromming naar hogere dimensies binnen de LCF-categorie.
• Oplossing van de Gehele Casus: Het lost de openstaande vraag op of de Euclidische grens standhoudt voor gehele graden in aanwezigheid van niet-negatieve kromming, een geval waar algemene tegenvoorbeelden bestaan voor niet-gehele graden.
• Methodologische Bijdrage: Het artikel introduceert een robuust raamwerk van gewogen G-convergentie en blow-down analyse, toegesneden op conforme metrieken met niet-negatieve Ricci-kromming, waarbij de asymptotische geometrie van de manifold (via de exponent van de conforme factor) direct wordt gekoppeld aan de spectrale eigenschappen van harmonische functies.

De auteurs beweren niet het probleem voor algemene manifolds met niet-negatieve Ricci-kromming te hebben opgelost, maar stellen het resultaat vast onder de sterke structurele aanname van lokale conforme platheid, waarbij zij gebruikmaken van de specifieke classificatie en asymptotische eigenschappen die in die setting beschikbaar zijn.