[论文解读] Behavior of canonical divisors under purely inseparable base changes

Hiromu Tanaka|arXiv (Cornell University)|Feb 4, 2015

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

一句话总结

该论文在正特征下建立了典范除子与纯不可分基变换之间的关键关系：对于定义在非完美域 $k$ 上的正规代数簇 $X$，其在 $k^{p^{-lat}}$ 上的约化基变换 $X \times_k k^{p^{-lat}}$ 的正规化 $Y$ 上的典范除子 $K_Y$ 满足 $K_Y + C = f^*K_X$，其中 $C$ 为某有效除子。该结果在非完美域上的双有理几何中具有新应用，包括 $K_X$-平凡纤维化（具有非正规纤维）的有理连通性、Mori 纤维空间一般纤维的有理链连通性，以及曲面与三倍体的弱化锥定理。

ABSTRACT

Let $k$ be an imperfect field. Let $X$ be a regular variety over $k$ and set $Y$ to be the normalization of $(X imes_k k^{1/p^{\infty}})_{ m red}$. In this paper, we show that $K_Y+C=f^*K_X$ for some effective divisor $C$ on $Y$. We obtain the following three applications. First, we show that a $K_X$-trivial fiber space with non-normal fibers is uniruled. Second, we prove that general fibers of Mori fiber spaces are rationally chain connected. Third, we obtain a weakening of the cone theorem for surfaces and threefolds defined over an imperfect field.

研究动机与目标

• 理解在基域为非完美域时，典范除子在正特征下纯不可分基变换下的行为。
• 通过研究约化基变换的正规化，解决正规代数簇的基变换未必正规或约化的挑战。
• 建立典范除子关系 $K_Y + C = f^*K_X$（其中 $C$ 为有效除子），从而将非完美域上的几何问题约化为完美域或代数闭域上的问题。
• 应用该结果证明 $K_X$-平凡纤维化（具有非正规纤维）的有理连通性、Mori 纤维空间一般纤维的有理链连通性，以及曲面与三倍体的弱化锥定理。

提出的方法

• 使用域论技巧分析基变换 $X \times_k k^{p^{-\flat}}$，重点关注 $k$ 在函数域 $K(X)$ 中为纯不可分闭的情形。
• 应用引理 3.3 证明：对有限纯不可分扩张 $k' / k$，环 $K(X) \bigotimes_k k'$ 仍为域，从而保证基变换的不可约性。
• 构造约化概形 $(X \times_k k^{p^{-\flat}})_{\text{red}}$ 的正规化 $Y$，并定义态射 $f: Y \to X$。
• 证明 $Y$ 上的对偶化层 $\tilde{\theta}_{Y/k^{p^{-\flat}}}$ 满足 $f^*\tilde{\theta}_{X/k} \bigotimes \tilde{\theta}_{Y/k^{p^{-\flat}}}(C) \big|_{Y_{\text{reg}}}$ 同构于 $f^*\tilde{\theta}_{X/k}$ 在正规点上的限制。
• 利用所得的除子关系，通过基变换与伽罗瓦理论推导几何推论，尤其针对纤维化与 Mori 纤维空间。
• 通过分析 Néron-Severi 锥的结构与纤维几何，应用主定理证明有理连通性、有理链连通性与弱化锥定理。

实验结果

研究问题

• RQ1 当基域为非完美域时，典范除子在纯不可分基变换下如何行为？
• RQ2 在什么条件下，约化基变换的正规化上的典范除子与原典范除子的拉回线性等价？
• RQ3 该典范除子关系能否用于推导正特征下如有理连通性或有理链连通性等几何性质？
• RQ4 在何种程度上，可利用该除子关系对非完美域上的曲面与三倍体弱化锥定理？

主要发现

• 主要结果表明：在 $Y$（即 $(X \times_k k^{p^{-\flat}})_{\text{red}}$ 的正规化）上，存在某有效除子 $C$ 使得 $K_Y + C = f^*K_X$，且 $C = 0$ 当且仅当 $X$ 在 $k$ 上几何正规。
• 若 $X$ 是在正特征代数闭域上具有非正规一般纤维的 $K_X$-平凡纤维化，则 $X$ 为有理连通的。
• 在任意正特征域上，若总空间为 $\bQ$-因子化、$-K_X$ 为 $\bpi$-ample，且 $\rho(X/S) = 1$，则 Mori 纤维空间的一般纤维为有理链连通的。
• 对定义在非完美域上的投影正规曲面，其曲线锥满足 $\bar{NE}(X) = \bar{NE}(X)_{K_X + \triangle + A \neq 0} + \text{有限生成的有理射线}$，从而证明了弱化锥定理。
• 对定义在非完美域上的 $\bQ$-因子化三倍体，若 $K_X + \triangle$ 不是 nef，则其曲线锥分解为 $\bar{NE}(X) = \bar{NE}(X)_{K_X + \triangle + A \neq 0} + \text{有限多个有理射线}$，再次为弱化锥定理。
• 该结果表明，在标准假设下，任意域上 $\bQ$-因子化 Fano 代数簇上的数值平凡 Cartier 除子为挠类，即存在 $n > 0$ 使得 $\bO_X(nD) \to \bO_X$。