[论文解读] Relative semiampleness in mixed characteristic

Jakub Witaszek|arXiv (Cornell University)|Jun 10, 2021

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

一句话总结

该论文建立了基环为混合特征的凯尔定理的类比，证明了在良好基上的正规概形上，一个 nef 线丛是半ample 的充要条件是其在一般特征和正特征纤维上的限制均为半ample。证明通过将正特征的技巧推广至混合特征，运用了普遍同胚、h-拓扑层和商构造，将卡斯钦与塔纳卡在正特征下的纤维半ample 判别准则推广至混合特征离散赋值环上的概形。

ABSTRACT

We show that a nef line bundle on a proper scheme over an excellent base is semiample if and only if it is semiample after restricting to characteristic zero and to positive characteristic. In the process of the proof, we provide a generalisation to mixed characteristic of the fact that the perfection of the Picard functor in positive characteristic is a stack in groupoids for the h-topology.

研究动机与目标

• 将凯尔关于半ample 线丛的定理从正特征推广至混合特征。
• 在混合特征下建立类似于卡斯钦与塔纳卡在正特征下结果的纤维半ample 判别准则。
• 通过 h-拓扑，将正特征下 Picard 蕴涵函子的层论性质推广至混合特征。
• 为混合特征下的极小模型程序（特别是四维情形）提供基础工具。

提出的方法

• 采用受卡斯钦与塔纳卡启发的三步策略：首先证明相对数值平凡线丛的半ample 性，然后证明正规概形的情形，最后推广至一般情形。
• 应用基于 [witaszek2020keels] 中前期工作的混合特征版本的凯尔定理和科尔卡的有限等价关系商定理。
• 利用斯坦因分解和普遍同胚，关联基概形不同纤维上的纤维化。
• 依赖闭浸入的拉回映射的单射性以及余上链图，以在 h-拓扑中构造商。
• 利用如下事实：若一个线丛在有限满射映射下的拉回是 ample，则其自身也是 ample，此结论由 Nakai-Moishezon 准则推出。
• 应用命题 4.3 推出正特征纤维上的挠性，从而实现倍数对商的下降。

实验结果

研究问题

• RQ1 卡斯钦与塔纳卡在正特征下的纤维半ample 判别准则能否从正特征推广至混合特征？
• RQ2 在混合特征离散赋值环上的正规概形上，一个线丛是否当且仅当其在一般纤维和特殊纤维上均为半ample 时才是半ample？
• RQ3 正特征下 Picard 蕴涵函子的完美性能否推广为混合特征下的 h-层？
• RQ4 在混合特征下，何种条件可确保线丛在有限基变换后能下降至基？

主要发现

• 在优秀概形 $ S $ 上的正规概形 $ X $ 上，线丛 $ L $ 是半ample 的充要条件是，对所有满足正特征剩余域的点 $ s \to S $，均有 $ L|_{X_{\bar{\bbQ}}} $ 和 $ L|_{X_s} $ 为半ample。
• 证明表明，通过特征零基变换，$ Z $ 关于等价关系 $ \bar{E}_Z $ 的闭包的商作为 $ S $ 上的分离代数空间且有限型存在。
• 线丛 $ L $ 拉回到 $ X^* \to W $ 的像上是半ample 的，且由于其相对数值平凡，$ L $ 的某个倍数可下降至 $ W $。
• 通过 Nakai-Moishezon 准则证明 $ W $ 上的线丛 $ M $ 是 ample，从而推出 $ r^*L^m $ 是 ample，因此由推论 2.23 知 $ L $ 是半ample。
• 该结果为混合特征下四维半稳定极小模型程序提供了关键技术工具。