[论文解读] A characterization of toric varieties in characteristic p

Piotr Achinger|arXiv (Cornell University)|Mar 24, 2013

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

一句话总结

该论文证明了：在正特征代数闭域上，一个光滑射影概形是 toric 概形当且仅当其 Frobenius 满射下任意可逆层的推出分解为可逆层的直和。证明利用 Cox 环和 Kunz 的正则性判别法，表明 Frobenius 伴射下的平坦性迫使 Cox 环成为多项式环，从而该概形为 toric 概形，因此通过正特征下 Frobenius 分裂行为刻画了 toric 概形。

ABSTRACT

If $X$ is a smooth toric variety over an algebraically closed field of positive characteristic and $L$ is an invertible sheaf on $X$, it is known that $F_* L$, the push-forward of $L$ along the Frobenius morphism of $X$, is a direct sum of invertible sheaves. We show that this property characterizes smooth projective toric varieties.

研究动机与目标

• 通过 Frobenius 推出的可逆层分裂行为刻画正特征下的光滑射影 toric 概形。
• 证明光滑射影概形上任意可逆层的 Frobenius 推出分解为可逆层直和当且仅当该概形为 toric 概形。
• 通过适配 Cox 环方法并应用 Kunz 的正则性判别法，将已知的特征零结果推广至正特征。
• 阐明将该刻画推广至非射影概形时的局限性，因其依赖于 Cox 环形式化方法。

提出的方法

• 通过考虑 Picard 群为自由阿贝尔群的有限 étale 覆盖，将问题约化至 Picard 群为自由阿贝尔群的情形。
• 使用 $ X $ 的 Cox 环 $ R $，其按 Picard 群进行分次，且假设对所有 $ L $ 有 $ F_*L $ 分解，意味着 $ R $ 是 $ R^p $ 上的平坦代数。
• 应用 Kunz 的判别法：$ R $ 对 $ R^p $ 的平坦性蕴含 $ R $ 为正则环，因此是多项式环。
• 利用引理 5 得出：若一个分次整环具有零次为域，且极大齐次理想满足条件，则其同构于多项式环。
• 构造一个有限 étale 覆盖 $ Y \to X $，使得其拉回 Picard 群为自由群，从而可应用 Cox 环形式化方法。
• 在正特征下应用 [KW11, 定理 1.5]（通过 Tori 的 Luna étale 切片定理加以证明），得出 $ Y $ 为 toric 概形，因此由 étale 同构关系，$ X $ 也为 toric 概形。

实验结果

研究问题

• RQ1 在正特征下，若对所有可逆层 $ L $，$ F_*L $ 均分解为可逆层的直和，这一性质是否能刻画光滑射影 toric 概形？
• RQ2 考虑到 Cox 环方法通常依赖于特征零的假设，能否将其用于刻画正特征下的 toric 概形？
• RQ3 Frobenius 满射在正特征下区分 toric 概形与其他光滑射影概形中起什么作用？
• RQ4 由于依赖于 Cox 环形式化方法，该刻画在多大程度上可推广至非射影概形？

主要发现

• 在特征 $ p > 0 $ 的代数闭域上，光滑射影概形 $ X $ 是 toric 概形当且仅当对 $ X $ 上任意可逆层 $ L $，有 $ F_*L $ 分解为可逆层的直和。
• Frobenius 推出 $ F_*\mathcal{O}_X(D) $ 分解为可逆层的直和，其重数由系数属于 $ \{0,1,\ldots,\ell-1\} $ 且代表 $ D - \ell E $ 的 $ T $-不变除子数决定。
• 由分裂假设诱导的 Cox 环 $ R $ 对 $ R^p $ 的平坦性，结合 Kunz 的判别法，蕴含 $ R $ 为正则环，因此 $ R $ 是多项式环。
• Cox 环的正则性通过 toric 概形的 Cox 环分类法迫使 $ X $ 成为 toric 概形。
• 该证明依赖于 $ X $ 的射影性，因为 [KW11] 中的 Cox 环刻画要求射影性，对一般完备概形不成立。
• 该结果无法推广至非射影概形，因其依赖于 Cox 环形式化方法，而该方法在非射影概形中不以相同形式成立。