[論文レビュー] Threefolds with nef anticanonical bundles

Thomas Peternell, Fernando Serrano|Dipòsit Digital de la Universitat de Barcelona (Universitat de Barcelona)|Feb 5, 1998

Algebraic Geometry and Number Theory参考文献 22被引用数 24

ひとこと要約

この論文は、ネフな反標準 bundle を持つ滑らかで射影的な3次元多様体のアーベル関数の像が全射な部分多様体写像であることを証明し、複素代数幾何における重要な予想を解決する。最小モデルプログラムの技術、特にフリップと収縮を用いて、正規束が $\mathcal{O}(-2)\oplus\mathcal{O}(-2)$ である有理曲線が引き起こす障害を克服する。$\mathbb{Q}$-因子的で端的である3次元多様体のカテゴリー内で作業し、ほぼネフ性を用いた帰納的議論を確立する。

ABSTRACT

We prove that the Albanese map of a smooth projective threefold, whose anticanonical bundle is nef, is a surjective submersion. We also investigate morphisms of threefolds to curves and surfaces whose relative anticanonical bundle are nef.

研究の動機と目的

• 滑らかで射影的な3次元多様体 $X$ に対して $-K_X$ がネフであるとき、アーベル関数が全射な部分多様体写像であることを証明すること。
• 反標準束 $-K_X$ がネフのとき、アーベル関数が部分多様体写像であるという予想を解消すること。これは、半正のリッチ曲率に関する結果の拡張である。
• 有理曲線の正規束が $\mathcal{O}(-2)\oplus\mathcal{O}(-2)$ である吹き上げの例外的ケースが引き起こす技術的障害を克服すること。
• この例外的ケースを扱うための枠組みを、$\mathbb{Q}$-因子的で端的な3次元多様体と「ほぼネフ性」の概念を用いて確立すること。
• 半正のリッチ曲率を持つ3次元多様体の構造定理をネフの場合にまで拡張し、普遍被覆の分割予想を支持すること。

提案手法

• 極小モデルプログラムを用いて、極小収縮を分析し、必要に応じてフリップを行う。特に、小収縮のケースに注目する。
• 吹き上げによって生じる特異点を扱うために、$\mathbb{Q}$-因子的で端的な3次元多様体のカテゴリーを採用する。
• 「ほぼネフ」な反標準束の概念を導入する。これは、すべての有理曲線 $C$ に対して $-K_X \cdot C \geq 0$ が成り立ち、有限個の例外を除くという性質である。
• $b_2(Y)$ に関する帰納法を用い、問題を1次元または2次元のアーベル多様体へのファイブレーションに還元する。
• 基点自由定理と $m$ が十分に大きいときの $mL$ のネフ性を用いて、滑らかな超曲面を構成し、交点数を分析する。
• 例外的ケース $N_{C_0/W} = \mathcal{O}(-2)\oplus\mathcal{O}(-2)$ が、コhomological な消失とスペクトル系列を用いて矛盾を導くことを検証する。

実験結果

リサーチクエスチョン

• RQ1 滑らかで射影的な3次元多様体 $X$ に対して $-K_X$ がネフであるとき、アーベル関数は全射な部分多様体写像であるか？
• RQ2 最小モデルプログラムの枠組みの中で、$\mathcal{O}(-2)\oplus\mathcal{O}(-2)$-曲線のケースが引き起こす障害を克服できるか？
• RQ3 $-K_X$ がほぼネフであるという条件が、このような多様体の分類における帰納的還元を可能にするか？
• RQ4 ファイブレーション $X \to Y$ に対して $-K_{X|Y}$ がネフであるとき、相対アーベル関数は部分多様体写像か？
• RQ5 多様体 $X$ の普遍被覆の分割予想を、半正の反標準束からネフな反標準束へまで拡張できるか？

主な発見

• 任意の滑らかで射影的な3次元多様体 $X$ に対して、$-K_X$ がネフであるとき、アーベル関数は全射な部分多様体写像である。これは3次元における予想の確認である。
• 正規束が $\mathcal{O}(-2)\oplus\mathcal{O}(-2)$ である有理曲線に沿った吹き上げの例外的ケースは、コhomological な消失と組み合わせると矛盾を生じるため、最小モデルプログラムの系列では発生しない。
• 端的3次元多様体の文脈において、フリップの存在が保証され、有限回の停止性が得られ、帰納的還元が可能になる。
• 有限回のフリップ後のファイブレーション $X' \to A$ の構造により、アーベル関数が部分多様体写像であることが保証され、$\dim A = 1$ のとき、$A$ 上にさらに吹き上げは発生しない。
• 有理曲線がなく、正規型が正であるような曲面 $Y$ 上の相対ケースでは、双有理収縮後に $-K_{Z|Y}$ がネフのまま保たれるという仮定の下で、相対アーベル関数が部分多様体写像であることが示された。
• Leray スペクトル系列を用いたコhomological 論法により、$H^1(Y, K_Y) = 0$ が得られ、$q(Y) > 0$ と矛盾する。これにより、$N_{C_0/W} = \mathcal{O}(-1)\oplus\mathcal{O}(-2)$ のケースは除外される。