[论文解读] Numerical trivial foliations, Iitaka Fibrations and the numerical dimension

Thomas Eckl|ArXiv.org|Aug 18, 2005

Geometry and complex manifolds参考文献 3被引用 5

一句话总结

本论文通过使用高余维数检验形式，重新定义了伪有效线丛的数值平凡叶状结构，证明此类叶状结构的余维数至少等于该线丛的数值维数。此外，当 Kodaira-Iitaka 纤维丛与数值维数一致时，其与数值平凡叶状结构重合，从而为线丛非丰沛性提供了充分条件。

ABSTRACT

Modifying the notion of numerically trivial foliation of a pseudo-effective line bundle L introduced by the author in math.AG/0304312 it can be shown that the leaves of this foliation have codimension bigger or equal to the numerical dimension of L as defined by Boucksom, Demailly, Paun and Peternell, math.AG/0405285. Furthermore, if the Kodaira dimension of L equals its numerical dimension the Kodaira-Iitaka fibration is its numerically trivial foliation. Both statements together yield a sufficient criterion for L not being abundant.

研究动机与目标

• 为了改进数值平凡叶状结构的定义，以更好地捕捉伪有效线丛上的几何约束。
• 为了以线丛的数值维数为基准，建立数值平凡叶状结构余维数的下界。
• 为了阐明当 Kodaira 维数与数值维数相等时，Kodaira-Iitaka 纤维丛与数值平凡叶状结构之间的关系。
• 为了基于 Kodaira 维数与数值维数之间的差异，提供一个伪有效线丛非丰沛的充分条件。

提出的方法

• 在叶状结构奇点集的补集上，使用双次数为 (n-p,n-p) 的检验形式重新表述数值平凡性，取代先前基于一维圆盘的定义。
• 应用 Fubini 定理与共面积公式，分析在奇点解析化中纤维曲线上的积分，从而实现对当前与曲率测度的比较。
• 利用关键引理证明：若叶状结构为数值平凡，则相关当前积分在纤维上一致为零。
• 采用除子型 Zariski 分解与 Néron-Tate 对偶配对，将线丛的数值不变量与纤维中曲线的几何性质联系起来。
• 分析属于类 α[-εω] 的具有解析奇点的当前在检验形式上的积分行为及其趋于零的极限。
• 应用 Campana 的约化映射与一般性约化技术，比较伪有效纤维丛与数值平凡叶状结构。

实验结果

研究问题

• RQ1 如何强化数值平凡叶状结构的概念，以准确反映其与伪有效线丛数值维数相关的叶状结构真实余维数？
• RQ2 在何种条件下，Kodaira-Iitaka 纤维丛与线丛的数值平凡叶状结构重合？
• RQ3 数值维数 ν(L) 与数值平凡叶状结构叶面的余维数之间的确切关系为何？
• RQ4 线丛的非丰沛性是否可通过其 Kodaira 维数与数值维数之间的差异来检测？
• RQ5 Néron-Tate 对偶配对与除子型 Zariski 分解的性质如何影响叶状结构的数值平凡性？

主要发现

• 数值平凡叶状结构的叶面余维数至少等于伪有效线丛 L 的数值维数。
• 当 L 的 Kodaira 维数等于其数值维数时，Kodaira-Iitaka 纤维丛恰好是 L 的数值平凡叶状结构。
• 数值平凡叶状结构在包含关系下是极大的，其存在性由局部关键引理保证。
• 若 Kodaira 维数严格小于数值维数，则 L 非丰沛。
• 证明依赖于当前在纤维曲线上拉回后的积分消失，从而得出 (L - N(L)) · C_t = 0 对一般纤维中的曲线 C_t 成立。
• 通过高余维数检验形式定义数值平凡性，解决了先前基于一维圆盘准则所引发的不一致性。