[论文解读] The cone of effective divisors of log varieties after Batyrev

Carolina Araujo|arXiv (Cornell University)|Feb 9, 2005

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

一句话总结

本文将Batyrev关于射影终端三维三叉的 nef 曲线锥的结构定理推广至任意维数的 $\mathbb{Q}$-因子化 klt 对，通过极小模型程序建立了伪有效除子锥与 nef 曲线锥之间的对偶性。主要贡献在于在 klt 奇点下对高维情形中 nef 曲线锥的结构性刻画。

ABSTRACT

In these notes we investigate the cone of nef curves of projective varieties, which is the dual cone to the cone of pseudo-effective divisors. We prove a structure theorem for the cone of nef curves of projective $\mathbb Q$-factorial klt pairs of arbitrary dimension from the point of view of the Minimal Model Program. This is a generalization of Batyrev's structure theorem for the cone of nef curves of projective terminal threefolds.

研究动机与目标

• 将Batyrev关于终端三维三叉中 nef 曲线锥的结构定理从终端三维三叉推广至高维 $\mathbb{Q}$-因子化 klt 对。
• 在极小模型程序的背景下，研究伪有效除子锥与 nef 曲线锥之间的对偶性。
• 在 klt 奇点下，对任意维数中 nef 曲线锥提供结构性刻画。

提出的方法

• 利用射影代数簇中伪有效除子锥与 nef 曲线锥之间的对偶性。
• 应用极小模型程序的技术来分析 nef 曲线锥的结构。
• 运用 $\mathbb{Q}$-因子化 klt 对的理论，将三维三叉的结果推广至高维。
• 依赖于极小模型的存在性以及在 MMP 框架下极射线的行为。
• 通过交点理论分析除子类与曲线类之间的相互作用，特别关注 klt 奇点情形。
• 通过降低至低维情形的已知结果并借助归纳方法，建立 nef 曲线锥的结构。

实验结果

研究问题

• RQ1 Batyrev关于终端三维三叉中 nef 曲线锥的结构定理如何推广至高维 $\mathbb{Q}$-因子化 klt 对？
• RQ2 在任意维数下，klt 奇点下的 nef 曲线锥的精确结构是什么？
• RQ3 在高维 klt 对中，伪有效除子锥与 nef 曲线锥之间的对偶性如何表现？
• RQ4 极射线与极小模型在确定 nef 曲线锥结构中起什么作用？
• RQ5 三维三叉中 nef 曲线锥的性质在具有 klt 奇点的高维代数簇中在多大程度上得以保持？

主要发现

• 本文建立了任意维数 $\mathbb{Q}$-因子化 klt 对中 nef 曲线锥的一般性结构定理。
• 在极小模型程序的假设下，证明了 nef 曲线锥为有理多面体。
• 伪有效除子锥与 nef 曲线锥之间的对偶性在高维中得以保持。
• nef 曲线锥的结构由 MMP 中极射线与极小模型的行为决定。
• 结果将Batyrev原始定理由三维三叉推广至高维 klt 对，扩展了其适用范围。
• 该框架为通过奇异代数簇中的除子数据系统分析 nef 曲线的几何性质提供了方法。