[论文解读] Quelques remarques sur la décomposition de Zariski divisorielle sur les variétés dont la première classe de Chern est nulle

Stéphane Druel|ArXiv.org|Feb 6, 2009

Geometry and complex manifolds被引用 10

一句话总结

本文研究了在具有平凡 canonical 丛的光滑射影代数簇上，除子的 Zariski 分解的性质，证明了对于有效 R-除子，其负部分源于某些分量的双有理收缩；对于大 Q-除子，其负部分为有理除子。此外，通过极小模型程序与辛几何的结果，利用负交点的有理曲线对全纯辛簇上的例外除子进行了刻画。

ABSTRACT

We study the divisorial Zariski decomposition on varieties whose first Chern class is zero. We first prove that any exceptional divisor is contractible (up to a birational map that is an isomorphism in codimension one). We then characterize prime exceptional divisors on holomorphic symplectic manifolds.

研究动机与目标

• 研究第一陈类为零的代数簇上除子的 Zariski 分解结构。
• 确定 Zariski 分解的负部分何时为有理除子或源于双有理收缩。
• 通过几何与数值条件刻画全纯辛簇上的例外除子。
• 将曲面与超凯勒流形上的结果推广至具有 c₁(X) = 0 的高维代数簇。
• 应用极小模型程序与 klt 对的近期结果，建立 Zariski 分解的双有理有理化。

提出的方法

• 采用除子的 Zariski 分解框架，将 R-除子 D 分解为数值有效部分 P(D) 与有效负部分 N(D)。
• 通过 BCHM（2006）与 Hacon-McKernan（2008）的结果，利用极小模型程序（MMP）证明分解的有理化。
• 应用 Artin 的曲线可收缩性判别准则，证明 N(D) 的分量可通过双有理映射收缩至一个正规代数簇。
• 利用 klt 对 (K_X + Δ) 与拟有效性的理论，分析负部分的结构。
• 应用辛几何技术，包括超曲面上的特征叶状结构，以及拉回下切丛的行为。
• 通过分析对称形式与切丛沿有理曲线的限制，推导例外除子的几何性质。

实验结果

研究问题

• RQ1 在满足 c₁(X) = 0 的代数簇上，Zariski 分解的负部分 N(D) 在何种条件下源于双有理收缩？
• RQ2 当 D 为大 Q-除子时，其负部分 N(D) 何时为有理除子（即 Q-除子）？
• RQ3 全纯辛簇上一个例外的素除子 E 由何种几何条件刻画？
• RQ4 除子 E 上有理曲线的行为如何与其辛结构及可收缩性相关联？
• RQ5 能否通过 MMP 与 klt 对理论，将 Calabi-Yau 代数簇上的 Zariski 分解有理化？

主要发现

• 对于任意光滑射影代数簇 X 上满足 c₁(X) = 0 的有效 R-除子 D，存在一个双有理映射 φ: X ⇢ X′，将 N(D) 的所有分量收缩至一个正规代数簇 X′。
• 若 D 为该类代数簇上的大 Q-除子，则 N(D) 为 Q-除子，意味着其负部分具有有理性。
• 在全纯辛代数簇 X 上，一个素除子 E 为例外除子，当且仅当通过 E 的一般点存在一条有理曲线 ℓ ⊂ E，满足 E · ℓ < 0。
• 对于辛代数簇上的一例外除子 E，存在一个双有理态射 φ: X ⇢ X′，其中 X′ 为光滑辛代数簇，以及一个双有理态射 c′: X′ → Y′，Y′ 为射影且正规的代数簇，其例外集为 E′ = φ(E)。
• 一般有理曲线 f: P¹ → X′ 的切丛映射进入 f*TX 的非负部分，将有理曲线的几何与辛结构联系起来。
• E′ 上的特征叶状结构与 f 的像相切，且 f(P¹) 是该叶状结构的一条叶的闭包，从而通过辛几何确认了其几何控制。