Free boundary minimal annuli in convex balls

技術要約：凸球体における自由境界極小アニュラス

問題提起
本論文は、境界を持つリーマン3次元多様体における自由境界極小部分多様体の幾何学的解析に関する、主に2つの問題に取り組んでいる。

1. ユークリッド単位球（$B^3$）の4次幅（4-width）： $B^3$ の最初の3つの幅は、赤道円板によって実現される $\pi$ であることが既知であるが、第4の幅 $\omega_4(B^3)$ の値は未解決のままであった。具体的には、$\omega_4(B^3)$ は、$B^3$ における一意な（合同を除いて）適切に埋め込まれた自由境界極小アニュラスである「クリティカル・カテノイド（critical catenoid）」の面積によって実現されるという予想があった。
2. 自由境界極 minimal アニュラスの多重性： 閉じた3次元球面における極小球面に関するYauの予想、および閉じた3次元球面における極小トーラスに関するWhiteの予想に着想を得て、著者らは、非負のリッチ曲率と厳密に凸な境界を持つコンパクトな3次元多様体における、複数の自由境界極小アニュラスの存在について調査している。少なくとも1つのアニュラスが存在することは既知であったが、特定のトポロジーを持つ複数の（具体的には3つの）アニュラスの存在は未解決の問題であった。

手法
著者らは、Almgren-Pittsのミンマックス理論、特に自由境界の設定に適応させたSimon-Smithの変種を用い、さらに位相的制御技術を組み合わせている。

• 標準的な族の構成： Willmore予想の証明に用いられたMarques-Nevesによる5パラメータの標準的な族に着想を得て、著者らは$B^3$ 内の4パラメータの族を構成している。この族は $\mathbb{RP}^4$ によってパラメータ化され、適切に埋め込まれたアニュラス（およびその退化）からなる。この構成には、球の共形微分同相写像とステレオ投影が利用されている。決定的なステップとして、パラメータがパラメータ空間の境界に近づく際の連続性を保証するために、「境界ブローアップ（boundary blow-up）」の手法を用い、この族を $\mathbb{RP}^4$ 上の連続写像へと拡張している。
• 位相的制御： 著者らは、特定の初期曲面として、$S^3$ からのクリフォード・トーラスの半分をステレオ投影して得られるアニュラスを選択している。この選択は、クリフォード・トーラスの「チャネル曲面（channel surface）」構造が共形変形の下で保持されることに基づいている。この構造により、族に含まれる曲面の種数は0であり、境界成分は高々2つであるという厳密な位相的制御（トポロジー的境界 $(0, 1)$）が可能となる。
• 反復的ミンマックス構成： 複数のアニュラスの存在を証明するために、初期アニュラスの回転対称軸を変化させることで、4パラメータの族を6パラメータの族（$\mathbb{RP}^4 \times \mathbb{RP}^2$ によってパラメータ化される）へと拡張している。その後、閉じた多様体に対して開発されたChu-Liによる「反復的ミンマックス・スキーム」を自由境界の設定へと適応させている。これには以下の手順が含まれる：
  • ミンマックス定理を繰り返し適用して、極小曲面を検出する。
  • 検出された極小曲面（円板またはアニュラス）を、スウィープアウトのホモトピー類を維持しながら、パラメータ空間から取り除くための「相対的ピンチオフ（relative pinch-off）プロセス」を用いる。
  • パラメータ空間の余係類のリュースタニク・シュニレルマン理論を利用して、臨界点（極小曲面）の数の下限を導出する。

主要な貢献と結果

1. $\omega_4(B^3)$ の上界：
   著者らは、構築された4パラメータの族のSimon-Smithミンマックス幅が、多重度1の適切に埋め込まれた自由境界極最小アニュラスによって達成されることを証明している。位相的制御（円板を排除する）とモース指数推定（指数が正確に4であることを示す）を組み合わせることで、この極限曲面をクリティカル・カテノイドとして特定している。その結果、以下の上界を確立した：
   $$\omega_4(B^3) \le \text{Area}(\text{Critical Catenoid})$$
   $\pi$ による下限（自由境界極小曲面のギャップ定理を通じて証明済み）と組み合わせることで、以下が得られる：
   $$\pi < \omega_4(B^3) \le \text{Area}(\text{Critical Catenoid})$$

2. 3つの極小アニュラスの存在：
   本論文は、非負のリッチ曲率と厳密に凸な境界を持つすべてのコンパクトな3次元多様体は、少なくとも3つの埋め込まれた自由境界極小アニュラスを含むことを証明している。これは以下の手順により達成される：

   • 6パラメータの族 $\Phi_6$ を構成する。
   • 反復的ミンマックス・プロセスを適用して、極小曲面の列を検出する。
   • パラメータ空間 $Y = \mathbb{RP}^4 \times \mathbb{RP}^2$ の余係類における $\lambda^4 \cup \alpha^2$ の非消滅性を用いた余係類論を用いる。
   • もし3つ未満のアニュラスしか存在しない場合、位相的制約が非消滅な余係類と矛盾することを示し、少なくとも3つの異なる極小アニラスの存在を導く。

3. 多重度1と位相的制御：
   著者らは、この文脈における自由境界Simon-Smithミンマックス極限に関する「多重度1の定理」を厳密に確立し、検出された曲面が多重被覆ではないことを保証している。また、自由境界の設定において、極小曲面のトポロジー（種数および境界の複雑さ）を制御するための枠組みを提供し、Franz-SchulzやKetoverの結果を適応させている。

意義
本論文は、以下の領域において重要であると主張されている：

• Willmore予想の自由境界版： クリティカル・カテノイドによって幅が実現される、初の自然な4パラメータの曲面族を提供しており、これはMarques-NevesによるWillmore予想の構成に対する自由境界版の役割を果たす。
• 幅の予想の解決： $\omega_4(B^3)$ がクリティカル・カテノイドの面積によって抑えられるという予想を裏付け、$\omega_4(B^3)$ の正確な値への距離を縮めた。
• 多重性の結果： 一般的な凸3次元多様体において、指定されたトポロジー（具体的には種数0、境界成分2つ）を持つ複数の自由境界極小曲面を構成した初の事例である。これは、閉じた多様体における極小円板やトーラスに関する既知の結果を、自由境界の設定へと拡張するものである。
• 手法の進展： 「相対的ピンチオフ・プロセス」の開発、および自由境界設定への反復的ミンマックス理論の適応は、境界を持つ多様体において特定のトポロジー型を持つ極小部分多様体を構成するための新しいツールキットを提供する。

著者らは、$\omega_4(B^3)$ の上界は確立しているものの、厳密な等式 $\omega_4(B^3) = \text{Area}(\text{Critical Catenoid})$ は、指数4の自由境界極小曲面の唯一性またはその面積の下限に関する未解決問題に依存していることを注記している。同様に、正確に3つのアニュラスが存在するということも、有限性の仮定の下で証明されており、これは特定のトポロジー類に関するコンパクト性議論によって正当化されている。