The number of smooth varieties in an MMP on a 3-fold of Fano type

技術要約：ファノ型の3次元多様体におけるMMPにおける滑らかな多様体の数

問題設定
3次元多様体の極小モデルプログラム（MMP）は、曲面のケースでは結果が滑らかなまま残ることが多いのに対し、頻繁に特異な多様体を生成する。このため、終端（terminal）、カワマタ・ログ・ターミナル（klt）、あるいはログ・カノニカル（log canonical）といった特異性の研究が必要となる。自然な問いは、ファノ型の3次元多様体上の$D$-MMP（ここで$D$は移動可能な$\mathbb{Q}$-Cartier Weil因子である）において、生成される滑らかな多様体がどれほど多く現れるかという点である。本論文は、ファノ型の3次元多様体$X$上の$D$-MMPにおいて、いくつの滑らかな多様体が現れ得るかを調査している。先行研究[Ben85]では、$D = -K_X$の場合、$-K_X$-MMPにおいて$X$自身以外の滑らかな多様体は現れないことが確立されている。本論文は、この問題を任意の移動可能な因子$D$へと一般化するものである。

手法
主定理の証明は、[Kim24, Theorem 1.4]に見られる議論を密接に踏襲した4段階の構造に従う。その手法は、コホモロジー不変量とMMPにおける反転（flip）の幾何学的性質との相互作用に依拠している。

1. セットアップと反転への還元： 著者はまず、正規な射影多様体上の移動可能な因子$D$に対して、任意の$D$-MMPが反転のみで構成されることを確立する（補題2.4）。これは、反転による縮退（divisorial contraction）が$D$の厳密変換の可動性に矛盾するためである。証明は、反転の列 $X_0 \dashrightarrow X_1 \dashrightarrow \dots \dashrightarrow X_n$ の分析を進めることで行われる。$X$がファノ型であれば、MMPの列における後続のすべての多様体$X_i$もまたファノ型であることが示される。

2. コホモロジー的単調性： 議論の核となるのは、整数列 $d_i = h^1(X_i, \mathcal{O}_{X_i}(2mD_i))$ （ここで$D_i$は$X_i$上の$D$の厳密変換）の定義である。レーリー・スペクトル系列、反転の分解、および消滅定理（具体的には補題2.8と相対的カワマタ・ヴィエヴェーヴェリング消滅定理）を用いることで、著者はこの列が非増加であること、すなわち $d_{i-1} \geq d_i$ であることを証明する。

3. 厳密減少条件： 本論文は、因子の滑らかさ（またはCartier性）とコホモロジー列との間の決定的な関連性を確立する。$d_{i-1} = d_i$ であれば、$mD_i$はCartierではないことが証明される。このステップでは、反転縮退 $\phi_i$ の性質、高次直接像の消滅、および反転によって縮退される有理曲線の議論を用いた矛盾による証明が用いられる。具体的には、$mD_{i-1}$がCartierであれば、リネ・バンドルの制限が、$\mathbb{P}^1$上の反アンプル束に対して非ゼロであることが既知であるコホモロジー群の消滅を導くような有理曲線$C$を構成できる。

4. 個数の境界： 単調性（$d_{i-1} \geq d_i$）と厳密減少条件（$mD_i$がCartierならば $d_{i-1} > d_i$）を組み合わせることで、著者は$mD_i$がCartierとなる指数の数を制限する。列 $d_i$ は非負の整数であり、$h^1(X, 2mD)$ から始まるため、厳密な減少の回数は初期値を超えることはできない。

主要な貢献と結果

• 定理 1.1： ファノ型の3次元多様体$X$と、移動可能な$\mathbb{Q}$-Cartier Weil因子$D$に対して、$D$-MMPにおいて$mD_i$がCartierとなる多様体$X_i$の個数は、$1 + h^1(X, \mathcal{O}_X(2mD))$ によって抑えられる。
• 系 1.2： 定理1.1の直接的な帰結として、このようなMMPにおける「滑らかな」多様体の数は $1 + h^1(X, \mathcal{O}_X(2D))$ によって抑えられる。これは、滑らかな多様体上では、すべてのWeil因子がCartierであるためである。
• 系 1.3（コダイラ消滅定理への部分的な逆定理）： 本論文は、ファノ型の3次元多様体における移動可能な因子に対するコダイラ消滅定理の部分的な逆定理を証明している。それは、もし$X$がファノ型であり、$D$が移動可能な$\mathbb{Q}$-Cartier Weil因子であり、かつ十分な倍数を持つ任意の$m$に対して $H^1(X, \mathcal{O}_X(mD)) = 0$ ならば、$D$はnefであることを述べている。証明は、$D$がnefでないならば、$D$-MMPが非自明な形で終了し、それが定理1.1を通じて消滅仮定に矛盾するという事実を利用している。

意義と主張
本論文は、ファノ型3次元多様体のMMPにおける滑らかな多様体の出現に関する定量的な境界を提供し、既知の結果をアンチカノニカルなケースから一般的な移動可能な因子へと拡張したものである。その意義は、滑らかさ（あるいは因子のCartier性）という幾何学的性質を、コホモロジー不変量 $h^1(X, 2D)$ に結びつけた点にある。

さらに、本論文は系1.3をコダイラ消滅定理の部分的な逆定理として提示している。標準的なコダイラ消滅定理は、ファノ型多様体上のnefな因子は高次コホモロジーが消滅することを主張するが、この結果は、移動可能な因子については、$H^1$の消滅がnef性を保証するのに十分であることを示唆している。著者は、移動可能性の仮定が不可欠であると述べており、非nefな因子がコホモロジー消滅条件を満たしながらも移動可能性に失敗する、$\mathbb{P}^3$のブローアップに関する反例（Remark 3.1）を挙げている。

本研究は、ネガティビティの補題（Negativity Lemma）、特異点の分解、および消滅定理を含むMMPの確立された手法に依拠しており、それらを統合して、3次元多様体のMMPにおける滑らかさの頻度という特定の問いに対処している。