論文「Equivalence of Almgren–Pitts and phase-transition half-volume spectra」の技術的サマリー

1. 問題設定と背景

本論文は、閉リーマン多様体 $(M^{n+1}, g)$ 上の幾何学的変分問題における、2 つの異なるアプローチによって定義される「スペクトル（固有値列）」の等価性を証明するものです。

背景

• ラプラシアン固有値: 線形理論におけるラプラシアン固有値 $\lambda_p$ は、最小・最大原理（min-max principle）によって特徴づけられます。
• Gromov の非線形アナログ: Gromov は、面積汎関数に対する非線形アナログとして「$p$-掃引（$p$-sweepout）」と「$p$-幅（$p$-widths, $\omega_p$）」を導入しました。これは、$M$ 内の超曲面の族が任意の $p$ 点を通るような構成を用いて定義され、その列 $\{\omega_p\}$ は「体積スペクトル」と呼ばれます。
• Almgren–Pitts 理論: 面積汎関数の臨界点（極小超曲面）の存在を証明するための min-max 理論です。
• 相転移（Phase-Transition）理論: Allen–Cahn 方程式を用いた変分アプローチです。$\varepsilon \to 0$ の極限において、エネルギー最小化問題の解が極小超曲面に収束します。Gaspar と Guaraco は、この枠組みで「相転移スペクトル $\{c(p)\}$」を定義しました。
• 既存の結果: Dey (2023) により、通常の Almgren–Pitts 体積スペクトル $\omega_p$ と相転移スペクトル $c(p)$ が一致することが証明されました（$\omega_p = c(p)$）。

本研究の核心：半体積スペクトル

Mazurowski と Zhou は、上記の理論を「半体積（half-volume）」条件に制限したバージョンを提案しました。

• Almgren–Pitts 半体積スペクトル $\{\tilde{\omega}_p\}$: 多様体の体積のちょうど半分を囲む超曲面による掃引を用いて定義されます。
• 相転移半体積スペクトル $\{\tilde{c}(p)\}$: Allen–Cahn エネルギーの臨界点のうち、関数の積分値がゼロ（$\int_M u = 0$）となるもの（平均値がゼロ）に制限して定義されます。これは、囲む体積が半分であることを意味します。

研究課題: Mazurowski と Zhou は、これら 2 つの半体積スペクトルが一致する（$\tilde{\omega}_p = \tilde{c}(p)$）という予想を立てていましたが、その証明は未解決でした。本論文はこの予想を解決し、両者の等価性を証明します。

2. 主要な結果

定理 1.1: 閉リーマン多様体 $M$ に対して、Almgren–Pitts 半体積スペクトル $\{\tilde{\omega}_p\}$ と相転移半体積スペクトル $\{\tilde{c}(p)\}$ は、すべての $p \in \mathbb{N}$ に対して等しい。
$$\tilde{\omega}_p = \tilde{c}(p)$$

この結果は、Mazurowski と Zhou の予想を肯定するものです。

3. 手法と証明の概要

証明は、以下の 2 つの不等式の成立を示すことで構成されます。

1. $\tilde{\omega}_p \leq \frac{1}{2\sigma} \liminf_{\varepsilon \to 0} \tilde{c}_\varepsilon(p)$
2. $\frac{1}{2\sigma} \limsup_{\varepsilon \to 0} \tilde{c}_\varepsilon(p) \leq \tilde{\omega}_p$
   （ここで $\sigma$ は Allen–Cahn エネルギーの界面エネルギー定数）

第 3 章：相転移から Almgren–Pitts へ（不等式 1 の証明）

この方向では、相転移の関数族から、半体積条件を満たす超曲面の族（スウィープアウト）を構成します。

• 離散化とレベルセット: 最適に近い Allen–Cahn 関数族 $u$ から、そのレベルセット $\{u > s\}$ を用いて離散的な超曲面の族を構成します（Gaspar–Guaraco の手法を踏襲）。
• 半体積条件の近似: 関数 $u$ が平均ゼロ（$\int u = 0$）であるという仮定から、レベルセットが「ほぼ」半体積であることを示します（補題 3.5）。具体的には、エネルギーが小さいとき、レベルセットの体積と $M$ の半分の体積との差が $\varepsilon$ のオーダーで小さくなることを評価します。
• 半体積補正写像の構成: 構成された超曲面の族が厳密に半体積ではない場合、それを厳密な半体積条件を満たす族に射影する連続写像（補正写像）を構成します（補題 3.9）。
  • この写像は、Caccioppoli 集合の空間上で定義され、体積を線形に補正しつつ、面積（Mass）を大きく増大させないことを保証します。
  • これにより、相転移のエネルギー上限から、半体積スウィープアウトの面積上限を導出します。

第 4 章：Almgren–Pitts から相転移へ（不等式 2 の証明）

この方向では、半体積超曲面の族から、平均ゼロの Allen–Cahn 関数族を構成します。Dey の手法を拡張して適用します。

• 滑らかな離散化: 与えられた半体積スウィープアウト（超曲面の族）を、Dey の「ほぼ滑らかな離散化」構成を用いて、特異点集合を除いて滑らかな超曲面の族に近似します。
• 符号付き距離関数と関数化: 各超曲面に対して符号付き距離関数を定義し、それを Allen–Cahn の双井戸ポテンシャルに適合する関数 $g_\varepsilon$ で変換して、$H^1(M)$ 関数の族を構成します。
• グルーピング（Gluing）構成: 離散的な頂点で定義された関数族を、Dey のグルーピング構成（$\theta$ 写像を用いた補間）によって、連続的な関数族に拡張します。
• 平均ゼロ条件の制御と補正:
  • 構成された関数族は、元の超曲面が半体積であるため、積分値（平均）がゼロに「近い」ことが示されます（補題 4.5, 4.6）。
  • しかし、厳密にゼロではありません。そこで、関数からその平均値を引くことで「平均ゼロ補正」を行います（補題 4.11）。
  • この補正によるエネルギー増加が $\varepsilon \to 0$ で無視できることを示し、最終的に相転移スペクトルの上限を Almgren–Pitts 半体積スペクトルで抑えます。

4. 主要な貢献と技術的革新点

1. 半体積制約の扱い: 従来の全空間での等価性証明とは異なり、「半体積（または平均ゼロ）」という制約が min-max 過程でどのように保存されるかを厳密に制御しました。特に、補正写像の構成において、面積の増大を最小限に抑えつつ、トポロジー的性質（スウィープアウトの性質）を維持する点が重要です。
2. 相転移と幾何的 min-max の橋渡し: 相転移理論における「平均ゼロ」の条件が、幾何学的な「囲む体積が半分」という条件と完全に一致することを示しました。
3. Dey の手法の一般化: Dey が通常のスペクトル等価性のために開発した「ほぼ滑らかな離散化」と「グルーピング」の手法を、半体積という追加の幾何的制約下で適用可能に拡張しました。

5. 意義と今後の展望

• Yau 予想の CMC 版への道筋: この結果は、定平均曲率（CMC）超曲面に関する Yau 予想の半体積版（Conjecture 1.3）の解決に不可欠なステップです。Mazurowski と Zhou は、相転移理論を用いて半体積 CMC 超曲面の存在を示しており、本論文の結果により、Almgren–Pitts 理論でも同様の結果が得られることが保証されます。
• Twin Bubble 予想との関連: Arnold の予想の高次元版である「Twin Bubble 予想」（任意の正の定平均曲率に対して、少なくとも 2 つの異なる閉じた超曲面が存在する）との関連性が深まります。半体積スペクトルは、特定の体積制約を持つ CMC 超曲面の存在を議論する際の重要な不変量となります。
• 理論の統合: 幾何学的変分問題（Almgren–Pitts）と PDE 的アプローチ（Allen–Cahn）が、制約付きの問題においても完全に等価であることを示すことで、両者の手法を相互に利用して新たな幾何学的結果を導くことが可能になります。

結論として、本論文は閉リーマン多様体上の極小・定平均曲率超曲面の存在理論において、2 つの主要な min-max 理論の統合を完成させる重要な成果です。