[论文解读] 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

一句话总结

该论文通过证明 pluricanonical 系 $|mK_W|$ 在仅依赖于维数 $d$、一般纤维的最小指标 $b_F$ 和其 canonical 覆盖的中间贝蒂数 $eta_{\widetilde{F}}$ 的某个 $m$ 下定义了 Iitaka 纤维丛，从而为光滑射影概形上的 pluricanonical 系建立了有效界。该结果通过广义极化对的理论以及具有有界不变量的伴随除子的有效双有理性得到实现。

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 纤维丛猜想。
• 建立统一的 $|mK_W|$ 的 pluricanonical 系界，使其定义 Iitaka 纤维丛。
• 为极化伴随除子发展广义对、奇点和对数极小阈值的理论。
• 证明具有有界系数和 nef 部分的对数极小对的有效双有理性。
• 证明存在一个与 $m(d, b_F, \beta_{\widetilde{F}})$ 无关的通用常数，可确保 pluricanonical 系定义 Iitaka 纤维丛。

提出的方法

• 引入边界 $B$ 和 nef 部分 $M$ 的广义极化对，其中 $K_X + B + M$ 为大除子，且 $M$ 具有有界的 Cartier 指数。
• 使用 canonical bundle 公式将 $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)|$ 定义一个双有理映射。
• 使用欧拉函数 $\varphi$ 定义 $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(d, b_F, \beta_{\widetilde{F}})$，使得对所有被其整除的 $m$，$|mK_W|$ 都定义 Iitaka 纤维丛？
• RQ3 canonical 覆盖的一般纤维的不变量 $b_F$ 和 $\beta_{\widetilde{F}}$ 如何控制 pluricanonical 系的有效性？
• RQ4 是否可以为具有有界系数和 nef 部分的对数极小对建立有效双有理性？
• RQ5 广义对结构在控制 pluricanonical 系的双有理性中起什么作用？

主要发现

• 存在一个仅依赖于维数 $d$、一般纤维的最小指标 $b_F$ 和其 canonical 覆盖的中间贝蒂数 $eta_{\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 公式。
• nef 部分 $M$ 具有有界的 Cartier 指数 $Nb$，这对有效双有理性和线性系统的下降至关重要。
• 该结果将有效 Iitaka 纤维丛问题约化为基空间上 $|m(K_X + B + M)|$ 的有效双有理性问题，后者通过全局 ACC 和 DCC 技术得以建立。
• 当基空间 $X$ 为一般型时，该界仅依赖于 $d$，因为 $b_F$ 和 $\beta_{\widetilde{F}}$ 变得无关。