Minimal hypersurfaces of Morse index one

技術要約：モース指数1の極小超曲面

問題設定
本論文は、有限の全曲率とモース指数が正確に1である、完全、連結、埋め込まれた極小超曲面 $M^n \subset \mathbb{R}^{n+1}$ の分類を扱う。モース指数は、面積の第2変分が負となるコンパクトな支持を持つ関数の部分空間の最大次元として定義され、不安定性の尺度として機能する。中心となる問いは、そのような超曲面が必ず高次元のカタノイド（剛体運動とスケーリングを除いて一意な、回転極小面）であるかどうかである。この結果は、$\mathbb{R}^3$ ($n=2$) における曲面については Cheng–Tysk および López–Ros によって確立されていたが、$n \ge 3$ の一般の場合については未解決のままであった。

手法
著者らは、Ros によって $\mathbb{R}^3$ 用に導入され、Li によって高次元へと一般化された戦略である「調和1形式法」を用い、これを大幅に洗練させている。核心となる戦略は、超曲面のトポロジー（ベッチ数と端点）をモース指数に関連付けることで、端点の数 ($k$) を抑え込むことである。証明は矛盾を構成することによって進められる。すなわち、超曲面がカタノイドではないと仮定すると（これは $k \ge 3$ を意味する）、指数制約に違反するテスト関数の空間を構成できる。

論文では、以下の3つの具体的な技術的進展を通じて、先行研究の推定を改善している：

1. テスト関数の空間の拡大（無限遠における安定性）：
   標準的な指数の定義では、テスト関数は無限遠で消滅する（$C^\infty_c$）ことが求められる。著者らは、有限の全曲率を持つ極小超曲面の場合、テスト関数が無限遠で定数に近づくことを許容しても指数は変化しないことに着目した。これは、膨張ヤコビ場 $Z = \langle x, \nu \rangle$ によって促進される。$Z$ は $LZ=0$を満たし、各端点に沿って定数に近づく。二次形式$Q_\infty(Z, Z) = (n-1)\int_M |\nabla x_{n+1}|^2 > 0$の正値性を利用することで、著者らは次元$\dim \mathcal{H} = b_1(M) + k + n - 1$を持つ拡大された調和1形式の空間$\mathcal{H}$を構築した。この次元の$n$ に対する線形成長が、高次元の議論において極めて重要となる。

2. 許容されるペアリングと自己双対形式：
   矛盾を強制するために必要な制約の数を減らすために、著者らは「許容されるペアリング」を導入している。$\Lambda^2 \mathbb{R}^{n+1}$ の全基底（これは $r = n(n+1)/2$ 個の方程式を生む）に対して和を取る代わりに、正定値演算子 $P_\Omega$ から導かれる特定の2形式の集合 $\Theta_1, \dots, \Theta_r$ を利用する。

• $n+1=4$ の特定のケースでは、自己双対2形式を利用している（謝辞においてAIによる示唆があるが、数学的な導出は厳密である）。
• 著者らは、十分に大きな2形式の部分空間に対して、適切な $P_\Omega$ によって消去できる「バランスの取れた」2形式が存在することを証明した（[GPW90]の意味において）。これにより、線形制約の数（$r < \dim \Lambda^2 \mathbb{R}^{n+1}$）を少なく抑えつつ、二次形式のトレースが消滅する（$\sum Q(u^\omega_{\Theta_i}, u^\omega_{\Theta_i}) = 0$）ようなペアリング集合を構築することが可能となった。

3. 大域的な零点（Nullity）の特性付け：
   先行研究（Li [Li17]）は、$L u^\omega_\Theta = 0$ を満たす調和1形式 $\omega$ の空間の局所的な境界を確立していた。著者らは、超曲面の端点に沿って「大域的に」議論することで、これを改善した。調和形式の漸近挙動と膨張ヤコビ場との相互作用を分析することにより、そのような形式の空間は正確に1次元であり、$dx_{n+1}$ によって生成されることを証明した。これにより、零点（nullity）の推定が大幅に絞り込まれ、安定方程式を満たす可能性のある追加の「隠れた」調和形式の存在が排除された。

主要な結果

• 定理 1.1： $M^n \subset \mathbb{R}^{n+1}$ が有限の全曲率とモース指数1を持つ完全、連結、埋め込まれた極小超曲面であるならば、$M$ は高次元のカタノイドである。
• 定理 10.1： この結果は、$\mathbb{R}^4$ 内の（具体的には $M^3 \to \mathbb{R}^4$）二面かつ平行な端点を持つ浸漬された極小超曲面にも拡張される。
• 定理 10.2： 有限の指数を持つ $\mathbb{R}^4$ 内の非平坦な極小面の指数に対する改善された下界が確立された：$\frac{1}{3}(b_1(M) + k + 1) \le \text{Ind}(M)$。

意義と主張
本論文は、すべての次元 $n \ge 2$ における指数1の極小超曲面の分類を解決したと主張している。その意義は、調和1形式法の洗練にある。以前の手法は高次元においてより弱い境界を与えていた（例：$\mathbb{R}^4$ において最大12個の端点を許容していた）。膨張ヤコビ場の幾何学的特性を活用したテスト関数空間の拡大と、制約方程式のより効率的な代数的削減（許容されるペアリングによる）、および零点の全域的解析を組み合わせることで、著者らは鋭い境界 $k \le 2$ を達成した。

著者らは、次元 $n+1 \le 6$ においては、既存の文献により有限の全曲率という仮定を有限の指数へと弱めることができると述べている。また、彼らの手法は、端点の特定の幾何学的性質と膨張場の挙動に依存しており、定数関数が無限遠で指数を保存しない一般的なシュレディンガー作用素の安定性結果とは異なることを強調している。本研究は、ユークリッド空間における指数1の唯一の非平坦な極小超曲面としてのカタノイドの決定的な特徴付けを提供している。