[论文解读] On the numerical dimension of pseudo-effective divisors in positive characteristic

Paolo Cascini, Christopher D. Hacon+2 more|arXiv (Cornell University)|Jun 27, 2012

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

一句话总结

该论文证明，在正特征情况下，对于光滑射影代数簇上的伪有效 R-除子 D，若其不与除子 Zariski 分解中的负部数值等价，则其数值维数为正。证明依赖于 Frobenius 映射和一个新奇的消去结果，从而在正特征下恢复了此前依赖于 Kawamata-Viehweg 消去定理的特征零关键结果。

ABSTRACT

Let X be a smooth projective variety over an algebraically closed field of positive characteristic. We prove that if D is a pseudo-effective R-divisor on X which is not numerically equivalent to the negative part in its divisorial Zariski decomposition, then the numerical dimension of D is positive. In characteristic zero, this was proved by Nakayama using vanishing theorems.

研究动机与目标

• 将 Nakayama 在特征零下关于数值维数的结论推广至正特征，其中标准消去定理失效。
• 证明若伪有效 R-除子不与其中除子 Zariski 分解的负部数值等价，则其数值维数为正。
• 利用 Frobenius 映射建立一个新的消去结果，从而在正特征下实现从曲线到整个簇的截面提升。
• 证明对于 nef 除子，通过截面渐近增长定义的数值维数等于交点理论维数。
• 展示通过系统性地使用 Frobenius 技术，可在正特征下恢复代数几何中的关键结果。

提出的方法

• 利用 Frobenius 映射推导出在任意特征下成立的一般性消去结果，依赖于渐近 Serre 消去定理。
• 为伪有效 R-除子构造除子 Zariski 分解，通过数值不变量 $\sigma_{\Gamma}(D)$ 定义负部 $N_{\sigma}(D)$。
• 应用定理 1.2，证明当 $W = H_1 \cap \cdots \cap H_r$ 避开非 nef 位置 $\mathbf{B}_-(D)$ 时，$\mathcal{O}_X(\lfloor mD\rfloor + A)$ 的截面可从 $W$ 提升至整个 $X$，其中 $r < \dim X$。
• 利用交点数 $(D^j \cdot H^{n-j})$ 的非零性，确保其在 $W$ 上的限制为正，从而获得 $h^0$ 的下界。
• 通过维数的归纳法以及限制到一般超平面截面，比较 nef 除子的 $\kappa_\sigma(D)$ 与 $\nu(D)$。
• 利用变换将结果从光滑簇推广至正常射影簇，同时保持拉回下的数值不变量。

实验结果

研究问题

• RQ1 Nakayama 关于伪有效除子数值维数正性的结果能否推广至正特征？
• RQ2 能否通过 Frobenius 映射克服正特征下 Kawamata-Viehweg 消去定理的失效，从而恢复关键的双有理几何结果？
• RQ3 在正特征下，nef R-除子的数值维数 $\kappa_\sigma(D)$ 是否等于交点理论维数 $\nu(D)$？
• RQ4 在正特征下，$\mathcal{O}_X(\lfloor mD\rfloor + A)$ 的截面在何种条件下可从子簇提升至整个簇？
• RQ5 在正特征下，非 nef 位置 $\mathbf{B}_-(D)$ 与除子 Zariski 分解之间有何关系？

主要发现

• 若 $D$ 是代数闭域上光滑射影代数簇上的伪有效 $\mathbf{R}$-除子，且 $D$ 不与 $N_\sigma(D)$ 数值等价，则 $\kappa_\sigma(D) \geq 1$。
• 存在一个非常 ample 除子 $A$ 和常数 $C > 0$，使得对所有 $m \gg 0$，有 $h^0(X, \mathcal{O}_X(\lfloor mD\rfloor + A)) \geq Cm$。
• 定理 1.2 表明：若 $W = H_1 \cap \cdots \cap H_r$ 避开 $\mathbf{B}_-(D)$ 且 $r < \dim X$，则对所有 $m \geq 1$，限制映射 $H^0(X, \mathcal{O}_X(\lfloor mD\rfloor + A)) \to H^0(W, \mathcal{O}_X(\lfloor mD\rfloor + A)|_W)$ 是满射。
• 对于一个 nef $\mathbf{R}$-除子 $D$，其数值维数 $\kappa_\sigma(D)$ 等于交点理论维数 $\nu(D)$，其中 $\nu(D)$ 定义为满足 $(D^j \cdot H^{n-j}) \neq 0$ 的最大 $j$。
• $\kappa_\sigma(D) = \nu(D)$ 的等式不仅在光滑簇上成立，也通过变换和拉回不变性在正常射影簇上成立。
• Frobenius 映射使得一个新消去结果成为可能，从而取代了特征零中 Kawamata-Viehweg 消去定理的作用，使关键正性结果在正特征下得以恢复。