代数幾何学 · 2026-08-14
Recent progress on the Minimal Model Program for foliations
葉層の極小モデル・プログラムの近年の進展 Paolo Cascini, Calum Spicer paolo-cascini-1hka2ve calum-spicer-pq2nfr singularities minimal-model-program positivity vector-bundles-sheaves foliations Singularities 特異点・特異性 Minimal model program 極小モデル・プログラム Positivity 正値性 Vector bundles and sheaves ベクトル束・層 Foliations 葉層構造arXiv Abstract
We survey recent progress on the birational geometry of foliations on complex varieties. We focus on the MMP viewpoint: singularities, adjunction and applications to the MMP for foliations on surfaces and to the existence of flips on threefolds.
日本語要約
複素多様体上の葉層の双有理幾何について、近年の進展を概観する。特にMMPの観点から、葉層特異点と随伴を整理し、それらが曲面上の葉層MMPや三次元多様体上のフリップの存在にどう用いられるかを説明する。
We survey recent progress on the birational geometry of foliations on complex varieties. We focus on the MMP viewpoint: singularities, adjunction and applications to the MMP for foliations on surfaces and to the existence of flips on threefolds.
複素代数多様体上の葉層に対する極小モデル・プログラム（MMP）を、特異点、随伴、曲面上のMMP、三次元フリップという流れで整理するサーベイである。葉層標準因子 $K_{\mathcal F}$ が通常の標準因子に似て振る舞う範囲と、特異点解消や半豊富性が破綻する葉層固有の障害を対比し、bend-and-breakと極小モデルの存在を中心課題として提示する。
algebraic-geometry 2026書誌情報
- arXiv: arXiv:2604.09027v1
- 著者: Paolo Cascini, Calum Spicer
- 初回投稿日・最終更新日: 2026年4月10日（v1）
- 主分類・副分類: math.AG（主分類）
- ライセンス: CC BY 4.0
要約
葉層はファイブレーション、代数群作用、微分形式、ベクトル場から自然に現れる。階数 $r$ の葉層 $\mathcal F$ には標準層 $\omega_{\mathcal F}=(\bigwedge^rT_{\mathcal F})^*$ と標準因子 $K_{\mathcal F}$ が対応し、特異点が十分穏やかなら通常のMMPに似た錐・収縮定理や随伴を構成できる。
しかし、滑らかな周囲多様体上でも爆発によって変換後の葉層に新たな特異点が生じ得るため、葉層を滑らかにする通常型の特異点解消は期待できない。さらに基点自由定理が一般には使えず、三次元以上のフリップには分離葉、メロモルフィック第一積分、complementなどの追加構造が必要になる。
Introductionは、$K_{\mathcal F}$-負曲線から葉層に適合した有理曲線を得られるかというbend-and-break問題と、$K_{\mathcal F}$ が擬有効なときnefな葉層標準因子を持つモデルへ到達できるかという極小モデル問題を、二つの中心課題として掲げる。
本稿は新しい単一の主定理を証明する論文ではなく、低次元で確立された結果、三次元フリップへの方法、未解決問題を見通すためのサーベイである。したがって以下では、Introductionが全体を束ねる中心公式と論文の射程を主結果として整理する。
背景と問題設定
通常のMMPでは多様体の標準因子が双有理幾何を制御する。葉層版では $K_{\mathcal F}$ が葉の幾何を制御するという類比を追うが、葉層特異点の「よい」クラスへの簡約は一般には低次元でしか理解されていない。また、$K_{\mathcal F}\cdot C<0$ から得る有理曲線を $\mathcal F$ に接するよう選べるか、MMPの出力をどの仮定で保証できるかが問題となる。
主結果
サーベイを貫く葉層随伴公式（Theorem 4.1への案内）
Introductionが主要な技術的支柱として示すのは葉層の随伴である。$X$ 上の因子 $D$ を正規化し、誘導葉層を $\mathcal F_D$、有効な補正項を $\operatorname{Diff}_D(\mathcal F)$ とすると、
$$ (K_{\mathcal F}+\epsilon(D)D)|D\sim K{\mathcal F_D}+\operatorname{Diff}_D(\mathcal F), \qquad \operatorname{Diff}_D(\mathcal F)\geq 0 $$
という形の公式を得る。この公式は $X$ 上の数値的負性を部分多様体上の制約へ移し、$X$ と $D$ 上の特異点を比較する役割を担う。曲面ではMcQuillanの葉層MMPへの道を与え、三次元では葉層フリップ構成の主要入力となる。
本サーベイが整理する到達点と限界
曲面では随伴を通じて葉層MMPの主要部分と一般型葉層の構造を説明する一方、楕円Gorenstein葉の出現によって有限生成が一般には失敗することも扱う。高次元では三次元フリップを焦点とするが、Introductionは一般次元での極小モデル存在を既解決とはせず、追加構造を要する発展途上の問題として明確に区別している。
原論文との対応
- Abstractページ: arXiv:2604.09027v1
- Introduction: Section 1, pp. 1–3
- Introduction中で言及された主要定理番号: Theorems 4.1, 4.3（後続節への案内）
- 論文構成の説明: Section 1, p. 3
- 確認したarXivバージョン: v1
- 確認したライセンス: CC BY 4.0
- source_scope: Abstract and Introduction