[论文解读] General elements in anticanonical systems of threefolds with divisorial contractions and applications to classification

Masayuki Kawakita|ArXiv.org|Oct 4, 2001

Algebraic Geometry and Number Theory参考文献 13被引用 5

一句话总结

本文证明了具有到复合 Du Val (cDV) 点的除子收缩的三叉面的反 canonical 系中的一般元素具有至多 Du Val 奇点，从而在该背景下确立了广义大象猜想的强版本。本文通过加权爆破对到 cAₙ 点的除子收缩进行了分类，并证明了 cDₙ 和 cEₙ 点的分歧数至多为四，为完全分类此类收缩奠定了基础。

ABSTRACT

We treat threefolds with divisorial contractions whose exceptional divisors contract to compound Du Val points. We prove that general elements in their anticanonical systems around the exceptional divisors have at worst Du Val singularities. As applications to classification, we describe divisorial contractions to compound A_n points, and moreover we conclude that discrepancies of divisorial contractions to compound D_n or E_n points are at most four.

研究动机与目标

• 证明具有到 cDV 点的除子收缩的三叉面的反 canonical 系中的一般元素具有至多 Du Val 奇点。
• 通过加权爆破精确刻画 cAₙ 点的除子收缩，并给出明确的数值条件。
• 建立 cDₙ 或 cEₙ 点的除子收缩的分歧数上界为四。
• 完整描述由一般反 canonical 截面诱导的局部解析化，包括在大多数情况下例外子簇的不可约性。

提出的方法

• 通过 [Ka1] 中的上同调消去与数值数据，分析曲线 C = E ∩ 一般超平面截面的严格提升的局部结构。
• 对 Y 在非 Gorenstein 点处的切空间中的局部嵌入进行详细分析，以追踪 |-K_Y| 的整体截面。
• 使用奇异 Riemann-Roch 技术与广义大象定理，比较 E 上的分歧数与重数。
• 利用 Shokurov 的连通性引理与加权爆破的数值不变量，限制可能的收缩类型。
• 在大多数情况下直接搜索 Du Val 截面，当 -K_Y ≡ E + L 时，通过 Cartier 除子的无基点条件构造截面。
• 通过坐标变换与理想理论分析，将 X 的定义方程约化为标准形式，尤其在 cA₂ 情况下。

实验结果

研究问题

• RQ1 具有到 cDV 点的除子收缩的三叉面的反 canonical 系中的一般元素是否仅有 Du Val 奇点？
• RQ2 在何种精确条件下，加权爆破会给出到 cAₙ 点的除子收缩？
• RQ3 是否可以对到 cDₙ 或 cEₙ 点的除子收缩的分歧数进行有界估计？若可以，其最优上界是什么？
• RQ4 由一般反 canonical 截面诱导的局部解析化与 X 上像曲面的最小解析化之间有何关系？

主要发现

• 当 f: (Y ⊃ E) → (X ∋ P) 是到 cDV 点的除子收缩时，|-K_Y| 中的一般元素具有至多 Du Val 奇点。
• 对于 n ≥ 2 的 cAₙ 点，除子收缩恰好是具有指定权 (r₁, r₂, a, 1) 的加权爆破，其中 a 整除 r₁ + r₂，且与 r₁、r₂ 互素，g 的加权阶为 r₁ + r₂，且 x₃^{(r₁+r₂)/a} 系数非零。
• 在例外的 cA₂ 情况下，该收缩并非加权爆破；相反，Y 仅有一个 cA₂ 型非 Gorenstein 点，且满足 K_Y = f* K_X + 3E。
• 对于 cDₙ 或 cEₙ 点，K_Y = f* K_X + aE 中的分歧数 a 满足 a ≤ 4。
• 由一般反 canonical 截面诱导的局部解析化 S → S_X 的例外子簇在几乎所有情况下均为不可约。
• 在 IIb 型特殊情况下，J = {(2,1),(4,1)}，该收缩来自对 o ∈ (x₁² + x₂² + x₃³ + x₁x₄² = 0) 的加权爆破，权为 (4,3,2,1)，得到一个 cA₂ 点，且满足 K_Y = f* K_X + 3E。