Connected sum of manifolds with spectral Ricci lower bounds

技術的要約：スペクトル・リッチ下界を持つ多様体の連結和

問題提起
本論文は、スペクトル・リッチ下界の安定性が、位相幾何学的な操作である連結和（connected sum）の下でどのように振る舞うかを扱っている。具体的には、$\lambda_1(-\gamma\Delta + \text{Ric}) \geq \lambda$ という形式のスペクトル条件を満たす完備リーマン計量を持つ2つの滑らかな $n$ 次元多様体（$n \geq 3$）について、それらを連結して形成される新しい多様体 $M \# N$ もまた、同じ条件を満たす計量を持つことができるかどうかを調査している。

条件 $\lambda_1(-\gamma\Delta + \text{Ric}) \geq \lambda$ は、正の関数 $u$ の存在、すなわち $-\gamma\Delta u + \text{Ric} \cdot u \geq \lambda u$、あるいは同値な表現として、すべてのコンパクトな台を持つ $C^1$ 関数 $\phi$ に対して $\int_M (\gamma|\nabla \phi|^2 + \text{Ric} \cdot \phi^2) \geq \lambda \int_M \phi^2$ が成立することとして定義される。これは、リッチ曲率に関するグローバルなスペクトル条件であり、一般に点ごとの下界よりも弱い条件である。

パラメータ $\gamma$ に関する決定的な閾値として $\frac{n-1}{n-2}$ が特定されている。先行研究（特に Bour–Carron [4]）では、$\gamma \leq \frac{n-1}{n-2}$ である多様体における体積およびベッチ数の境界が確立されている。しかし、「超臨界（supercritical）」領域 $\gamma > \frac{n-1}{n-2}$ においては、これらの境界に対する反例が存在する（例：$S^{n-1} \times S^1$ 上のワープト積によるもの）。著者らは、この超臨界領域における幾何学的および位相的な挙動が大きく異なることを示すことを目的としており、具体的には $\gamma > \frac{n-1}{n-2}$ のとき、スペクトル条件が連結和の下で保存されることを証明しようとしている。

手法
証明には、スカラー曲率に対して用いられる Gromov–Lawson や Schoen–Yau の手法に似た、しかしスペクトル・リッチ条件に適応させた幾何学的構成を用いている。核心となる戦略は以下の通りである：

1. 局所モデルの構成： 著者らは、Bour–Carron [4] に着想を得た「トイ・モデル」（ワープト積計量 $dr^2 + f(r)^2 g_{S^{n-1}}$ と特定の関数 $u = f(r)^{2-n}$ を含むもの）を利用している。任意の凸なワーピング関数 $f$ に対して、このペアが特定の微分恒等式を満たすことを観察している。$|r|$ が大きいときに $f(r) \approx |r|$ となるように $f$ を選ぶことで、$\lambda=0$ のスペクトル条件を満たす $\mathbb{R}^n \# \mathbb{R}^n$ 上の局所的な計量を構成する。

2. グリーン関数によるグローバル化： この局所モデルを一般的な多様体 $M$ に拡張するために、2つの小さな球 $B(x_1, \epsilon)$ と $B(x_2, \epsilon)$ を取り除き、そこに「トンネル」$S^{n-1} \times [0, 1]$ を挿入する。

   • 単に計量を結合するのではなく、関連する固有関数を結合しなければならない。
   • 著者らは、特異点の近くでモデル関数が $r^{2-n}$ のように振る舞うこと、これはラプラシアンのグリーン関数に対応することを観察している。
   • したがって、元の多様体 $M$ 上の方程式 $-\gamma\Delta u + \text{Ric} \cdot u = (\lambda - \epsilon)u + (\delta_{x_1} + \delta_{x_2})$ を解くことで、$x_1$ と $x_2$ に極を持つグリーン関数 $u$ を得る。
   • 連結和上の新しい固有関数 $\hat{u}$ は、元の多様体上の解 $u$ と、トンネル内のモデル解 $f^{2-n}$ の間を滑らかに補間することによって構成される。

3. 解析的評価： 証明は、極の近くにおける計量とグリーン関数の精密な漸近評価（Lemma 1, Lemma 7, Lemma 8）に依存している。著者らは、元の計量 $g$ とワープト積計量をトンネル領域で混合するためのカットオフ関数を定義している。そして、新しい固有関数と計量のラプラシアンおよびリッチ曲率を2つの領域で計算する：

   • 領域 I（元の多様体の近く）： 計量が元の計量に近い領域。
   • 領域 II（トンネルの中心）： 計量がワープト積である領域。
     決定的なステップは、ラプラシアンとリッチ項の相互作用から生じる項 $\gamma(n-2) - (n-1)$ が正であることを示すことである。この正値性は、$\gamma > \frac{n-1}{n-2}$ である場合にのみ保証される。

主要な貢献と結果
主要な結果は 定理 1 である：
$n \geq 3$、$\gamma > \frac{n-1}{n-2}$、$\lambda \in \mathbb{R}$ とする。$(M, g)$ が $\lambda_1(-\gamma\Delta + \text{Ric}) \geq \lambda$ を満たす完備多様体であるとき、任意の2点 $x_1, x_2 \in M$ に対して、以下の性質を満たす完備多様体 $M'$（位相的には $x_1$ と $x_2$ を結ぶトンネルを持つ $M$）と計量 $g'$ が存在する：

1. $g'$ は $x_1$ および $x_2$ の小さな近傍の外側では $g$ と一致する。
2. $M'$ は、任意の $\epsilon > 0$ に対して $\lambda_1(-\gamma\Delta_{g'} + \text{Ric}_{g'}) \geq \lambda - \epsilon$ を満たす。

系：

• 系 1： このような多様体の連結和 $M_1 \# M_2$ は、同じスペクトル下界を満たす完備計量を持つ。
• 系 2： 連結和 $M \# (S^{n-1} \times S^1)$ はそのような計量を持つ。
• 閾値の鋭さ： 著者らは、条件 $\gamma > \frac{n-1}{n-2}$ が鋭いことを示している。$\gamma \leq \frac{n-1}{n-2}$ の範囲では、連結和の操作は既知の位相的障害（例えば Bour–Carron [4] によるベッチ数境界 $b_1(M) \leq n$）に抵触する。具体的には、この構成は、$\gamma > \frac{n-1}{n-2}$ のとき、$\lambda_1(-\gamma\Delta + \text{Ric}) > 0$ を満たす、任意に大きな第1ベッチ数を持つ多様体（例：$\#_k(S^{n-1} \times S^1)$）を構成できることを意味しており、これによりベッチ数の境界がこの領域で成立しないことを示している。

意義
本論文は、スペクトル・リッチ下界が臨界値 $\gamma = \frac{n-1}{n-2}$ において質的な転移を起こすというさらなる証拠を提供している。

• 閾値以下 ($\gamma \leq \frac{n-1}{n-2}$): この条件は、体積境界やベッチ数境界といった強い位相的制約を課す。
• 閾値以上 ($\gamma > \frac{n-1}{n-2}$): この条件は、位相的な複雑さを増大させる（例：$b_1$ を増大させる）連結和のような位相的操作を許容するほど柔軟である。

著者らは、彼らの構成が古典的なスカラー曲率に対する Gromov–Lawson の手術とは技術的に異なることを指摘している。スカラー曲率の場合、ワーピング因子は特定の微分不等式を満たさなければならない。対照的に、超臨界領域におけるスペクトル・リッチ条件については、ワーピング因子 $f$ は特定の境界条件を満たす限り、任意の 凸関数であってもよい。このことは、点ごとの下界やスカラー曲率の下界と比較して、スペクトル・リッチ下界を持つ計量を構成する際の自由度がより高いことを示唆している。

最後に、本結果は余次元 $k=n$ の手術をカバーしており、$\gamma > \frac{k-1}{k-2}$ である限り、余次元 $k$ ($2 < k < n$) の手術に対しても同様の安定性が保持されるかという問題を提起して締めくくられている。