[论文解读] 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及其典范Z/bZ覆叠的中间贝蒂数B_{n-2}的可计算正整数M，使得|MK_X|的多重 canonical 映射双有理等价于一个Iitaka纤维化。该结果正面回答了问题0.1中κ=2的情形，并表明当n≤4时，M可取为通用常数。

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.

研究动机与目标

• 通过证明存在一个统一的整数M，使得对所有Kodaira维数κ=2的n维流形X，|MK_X|双有理等价于Iitaka纤维化，从而解决疑问0.1。
• 显式计算M，其表达式仅依赖于一般纤维F的指标b和F的典范Z/bZ覆叠的中间贝蒂数B_{n-2}。
• 证明当n≤4时，M可被选为通用常数（独立于b和B_{n-2}），从而将κ=0,1,3时已知结果推广至κ=2。
• 通过三维流形中良好极小模型的存在性，给出推论0.4的直接证明。
• 探讨良好极小模型与极化极小模型模空间的紧化对将结果推广至更高维数的启示。

提出的方法

• 在Iitaka纤维化f:X→Y的基空间Y上引入两个Q-除子D_Y和L_Y，使得f_*O_X(bNK_{X/Y})的反射包同构于O_Y(bN(D_Y + L_Y))，其中N是依赖于B_{n-2}的整数。
• 证明bN(K_Y + D_Y + L_Y)是大除子，从而将问题转化为寻找使得|MK_Y + MD_Y + ML_Y|给出双有理映射的M的上界。
• 利用曲面（dim Y=2）上的对数极小模型程序，将问题约化至在双有理模型W上K_W + D_W + L_W为 nef 的情形。
• 基于K_Y + D_Y和L_Y的拟有效性和大性，利用K_W + D_W + eL_W的拟有效阈值e进行情形分析。
• 证明拟有效阈值e远离1，从而确保除子系统的有效正性。
• 应用[La]中关于DCC集合上伴随线性系统的结果，界定出使得|(t+1)(K_S + Δ)|给出双有理映射的所需M。

实验结果

研究问题

• RQ1 是否存在一个统一常数M = M(n, κ, b, B_{n−κ})，使得对所有Kodaira维数为κ的n维流形X，|MK_X|双有理等价于Iitaka纤维化？
• RQ2 当一般纤维F具有良好极小模型且dim(F)有界时，能否选择独立于b和B_{n−2}的M？
• 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及其典范Z/bZ覆叠的中间贝蒂数B_{n-2}的可计算正整数M，使得|MK_X|双有理等价于Iitaka纤维化。
• 当n ≤ 4时，常数M为通用常数（独立于b和B_{n-2}），因为此时b整除12且B_{n-2} ≤ 22（对Kodaira维数为零的曲面成立）。
• 推论0.4得证：存在一个通用常数M_3，使得对每个3维流形X，|M_3K_X|给出Iitaka纤维化，该结果亦由Ringler独立确认。
• 证明依赖于曲面的对数极小模型程序及拟有效阈值e < 1的有界性。
• 当一般纤维F具有良好极小模型时，除子L_Y可视为模空间紧化上一个Nef Q-柯里斯特除子λ的拉回，提示了实现统一性的几何路径。
• 利用DCC集合Ell = {1−1/m} ∪ K_2 ∪ {1/12}，可计算出一个M，使得对所有t ≥ M，|(K_S + ⌈t(K_S + Δ)⌉)|给出双有理映射，从而推出|(t+1)K_X|的双有理性。