[论文解读] An elementary proof of Cohen-Gabber theorem in the equal characteristic $p>0$ case

Kazuhiko Kurano, Kazuma Shimomoto|arXiv (Cornell University)|Oct 13, 2015

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

一句话总结

本文在相等特征 $p>0$ 情况下，为Cohen-Gabber定理提供了新的初等证明，证明了存在一个系数域和一组参数，使得相应的幂级数环模有限地嵌入到完备局部环中，且对维数为 $d$ 的商域，其域扩张为一般分离扩张。证明通过最大理想中额外生成元数量的归纳法，结合Weierstrass准备定理，构造出所需的系数域和参数。

ABSTRACT

The aim of this article is to give a new proof of Cohen-Gabber theorem in the equal characteristic $p>0$ case.

研究动机与目标

• 为相等特征 $p>0$ 情况下的Cohen-Gabber定理提供一种新的初等证明。
• 构造一个系数域 $\phi: k \to A$ 和一组参数 $y_1,\dots,y_d$，使得 $\phi(k)[[y_1,\dots,y_d]] \subset A$ 是模有限扩张。
• 确保对任意满足 $\dim A/P = d$ 的极小素理想 $P$，域扩张 $\operatorname{Frac}(\phi(k)[[y_1,\dots,y_d]]) \to \operatorname{Frac}(A/P)$ 是可分的。
• 通过在约化等维情形下实现一般 étale 性质，推广经典Cohen结构定理。

提出的方法

• 对 $h$（即 $A$ 的极大理想中超过一组参数的额外生成元数量）进行归纳。
• 应用Weierstrass准备定理，将 $A[[X]]$ 中的幂级数分解为单位与首一多项式之积。
• 利用 $k$ 在 $\mathbb{F}_p$ 上的 $p$-基构造系数域 $\phi: k \to A$。
• 通过交换图中的中间环 $B$、$C$、$D$ 和 $E$ 构建模有限扩张链。
• 通过分析微分行为和商域结构，验证域扩张的可分性。
• 利用可分性在基变换和模有限扩张中保持不变的性质。

实验结果

研究问题

• RQ1 能否仅使用交换代数中的初等方法证明相等特征 $p>0$ 情况下的Cohen-Gabber定理？
• RQ2 是否可以构造一个系数域和一组参数，使得相应的幂级数环模有限地嵌入 $A$，且其剩余域扩张为可分？
• RQ3 在约化等维情形下，如何实现该扩张的一般 étale 性质？
• RQ4 Weierstrass准备定理在构造此类系数域和参数的过程中起到什么作用？

主要发现

• 本文证明了存在一个系数域 $\phi: k \to A$，使得 $\pi \circ \phi = \mathrm{id}_k$，其中 $\pi: A \to k$ 是商映射。
• 构造了一组参数 $y_1, \dots, y_d$，使得 $\phi(k)[[y_1, \dots, y_d]] \subset A$ 是模有限扩张。
• 对任意满足 $\dim A/P = d$ 的极小素理想 $P \subset A$，域扩张 $\operatorname{Frac}(\phi(k)[[y_1, \dots, y_d]]) \to \operatorname{Frac}(A/P)$ 是可分的。
• 证明通过归纳法对 $h$（即 $\mathfrak{m}$ 中超过一组参数的生成元数）进行，将问题约化为 $h=1$ 的情形。
• 构造确保图中所有中间映射均为单射且模有限，从而保持所需性质。
• 提供了一个例子，表明在某些系数域上可分性会失效，但通过选择合适的系数域（如 $\mathbb{F}_p(s)$，其中 $s = t + X$）可实现可分性。