[論文レビュー] 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$ がモジュール有限であるようにすること。
• 任意の次元 $d$ の最小素イデアル $P$ に対して、体拡張 $\operatorname{Frac}(\phi(k)[[y_1,\dots,y_d]]) \to \operatorname{Frac}(A/P)$ が分離的であることを保証すること。
• 還元的で等次元的な場合に、一般にエタール的性質を達成するように、古典的Cohen構造定理を一般化すること。

提案手法

• 環 $A$ の極大イデアルにおけるパラメータ系より余分な生成元の数 $h$ に関する帰納法を用いる
• Weierstrassの準備定理を用いて、$A[[X]]$ 内のべき級数を単元と区別多項式の積に分解する
• 係数体 $k$ を $\mathbb{F}_p$ 上の $p$-基底を用いて $\phi: k \to A$ として構成する
• 可換図式における中間環 $B$, $C$, $D$, $E$ を通じてモジュール有限拡張の鎖を構築する
• 微分の振る舞いと商体の構造を分析することで、体拡張の分離性を検証する
• 分離性が基底変換およびモジュール有限設定における元の付加によって保たれることを用いる

実験結果

リサーチクエスチョン

• RQ1 等長特徴 $p>0$ の場合におけるCohen-Gabber定理は、可換環論の初等的道具のみを用いて証明可能だろうか？
• RQ2 べき級数環が $A$ にモジュール有限に埋め込まれ、残りの体拡張が分離的となるような係数体とパラメータ系を構成することは可能だろうか？
• RQ3 還元的で等次元的な場合に、拡張の一般エタール的性質はどのように達成できるか？
• RQ4 Weierstrassの準備定理は、このような係数体とパラメータの構成において果たす役割は何か？

主な発見

• 本稿では、$\pi \circ \phi = \mathrm{id}_k$ を満たす係数体 $\phi: k \to A$ が存在することを確立する。ここで $\pi: A \to k$ は商写像である。
• パラメータ系 $y_1, \dots, y_d$ が構成され、$\phi(k)[[y_1, \dots, y_d]] \subset A$ がモジュール有限拡張であることが保証される。
• 任意の次元 $d$ の最小素イデアル $P \subset A$ に対して、体拡張 $\operatorname{Frac}(\phi(k)[[y_1, \dots, y_d]]) \to \operatorname{Frac}(A/P)$ は分離的である。
• 証明は、極大イデアルの生成元の数 $h$ に関する帰納法を用い、問題を $h=1$ の場合に帰着する。
• 構成により、図式内のすべての中間写像が単射かつモジュール有限であることが保証され、必要な性質が維持される。
• ある例では、特定の係数体では分離性が成立しないが、$\mathbb{F}_p(s)$（$s = t + X$ とおく）のような適切な係数体を選べば分離性を達成できることを示している。