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

技術的要約：局所共形平坦多様体上の多項式成長調和関数の次元

問題の所在
本論文は、リッチ曲率が非負（$\text{Ric} \ge 0$）である完備リーマン多様体 $(M, g)$ 上の、次数が最大 $d$ の多項式成長を持つ調和関数の空間 $H_d(M)$ に関する、S.-T. Yauによって提起された2つの根本的な問いに取り組んでいる。

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)$ で不等式が成立しないことを示している。本論文では、幾何学的制約として、$(M, g)$ が**局所共形平坦（LCF）**であるという条件下において、整数次数 $d$ に対してこの不等式が成立するかどうかを調査している。

手法
著者らは、幾何学的解析、ポテンシャル論、および共形因子の漸近解析を組み合わせた手法を用いている。その手法は以下のように構成されている：

1. 分類と簡約:
   ZhuおよびCarron–Herzlichによる分類定理を利用して、連結かつ完備なLCF多様体（$\text{Ric} \ge 0$）を以下の4つのケースに簡約する：

   • $\mathbb{R}^n$ と大域的に共形同値（非平坦）。
   • 球面空間形式と大域的に共形同値。
   • 円柱 $\mathbb{R} \times S^{n-1}$ に局所的に等長。
   • 平坦な多様体。
     核となる技術的努力は、最初のケースである $(M, g) = (\mathbb{R}^n, e^{2f}g_0)$ （$\text{Ric} \ge 0$）に集中している。

2. 共形因子の漸近解析:
   この解析は、共形因子 $f$ の漸近挙動に関するMaとQingの研究に大きく依存している。

   • 著者らは、漸近指数 $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収束とブローダウン:
   中心的な技術的ツールとして、重み付きG収束の枠組みの開発を用いている。

   • 著者らは、共形因子から導かれる再スケールされた計量と重み $P_R, Q_R$ を定義する。
   • 著者らは、再スケールされた調和関数が、極限的な計量錐 $(\mathbb{R}^n, |y|^{-2m}g_0)$ 上の調和関数に収束するというコンパクト性定理（定理4.2）を証明する。
   • この極限作用素は、特定のワーピング因子を持つ錐上のLaplace-Beltrami作用素である。

5. 極限錐上のスペクトル解析:
   著者らは、極限錐作用素のスペクトルを解析する。彼らは、錐上の調和関数の同次成長率 $\sigma_\ell$ を決定し、これらはパラメータ $a = 1-m$ を含む二次方程式を満たす。

   • 彼らは、重み付き $L^2$ 質量の対数凸性を用いた「一様一ステップ伝播（uniform one-step propagation）」（命題5.4）を確立する。
   • この伝播により、元の多様体上の調和関数の空間の次元を、次のスペクトル・ギャップよりも厳密に小さい成長を持つ錐上の調和関数の空間の次元によって抑えることが可能になる。

主要な結果

• 主定理: 完備で非コンパクトな局所共形平坦多様体 $(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の判定基準と、動径モードの常微分方程式解析を用いて証明される。

• $\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)$ となる例を構築している。

意義と主張
本論文は、非負の曲率を持つ一般的な多様体における問題を解決するものではなく、局所共形平坦性という強い構造的仮定の下で、Yauの第二の問い（シャープなユークリッド比較）に対して肯定的な回答を与えるものである。

• Li-Tamの拡張: 本研究は、高次元におけるLiとTamの、有限全曲率を持つ曲面の成果を、LCFの範疇において高次元へ拡張したものとして提示されている。
• 整数の問題の解決: 非負曲率が存在する場合に、非整数次数では反例が存在する一方で、整数次数においてはユークリッド境界が成立するかという未解決の問いを解決した。
• 方法論的貢献: 重み付きG収束とブローダウン解析を用いた、共形計量（非負のリッチ曲率を持つもの）に特化した堅牢な枠組みを導入し、多様体の漸近幾何学（共形因子の指数を介して）を調和関数のスペクトル特性に直接結びつけた。