[論文レビュー] The root closure of a ring of mixed characteristic

Paul Roberts|ArXiv.org|Oct 1, 2008

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

ひとこと要約

本稿では、混合特徴値 p を持つ環のルート閉包を、p-局域化内の要素で、ある p のべき乗が元の環に属するものとして定義する。この閉包が部分環をなすことを証明し、環がルート閉包であるとき、その Fontaine 環のウィット代数への写像から p-進完成への核が P−p によって生成されることを示す。これにより、p 乗根が十分に利用できない場合に生じる Fontaine 環理論における問題が解決される。

ABSTRACT

We define a closure operation for rings of mixed characteristic and verify that the closure is a ring. We then show that this closure produces a ring with good properties with respect to its Fontaine ring and give an example to show that rings that are not closed in this sense do not satisfy these properties.

研究の動機と目的

• p 乗根が十分に利用できない場合に、混合特徴値環における Fontaine 環の再構成が失敗する問題を解決すること。
• Fontaine 環の構成が正しく p-進完成を回復できるように保証する最小の拡張として、ルート閉包を定義すること。
• 非ネーター環に対しても、ルート閉包が p-局域化の部分環であることを示すこと。
• 具体的な例を通じて、非ルート閉包の環では正しく p-進完成を再構成できないことを示すこと。

提案手法

• R_p に属する x で、ある n ≥ 0 に対して x^{p^n} ∈ R を満たすものの集合として、C(R) をルート閉包と定義する。
• p^m を法とする二項係数の性質と p-進付値を用いて、C(R) が部分環であることを証明する。
• Froベニウス写像による射影極限として、R/pR の逆極限として Fontaine 環 E(R) を構成する。
• W(E(R)) から R̂ への写像 u_R を用いて、ウィット代数と R の p-進完成を関連付ける。
• R がルート閉包であるとき、W(E(R)) 内での反復的 p-進上げを用いて、ker(u_R) が P−p によって生成されることを示す。
• p 乗根を含むべきべき級数環を用いた反例を構成し、非ルート閉包の環では再構成における次元が正しくないことを示す。

実験結果

リサーチクエスチョン

• RQ1 混合特徴値環の最小の拡張として、Fontaine 環の構成が正しく p-進完成を回復するものとして存在するか？
• RQ2 環に属する p 乗が元の環に属する要素の集合が、加法と乗法について閉じており、部分環をなすか？
• RQ3 環がルート閉包であるとき、Fontaine 環のウィット代数から p-進完成への写像の核の構造は何か？
• RQ4 ルート閉包でない環が、Fontaine 環を介して p-進完成を正しく再構成できないことはあるか？
• RQ5 具体的な例において、ルート閉包は再構成された環の次元にどのように影響するか？

主な発見

• p がゼロ因子でない限り、R がネーターでない場合でも、ルート閉包 C(R) は R_p の部分環である。
• ルート閉包の環 R に対して、写像 u_R: W(E(R)) → R̂ の核は P−p によって生成され、これにより正しく p-進完成が再構成される。
• 例では、η = P^3 + X^3 + Y^3 は ker(u_R) に属するが PE(R) には属さない。これは η ∉ PE(R) だが η ∈ PE(C(R)) であることを示している。
• 例における環 E(R) は3変数べき級数環の完成であるため、W(E(R))/(P−p) の次元は3である一方、R の次元は2である。これにより、非ルート閉包の R に対して再構成が正しくないことが証明される。
• この構成により、Fontaine 環の方法が正しい p-進完成をもたらすためには、ルート閉包が必要であることが示された。
• 証明は、二項係数 (p^m choose i) の p-進付値に関する補題に依存しており、これは (s+t)^{p^N} の二項展開における p のべき乗の可除性を制御する。