[论文解读] Explicit birational geometry of threefolds of general type

Jungkai A. Chen, Chen Meng|ArXiv.org|Jun 20, 2007

Algebraic Geometry and Number Theory参考文献 21被引用 17

一句话总结

本文建立了复非奇异射影3- folds 一般型的典范体积和 pluricanonical 映射的显式下界。通过提出 Reid 奇点篮的新型分类方法以及一个涉及 plurigenera 的关键不等式，作者证明了典范体积至少为 $\frac{1}{2660}$，且对所有 $m \geq 77$，pluricanonical 映射 $\varphi_m$ 是双有理的。当 $\chi(\mathcal{O}_V) \leq 1$ 时，得到最优下界 $\frac{1}{420}$，并完全证实了 Fletcher 关于加权超曲面的猜想：存在恰好 23 族具有终端商数奇点且满足 $\omega_X \cong \mathcal{O}_X(1)$ 的拟光滑 3- folds。这些结果在一般型 3- folds 的双有理几何中首次提供了有效且显式的下界。

ABSTRACT

Let $V$ be a complex nonsingular projective 3-fold of general type. We prove $P_{12}(V)>0$ and $P_{24}(V)>1$ (which answers an open problem of J. Kollar and S. Mori). We also prove that the canonical volume has an universal lower bound $ ext{Vol}(V) \geq 1/2660$ and that the pluri-canonical map $Φ_m$ is birational onto its image for all $m\geq 77$. As an application of our method, we prove Fletcher's conjecture on weighted hyper-surface 3-folds with terminal quotient singularities. Another featured result is the optimal lower bound $ ext{Vol}(V)\geq {1/420}$ among all those 3-folds $V$ with $χ({\mathcal O}_V)\leq 1$.

研究动机与目标

• 建立非奇异射影 3- folds 一般型的典范体积的显式有效下界。
• 确定最小整数 $m$，使得对所有一般型 3- folds，pluricanonical 映射 $\varphi_m$ 均为双有理。
• 证明所有此类 3- folds 的 plurigenera $P_{12}(V) \geq 1$ 和 $P_{24}(V) \geq 2$ 非零。
• 证实 Iano-Fletcher 关于具有终端商数奇点且 $\omega_X \cong \mathcal{O}_X(1)$ 的拟光滑加权超曲面 3- folds 家族数目的猜想。
• 在 $\chi(\mathcal{O}_V)$ 和 plurigenera 的约束下对奇点篮进行分类，从而实现典范体积的系统性估计。

提出的方法

• 引入‘奇点篮的打包’概念，并在篮上定义偏序关系，以系统分析一般型 3- folds 上的奇点。
• 建立关键不等式：$2P_5 + 3P_6 + P_8 + P_{10} + P_{12} \geq \chi + 10P_2 + 4P_3 + P_7 + P_{11} + P_{13} + R$，其中 $R \geq 0$，该不等式将 plurigenera 与 $\chi$ 联系起来。
• 利用形式篮与几何篮的分类，通过 Reid-Tai 和与轨道化欧拉示性数来界定典范体积。
• 应用定理 1.3，当 $P_{m_0} \geq 2$ 对某个 $m_0 \leq 12$ 成立时，推导出 $\varphi_m$ 的双有理性，从而将问题约化为有限多个情形的验证。
• 使用典范体积公式 $\text{Vol}(V) = \limsup_{m \to \infty} \frac{6}{m^3} \dim H^0(V, \mathcal{O}_V(mK_V))$，并通过轨道奇点中的格点计数来估计该值。
• 利用定理 3.1(iii) 中的不等式 $K^3 \geq \frac{1}{311}$，并与分歧和的上界进行比较，当体积过小时导出矛盾。

实验结果

研究问题

• RQ1 对于任意非奇异射影 3- fold $V$ 一般型，其典范体积 $\text{Vol}(V)$ 的最优通用下界是什么？
• RQ2 对所有一般型 3- folds，使得 pluricanonical 映射 $\varphi_m$ 必为双有理的最小 $m$ 是多少？
• RQ3 具有终端商数奇点且 $\omega_X \cong \mathcal{O}_X(1)$ 的拟光滑加权超曲面 3- folds 的精确家族数目是多少？
• RQ4 能否证明所有一般型 3- folds 的 $P_{12}(V)$ 和 $P_{24}(V)$ 非零？
• RQ5 当 $\chi(\mathcal{O}_V) \leq 1$ 时，$\text{Vol}(V)$ 的精确下界是什么？

主要发现

• 任意非奇异射影 3- fold 一般型的典范体积满足 $\text{Vol}(V) \geq \frac{1}{2660}$，且该下界具有普遍性。
• 对所有 $m \geq 77$，pluricanonical 映射 $\varphi_m$ 是双有理的，这在三维情形中首次提供了有效且显式的双有理性下界。
• 当 $\chi(\mathcal{O}_V) \leq 1$ 时，典范体积满足最优下界 $\text{Vol}(V) \geq \frac{1}{420}$。
• plurigenera 的非零性已得证：对所有一般型 3- folds，有 $P_{12}(V) \geq 1$ 且 $P_{24}(V) \geq 2$。
• Iano-Fletcher 猜想已证实：存在恰好 23 族具有终端商数奇点且 $\omega_X \cong \mathcal{O}_X(1)$ 的拟光滑加权超曲面 3- folds。
• 证明依赖于一个涉及 plurigenera 与 $\chi$ 的新颖不等式，该不等式使得对满足 $\chi \leq 8$ 且对所有 $m \leq 12$ 有 $P_m \leq 1$ 的篮进行分类成为可能，从而在体积过小时导出矛盾。