[论文解读] On a conjecture of Hacon and McKernan in dimension three

A. T. Ringler|ArXiv.org|Aug 27, 2007

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

一句话总结

本文证明了对于复数域上具有非负 Kodaira 维数的光滑射影三维流形，当 r ≥ r₃ 且 r 足够可除时，其 pluricanonical 映射 |rK_X| 会成为 Iitaka 纤维化上的双有理映射，从而在三维情形证实了 Hacon 与 McKernan 的一个猜想。证明方法使用了典范丛公式与曲面上 Reider 定理，给出了明确的界限：当 κ(X) = 2 时，r₃ = 48，且当 r 可被 12 整除时即足够。

ABSTRACT

We prove that there exists a universal constant $r_3$ such that if $X$ is a smooth projective threefold over $\mathbb{C}$ with non-negative Kodaira dimension, then the linear system $|r K_X|$ admits a fibration that is birational to the Iitaka fibration as soon as $r \geq r_3$ and sufficiently divisible. This gives an affirmative answer to a conjecture of Hacon and McKernan in the case of threefolds. Viehweg and Zhang have posted a stronger result along these lines using different methods.

研究动机与目标

• 证明 Hacon 与 McKernan 关于存在一个通用常数 r₃ 的猜想，使得当 dim X = 3 且 κ(X) ≥ 0 时，对所有满足 r ≥ r₃ 且 r 足够可除的 r，|rK_X| 双有理等价于 Iitaka 纤维化。
• 建立对 r 的可除性要求可独立于 X 而有界，从而确保 r₃ 的有效可计算性。
• 在 κ(X) = 2 的情形下给出 r₃ 的显式界限，表明当 r ≥ 48 且可被 12 整除时即足够。

提出的方法

• 通过 Fujino、Hacon、McKernan 与 Mori 的已知结果，将问题约化至 κ(X) = 2 的情形。
• 通过一个双有理变换，假设 φ_r: X → S_r 是一个在曲面 S_r 上的椭圆纤维化。
• 应用 Fujino 与 Mori 的典范丛公式，将问题转化为研究曲面 S_r 上 K_{S_r} + D 的正性，其中 D 是一个 Q-除子。
• 基于 S_r 的 Kodaira 维数分两种情况讨论：当 κ(S_r) ≥ 0 时与当 κ(S_r) = -∞ 时。
• 当 κ(S_r) ≥ 0 时，应用 Reider 定理或其推广于除子 K_{S_r} + D - Δ，其中 Δ 为有效且简单横截的除子。
• 当 κ(S_r) = -∞ 时，证明在可被 12 整除且 r ≥ 48 的条件下，(r-1)K_{S_r} + rL_r + ⌊rΔ⌋ 在一个可被 12 整除的纹面 S_r 上是 nef 的，随后应用 Reider 定理以得出双有理性。

实验结果

研究问题

• RQ1 是否存在一个通用常数 r₃，使得对任意满足 κ(X) ≥ 0 的光滑射影三维流形 X，当 r ≥ r₃ 且 r 足够可除时，|rK_X| 双有理等价于 Iitaka 纤维化？
• RQ2 对 r 的可除性条件是否可以独立于 X 有界，从而确保 r₃ 的有效可计算性？
• RQ3 当 κ(X) = 2 时，r₃ 的显式界限是什么？是否可实现统一的可除性条件？

主要发现

• Hacon 与 McKernan 的猜想在三维情形成立：存在一个通用常数 r₃，使得当 r ≥ r₃ 且 r 足够可除时，|rK_X| 双有理等价于 Iitaka 纤维化。
• 当 κ(X) = 2 时，取 r₃ = 48 即足够，且当 r 可被 12 整除时，该条件可有效实现。
• 对 r 的可除性要求可独立于 X 有界，从而确保所有满足 κ(X) ≥ 0 的三维流形中 r₃ 的有效可计算性。
• 证明表明，当 r ≥ 48 且可被 12 整除时，(r-1)K_{S_r} + rL_r + ⌊rΔ⌋ 在曲面 S_r 上是 nef 的，从而可应用 Reider 定理。
• 当 κ(X) = 3 时，根据文中引用的先前结果，取 r₃ = 77 即足够。
• 该结果对所有 κ(X) ∈ {0,1,2,3} 均为有效，且对每种情形均给出了显式界限或有效可计算性。