[論文レビュー] Effectivity of Iitaka fibrations and pluricanonical systems of polarized pairs

Caucher Birkar, De‐Qi Zhang|arXiv (Cornell University)|Oct 3, 2014

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

ひとこと要約

本稿では、滑らかな射影的多様体上の多汎 canonical 系に対して、次元 $d$、一般纤维の最小指数 $b_F$、その canonical 蓄積の中央ベッチ数 $β_{\widetilde{F}}$ のみに依存する $m$ に対して、$|mK_W|$ が Iitaka 纤維を定義することを示すことにより、有効な境界を確立する。この結果は、有界な不変量を備えた一般纤维の幾何学的性質と、一般化された極化対の理論を用いた有効な双有理性の一般化により得られる。

ABSTRACT

For every smooth complex projective variety $W$ of dimension $d$ and nonnegative Kodaira dimension, we show the existence of a universal constant $m$ depending only on $d$ and two natural invariants of the very general fibres of an Iitaka fibration of $W$ such that the pluricanonical system $|mK_W|$ defines an Iitaka fibration. This is a consequence of a more general result on polarized adjoint divisors. In order to prove these results we develop a generalized theory of pairs, singularities, log canonical thresholds, adjunction, etc.

研究の動機と目的

• 一般纤维の有界不変量の下で有効な Iitaka 纤維予想を解決すること。
• Iitaka 纤維を定義する $|mK_W|$ の一様な境界を確立すること。
• 極化された随伴除部分の一般化された対、特異点、および対数正則閾値の理論を構築すること。
• 有界係数とネフ部を持つ対数正則対に対して有効な双有理性を証明すること。
• 普遍的定数 $m(d, b_F, \beta_{\widetilde{F}})$ の存在が、$|mK_W|$ が Iitaka 纤維を定義することを保証することを示すこと。

提案手法

• 境界 $B$ とネフ部 $M$ を備えた一般化された極化対を導入し、$K_X + B + M$ が大であり、$M$ の Cartier 指数が有界であるようにする。
• canonical bundle formula を用いて、$W$ 上の $|mK_W|$ を、$X$ 上の $|m(K_X + B + M)|$ に還元し、双有理性を保つ。
• 一般化された対数正則閾値の DCC（下降鎖条件）とグローバル ACC を用いて、$B$ と $M$ の係数を制御する。
• DCC 系 $\Lambda$、次元 $d$、Cartier 指数 $r$ に依存する普遍的定数 $m(\Lambda, d, r)$ を構成し、$|m(K_X + B + M)|$ が双有理写像を定義することを保証する。
• Euler のトーティエント関数を用いて $N(\beta)$ を定義し、一般纤维の canonical 蓄積の指数を上界で制御し、$B$ の係数の DCC 系 $A(b, N)$ を定義する。
• これらの道具を組み合わせることで、$m(d, b_F, \beta_{\widetilde{F}}) = b \cdot m(\Lambda, d, r)$ が $|mK_W|$ が Iitaka 纤維を定義するために十分であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 Iitaka 纤維予想は、一般纤维の有界不変量の下で有効に証明可能か？
• RQ2 すべての $m$ が $m(d, b_F, \beta_{\widetilde{F}})$ で割り切れるとき、$|mK_W|$ が Iitaka 纤維を定義する一様な境界 $m(d, b_F, \beta_{\widetilde{F}})$ が存在するか？
• RQ3 一般纤维の canonical 蓄積の不変量 $b_F$ と $\beta_{\widetilde{F}}$ は、多汎 canonical 系の有効性をどのように制御するか？
• RQ4 有界係数とネフ部を持つ対数正則対に対して、有効な双有理性を確立できるか？
• RQ5 一般化された対の構造は、多汎 canonical 系の双有理性を制御するために果たす役割は何か？

主な発見

• 次元 $d$、一般纤维の最小指数 $b_F$、その canonical 蓄積の中央ベッチ数 $\beta_{\widetilde{F}}$ のみに依存する普遍的定数 $m(d, b_F, \beta_{\widetilde{F}})$ が存在し、$m$ がそれの倍数である限り、$|mK_W|$ は Iitaka 纤維を定義する。
• 定数 $m(d, b_F, \beta_{\widetilde{F}})$ は $m = b \cdot m(\Lambda, d, r)$ として構成され、ここで $\Lambda = A(b, N)$ かつ $r = Nb$、$N = \operatorname{lcm}\{m \in \mathbb{N} \mid \varphi(m) \leq \beta_{\widetilde{F}}\}$ である。
• 境界除部分 $B$ の係数は DCC 系 $A(b, N)$ に属し、特異点の有界性と canonical bundle formula の有効な制御を保証する。
• ネフ部 $M$ は有界な Cartier 指数 $Nb$ を持つ。これは有効な双有理性と線形系の降下に不可欠である。
• この結果は、有効な Iitaka 纤維問題を、グローバル ACC と DCC 技法を用いて、基底上での $|m(K_X + B + M)|$ の有効な双有理性に還元する。
• 基底 $X$ が一般型のとき、境界は $d$ のみに依存し、$b_F$ と $\beta_{\widetilde{F}}$ は無関係になる。