[論文レビュー] On Effective log Iitaka Fibration for 3-folds and 4-folds

Gueorgui Todorov, Chenyang Xu|ArXiv.org|Nov 25, 2008

Algebraic Geometry and Number Theory参考文献 11被引用数 4

ひとこと要約

本稿は、次元 ≤4 かつ kodaira 複素数が2の klt 対に対して、対数 Iitaka 纖維の有効性を確立する。すなわち、ある一様な整数 $ m $ が存在し、$ \lfloor m(K_X + \Delta) \rfloor $ がこの纏めを誘導することを証明する。さらに、ファイバー次元が2の場合、モジュライ部の分母が有界であることを示し、次元2での有効性を完了するとともに、canonical bundle formula と係数に対する DCC 偽定を用いて、高次元への対数 Iitaka 纖維プログラムを前進させる。

ABSTRACT

We prove the effectiveness of the log Iitaka fibration in Kodaira codimension two for varieties of dimension$\le 4$. In particular, we finish the proof of effective log Iitaka fibration in dimension two. Also, we show that for the log Iitaka fibration, if the fiber is of dimension two, the denominator of the moduli part is bounded.

研究の動機と目的

• 次元 ≤4 の多様体に対して、kodaira 複素数が2である対数 Iitaka 纖維の有効性を証明すること。
• ファイバー次元が2である場合、モジュライ部の分母が有界であることを示すこと。
• 境界係数に対する DCC 偽定を用いて、次元2における有効対数 Iitaka 纖維予想を完了すること。
• canonical bundle formula と付帯線形システムの改善された境界を用いて、次元2から3および4への結果の拡張を図ること。
• 係数集合 $ \mathcal{A} $ のみに依存する一様な境界 $ m $ を、$ \lfloor m(K_X + \Delta) \rfloor $ が Iitaka 纖維を誘導するように確立すること。

提案手法

• X 上の多様体の多様体のシステムを、Y 上のシステムに結びつける canonical bundle formula を用い、$ K_X + \Delta = f^*(K_Y + B_Y + M_Y) $ を表現する。
• 係数 $ \Delta $ に対する下降鎖条件（DCC）を適用し、モジュライ部 $ M_Y $ の分母の有界性を保証する。
• Mori–Fujino の技術を用いて、相対次元2におけるモジュライ部 $ M_Y $ の分母を有界化する。
• Y が次元3では曲線、次元4では曲面であることを利用し、Y の分析を通じて問題を表面対に還元する。
• 表面における最小モデルプログラム（MMP）技術を用いて、$ K_W + D + L $ の体積を解析し、一様な下限を保証する。
• nef な除数と DCC 係数をもつ付帯線形システムの文脈で、Alexeev、Alexeev–Mori、Prokhorov–Shokurov の結果を応用する。

実験結果

リサーチクエスチョン

• RQ1 klt 対が次元4以下、kodaira 複素数が2で、係数が DCC 集合に属する場合、対数 Iitaka 纖維は有効にできるか？
• RQ2 ファイバーの一般形が次元2である場合、モジュライ部の分母は有界か？
• RQ3 次元2における対数 Iitaka 纖維の有効性は、同じ係数制約のもとで高次元へ拡張可能か？
• RQ4 係数集合 $ \mathcal{A} $ と次元のみに依存する一様な境界 $ m $ を、$ \lfloor m(K_X + \Delta) \rfloor $ が Iitaka 纖維を誘導するように確立できるか？
• RQ5 Viehweg–Zhang によるベッチ数と指数に関する結果は、DCC 係数をもつ対数設定へどの程度一般化可能か？

主な発見

• 次元 ≤4 で kodaira 複素数が2、係数が DCC 集合 $ \mathcal{A} \subset [0,1] $ に属する klt 対に対して、$ \mathcal{A} $ のみに依存する明示的に計算可能な整数 $ m $ が存在し、$ \lfloor m(K_X + \Delta) \rfloor $ が Iitaka 纖維を誘導する。
• ファイバー次元が2の場合、モジュライ部 $ M_Y $ の分母は係数集合 $ \mathcal{A} $ のみに依存する定数で有界であり、重要な一様性条件が証明される。
• 次元2における対数 Iitaka 纖維の有効性が完了され、この場合の予想が確認される。
• 次元4では、nef な除数を組み込んだ Alexeev–Mori の結果の強化を用いて証明が行われ、付帯線形システムの境界が改善される。
• すべての最小モデルにおいて $ K_{W'} + D' + L' $ の体積は一様に下から有界であり、一様な $ m $ の存在が保証される。
• 本研究は、Prokhorov–Shokurov の予想 7.13(2) を相対次元2の場合に確認するが、半正則性に関する主張は未解決のまま残る。