Rigidity and flexibility under spectral Ricci lower bounds and mean-convex boundary

技術的概要：スペクトルリッチ曲率の下限と平均凸境界下における剛性と柔軟性

問題提起
本論文は、リッチ曲率のスペクトル下限と平均凸境界条件に制約された、非空の境界 $\partial M$ を持つリーマン多様体 $(M^n, g)$ の幾何学的および位相的な剛性を調査する。中心的な問いは、序論で提示された「問い 1」の境界 analogue であり、コンパクト多様体がスペクトル条件 $\lambda_1(-\gamma \Delta + \text{Ric}) \ge 0$（および潜在的に境界条件）を満たす計量を受け入れる場合、それが厳密に正の断面曲率と厳密に平均凸の境界を持つ計量も受け入れるための、鋭い閾値 $\gamma(n)$ を決定することである。

スペクトル条件は、$M$ 上で $-\gamma \Delta u + u \text{Ric} \ge 0$ かつ $\partial M$ 上で $H_{\partial M} + \gamma u^{-1}\langle \nabla u, \nu \rangle \ge 0$ となる正の関数 $u \in C^{2,\alpha}(M)$ の存在を通じて定義される。ここで、$H_{\partial M}$ は外向き単位法線ベクトル $\nu$ に関する平均曲率である。著者らは、古典的な剛性定理（特に $\text{Ric} \ge 0$ に対する Kasue の分裂定理）をこのスペクトル設定に拡張し、そのような剛性または位相的制約が成立するための $\gamma$ の最適範囲を決定しようとする。

手法
著者らは、重み付き測地線を中心とした変分アプローチを採用する。$\mu$-バブル（高次元の極小曲面を含む）を利用する最近の研究とは異なり、本論文は以下の汎関数の 1 次元最小化子を利用する：
$$E(\beta) := \int_\beta u^\gamma d\ell_g$$
ここで、$d\ell_g$ はリーマン長要素である。この選択により、著者らは非コンパクト設定における高次元極小超曲面に関連する正則性の問題を回避できる。

核心的な技術的機構は以下の通りである：

1. 第一変分と第二変分の公式： disjoint な境界成分を結ぶ曲線に沿って汎関数 $E(\beta)$ に対して詳細な計算が行われる。これにより、リッチ曲率、$u$ のヘッシアン、および境界平均曲率項を含む安定性不等式が導き出される。
2. 安定性不等式（補題 1 および 2）：特定の切断関数を用いて第二変分をテストし、重み付きフレームを利用することで、著者らは最小化曲線の幾何学を制約する積分不等式を導出する。
3. 測地線の捕捉とコンパクト性（補題 3 および命題 4）：重要な技術的貢献として、コンパクトな境界成分から残りの境界へ接続する $E(\beta)$ の最小化列が、$\gamma$ が特定の鋭い範囲内にある限り、非コンパクトの場合において「無限大へ逃げ去る」ことがないことの証明がある。これは、切断関数と安定性不等式を用いた矛盾構成によって達成され、大域的最小化子の存在を保証する。
4. 位相的議論：本論文は、幾何学的剛性結果を、正の断面曲率を持つ計量の存在に関する Lawson と Michelsohn の深い定理と組み合わせている。

主要な貢献と結果

1. 鋭いスペクトル剛性（定理 1）
著者らは、Kasue の剛性定理の鋭い拡張を証明する。$(M^n, g)$ が、少なくとも一つの成分がコンパクトである非連結境界を持つ完全多様体であり、以下の条件でスペクトル条件を満たす場合：

• $n=2$ の場合、$0 \le \gamma < 4$
• $n \ge 3$ の場合、$0 \le \gamma < \frac{n-1}{n-2}$
  その多様体は、$\text{Ric}_\Sigma \ge 0$ を満たすコンパクト多様体 $\Sigma$ を用いた積 $[0, L] \times \Sigma$ として等長的に分裂する。
• 鋭さ：著者らは、$\gamma$ がこれらの閾値を超えると分裂の結論が成立しなくなることを示す反例（命題 2 および 3）を提供する。具体的には、$\gamma = \frac{n-1}{n-2}$ の場合、多様体が分裂しない可能性があり、$\gamma > \frac{n-1}{n-2}$ の場合、位相的な結論が成立しなくなる。

2. 位相的剛性（定理 2）
本論文は、同じスペクトル条件の下（$n \ge 3$ については閾値を等号を含むように拡張し、すなわち $0 \le \gamma \le \frac{n-1}{n-2}$）、少なくとも一つの不等式が厳密である場合、相対基本群が消滅すること、すなわち $\pi_1(M, \partial M) = 0$ であることを確立する。これは、境界が連結であり、包含写像 $\partial M \hookrightarrow M$ が基本群に対して全射を誘導することを意味する。

• 重要性：これは $\text{Ric} \ge 0$ に対する既知の結果をスペクトル設定に一般化するものである。著者らは、多様体自体のコンパクト性は必要ではなく、境界の少なくとも一つの成分がコンパクトであればよいと指摘する。

3. 正曲率計量の存在（定理 3）
定理 2 と Lawson–Michelsohn の定理を組み合わせることで、著者らは $n \neq 4$ に対して、スペクトル条件（少なくとも一つの厳密な不等式を含む）を満たす任意のコンパクト境界付き多様体が、正の断面曲率と厳密に平均凸の境界を持つ計量を受け入れることを証明する。

• 鋭さ：$\gamma > \frac{n-1}{n-2}$ の場合、そのような計量を受け入れない $\lambda_1(-\gamma \Delta + \text{Ric}) > 0$ を持つ多様体を構成する命題 1 により、$\gamma$ の範囲が鋭いことが示される。
• 次元の制約：この結果は $n \neq 4$ で成立する。著者らは明示的に、fake 4-セルに関する Lawson–Michelsohn の定理における特定の命題の未解決の状況により、$n=4$ の場合は未解決問題であると述べている。

4. 系 1（統合された剛性）
この結果は前述の定理を統合し、$\gamma$ の鋭い範囲において、スペクトル条件を満たす多様体は、境界が非連結であれば等長的に分裂するか、あるいは境界が連結であれば自明な相対基本群を持つことのいずれかであることを述べる。

意義と主張
本論文は、$n \neq 4$ の次元において、問い 1 の鋭い境界 analogue を解決したと主張する。著者らは、$\mu$-バブルではなく重み付き長さ最小化子（1 次元の対象）を使用することが、特に非コンパクト多様体の処理と高次元の正則性問題の回避において、明確な方法論的利点であると強調する。

著者らは自らの研究の範囲について謙虚である：

• 境界条件なしの一般的なコンパクトな場合において、$n \ge 5$ に対する問い 1 は依然として広く未解決であることを認める。
• 定理 1（項目 2）におけるコンパクト性の仮定は、$n=2,3$ に対しては除去可能かもしれないが、これは将来の研究に委ねられると述べる。
• $n=4$ のケースは、Lawson–Michelsohn の定理における外部の制約により未解決問題であると明示的に述べる。
• 新しい応用や実験的提案を提示するのではなく、幾何学的解析における理論的進展、特にスペクトル幾何学と位相的剛性および曲率の制約を結びつけるものとして研究を位置づける。

本論文は、付録の結果（命題 5 および注記 6）を提供することで締めくくられ、これらは半径および Bonnet–Myers 型の直径推定値のスペクトル一般化を提供し、以前の文献と比較して境界値の振動依存性においてわずかな改善を示している。