Calabi-Yau Conjecture for Minimal Hypersurfaces in $\mathbb{R}^4$ with bounded geometry

技術的要約：有界幾何学を持つ $\mathbb{R}^4$ 内の極小超曲面に関するカラビ・ヤウ予想

問題設定
本論文は、$n \ge 2$ における完備極小超曲面 $\Sigma^n \subset \mathbb{R}^{n+1}$ に関するカラビ・ヤウ予想を扱う。具体的には、完備性がそのような超曲面が非有界であることを意味するか、さらに強く、それが固有写像（すなわち、任意のコンパクト集合の逆像がコンパクトであること）であるか否かを調査している。この問題は、$\mathbb{R}^3$ 内の埋め込まれた極小曲面については（有限のトポロジーや正の注入半径という条件下で固有性を証明することにより）解決されているが、高次元（$n \ge 3$）の場合については、半空間定理の適用不能やワイエルシュトラス公式のような解析的表現の不在により、依然として大部分が未解決のままである。

著者らは $n=3$ のケースに焦点を当て、連結で完備な、$\mathbb{R}^4$ 内に埋め込まれた極小超曲面 $\Sigma^3 \subset \mathbb{R}^4$ を検討している。中心となる問題は、第二基本形式が有界（$\sup_\Sigma |A_\Sigma| < \infty$）かつ第二ベッチ数が有限（$b_2(\Sigma; \mathbb{Z}_2) < \infty$）であるとき、超曲面が固有であることを強制するかどうかである。

手法および証明戦略
証明は、$\Sigma$ が連結で完備であり、幾何学的および位相的境界を満たしながらも、固有ではないと仮定する背理法によって進められる。

1. 半空間またはスラブ内におけるラミネーションへの還元：
   [MIR05] の議論および安定ベルンシュタイン予想に関する最近の結果（[CL24], [CL23], [CLMS26], [CMR24], [Maz24]）に従い、著者らは、もし $\Sigma$ が固有でないならば、それは剛的に移動（必要に応じて拡大）されることで、開いた半空間 $U = \{x_4 > 0\}$ またはスラブ $U = \{0 < x_4 < H\}$ 内に含まれる極小ラミネーションとなることを確立する。この構成において、境界超平面 $\{x_4 = 0\}$ は $\Sigma$ の極限集合に含まれる。

2. 高さ関数の解析：
   $h = x_4|_\Sigma$ を高さ関数とする。非固有性の仮定の下で、$h$ は $\Sigma$ 上の正で非定数な調和関数であり、$\inf_\Sigma h = 0$ を満たす。

   • 曲率の制御： 有界曲率の仮定（$|A_\Sigma| \le \Lambda$）は、勾配評価 $|\nabla_\Sigma h|^2 \le 2\Lambda h$ をもたらす。これにより、高さが小さいとき、垂直投影が一様に非退化であることが保証される。
   • グラフ構造： [MIR05] の補題1.4を用いて、著者らは劣レベル集合 $\{h < \tau\}$ の連結成分が、$\mathbb{R}^3$ 内の領域上の大域的なグラフであり、勾配境界 $|Du| < 1$ を持つことを示す。

3. 位相的制約と非コンパクト成分：
   第二ベッチ数 $b_2(\Sigma; \mathbb{Z}_2) < \infty$ の有限性を活用し、著者らはホモロジー的な議論（補題2.1）を用いて、レベル集合 $\{h = c\}$ が持つコンパクトな連結成分は有限個に限られることを示す。

   • $\{x_4 = 0\}$ が極限リーフであるため、$\{h < \tau\}$ の成分は無限に存在する。
   • コンパクトな成分の有限性により、著者らは、境界に非コンパクトな連結成分 $S \subset \{h = \tau\}$ を含み、かつ非コンパクトな連結成分 $\Gamma$ を通じてより低いレベル集合 $\{h = t\}$ と交わる、特定の連結成分 $V \subset \{h < \tau\}$ を特定する。

4. 大域的リプシッツ関数の構成：
   成分 $V$ は、領域 $D \subset \mathbb{R}^3$ 上のグラフ $y \mapsto u(y)$ である。著者らは、関数 $g: \mathbb{R}^3 \to \mathbb{R}$ を、$D$ 上で $g(y) = \tau - u(y)$ とし、それ以外では $0$ と定義することで構成する。

   • リプシッツ性質： 勾配境界 $|Du| < 1$により、$g$ は大域的に1-リプシッツである。
   • 積分評価： $\Sigma$ の極小性とカットオフ関数を用いた部分積分を用いることで、著者らは勾配に関する重み付き $L^2$ 境界を導出する：
     $$\int_{\mathbb{R}^3} \frac{|\nabla g(y)|^2}{1 + |y|} \, dy < \infty.$$

5. 矛盾の導出：
   集合 $S$ と $\Gamma$ は、$\mathbb{R}^3$ 内の非有界な連結集合 $S_0$ および $\Gamma_0$ に射影される。関数 $g$ は $S_0$ 上で値 $0$をとり、異なる定数$a = \tau - t$を$\Gamma_0$ 上にとる。

   • $S_0$ と $\Gamma_0$ は非有界かつ連結であるため、十分に大きな球 $\partial B_r(0)$ とは必ず交差する。
   • リプシッツ条件により、これらの球面上で $g$ は小さな測地線キャップ内で $0$付近から$a$ 付近へと遷移しなければならない。
   • 球面上でのディリクレエネルギーの対数的な下界評価（[AM26b, 補題5.8] を引用）を適用することで、著者らは $|\nabla g|^2$ の積分が大きな球の外側で対数的に発散することを示す：
     $$\int_{R_0}^\infty \frac{dr}{(1+r)\log(Cr/\rho_0)} = \infty.$$
     この発散は、先に確立された重み付き積分の有限性と矛盾し、したがって、初期の仮定（$\Sigma$ が固有ではない）は偽である、すなわち $\Sigma$ は固有であることが証明される。

主要な貢献と結果

• 主定理： 本論文は、第二基本形式が有界であり、かつ有限の第二ベッチ数（$b_2(\Sigma; \mathbb{Z}_2) < \infty$）を持つ、連結で完備な埋め込み極小超曲面 $\Sigma^3 \subset \mathbb{R}^4$ は固有であることを証明している。
• 特定のケースの解決： これは、特定の幾何学的および位相的制約の下での、$\mathbb{R}^4$ 内の埋め込まれた極小超曲面に関するカラビ・ヤウ予想への最初の肯定的な回答を提供するものである。
• $\mathbb{R}^3$ に対する新しい証明： 本手法は、有界曲率を持つ $\mathbb{R}^3$ 内の完備埋め込み極小曲面の固有性に関する新しい証明を与える。これは、Xavier の半空間定理（Rosenberg [Ros01] で使用されたもの）に依存しない。これは、$\Sigma^2 \times \mathbb{R}$ に対しては第二ベッチ数が消滅するという観察に基づいている。
• 仮定の必要性： 著者らは、有界曲率の仮定の微妙さを明確にしている。この仮定がなければ、本定理は「$\mathbb{R}^3$ 内のすべての完備埋め込み極小曲面は固有である」ことを意味することになるが、これは（Meeks による）伝承的な反例によって否定される可能性がある。したがって、より強い位相的制約（例えば有限の第一ベッチ数）が課されない限り、有界曲率の条件は不可欠であると考えられる。

意義と範囲
本論文は、標準的な手法が通用しない高次元（$n \ge 3$）における極小超曲面の固有性を理解するための、「方向性を示す最初の回答」であると主張している。著者らは、本結果が、例えば3次元カタノイド、サイモン錐に漸近する例、および $\mathbb{R}^3$ 内の有界曲率の極小曲面と $\mathbb{R}$ の直積といった標準的な族に適用可能であることを明示している。

本研究は、すべての完備埋め込み極小超曲面についてカラビ・ヤウ予想を解決しようとするものではない。また、有界曲率や有限ベッチ数の仮定を取り除くことも目的としていない。むしろ、有界幾何学、有限のトポロジー（特に $b_2$）、および固有性の間の厳密な関連性を確立しており、高次元における固有性の欠如（曲率が無界でトポロジーが無限である著者らによる例に見られるもの）が、これらの特定の条件の違反と密接に関連していることを浮き彫りにしている。