[论文解读] The X-method for klt surfaces in positive characteristic

Hiromu Tanaka|arXiv (Cornell University)|Feb 12, 2012

Algebraic Geometry and Number Theory参考文献 16被引用 11

一句话总结

本文通过弗罗贝尼乌斯映射和富田定理，建立了正特征下klt曲面的弱Kodaira消去定理，从而实现了klt曲面的基点自由定理。其核心贡献在于提出了一项消去结果，绕过了正特征下标准Kodaira消去定理的失效问题，将极小模型理论的基本定理推广至该设定下的曲面。

ABSTRACT

In this paper, we establish a weak version of the Kodaira vanishing theorem for surfaces in positive characteristic. As an application, we obtain some fundamental theorems in the minimal model theory for klt surfaces.

研究动机与目标

• 克服正特征下曲面标准Kodaira消去定理的失效问题。
• 发展一个足够强的弱消去定理，以证明正特征下klt曲面的基点自由定理。
• 在正特征下推广Kawamata–Viehweg与Nadel型消去定理至曲面情形。
• 在三维构造弱Kodaira消去定理的反例，揭示该方法在曲面之外的局限性。
• 利用适用于正特征设定的上同调工具，将极小模型理论结果推广至正特征下的klt曲面。

提出的方法

• 通过弗罗贝尼乌斯映射与富田消去定理，证明正特征下光滑射影曲面的弱Kodaira消去定理。
• 将经典用于特征零的X方法框架适配至正特征，以弱版本替代标准Kodaira消去定理。
• 利用曲面的奇点消去（在正特征下可用）及 nef 与 ample 除子的性质。
• 通过对数消去与有理映射构造三维反例，表明弱消去定理在曲面之外不成立。
• 利用涉及乘子理想与邻接的正合列，分析曲面与三倍曲面的上同调群。
• 对纤维维数受 $ f_{ ext{max}} $ 控制的态射应用相对消去定理，证明 $ R^i au_*ig(ig floor{K_X + ig floor{A}}ig) = 0 $ 对 $ i eq f_{ ext{max}} $ 成立。

实验结果

研究问题

• RQ1 能否在正特征下为klt曲面建立Kodaira消去定理的弱版本？
• RQ2 经典用于特征零的X方法能否被适配以在正特征下证明基点自由定理？
• RQ3 此类弱消去定理在更高维（特别是三维）中的局限性为何？
• RQ4 在代数闭域的正特征下，是否存在弱Kodaira消去定理在三维的反例？
• RQ5 Nadel型与Kawamata–Viehweg型消去定理在正特征下对曲面的推广程度如何？

主要发现

• 在正特征下，光滑射影曲面的弱Kodaira消去定理成立：当 $ A $ 为ample 且 $ N $ 为 nef 但不数值平凡时，有 $ H^i(X, K_X + A + mN) = 0 $ 对 $ i > 0 $，$ m \to \infty $。
• 弱Kawamata–Viehweg消去定理扩展至 $ \big\rfloor{A} $ 具有简单法向交叉分数部分的曲面：$ H^i(X, K_X + \big\rfloor{A} + mN) = 0 $ 对 $ i > 0 $，$ m \to \infty $。
• 弱Nadel消去定理对klt曲面成立：在适当的 nef 与 big 条件下，有 $ H^i(X, \bigcirc{O}_X(L + mN) \bigotimes \bigcirc{J}_{\bigtriangleup}) = 0 $ 对 $ i > 0 $，$ m \to \infty $。
• klt曲面在正特征下的基点自由定理已得证：若 $ aD - (K_X + \bigtriangleup) $ 为 nef 且 big，则 $ |bD| $ 对 $ b \to \infty $ 为无基点。
• 在三维构造了弱Kodaira消去定理的反例，表明即使 $ A_W $ 为ample 且 $ N_W $ 为半正则，仍有 $ H^1(W, K_W + A_W + mN_W) \neq 0 $ 对大 $ m $ 成立。
• 相对消去定理 $ R^i\tau_*\big(\big\rfloor{K_X + \big\rfloor{A}}\big) = 0 $ 对 $ i \neq f_{\text{max}} $ 成立，其中 $ f_{\text{max}} = \text{max}_s \text{dim} \tau^{-1}(s) $，当 $ \tau: X \to S $，$ A $ 为相对 ample 且其分数部分为简单法向交叉时。