[論文レビュー] Abundance for Kaehler threefolds

Frédéric Campana, Andreas Hoering+1 more|arXiv (Cornell University)|Mar 13, 2014

Geometry and complex manifolds参考文献 30被引用数 8

ひとこと要約

この論文は、終極的特異点をもつコンpact Kähler 3次元多様体に対して、その canonical divisor $K_X$ が nef であるならば、ある倍数 $mK_X$ が globally generated である、すなわち semi-ample であることを示すことによって、そのような多様体における豊富性予想を確立する。証明は、Kähler 3次元多様体上の log 対に対して minimal model program を拡張し、双対 Kähler 錐に対する一般化された円錐定理および収縮定理を用い、Albanese 写像と有限被覆の解析によって、非自明な canonical class をもつ数的次元 0 を除外する。

ABSTRACT

Let X be a compact Kaehler threefold with terminal singularities such that K\\_X is nef. We prove that K\\_X is semiample.

研究の動機と目的

• 終極的特異点をもつコンpact Kähler 3次元多様体に対する豊富性予想を確立すること。
• 非代数的状況下における Kähler 3次元多様体上の log 対への minimal model program を拡張すること。
• Kähler 圏において、canonical divisor の nef であることから semi-ampleness が導かれるということを証明すること。
• 正次元の部分多様体を持たない単純な Kähler 3次元多様体の構造に関する長年の予想を解決すること。
• 代数的でない Kähler 3次元多様体で $\kappa(X) = 0$ であるようなものについて、トーラスまたは楕円曲線と K3 表面の積に bimeromorphic な有限被覆が存在することを示すこと。

提案手法

• 有理的特異点をもつ Kähler 3次元多様体上の lc 対に対して弱い円錐定理を確立し、Mori 錐の代わりに双対 Kähler 錐 $\overline{\mathrm{NA}}(X)$ を用いる。
• dlt および slc 特異点の仮定の下で、$(K_X + \Delta)$-負の極小的射線に対する収縮定理を証明する。
• base-point free 定理と Kawamata の基準を用いて、豊富性問題を $\kappa(X) = \nu(X)$ の証明に還元する。
• $K_{X'} \equiv 0$ である有限巡回被覆 $X' \to X$ に対して、Albanese 写像 $\alpha: X' \to \mathrm{Alb}(X')$ を解析する。
• アーベル多様体上の楕円的およびファイバー束構造に関する結果を適用し、$\kappa(X) = 0$ のときの $X'$ の幾何的構造を分類する。
• 有限エタール基底変換と相対 MMP を用いて、$X'$ がトーラスまたは $A' \times F$（$F$ は K3 またはトーラス的表面）に bimeromorphic であることを示す。

実験結果

リサーチクエスチョン

• RQ1 終極的特異点をもつコンpact Kähler 3次元多様体に対して、豊富性予想は成立するか？
• RQ2 非代数的 Kähler 3次元多様体上の log 対への minimal model program を拡張することは可能か？
• RQ3 代数的でない Kähler 3次元多様体で $\kappa(X) = 0$ かつ正次元の部分多様体を持たないとき、その構造はいかなるものか？
• RQ4 Kähler 3次元多様体において、nef な canonical divisor が semi-ample であるための条件は何か？
• RQ5 正の非定数のメラモーフィック関数を持たず、$\kappa(X) = 0$ であるコンpact Kähler 3次元多様体は、トーラスの商に bimeromorphic か？

主な発見

• 任意の $\mathbb{Q}$-因子的で、終極的特異点をもち、$K_X$ が nef であるコンpact Kähler 3次元多様体 $X$ に対して、canonical divisor $K_X$ は semi-ample である。
• このような多様体に対して、数的次元 $\nu(X)$ は Kodaira 次元 $\kappa(X)$ に等しい。これは豊富性予想の核心的ステップを確認する。
• 代数的でないコンpact Kähler 3次元多様体で $\kappa(X) = 0$ であるようなものについて、トーラスまたは楕円曲線と K3 表面の積に bimeromorphic な有限エタール被覆が存在する。
• 正次元の部分多様体を持たない単純な Kähler 3次元多様体（非常に一般な点を通る正次元の部分多様体を持たない）に対して、ある bimeromorphic 写像が $T/G$ に写すことができる。ここで $T$ はトーラス、$G$ は有限群である。
• $K_{X'} \equiv 0$ である有限巡回被覆 $X' \to X$ の Albanese 写像は、全射で、連結なファイバーを持つ。さらに、有限エタール基底変換を施すと、$X'$ はトーラスまたは $A' \times F$（$F$ は K3 またはトーラス的表面）に bimeromorphic である。
• $X'$ とその最小モデル $\bar{X}$ 間の任意の bimerational 写像は、codimension 1 で同型であり、フロップの列に分解される。しかし最終モデルにはこのような剛性を持つ有理的曲線は存在しないため、写像は同型である。