[论文解读] Complex projective threefolds with non-negative canonical Euler-Poincare characteristic

Meng Chen, Kang Zuo|ArXiv.org|Sep 20, 2006

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

一句话总结

该论文为具有非负全纯欧拉示性数的复射影三叉的 m- canonical 映射的双有理性建立了最优界限。通过使用乘子理想技巧、Kawamata-Viehweg vanishing 定理以及在极小模型上的纤维化分析，证明了当 χ(ω_V) ≥ 0 时，14- canonical 映射对所有此类三叉均为双有理的，而当 χ(ω_V) > 0 时，8- canonical 映射为双有理的，且这两个界限均为最优，如显式例子所示。

ABSTRACT

Let $V$ be a complex nonsingular projective 3-fold of general type with $χ(ω_V)\geq 0$ (resp. $>0$). We prove that the m-canonical map $Φ_{|mK_V|}$ is birational onto its image for all $m\ge 14$ (resp. $\geq 8$). Known examples show that the lower bound $r_3=14$ (resp. $=8$) is optimal.

研究动机与目标

• 确定最小整数 r₃，使得对所有具有 χ(ω_V) ≥ 0 的非奇异射影三叉（一般型），当 m ≥ r₃ 时，m- canonical 映射为双有理映射。
• 在 χ(ω_V) ≥ 0 条件下，建立多重 canonical 映射双有理性的最优上界，扩展已知在更高 χ 或附加几何约束下的结果。
• 通过显式反例证明，当 χ(ω_V) ≥ 0 时 r₃ = 14 为最优，当 χ(ω_V) > 0 时 r₃ = 8 为最优，表明界限无法进一步改进。
• 开发一种系统性方法，结合乘子理想、消去定理与纤维化技术，以分析具有 Q-因子化终端奇点的极小 3-fold 上的 m- canonical 系统。

提出的方法

• 应用 Hironaka 的嵌入解析化方法，消除基点，并在光滑模型 X′ 上使 |m₀K_X| 的移动部分成为无基点的。
• 利用 m₀- canonical 映射的 Stein 分解，将其分解为一个纤维化与一个有限态射，从而能够分析纤维结构。
• 借助 Kawamata-Viehweg 消去定理，构造上同调群上的满射，特别是针对形如 K_X′ + ⌈8π*(K_X)⌉ + F₁ + F₂ 的除子。
• 构造子线性系统 |K_X′ + ⌈8π*(K_X)⌉ + F₁ + F₂| ⊂ |14K_X′|，使其能分离纤维化 f₅: X′ → P¹ 的纤维。
• 分析 f₅ 的一般纤维 C 上 8- canonical 除子的限制，证明 deg(D) ≥ 8ξ ≥ 8/3 > 2，因此 |K_C + D| 给出一个双有理映射。
• 利用双有理性原理及 |K_C + D| 嵌入 C 的事实，得出结论：φ₁₄ 为双有理映射，其最优性通过 Fletcher 提供的显式例子验证。

实验结果

研究问题

• RQ1 对于所有具有 χ(ω_V) ≥ 0 的非奇异射影三叉（一般型），使得 m- canonical 映射为双有理映射的最小整数 m 是多少？
• RQ2 在给定条件下，φ_m 的双有理性界限 r₃ = 14 是否可改进，或是否已为最优？
• RQ3 当 χ(ω_V) > 0 时，r₃ = 8 的界限是否仍为最优？即使在 p_g = 1 或 q = 0 的情况下，该界限是否仍可达到？
• RQ4 纤维化结构与乘子理想技术如何相互作用，以控制具有非负 χ 的 3-fold 上多重 canonical 映射的双有理性？
• RQ5 该方法是否可推广至 χ(ω_V) < 0 的情形？若不能，是否需要采用根本不同的方法？

主要发现

• 当 χ(ω_V) ≥ 0 时，对所有 m ≥ 14，m- canonical 映射 φ_m 双有理地映射到其像，且该界限为最优，如一个满足 χ(ω_V) = 0 的三叉所示。
• 对于满足 χ(ω_V) > 0 的三叉，当 m ≥ 8 时，m- canonical 映射 φ_m 为双有理映射，且该界限亦为最优，如一个满足 χ(ω_V) = 1 的三叉所示。
• X₂₈ ⊂ P(1,3,4,5,14) 的例子表明 φ₁₃ 不是双有理映射，从而证明当 χ ≥ 0 时 r₃ = 14 为最优界限。
• X₁₆ ⊂ P(1,1,2,3,8) 的例子表明 φ₇ 不是双有理映射，从而证实当 χ > 0 时 r₃ = 8 为最优界限。
• 证明依赖于构造一个利用消去定理与曲线嵌入的 14- canonical 系统，其中 deg(D) ≥ 8/3 > 2 确保了双有理性。
• 该方法可推广至 p_g = 1 与 q = 0 的情形，表明 χ(ω_V) ≥ 0 已足够保证双有理性，即使在缺乏更高几何不变量时亦成立。