Equivalence of intrinsic and extrinsic area bounds for minimal surfaces

技術的概要：極小曲面における内在的および外在的面積 bound の同等性

問題提起
本論文は、極小部分多様体の理論において、内在的および外在的な幾何学的 bound の関係に関する根本的な欠落に取り組んでいる。具体的には、有界な内在的面積密度（内在的測地線球に対する体積成長）を持つ完全かつ連結で滑らかに浸入された極小部分多様体 $\Sigma^d \hookrightarrow \mathbb{R}^N$ が、必然的に有界な外在的面積密度（周囲空間におけるユークリッド球に対する体積成長）を持つことを意味するかどうかを検証している。

不等式 $M^{int}_R \leq M^{ext}_R$ は、内在的距離が常にユークリッド距離以上であるという事実により自明であるが、その逆方向は重大な障壁となってきた。この同等性の欠如は、外在的に有界な面積（定常積分多様体）に対する確立された理論と対照的に、内在的面積 bound を持つ極小浸入に対する一般的なコンパクト性理論の発展を妨げてきた。この欠落は、「安定ベルンシュタイン予想」および安定極小超曲面の曲率推定という文脈において特に顕著であり、そこでは内在的 bound に関する $n=6$ のケースが、Schoen、Simon、および Yau の画期的な研究 [SSY75] 以来、未解決となっていた。

手法
著者 Enric Florit-Simon は、単調性公式と漸近的幾何解析の組み合わせを用いて、この同等性を確立している。

1. 内在的単調性公式: 核心的な技術的道具は、内在的面積密度 $M^{int}_R(\Sigma)$ に対する単調性公式である。[Yau75] における計算に触発され、[Cho21] で指摘された動機に基づき、著者は極小部分多様体において、2 つの半径間の内在的面積密度の差が、内在的距離 $r_\Sigma(x)$ とユークリッド距離 $|x|$ の差、および平均曲率ベクトルを含む積分によって制御されるという恒等式（補題 2.1）を導出している。極小曲面（$H_\Sigma \equiv 0$）の場合、これは $M^{int}_R$ が単調非減少であることを意味する。
2. 密度のピンチングと弦弧推定: 証明には「密度のピンチング」の議論（補題 2.3）が用いられる。これは、スケール間で内在的面積密度が著しく増加しない場合（すなわち、$M^{int}_{8R} - M^{int}_R$ が小さい場合）、内在的および外在的計量が漸近的に比較可能（弦弧推定：$|x| \leq r_\Sigma(x) \leq (1+\epsilon)|x|$）であることを示すものである。
3. 漸近的同等性: 内在的密度の単調性と弦弧推定を組み合わせることで、著者は内在的密度が有界であれば、浸入は固有写像（proper）でなければならず、かつ外在的密度は同じ漸近的極限を共有しなければならないことを証明している。
4. ブローアップ解析: 曲率推定への応用（定理 1.4）については、標準的なスケーリング議論（ブローアップ）が用いられる。曲率 bound が成立しないと仮定し、再スケーリングされた浸入の列を構成する。一様な内在的面積 bound と単調性公式により、極限となる極小超曲面の存在が保証される。

主要な貢献と結果

• 定理 1.1（面積 bound の同等性）: 主要な結果として、任意の完全かつ連結で滑らかに浸入された極小部分多様体 $\Sigma^d \hookrightarrow \mathbb{R}^N$ について、$R \to \infty$ における内在的および外在的面積密度の極限が存在し、等しくなることが確立されている：
  $$\lim_{R\to\infty} M^{int}_R(\Sigma, p) = \lim_{R\to\infty} M^{ext}_R(\Sigma, p) \in [\omega_d, \infty]$$
  したがって、$\Sigma$ が有界な内在的面積密度を持つことと、有界な外在的面積密度を持つことは同値である。有界な場合、浸入が固有写像であることも示される。

• 定理 1.3（$n=6$ のギャップの解消）: 定理 1.1 と、Bellettini による最近の画期的な成果 [Bel25]（$n=6$ における埋め込み性の要請を外在的 bound 下で取り除いたもの）を組み合わせることで、本論文は安定極小超曲面に対する次元ギャップを解消する。有界な内在的面積密度を持つ完全かつ連結で滑らかに浸入された二面性の安定極小超曲面 $\Sigma^6 \hookrightarrow \mathbb{R}^7$ は、平坦な超平面でなければならないことを証明している。

• 定理 1.4（局所曲率推定）: 本論文は、有界な内在的面積密度を持つ $n=6$ 次元の安定極小超曲面に対する局所曲率推定を確立している。具体的には、$|B^\Sigma_R(p)| \leq \Lambda R^6$ ならば、第二基本形式はより小さな球において $|II_\Sigma| \leq C/R$ を満たす。これは Schoen、Simon、および Yau [SSY75] によって開始された曲率推定の全体像を完成させるものである。

意義と主張
本論文は、安定極小超曲面の分類における長年の障壁を解消したと主張している。

• 次元ギャップの閉鎖: 本作業以前、$\mathbb{R}^7$ における完全な安定極小埋め込みの平坦性は、$n \leq 5$ の場合（[SSY75] 経由）および $n=6$ の場合において、外在的面積 bound または埋め込み性の仮定の下でのみ知られていた。定理 1.3 は、$n=6$ の結果を内在的設定に拡張し、$n \geq 7$ に対する既知の反例（Simons の円錐）と整合する。
• コンパクト性理論: 内在的および外在的 bound の同等性は、特定のクラスに対して以前は利用不可能だった、内在的面積 bound によって定義される極小浸入に対して、定常積分多様体の強力なコンパクト性理論（Allard の定理 [All72]）を適用する道筋を提供する。
• 高次元への戦略: 著者は、定理 1.3 が高次元における「安定ベルンシュタイン予想」に対する戦略を検証すると示唆している。すなわち、安定極小超曲面が内在的面積 bound を満たすことを証明し、それによってその分類を平坦な超平面の場合に帰着させるというアプローチである。このアプローチは、近年の研究 [CL24, CLMS, Maz24] において $n=2, 3, 4, 5$ で既に成功しており、本論文は $n=6$ に対する障壁を取り除いたものである。

本論文は、$n=6$ のケースの解消および面積密度の同等性の数学的含意を超えて、新たな実験的応用や将来の方向性を提案するものではない。これは、内在的な幾何学的制約を外在的な解析的道具と結びつけるために不可欠な理論的架け橋としての貢献として位置づけられている。