[论文解读] Explicit birational geometry of 3-folds of general type, II

Jungkai A. Chen, Meng Chen|arXiv (Cornell University)|Oct 28, 2008

Algebraic Geometry and Number Theory参考文献 24被引用 8

一句话总结

该论文通过分类其奇点篮子，建立了三叉一般型的3-流形的有效双有理性界。证明了对所有 m ≥ 73，m- canonical 映射是双有理的，且 canonical 体积 Vol(V) ≥ 1/2660，当 χ(O_V) ≤ 1 时该界为最优，此时 Vol(V) ≥ 1/420。

ABSTRACT

Let $V$ be a complex nonsingular projective 3-fold of general type. We shall give a detailed classification up to baskets of singularities on a minimal model of $V$. We show that the $m$-canonical map of $V$ is birational for all $m\geq 73$ and that the canonical volume $ ext{Vol}(V)\geq {1/2660}$. When $χ(\mathcal{O}_V)\leq 1$, our result is $ ext{Vol}(V)\geq {1/420}$, which is optimal. Other effective results are also included in the paper.

研究动机与目标

• 对非奇异射影3-流形的一般型最小模型按其奇点篮子进行分类。
• 为一般型3-流形的 m-canonical 映射的双有理性建立有效界。
• 当 χ(O_V) ≤ 1 时，确定 canonical 体积 Vol(V) 的最优下界。
• 改进关于一般型3-流形的 pluricanonical 系统与双有理几何的先前结果。
• 通过显式例子与分类验证 canonical 体积界 1/420 的紧致性。

提出的方法

• 应用三维极小模型程序，将研究简化为具有 Q-因子终端奇点的最小3-流形 X。
• 使用奇点的正式篮子 B(X) 对最小模型上的奇点进行分类，并计算其对 canonical 体积的贡献。
• 在去奇异化模型上运用线性系统可动部分与固定部分的理论，分析 m-canonical 映射。
• 应用 Stein 分解与纤维类型分类（I_p, II, III）研究 φ_m 的几何性质，并推导双有理性条件。
• 利用由邻接公式与 Riemann-Roch 公式导出的 α 与 ξ 的不等式，估计线丛的正性，以确保双有理性。
• 借助已知例子（如 X_46 ⊂ P(4,5,6,7,23)）测试并确认体积界界紧致性。

实验结果

研究问题

• RQ1 对所有非奇异一般型3-流形，使 m-canonical 映射 φ_m 为双有理的最小 m 是多少？
• RQ2 当 χ(O_V) ≤ 1 时，canonical 体积 Vol(V) 的最优下界是什么？
• RQ3 对于哪些奇点篮子，canonical 体积 Vol(V) = 1/2660 或 Vol(V) = 1/420？
• RQ4 体积界 Vol(V) ≥ 1/2660 是否可改进，或对所有一般型3-流形是否已为最优？
• RQ5 是否存在一个一般型的最小3-流形，满足 q(X) = 0 且 χ(O_X) > 1？

主要发现

• 在任意非奇异射影一般型3-流形 V 上，对所有 m ≥ 73，m-canonical 映射 φ_m 均为双有理映射。
• 对所有此类3-流形，canonical 体积满足 Vol(V) ≥ 1/2660，且该界为最优。
• 当 χ(O_V) ≤ 1 时，canonical 体积满足 Vol(V) ≥ 1/420，且该界亦为最优。
• 当且仅当最小模型上的奇点篮子为 {3×1/2(1,-1,1), 1/7(1,-1,3), 1/5(1,-1,2), 1/4(1,-1,1), 1/6(1,-1,1)} 时，Vol(V) = 1/420 成立。
• 当且仅当 P_2 = 0 且奇点篮子为依赖于 χ(O_V) = 3 或 2 的两种特定配置时，Vol(V) = 1/2660 成立。
• 例子 X_46 ⊂ P(4,5,6,7,23) 实现了 Vol(V) = 1/420 且 χ(O_V) = 1，确认了该界为紧致。