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

技术摘要：局部共形平坦流形上多项式增长调和函数的维度

问题陈述
本文探讨了由 S.-T. Yau 提出的两个关于具有非负 Ricci 曲率（$\text{Ric} \ge 0$）的完备黎曼流形 $(M, g)$ 上最多 $d$ 阶多项式增长调和函数空间 $H_d(M)$ 的基本问题。

1. 有限维性： $\dim H_d(M) < \infty$ 是否成立？（已由 Colding 和 Minicozzi 证实）。
2. 锐利欧几里得比较： 是否满足 $\dim H_d(M) \le \dim H_d(\mathbb{R}^n)$？

虽然有限维性已经得到确立，但对于一般的非负曲率流形，锐利欧几里得比较（问题 2）仍然是一个开放问题。Donnelly 的反例表明，在维度 $n \ge 5$ 且非整数阶数 $d \in (1, 2)$ 时，该不等式失效。本文研究了在局部共形平坦 (LCF) 这一特定几何约束下，对于整数阶数 $d$，该不等式是否成立。

方法论
作者结合了几何分析、势论以及共形因子（conformal factor）的渐近分析。其方法论结构如下：

1. 分类与简化：
   利用 Zhu 以及 Carron–Herzlich 的分类定理，作者将问题简化为连通完备 LCF 流形（具有 $\text{Ric} \ge 0$）的四种情况：

   • 全局共形等价于 $\mathbb{R}^n$（非平坦）。
   • 全局共形等价于球面空间型（spherical space form）。
   • 局部等距于圆柱面 $\mathbb{R} \times S^{n-1}$。
   • 平坦流形。
     核心技术工作集中在第一种情况：$(M, g) = (\mathbb{R}^n, e^{2f}g_0)$ 且 $\text{Ric} \ge 0$。

2. 共形因子的渐近分析：
   分析高度依赖于 Ma 和 Qing 关于共形因子 $f$（其中 $g = e^{2f}g_0$）渐近行为的研究。

   • 他们利用了渐近指数 $m \in [0, 1]$ 的存在性，使得 $\liminf_{x\to\infty} \frac{f(x)}{\ln|x|} = -m$。
   • 他们建立了内在距离 $r(x)$ 与欧几里得距离 $|x|$ 之间的精细关系：$\lim_{x\to\infty} \frac{\ln r(x)}{\ln |x|} = 1 - m$。
   • 他们通过渐近体积比 $\beta$ 来联系指数 $m$，即 $\beta = (1-m)^{n-1}$。

3. 距离比较与增长转换：
   作者证明了 $(M, g)$ 上的内在多项式增长可以转换为相对于欧几里得度规的特定增长率。如果 $h \in H_d(M)$，则对于较大的 $|x|$，有 $|h(x)| \le C(1 + |x|)^{d(1-m+\epsilon)}$。

4. 加权 G-收敛与吹降（Blow-Down）：
   一个核心技术工具是开发了一个加权 G-收敛框架。

   • 作者定义了由共形因子导出的重缩放度规和权重 $P_R, Q_R$。
   • 他们证明了一个紧性定理（定理 4.2），表明重缩排后的调和函数序列收敛到极限度规锥 $(\mathbb{R}^n, |y|^{-2m}g_0)$ 上的调和函数。
   • 该极限算子是具有特定扭曲因子（warping factor）的锥上的 Laplace-Beltrami 算子。

5. 极限锥上的谱分析：
   作者分析了极限锥算子的谱。他们确定了锥上调和函数的齐次增长率 $\sigma_\ell$，这些增长率满足一个涉及参数 $a = 1-m$ 的二次方程。

   • 他们利用锥上加权 $L^2$ 质量的对数凸性，建立了“一致一步传播”（Proposition 5.4）。
   • 这种传播允许他们通过将原流形上调和函数空间的维度，限制在小于下一个谱间隙（spectral gap）的锥上调和函数空间的维度来完成证明。

主要结果

• 主定理： 对于一个连通非紧局部共形平坦流形 $(M^n, g)$ ($n \ge 3$) 且满足 $\text{Ric} \ge 0$，对于任何固定的整数 $d \ge 0$：
  $$\dim H_d(M) \le \dim H_d(\mathbb{R}^n).$$
  此外，若对于某个整数 $d \ge 1$ 等号成立，则 $(M, g)$ 与欧几里得空间 $\mathbb{R}^n$ 等距。

• $\beta = 0$ 的情况（渐近体积比为零）：
  如果渐近体积比 $\beta = 0$，则对于任何有限的 $d$，都有 $H_d(M) = \mathbb{R}$（仅包含常数函数）。这是利用 Carron 关于测地球直径增长的判据以及 ODE 分析径向模态得出的。

• $\beta > 0$ 的情况（欧几里得体积增长）：
  若 $\beta \in (0, 1)$，作者证明了更强的界限：
  $$\dim H_d(M) \le \dim H_{d-1}(\mathbb{R}^n) < \dim H_d(\mathbb{R}^n).$$
  这种严格不等式源于由于参数 $m > 0$，极限锥具有比欧几里得空间更“慢”的增长谱。

• 刚性（Rigidity）：
  当 $d \ge 1$ 为整数且 $\dim H_d(M) = \dim H_d(\mathbb{R}^n)$ 时，强制要求 $m=0$，这意味着 $\beta=1$ 且该流形与 $\mathbb{R}^n$ 等距。

• 非整数阶数（备注 6.3）：
  论文指出，对于非整数 $d$，锐利欧几里得界限同样成立 ($\dim H_d(M) \le \dim H_d(\mathbb{R}^n)$)，但刚性陈述失效。他们构造了非平坦 LCF 流形，使得对于非整数 $p \in (1, 2)$，有 $\dim H_p(M) = \dim H_p(\mathbb{R}^n)$。

意义与主张

本文针对局部共形平坦且具有非负 Ricci 曲率的流形类，对 Yau 的第二个问题（锐利欧几里得比较）给出了肯定的回答。

• Li-Tam 的扩展： 本工作被视为 Li 和 Tam 关于具有有限总曲率曲面的结果在高维 LCF 范畴内的扩展。
• 解决整数阶问题： 它解决了在存在非负曲率的情况下，对于整数阶数是否满足欧几里得界限这一开放问题，而对于非整数阶数，普遍存在反例。
• 方法论贡献： 论文引入了一个稳健的加权 G-收敛和吹降分析框架，专门用于处理具有非负 Ricci 曲形的共形度规，将流形的渐近几何（通过共形因子的指数）直接与调和函数的谱性质联系起来。

作者并非声称解决了对于一般非负 Ricci 曲形流形的问题，而是通过利用 LCF 这一强结构假设，利用了在该设定下可用的特定分类和渐近性质，从而确立了该结果。