[论文解读] On pluricanonical systems of algebraic varieties of general type

Meng Chen|ArXiv.org|May 28, 2008

Algebraic Geometry and Number Theory参考文献 18被引用 3

一句话总结

本文通过扩展Koll{\'a}r的方法，为n维一般型非奇异射影代数簇的双canonical与 pluricanonical 映射建立了显式的上界。它给出了一个显式函数 $\varepsilon(\iota)$，使得对所有 $m \geq \varepsilon(\iota)$，有 $|mK_V + \lceil Q\rceil|$ 是双有理的，其中 $Q$ 是一个 nef $\mathbb{Q}$-除子，$\iota$ 是 $m_0$-canonical 映射像的维数。关键贡献在于一个依赖于 $m_0$ 和 $n$ 的统一上界，特别是当 $n=4$ 时，得到 $\mu_4 \leq 151m_0 + 77$。结果通过纤维维数的归纳法以及利用Riemann-Roch型不等式和乘子理想技巧的积极估计推导得出。

ABSTRACT

We extend Kollar's technique to look for an explicit function h(n) with phi_m birational onto its image for all integers $m\geq h(n)$ and for all n-dimensional nonsingular projective varieties of general type.

研究动机与目标

• 寻找一个显式常数 $\mu_n$，使得对所有 $m \geq \mu_n$ 及所有 $n$-维一般型非奇异射影代数簇，$m$-canonical 映射 $\varphi_m$ 是双有理的。
• 将Koll{\'a}r的方法推广至控制线性系统 $|mK_V + \lceil Q\rceil|$ 的双有理性，其中 $Q$ 是一个 nef $\mathbb{Q}$-除子。
• 提供一个依赖于 $m_0$ 和 $m_0$-canonical 映射像的维数 $\iota$ 的统一上界 $\varepsilon(\iota)$，确保当 $m \geq \varepsilon(\iota)$ 时系统是双有理的。
• 解决 $n \geq 4$ 维情形下显式双有理性上界的开放问题，特别是对 $n=4$ 的情形，推导出一个精确的上界。

提出的方法

• 该方法基于 $m_0$-canonical 纤维化纤维维数的归纳法，通过限制和消去定理将问题约化为低维代数簇。
• 它对纤维上的线丛应用了有效正性估计，使用不等式 $\pi^*(K_X)|_F \geq \gamma \sigma^*(K_{F_0})$，其中 $\gamma > \frac{1}{2m_0+1}$，尽管最优性仍为开放问题。
• 该构造依赖于一个递归序列 $w_t$，其定义为 $w_i = \widetilde{\lambda}_i + w_{i-1}(2\widetilde{\lambda}_i + 1)$，且 $w_4 = 151\widetilde{\lambda}_4 + 75$，其中 $\widetilde{\lambda}_i = m_0$ 对于最高维数，其余情况为 $\lambda_i$。
• 证明使用了乘子理想技巧和基点自由定理，以确保在每一步归纳中线性系统 $|K_F + \lceil \cdots \rceil|$ 的非零性与双有理性。
• 关键的技术工具是利用 $m_0$-canonical 纤维化在代数簇上诱导出一个维数递减的纤维过滤，从而实现对pluricanonical系统递归控制。
• 最终上界通过分析归纳步数和序列 $w_t$ 的增长得到，导出以 $m_0$、$n$ 和 $\iota$ 表示的显式表达式。

实验结果

研究问题

• RQ1 对于 $n \geq 4$ 的情形，使得 $m$-canonical 映射对所有 $m \geq \mu_n$ 及所有 $n$-维一般型代数簇为双有理的最小整数 $\mu_n$ 是多少？
• RQ2 Koll{\'a}r 的方法能否推广至控制任意 nef $\mathbb{Q}$-除子 $Q$ 的 $|mK_V + \lceil Q\rceil|$ 的双有理性？
• RQ3 使得 $\pi^*(K_X)|_F \geq \gamma \sigma^*(K_{F_0})$ 在纤维上成立的最优常数 $\gamma$ 是多少？这如何影响最终的上界？
• RQ4 当 Riemann-Roch 公式 $\chi(\mathcal{O}_V(mK_V))$ 不可用时，如何利用该公式改进有效上界？

主要发现

• 对于满足 $P_{m_0} \geq 2$ 的 $n$-维一般型非奇异射影代数簇，线性系统 $|mK_V + \lceil Q\rceil|$ 对所有 $m \geq \varepsilon(\iota)$ 是双有理的，其中 $\varepsilon(\iota)$ 是基于 $\iota = \dim \overline{\varphi_{m_0}(V)}$ 显式定义的。
• 当 $\iota \geq n-2$ 时，上界为 $\varepsilon(\iota) = \min\{4m_0+4, 57\} \cdot (2m_0+1)^{n-3} + m_0(n-2) + 2$，该结果提供了依赖于 $m_0$ 和 $n$ 的统一控制。
• 当 $\iota = n-3$ 时，上界为 $\varepsilon(\iota) = 75(2m_0+1)^{n-3} + m_0(n-3) + 2$，在该情形下优于先前估计。
• 当 $\iota \leq n-4$ 时，上界为 $\varepsilon(\iota) = (2m_0+1)^{\iota-1} w_{n-\iota+1} + m_0(\iota-1) + 2$，其中 $w_t$ 通过递归定义，且 $w_4 = 151\widetilde{\lambda}_4 + 75$，$\widetilde{\lambda}_i = \lambda_i$ 对于 $i < n-\iota+1$，$\widetilde{\lambda}_{n-\iota+1} = m_0$。该结果在最一般情形下提供了最精确的上界。
• 对于 $n=4$，本文给出了一个精确上界：$\varphi_m$ 对所有 $m \geq 151m_0 + 77$ 是双有理的，这是对4维情形下问题1.1的明确解答。
• 结果表明，当且仅当存在显式常数 $\rho_k$ 使得对所有 $k$-维一般型代数簇有 $P_{\rho_k} \geq 2$ 时，显式 $\mu_n$ 才存在，这凸显了有效广义亏格界的重要性。