[論文レビュー] Effective Iitaka fibrations

Eckart Viehweg, De‐Qi Zhang|arXiv (Cornell University)|Jul 29, 2007

Algebraic Geometry and Number Theory参考文献 18被引用数 6

ひとこと要約

本稿では、任意の次元 n の射影的多様体 X がKodaira次元 2 であるとき、一般のファイバー F のインデックス b とその canonical Z/bZ-被覆の中央ベッチ数 B_{n-2} のみに依存する計算可能な整数 M が存在し、|MK_X| が Iitaka フibration に双有理的であることを確立する。この結果は、κ=2 の場合に質問 0.1 を肯定的に解決し、n≤4 のとき M が普遍的（b と B_{n-2} に依存しない）であることを示している。

ABSTRACT

We show that the M-canonical map of an n-dimensional complex projective manifold X of Kodaira dimension two is birational to an Iitaka fibration for a computable positive integer M. M depends on the index b of a general fibre F of the Iitaka fibration and on the Betti number of the canonical covering of F, In particular, M is a universal constant if the dimension n is smaller than or equal to 4.

研究の動機と目的

• Kodaira 次元 κ=2 のすべての n 重多様体 X に対して、|MK_X| が Iitaka フibration に双有理的であるような一様整数 M の存在を示すことにより、質問 0.1 を解決すること。
• 一般ファイバー F のインデックス b とその canonical Z/bZ-被覆の中央ベッチ数 B_{n-2} の関数として M を明示的に計算すること。
• n≤4 のとき、M を b と B_{n-2} に依存しない普遍的（一様）に選べることを示し、κ=0,1,3 の既知の結果を拡張すること。
• 次元 3 の場合に、良い最小モデルの存在を用いて、補題 0.4 の直接的証明を提供すること。
• 良い最小モデルと極小モデルのモジュライ空間のコンパクト化の結果が、高次元への一般化に与える影響を検討すること。

提案手法

• Iitaka フibration f:X→Y の基底 Y 上に、2 つの Q-因子 D_Y と L_Y を導入し、ある N が B_{n-2} に依存して存在し、f_*O_X(bNK_{X/Y}) の反射的ハルが O_Y(bN(D_Y + L_Y)) に同型であることを示す。
• bN(K_Y + D_Y + L_Y) が大規模であることを示し、問題を |MK_Y + MD_Y + ML_Y| が双有理写像を与えるような M の有界性に還元する。
• 次元 Y=2 の場合の対数最小モデルプログラムを用い、K_W + D_W + L_W が双有理的モデル W で nef である場合に還元する。
• K_Y + D_Y と L_Y の大規模性および擬効果的性に基づく場合分けを行い、K_W + D_W + eL_W の擬効果的閾値 e を用いる。
• 擬効果的閾値 e が 1 から離れていることを証明し、被覆系の有効な正性を保証する。
• DCC 集合に対して [La] の結果を応用し、|(t+1)(K_S + Δ)| が双有理写像を与えるような必要な M を有界化する。

実験結果

リサーチクエスチョン

• RQ1 すべての次元 n の Kodaira 次元 κ の多様体 X に対して、|MK_X| が Iitaka フibration に双有理的であるような一様定数 M = M(n, κ, b, B_{n−κ}) が存在するか？
• RQ2 一般ファイバー F が良い最小モデルを持ち、dim(F) が有界であるとき、M を b と B_{n−2} に依存しない形で選べるか？
• RQ3 良い最小モデルの存在と極小モデルのモジュライ空間のコンパクト化が、質問 0.1 に対して一様な M の存在を示唆するか？
• RQ4 対数最小モデルプログラムの下で、K_W + D_W + eL_W の擬効果的閾値 e は 1 から離れているか？
• RQ5 次元 3 の Kodaira 次元 2 の多様体に対して、良い最小モデルの存在を用いて、普遍的 M_3 の存在を直接証明できるか？

主な発見

• 任意の次元 n の射影的多様体 X が Kodaira 次元 2 であるとき、一般ファイバー F のインデックス b とその canonical Z/bZ-被覆の中央ベッチ数 B_{n-2} のみに依存する計算可能な正の整数 M が存在し、|MK_X| が Iitaka フibration に双有理的である。
• n ≤ 4 のとき、M は b と B_{n-2} に依存しない普遍的（一様）である。これは、b が 12 を割り、Kodaira 次元 0 の曲面に対して B_{n-2} ≤ 22 であることに起因する。
• 補題 0.4 が確立された：任意の 3 重多様体 X に対して、|M_3K_X| が Iitaka フibration を与えるような普遍的定数 M_3 が存在する。これは Ringler も独立に確認した。
• 証明は、曲面の対数最小モデルプログラムと、擬効果的閾値 e < 1 の有界性に依存している。
• 一般ファイバー F が良い最小モデルを持つとき、因子 L_Y は、極小モデルのモジュライ空間のコンパクト化上のネフ Q-コホーマン因子 λ の引き戻しとして現れ、一様性への幾何的道筋を示唆する。
• DCC 集合 Ell = {1−1/m} ∪ K_2 ∪ {1/12} を用い、|K_S + ⌈t(K_S + Δ)⌉| がすべての t ≥ M に対して双有理写像を与えるような計算可能な M が存在し、| (t+1)K_X | の双有理性が導かれる。