技術的要約：球面上の固有値

1. 問題設定と動機

本論文は、スペクトル幾何学および非負曲率を持つ多様体の解析における、相互に関連する2つの問題に取り組んでいる。

1. 球面上のスペクトル比較: ガウス曲率が1で下限を持つ（$K \ge 1$）リーマンまたはアレクサンドロフ2-球面において、そのラプラス固有値が単位標準球面（$S^2_{\text{round}}$）の対応する固有値によって下から抑えられるかどうかを調査している。具体的には、すべての $i \ge 1$ に対して不等式 $\lambda_i(S^2, g) \ge \lambda_i(S^2_{\text{round}})$ が成立するか、また、ある正の指数において等号が成立する場合、計量が標準計量に等長（isometric）であることを強制するかどうかを問うている。
2. 調和関数の次元: 非負の切断曲率を持つ完備多様体上の、多項式成長を持つ調和関数の「シャープな」バージョンのYauの有限次元性の問題の解決を目的としている。この問いは、そのような関数の空間 $H_d(M)$ の次元が、ユークリッド空間上の対応する空間の次元 $\dim H_d(\mathbb{R}^n)$ によって抑えられるか、また、等号が成立する場合に多様体が $\mathbb{R}^n$ と等長であるかを問うものである。

著者らは、ColdingとMinicozziがWeyl型の成長境界（$\dim H_d(M) \le C(n)d^{n-1}$）を確立した一方で、シャープな整数次数の比較については未解決のままであると指摘している。主要な障害は、$n \ge 4$ の次元において、固有値比較に対する反例が存在すること（Aryanによって示され、第16節で $n=4$ のケースとして構成されている）であり、これは結果が特定の2次元構造に依存していることを示唆している。

2. 手法

本論文は、単純な設定から特異な設定へと進展する、4つの異なる幾何学的実現に対して適用される統一的な「抽象的なラダー・カウンティング・メカニズム（abstract ladder-counting mechanism）」を採用している。

抽象的なメカニズム（第2節）

核となる解析的手法は、ヒルベルト空間間の閉じた稠密な作用素の列 $B_m: H_m \to H_{m+1}$ を用いることである。このメカニズムは以下に基づいている：

• パートナー・スペクトル（Partner Spectra）: $B_m^* B_m$ と $B_m B_m^*$ の正のスペクトルは一致する。
• 核の次元: $\ker B_m$ の次元（$r_m$ と表記）および $\ker B_m^*$ の消失（$s_m = 0$）がインデックス・シフトを生じさせる。
• ラダー不等式（Ladder Inequality）: 2次形式の不等式 $C_m \ge A_{m+1}$。ここで $A_m = B_m^* B_m + \alpha_m I$ および $C_m = B_m B_m^* + \alpha_m I$ である。
• 再帰（Recursion）: Min-Max原理を用いることで、これらの要素が計数関数 $N(\Lambda)$ の再帰関係を生成し、特定の閾値以下の固有値の数を抑えることを可能にする。

幾何学的実現

著者らは、このメカニズムを4つの段階で具体化している：

1. 回転対称なケース（パート1）:

   • $g = dr^2 + f(r)^2 g_{S^{n-2}}$ の形式を持つ計量について。
   • ラプラス作用素は径方向の作用素へと分解される。
   • 著者らは、$B_m$ が径方向の関数に作用する「径方向のラダー（radial ladder）」を構成する。
   • $K_{\text{rad}} \ge 1$ が必要な形式不等式を導き、$\dim \ker B_m = 1$ を計算することを証明する。

2. 滑らかなリーマン2-球面（パート2）:

   • 回転対称性がない場合、著者らはフーリエモードを線束 $E_m = (T^{1,0}S^2)^{\otimes m}$ に置き換える。
   • Levi-Civita接続を用いて、第1次作用素 $B_m: L^2(E_m) \to L^2(E_{m+1})$ を定義する。
   • 主要な恒等式: リーマン的なラダー恒等式 $B_m B_m^* - B_{m+1}^* B_{m+1} = 2(m+1)K_g$ を確立する。
   • 核の計算: 共形不変性とステレオ投影を用いることで、$\dim_{\mathbb{C}} \ker B_m = 2m+1$ および $\ker B_m^* = \{0\}$ であることを示す。
   • 曲率条件 $K_g \ge 1$ は、形式不等式 $C_m \ge A_{m+1}$ を保証する。

3. 複素幾何学的定式化（第10節）:

   • 滑らかなケースは、リーマン面 $\Sigma = (S^2, J)$ 上で再解釈される。
   • 束 $E_m$ は反標準束 $K^{-m}$ の冪と同定される。
   • 作用素 $B_m$ はドルボー作用素 $\bar{\partial}_m$ となる。
   • 核の次元はリーマン・ロッホの定理とセールの双対性を通じて導かれ、ラダー不等式はボホナー・コダラの恒等式から従う。これは、滑らかな計数の議論に対する構造的な説明を提供する。

4. アレクサンドロフ2-球面（パート3）:

   • 著者らは、結果を（曲率 $\ge 1$ の）特異な空間（アレクサンドロフ面）へと拡張する。
   • 曲率が測度 $\omega_X$ となる共形パラメータ化 $g_X = e^{2u}g_0$ を用いる。
   • 近似: 特異な計量を、曲率境界 $K_{g_\tau} \ge 1$ を保持したまま、滑らかな計量によって近似するために熱正則化（$g_\tau$）を用いる。
   • Mosco収束: 作用素のグラフとその2次形式の収束を証明し、スペクトル不等式の極限への転移を可能にする。
   • 剛性解析: 等号の場合を扱うために、「欠損測度（defect measure）」$\nu_X = \omega_X - dA_X$ を解析する。計数の等号が標準的な閾値で成立する場合、$\nu_X$ は原子を持たないことを証明する。その後の「欠損恒等式（defect identity）」により、$\nu_X = 0$ であることが強制され、その結果、空間は標準球面と等長であることが導かれる。

3. 主要な貢献と結果

主定理

• 定理 1.8 (滑らかな剛性): $K_g \ge 1$ を満たす $S^2$ 上の任意の滑らかなリーマン計量に対し、すべての $i \ge 1$ について $\lambda_i(S^2, g) \ge \lambda_i(S^2_{\text{round}})$ が成立する。ある $i \ge 1$ で等号が成立する場合、$(S^2, g)$ は単位標準球面と等長である。
• 定理 1.10 (アレクサンドロフ計数): 曲率 $\ge 1$ の任意のアレクサンドロフ2-球面 $X$ に対し、計数関数はすべての $l \ge 0$ について $N_{-\Delta_X}(l(l+1)) \le (l+1)^2$ を満たす。ある $l \in \mathbb{Z}^+$ で等号が成立する場合、$X$ は単位標準球面と等長である。
  • 注: 著者らは、アレクサンドロフの設定では、個々の固有値（例：$\lambda_1$）の一致だけでは剛性に不十分であること（反例として「フットボール」計量が存在する）を強調しており、より強い条件である「完全なスペクトル・クラスターの閾値での等号」を必要としている。
• 定理 1.12 (シャープな次元境界): $(M^3, g)$ を、非負の切断曲率（$K_g \ge 0$）と正の漸近体積比（$AVR(M) > 0$）を持つ完備リーマン多様体とする。このとき、すべての$d \ge 0$ に対して：
  $$\dim H_d(M) \le \dim H_d(\mathbb{R}^3) = (d+1)^2$$
  が成立する。ある $d \in \mathbb{Z}^+$ で等号が成立する場合、$(M^3, g)$ は $\mathbb{R}^3$ と等長である。

反例と限界

• 定理 16.1: 著者らは、$\text{Ric} \ge 2g$ を満たし、特定の高次の固有値が標準的な固有値よりも厳密に小さくなるような、$S^3$ 上の標準計量の明示的な共形摂動を構成している。これは、スペクトル比較定理が単純なリッチ下限を通じて高次元へ一般化できないことを示しており、2次元における成功が、線束構造の特異な役割に依存していることを浮き彫りにしている。

4. 意義と主張

本論文は、非崩壊条件（$AVR > 0$）の下での、多項式成長を持つ調和関数のシャープな次元の問題に対する完全な解決策を提供すると主張している。

• 方法論的意義: 本研究は、スペクトル幾何学、複素解析、およびアレクサンドロフ幾何学を、単一の「ラダー・カウンティング」の枠組みを通じて統合している。複素幾何学的な道具（ドルボー作用素、リーマン・ロッホの定理）が、Mosco収束を通じていかに特異な計量空間に適応できるかを示している。
• 剛性の洞察: 本論文は、特異な空間においては、個別の固有値の一致ではなく、標準的な閾値における「計数関数全体の飽和」が剛性を要求することを明らかにしている。この区別は、無限遠における接錐（tangent cones at infinity）への適用において極めて重要である。
• 次元の境界: 3次元（断面として）における反例を提供し、高次元に関する最近の研究を引用することで、本論文は「リッチ下限がスペクトル剛性を意味する」という直感が失敗する正確な境界を画定している。そして、2次元における成功を、曲率境界と線束ラダーの間の特定の相互作用に帰している。

著者らは、3次元における調和関数のためのこの手法の成功は、無限遠における断面（必然的に曲率 $\ge 1$ のアレクサンドロフ球面となる）の2次元的なスペクトル剛性の直接的な帰結であると結論付けている。