[论文解读] On the rationality of Kawamata log terminal singularities in positive characteristic

Christopher D. Hacon, Jakub Witaszek|arXiv (Cornell University)|Jun 10, 2017

Commutative Algebra and Its Applications被引用 11

一句话总结

该论文证明了在足够大正特征代数闭域上，三维卡瓦马塔对数终端（klt）奇点是有理的且科恩-麦克aul伊的。证明依赖于在大特征下对对数德尔佩佐曲面的卡瓦马塔-维埃韦格消去定理，通过plt爆破和例外除子上的同调消去论证，得出一个统一的界限 $ p_0 $，使得当特征 $ p > p_0 $ 时，有理性普遍成立。

ABSTRACT

We show that there exists a natural number $p_0$ such that any three-dimensional Kawamata log terminal singularity defined over an algebraically closed field of characteristic $p>p_0$ is rational and in particular Cohen-Macaulay.

研究动机与目标

• 确定三维卡瓦马塔对数终端奇点在正特征下是否具有有理性，这是极小模型程序中的一个关键性质。
• 建立一个统一的界限 $ p_0 $，使得对所有特征 $ p > p_0 $，klt奇点均为有理且科恩-麦克aul伊的。
• 尽管在正特征下卡瓦马塔-维埃韦格消去定理不成立，仍将有理性结果从特征零推广至大正特征。
• 为在混合特征设置下将MMP操作（如除子收缩）提升至特征零提供基础。
• 澄清界限 $ p_0 $ 的紧致性，尤其在小特征下已知反例的背景下。

提出的方法

• 在闭点处使用plt爆破，构造一个双有理态射 $ f: Y o X $，其例外除子为 $ S $，使得 $ (Y, S) $ 为 $ Q $-因子化且plt。
• 应用邻接公式，在例外除子 $ S $ 上得到一个klt对数德尔佩佐对 $ (S, abla_{ ext{diff}}) $，该对数为芬诺类型曲面。
• 应用定理1.2（大特征下对数德尔佩佐曲面的卡瓦马塔-维埃韦格消去定理），证明对某些除子 $ abla_k $ 有 $ H^1(S, abla_k) = 0 $，从而推出高阶直接像的消去。
• 构造形如 $ 0 o O_Y(-(k+1)S) o O_Y(-kS) o O_S(G_k) o 0 $ 的短正合列，并利用同调消去推导出 $ R^1f_* O_Y = 0 $，从而证明有理性。
• 将论证扩展至扭曲层 $ O_Y(-kS + D_Y) $ 和 $ O_Y(K_Y - kS - D_Y) $，利用相同的消去性质证明 $ R^if_* O_Y(D_Y) = 0 $ 对所有 $ i > 0 $ 成立，从而确保科恩-麦克aul伊性。
• 将结果应用于混合特征几何，证明在适当提升假设下，大特征下三维三焦点的除子收缩和翻转可提升至特征零。

实验结果

研究问题

• RQ1 是否存在一个统一的界限 $ p_0 $，使得所有在特征 $ p > p_0 $ 的代数闭域上的三维klt奇点均为有理的？
• RQ2 是否能绕过正特征下卡瓦马塔-维埃韦格消去定理的失效，以在三维下恢复klt奇点的有理性？
• RQ3 在大正特征下，三维三焦点上的MMP操作（如除子收缩）在多大程度上可提升至特征零？
• RQ4 三维klt奇点的有理性是否对所有 $ p > 2 $ 成立，还是在小特征下存在反例？
• RQ5 最优的 $ p_0 $ 值是多少？它与小特征下非科恩-麦克aul伊klt奇点的已知例子有何关联？

主要发现

• 存在一个自然数 $ p_0 $，使得任意在特征 $ p > p_0 $ 的代数闭域上的三维klt奇点均为有理且科恩-麦克aul伊的。
• 尽管在一般情况下正特征下卡瓦马塔-维埃韦格消去定理不成立，三维klt奇点的有理性在大正特征下依然成立。
• 常数 $ p_0 $ 来源于在大特征下对对数德尔佩佐曲面应用定理1.2（卡瓦马塔-维埃韦格消去定理）。
• 对于 $ Q $-因子化三维三焦点klt对，只要特征满足相同界限，任意韦伊除子 $ D $ 的层 $ O_X(D) $ 均为科恩-麦克aul伊的。
• 该结果意味着，当源簇可提升至 $ W_m(k) $ 时，大特征下三维三焦点的除子收缩可提升至特征零，如推论5.1所示。
• 在小特征下存在有理性的反例：对 $ p eq 2 $，存在维数 $ d o rac{d(d-1)}{2} o p $ 的商klt奇点，其非科恩-麦克aul伊，表明界限 $ p_0 $ 是必要的。