Analytic local resolution of Medvedev's Morse index conjecture for the critical hyperbolic catenoid in $\mathbb{H}^3$

技術的サマリー：$\mathbb{H}^3$ における臨界双曲カテナイドの Medvedev モース指数予想の解析的局所解明

問題の提示
本論文は、3 次元双曲空間 $\mathbb{H}^3$ 内の Mori 族の一部である臨界双曲カテナイド $\Sigma_a$ に関する Medvedev モース指数予想 [8] に対処する。これらの曲面は、測地線球 $B^3(r(a))$ 内に含まれる自由境界極小曲面（FBMS）である。この予想は、すべての $a > 1/2$ に対して $\Sigma_a$ のモース指数が正確に 4 であることを主張する。著者は、指数が 4 であるだけでなく、核次元（nullity）が正確に 2 であるとも主張するこの予想の「強い形」を調査する。核次元の条件は、既知の $|k|=1$ モードによって生成される 2 次元の核に加えて、フーリエモード $|k|=0$ および $|k| \ge 2$ におけるロビン型ヤコビ場が存在しないことを要求する。

手法
本論文は、スペクトル理論、シュトゥルム・リウヴィル理論、および幾何学的解析を組み合わせる厳密な解析的アプローチを採用している。手法は、いくつかの主要な還元を通じて進行する。

1. モード分解: 面積の 2 変分の二次形式を、角変数 $\theta$ におけるフーリエモードに分解する。問題は、各モードセクター（$k \in \mathbb{Z}$）における半径方向ヤコビ作用素 $L_\Sigma$ の固有値を分析することに還元され、さらに軸方向座標 $s$ に関する偶パリティセクターと奇パリティセクターに分割される。
2. ピコーネ恒等式とシュトゥルム比較: 著者は 2 つの異なるピコーネ恒等式を利用する。最初のものは、基底として既知の $|k|=1$ ヤコビ場 $f_*$ を用い、すべての $|k| \ge 2$ に対して奇半径セクターの正定性を証明するために用いられる。2 番目のものは、基底としてカテナイドのプロファイル $B(s)$ を用い、モード $|k|=2$ の偶半径セクターに対するスペクトル不等式を確立するために用いられる。
3. ロビン欠損を伴うグリーン恒等式: 核条件（核次元）を扱うために、ロビン境界条件を満たさないが明示的に計算可能な「ロビン欠損」を持つ特定のヤコビ場を構成する。これらの場をグリーン恒等式を通じて仮定のロビン型ヤコビ場と対にすることで、著者は仮定の場が消滅しなければならない条件を導き出す。
4. シュトゥルム射撃数え上げ: モード 0 におけるゼロ固有値の欠如の条件は、主枝上のパラメトリックヤコビ場 $\phi_a$ の正性に還元される。これは、軸方向ブースト場 $u_*$ と $\phi_a$ を結びつける定数ワロンスキアン恒等式を組み合わせたシュトゥルム射撃論法を用いて分析される。
5. スカラー還元: $\phi_a$ の正性は、境界半径 $r(a)$ および $K(a) = \sqrt{a^2 - 1/4}$ である比率 $H(a) = \sinh r(a) / K(a)$ の単調性を含む 1 次元スカラー微分不等式にさらに還元される。
6. 漸近解析: 局所領域におけるその導関数の符号を決定するために、$a \to (1/2)^+$ における $H(a)$ の詳細な漸近展開が行われる。

主要な貢献と結果

• 下限の証明: 4 つのローレンツ環境座標をテスト関数として用いることで、下限 $\text{ind}(\Sigma_a) \ge 4$ のための代替的な初等的な証明が提供される。これは Medvedev の元の下限結果を確認する。
• 奇半径セクターの閉鎖: すべての $|k| \ge 2$ に対して、奇半径セクターに負またはゼロの固有値が含まれないこと（$\mu_n^{\text{odd}}(k) > 0$）が無条件に証明される。
• 偶半径セクターの部分的閉鎖:
  • $a \in (1/2, 1]$ に対して、基底 $B(s)$ を用いたピコーネ恒等式により、条件 $\mu_0^{\text{even}}(2) > 0$（条件 E）が無条件に証明される。
  • $a \in (1, A^*]$（ただし $A^* > 1$）に対して、この条件はハーディ評価と連続性の議論を通じて確立される。
  • $a > A^*$ に対する閉鎖は未解決の問題のままである。
• モード 0 における核なし条件の閉鎖:
  • 核なし条件の偶数部分（$\mu_n^{\text{even}}(0) \neq 0$）は、$\phi_a$ の正性から導かれることが示された $r'(a) \neq 0$ という仮定の下で証明される。
  • 奇数部分（$\mu_n^{\text{odd}}(0) \neq 0$）は、厳密な幾何学的不等式 $\sinh r(a) > 2K(a)$（条件 G）の下で証明される。
  • 条件 (G) は、超越関数の凹性を通じて $a \in (1/2, 1]$ に対して解析的に証明される。
• スカラー不等式への還元: 強い予想は、局所領域における $H(a)$ の厳密な単調性（具体的には $H'(a) > 0$）に還元される。
• 解析的局所解明: 主要な定量的結果は、ある $\delta_0 > 0$ が存在し、すべての $a \in (1/2, 1/2 + \delta_0)$ に対して強い Medvedev 予想が成立すること、すなわち $\text{ind}(\Sigma_a) = 4$ かつ $\text{null}(\Sigma_a) = 2$ であることの証明である。これは、$a \to (1/2)^+$ における $H(a)$ の主要な漸近係数 $C_0$ の明示的な閉形式式を導き出し、$C_0 > 0$ を証明することによって達成される。

意義と主張
本論文は、強い Medvedev 予想の最初の解析的局所解明を提供すると主張している。その意義は以下の点にある。

1. 還元戦略: 極小曲面上の複雑なスペクトル問題を、スカラー微分不等式および特定の漸近係数の計算に成功裏に還元した点。
2. 明示的な係数: 漸近係数 $C_0$ の閉形式式を提供し、超越方程式 $\sigma = \coth \sigma$ の性質を用いてその正性を厳密に証明した点。
3. 部分的なグローバルな状況: 予想は退化パラメータ $a=1/2$ 近傍の局所領域では完全に解決されているが、論文は $a \in (1/2, \infty)$ のグローバル範囲における残りの解析的課題、具体的には大きな $a$ に対する条件 (E) の閉鎖および中間領域におけるスカラー不等式の検証を明示的に概説している。

著者は、グローバルな解決については控えめな立場を維持しており、現在の手法（基底 $B$ を用いたハーディ評価）は大きな $a$ に対して飽和し、中間領域のギャップを埋めるにはさらに高度な解析的作業（例えば、高次展開または超越的な凹性の議論）が必要であると指摘している。本論文は、すべての $a > 1/2$ に対して予想を解決したと主張するものではなく、むしろ局所領域に対する厳密な解析的基盤を確立し、将来の完成への明確な道筋を示すものである。