多様体上の葉付き構造（Foliations）に対する最小モデルプログラム（MMP）の最近の進展：概要

Paolo Cascini と Calum Spicer によるこの論文は、複素多様体上の葉付き構造（foliations）の双有理幾何学、特に最小モデルプログラム（MMP）の視点からの最近の進展を survey したものである。従来の多様体に対する MMP の技術が、葉付き構造の標準的クラス $K_{\mathcal{F}}$ に対してどのように適応可能か、また、どのような新たな現象が現れるかに焦点を当てている。

以下に、論文の技術的要点を問題設定、手法、主要な貢献、結果、そして意義の観点から詳細にまとめる。

---

1. 問題設定と背景

背景

葉付き構造は、代数幾何学においてファイバー束、代数群作用、微分形式やベクトル場から自然に現れる。双有理幾何の観点からは、対 $(X, \mathcal{F})$（$X$ は正規多様体、$\mathcal{F}$ はランク $r$ の葉付き構造）を双有理変換の下で研究する。ここで、葉付き構造の標準的因子 $K_{\mathcal{F}}$ が、葉（leaves）の幾何を制御する役割を果たすことが期待される。

核心的な課題

従来の MMP が $K_X$ に対して成功しているのに対し、$K_{\mathcal{F}}$ に対する MMP には以下のような根本的な障壁と新たな課題が存在する。

1. 特異点の解消の不可能性: 滑らかな多様体上の特異な葉付き構造を、ブローアップの列によって滑らかな葉付き構造に「解消」することは一般的に不可能である（ブローアップは新たな特異点を生成する）。したがって、特異点を「解消」するのではなく、「特異点の還元（reduction）」、すなわち「標準的（canonical）特異点」などの特定のクラスに還元することが目標となる。
2. 基点自由定理の欠如: 従来の MMP の中核である基点自由定理（Base Point Free Theorem）は、葉付き構造の文脈では同様の一般性では成立しない。
3. 反転（Flips）の存在: 3 次元以上において、$K_{\mathcal{F}}$-MMP を実行する際に必要な「反転（flip）」の存在が、追加の構造（セパラトリクス、有理第一積分、補完など）なしには保証されない。

中心的な問い

論文は以下の 2 つの主要な問いを提起している。

1. 葉付き構造に対する Bend and Break: $K_{\mathcal{F}} \cdot C < 0$ となる曲線 $C$ が存在する場合、$K_{\mathcal{F}} \cdot \Sigma < 0$ となる有理曲線 $\Sigma$ は存在するか？また、$\Sigma$ は葉 $\mathcal{F}$ に対して「向き付け可能」（接している、または不変部分多様体に含まれる）か？
2. 最小モデルの存在: $K_{\mathcal{F}}$ が擬有効（pseudo-effective）であるとき、$K_{\mathcal{F}'}$ が nef となるような双有理写像 $X \dashrightarrow X'$ は存在するか？

---

2. 手法と主要な技術的ツール

この分野の進展を支える中心的な技術は、**葉付き構造に対する随伴公式（Adjunction for foliations）**である。

葉付き随伴公式

多様体 $X$ 上の因子 $D$ に対して、$\mathcal{F}$ を $D$ の正規化に制限した葉付き構造 $\mathcal{F}_D$ と、有効な補正項（異なる項、different）$\text{Diff}_D(\mathcal{F}) \geq 0$ を定義し、以下の線形同値を得る：
$$(K_{\mathcal{F}} + \epsilon(D)D)|_D \sim K_{\mathcal{F}_D} + \text{Diff}_D(\mathcal{F})$$
ここで、$\epsilon(D)$ は $D$ が $\mathcal{F}$-不変か否かに応じて 0 または 1 となる。
この公式は、従来の MMP における対 $(X, \Delta)$ の随伴公式と同様の役割を果たし、$X$ 上の数値的負性を部分多様体への具体的な制限に変換し、$X$ と $D$ 上の特異点を比較するメカニズムを提供する。

特異点の分類と還元

• ランク 1 葉付き構造: ベクトル場の Jordan 分解を用いて、線形部分が非冪零（non-nilpotent）であることが「対数標準的（log canonical）」であるための必要十分条件となることを示す（McQuillan-Panazzolo の結果の再定式化）。
• 余ランク 1 葉付き構造（3 次元）: 「単純特異点（simple singularities）」が適切なクラスとして特定されている。特に、3 次元における標準的特異点を持つ葉付き構造は、必ず**セパラトリクス（separatrices、不変な除数）**を持つことが示されている。この性質が反転の構成に不可欠である。
• 代数的に積分可能な葉付き構造: 有理写像 $f: X \dashrightarrow Z$ によって誘導される場合、特異点の還元問題は有理写像のトーロイド化（toroidalisation）問題に帰着される。

---

3. 主要な結果

3.1 曲面における葉付き MMP

McQuillan の結果 [McQ08] を、随伴公式と曲面の古典的 MMP を用いて再構成・簡略化した。

• 定理 5.4: 正規 $Q$-ファクトリアルな射影曲面 $X$ 上のランク 1 葉付き構造 $\mathcal{F}$（標準的特異点を持つ）に対して、以下のいずれかが成り立つ。
  1. $\mathcal{F}$ は有理曲線によるファイバー束に双有理同値である。
  2. $K_{\mathcal{F}}$ が nef となるような双有理縮小 $\psi: X \to X'$ が存在する。
• 一般型の場合の構造: $K_{\mathcal{F}}$ が大（big）である場合、最小モデルの構造は詳細に記述される。特に、**楕円 Gorenstein 葉（elliptic Gorenstein leaves）**と呼ばれる特殊な構成要素の存在が示される。
• 有限生成性の失敗: 多様体の場合とは異なり、葉付き構造の環 $R(X, K_{\mathcal{F}})$ は一般に有限生成ではない。これは楕円 Gorenstein 葉の存在と密接に関連している（定理 5.11）。

3.2 3 次元における反転（Flips）の存在

3 次元以上では、反転の存在が MMP の実行における最大の障壁であった。本論文は、以下の条件の下で反転の存在を証明している。

• ランク 1 葉付き構造（定理 6.4）:
  • $X$ が $Q$-ファクトリアルな klt 3 次元多様体で、$\mathcal{F}$ が単純特異点を持つ場合。
  • 反転する曲線 $C$ に対して、Reeb 安定性定理と随伴公式を用いて、$\mathcal{F}$ が**有理第一積分（meromorphic first integral）**を持つことを示す。
  • この第一積分を用いて、$K_{\mathcal{F}}$-反転を、通常の対 $(X, G)$ に対する反転（$G$ は $\mathcal{F}$-不変な有効因子）として構成する。
• 余ランク 1 葉付き構造（セクション 6.2）:
  • 3 次元の余ランク 1 葉付き構造（標準的特異点を持つ）に対して、反転曲線 $C$ と交わるすべてのセパラトリクスの和集合をとり、それを $C$ の近傍に延長することで、不変因子 $G$ を構成し、反転を構成する。
  • この構成には、形式除数（formal divisors）の扱いや Artin/Elkik 近似定理などの高度な技術が必要とされる。

---

4. 意義と今後の課題

学術的意義

1. MMP の枠組みの拡張: 葉付き構造という新しい対象に対して、MMP の主要なステップ（特異点の分類、随伴公式、反転の存在）がどのように機能するかを体系的に示した。
2. 幾何学的直観の深化: 「葉付き構造の標準的因子が葉の幾何を制御する」という直観が、特異点の還元や反転の構成において具体的にどのように実現されるかを明らかにした。
3. 新たな現象の発見: 多様体の MMP とは異なり、有限生成性が失われること、あるいは反転を構成するために「第一積分」や「セパラトリクス」といった解析的・幾何学的な構造が本質的に必要となることを示した。

未解決問題と将来の展望

論文は、以下の重要な未解決問題を提起している。

• 高次元への一般化: 3 次元で成功した反転の構成が、4 次元以上でどのように拡張されるか（特に、高次元における「非対称的（non-dicritical）」特異点の適切な定義と存在）。
• 一般型の高次元構造: 高次元における一般型の葉付き構造の構造定理（曲面の定理 5.9 の一般化）は存在するか？
• 独立な因子の存在: 反転の列 $\phi: X \dashrightarrow X'$ に対して、すべての反転を同時に $(K_X + G)$-反転として記述できるような、反転の選択に依存しない因子 $G$ は存在するか（質問 6.5）？

結論

この survey は、葉付き構造の双有理幾何学が、MMP の強力な手法と葉付き構造特有の解析的・幾何的性質（第一積分、セパラトリクス、随伴公式）を融合させることで、急速に発展している分野であることを示している。特に、3 次元における反転の存在証明は、高次元への道を開く重要なマイルストーンである。