[论文解读] Universal flattening of Frobenius

Takehiko Yasuda|arXiv (Cornell University)|Jun 19, 2007

Commutative Algebra and Its Applications参考文献 21被引用 5

一句话总结

本文在正特征下引入了代数簇的 e-th F-Blowup，将其定义为 Frobenius 滋射的 e 次迭代的普遍平坦化。对于驯服商奇点，F-Blowup 序列稳定至 G-Hilbert 算符，从而为该解析提供了一种子特征解释。对于正规仿射代数曲面，该序列稳定至最小解析；对于一维代数簇，F-Blowups 最终变为光滑。

ABSTRACT

For a variety $X$ of positive characteristic and a non-negative integer $e$, we define its $e$-th F-blowup to be the universal flattening of the $e$-iterated Frobenius of $X$. Thus we have the sequence (a set labeled by non-negative integers) of blowups of $X$. Under some condition, the sequence stabilizes and leads to a nice (for instance, minimal or crepant) resolution. For tame quotient singularities, the sequence leads to the $G$-Hilbert scheme.

研究动机与目标

• 在正特征下定义并研究 e-th F-blowup，即代数簇上 Frobenius 滋射 e 次迭代的普遍平坦化。
• 研究 F-blowup 序列的渐近行为，特别是其是否稳定，或是否导向光滑或最小解析。
• 建立 G-Hilbert 算符作为 Frobenius 普遍平坦化的全新解释，将其与正特征下的奇点解析联系起来。
• 证明对于正规仿射代数曲面，F-blowup 序列稳定，且在二维情形下给出最小解析。
• 将结果推广至 Deligne-Mumford 堆栈，表明 G-Hilbert 算符仅依赖于粗模空间。

提出的方法

• 将 e-th F-blowup FB_e(X) 定义为在相对 Hilbert 算符 Hilb_{q^d}(X_e/X) 中，F^e 滋射在光滑点上各纤维的闭包。
• 利用相对 Hilbert 算符的普遍平坦化性质，证明 FB_e(X) 是射影的，且同构于 F^e_* O_{X_e} 的普遍平坦化。
• 证明 F-blowup 与 étale 滋射、完备化、乘积、光滑滋射及域扩张的相容性。
• 对于仿射代数簇，通过理想之 Gröbner 范畴描述 FB_{(l)}(X)，并给出仿射图的显式坐标环描述。
• 利用单项式序论证与 Gröbner 基技术，证明 FB_{(l)}(X) 为仿射代数簇，并将一般情形约化至单项式情形。
• 应用 G-Hilbert 算符与 Frobenius 滋射的结果，证明对于驯服商奇点，F-blowup 序列稳定至 G-Hilbert 算符。

实验结果

研究问题

• RQ1 当 e ≫ 0 时，F-blowup 序列 FB_e(X) 是否稳定？若稳定，其极限为何？
• RQ2 对于正特征下的一维代数簇，当 e 足够大时，FB_e(X) 是否光滑？
• RQ3 对于正规仿射代数簇，F-blowup 序列是否稳定？在二维情形下是否给出最小解析？
• RQ4 对于驯服商奇点 X = M/G，G-Hilbert 算符是否同构于 F-blowup 序列的极限？
• RQ5 在 Deligne-Mumford 堆栈背景下，F-blowup 构造是否仅依赖于粗模空间？

主要发现

• 对于正特征下的一维代数簇，当 e 足够大时，FB_e(X) 为光滑。
• 对于正规仿射代数曲面，F-blowup 序列稳定，且极限为奇点的最小解析。
• 对于正规仿射代数簇，F-blowup 序列在某个固定 l_0 处稳定，且 FB_{(l_0)}(X) 支配所有后续的 F-blowup。
• 对于驯服商奇点 X = M/G，F-blowup 序列稳定至 G-Hilbert 算符 Hilb^G(M)，在三维情形下为共形解析。
• G-Hilbert 算符仅依赖于商簇 X = M/G，不依赖于群作用或环境空间 M，且同构于 F-blowup 序列的极限。
• 对于 Deligne-Mumford 堆栈，G-Hilbert 算符构造仅依赖于粗模空间，且当 e 足够大时，F-blowup 序列通过该粗模空间。