[论文解读] Semi-positivity in positive characteristics

Zsolt Patakfalvi|arXiv (Cornell University)|Aug 27, 2012

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

一句话总结

该论文在正特征 $ p > 0 $ 下，于尖锐 $ F $-纯性与 $ K_{X/Y} + \Delta $ 的指数不被 $ p $ 整除的假设下，建立了对对数相对 canonical 线丛 $ K_{X/Y} + \Delta $ 及其推出层的半正性结果。证明了 $ K_{X/Y} + \Delta $ 是 nef 的，且当 $ m \gg 0 $ 且足够可除时，$ f_*\mathcal{O}_X(m(K_{X/Y} + \Delta)) $ 是一个 nef 向量丛，绕过了 Kodaira vanishing 定理与解析方法，其应用涵盖模空间的投影性与 canonical 除子的 bigness 的次可加性。

ABSTRACT

Let $f : (X, Δ) o Y$ be a flat, projective family of sharply $F$-pure, log-canonically polarized pairs over an algebraically closed field of characteristic $p >0$ such that $p mid \ind(K_{X/Y} + Δ)$. We show that $K_{X/Y} + Δ$ is nef and that $f_* (\sO_X(m (K_{X/Y} + Δ)))$ is a nef vector bundle for $m \gg 0$ and divisible enough. Some of the results also extend to non log-canonically polarized pairs. The main motivation of the above results is projectivity of proper subspaces of the moduli space of stable pairs in positive characteristics. Other applications are Kodaira vanishing free, algebraic proofs of corresponding positivity results in characteristic zero, and special cases of subadditivity of Kodaira-dimension in positive characteristics.

研究动机与目标

• 在不使用解析方法或 Kodaira vanishing 技巧的前提下，建立正特征下对数相对 canonical 线丛的正性结果。
• 证明当 $ f: (X,\Delta) \to Y $ 是一个平坦、射影的尖锐 $ F $-纯、对数可极化对的族，且 $ p \nmid \operatorname{ind}(K_{X/Y} + \Delta) $ 时，$ K_{X/Y} + \Delta $ 是 nef 的，且 $ f_*\mathcal{O}_X(m(K_{X/Y} + \Delta)) $ 对于 $ m \gg 0 $ 是一个 nef 向量丛。
• 将这些结果推广到非对数可极化对的情形，前提是 $ K_{X/Y} + \Delta $ 是 $ f $-ample 且纤维具有 nef 的对数 canonical 线丛。
• 通过从正特征提升，提供特征零半正性结果的代数化、Kodaira vanishing 无关的证明。
• 支持正特征下稳定对模空间的投影性，并建立 canonical 除子 bigness 的次可加性。

提出的方法

• 使用 $ F $-奇点理论，特别是尖锐 $ F $-纯性，作为对数可极化奇点在正特征下的类比。
• 应用基变换与上同调技术，通过约化到代数闭域并专门化到闭点，分析推出层 $ f_*\mathcal{O}_X(m(K_{X/Y} + \Delta)) $。
• 采用 $ \mathbb{Q} $-Cartier 除子的概念，其指数不被 $ p $ 整除，以确保与 Frobenius 及 $ F $-正则性的相容性。
• 利用 $ F $-纯性在代数闭包与基变换下的稳定性，将闭纤维上的性质提升至整体空间。
• 使用 [Laz04, Proposition 1.4.13] 中的 nef 准则，证明在闭点处的 nef 性可推出整体空间中的 nef 性。
• 结合提升论证与专门化，从正特征结果推导出特征零结果。

实验结果

研究问题

• RQ1 能否在不依赖 Kodaira vanishing 或解析方法的前提下，在正特征下建立 $ f_*\mathcal{O}_X(m(K_{X/Y} + \Delta)) $ 的半正性？
• RQ2 假设 $ p $ 不整除 $ K_{X/Y} + \Delta $ 的指数是否必要，或可被移除？
• RQ3 在比对数可极化纤维更弱的假设下，能否在正特征下证明 canonical 除子 bigness 的次可加性？
• RQ4 是否存在一个正特征下的双有理不变量，当存在光滑模型时，其特化为 Kodaira 维数？
• RQ5 能否给出使得 $ f_*\mathcal{O}_X(m(K_{X/Y} + \Delta)) $ 为 nef 的 $ m $ 的有效界？

主要发现

• 对于代数闭域上特征 $ p > 0 $ 的平坦、射影族 $ f: (X,\Delta) \to Y $，其为尖锐 $ F $-纯、对数可极化对，且 $ p \nmid \operatorname{ind}(K_{X/Y} + \Delta) $，则对数相对 canonical 线丛 $ K_{X/Y} + \Delta $ 是 nef 的。
• 对所有足够大的可除 $ m \gg 0 $，推出层 $ f_*\mathcal{O}_X(m(K_{X/Y} + \Delta)) $ 是一个 nef 向量丛。
• 当 $ K_{X/Y} + \Delta $ 是 $ f $-ample 且纤维具有 nef 的对数 canonical 线丛时，该结果可推广至非对数可极化对的情形。
• canonical 除子 bigness 的次可加性成立：若 $ K_Y $ 是 $ \mathbb{Q} $-Cartier 且为 big，$ K_{X/Y} + \Delta $ 是 $ f $-半正则，且对一般纤维 $ F $，$ K_F + \Delta|_F $ 为 big，则 $ K_X + \Delta $ 是 big。
• 该论文通过从正特征提升，提供了特征零半正性结果的新代数证明，绕过了解析或消去理论方法。
• 证明表明，经基变换至代数闭包后，若在闭纤维上为 nef，则整体空间中也为 nef，利用了 nef 范畴的开性。