[論文レビュー] Valuations and Frobenius

Rankeya Datta, Karen E. Smith|arXiv (Cornell University)|Jul 21, 2015

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

ひとこと要約

本稿は、素数標数における価値環におけるFrobenius特異点—F純粋性、Frobenius分解、F正則性—を調査し、すべてのSuchな環がF純であることを示し、強F正則性の自然な一般化としてF純正則性を導入する。主な結果は、価値環がF純正則であることとノネリアンであることの同値性であり、F-有限な関数体におけるノネリアン価値環では、Frobenius分解は完全性およびF-有限性と同値である。

ABSTRACT

The behavior of the Frobenius map is investigated for valuation rings of prime characteristic. We show that valuation rings are always F-pure. We introduce a generalization of the notion of strong F-regularity, which we call F-pure regularity, and show that a valuation ring is F-pure regular if and only if it is Noetherian. For valuations on function fields, we show that the Frobenius map is finite if and only if the valuation is divisorial; in this case the valuation ring is Frobenius split. For Noetherian valuation rings in function fields, we show that the valuation ring is Frobenius split if and only if Frobenius is finite, or equivalently, if and only if the valuation ring is excellent.

研究の動機と目的

• ノネリアンな設定を超えてFrobenius特異点—F純粋性、分解、F正則性—の理論を拡張すること。
• 特に関数体における非ノネリアン価値環におけるFrobenius写像の振る舞いを理解すること。
• ノネリアン価値環におけるFrobenius有限性、分解、完全性、F-有限性の関係を明確化すること。
• 非F-有限な環に対する強F正則性の一般化としてF純正則性を導入し、その分析を行うこと。
• 非ノネリアン価値環においてFrobenius分解がF-有限性または完全性を意味するかどうかを特定すること。

提案手法

• 素数標数における価値環の特異点を分析する中心的ツールとして、Frobenius写像 $F: R \to R$, $r \to r^p$ を用いる。
• 有限性仮定を回避するため、分裂写像の代わりに純写像を用いて、強F正則性の一般化としてF純正則性を定義する。
• 平坦性および価値論的性質を活用して、Frobenius写像の純粋性を用いて、すべての価値環がF純であることを証明する。
• 値群の構造を用いて、関数体における価値環に対してFrobenius写像が有限であることと、その価値がアービアンカールであることの同値性を確立する。
• 完全性およびF-有限性の理論を応用して、ノネリアン価値環におけるFrobenius分解を特徴付ける。
• 例および逆例（例えば、Frobenius分解をしないDVR）を用いて、F純粋性、分解、およびより強い正則性条件を区別する。

実験結果

リサーチクエスチョン

• RQ1 素数標数における価値環において、Frobenius写像は常に純粋（F純）であるか？
• RQ2 ノネリアン価値環におけるFrobenius分解、F-有限性、完全性の正確な関係は何か？
• RQ3 F純正則性は、すべての価値環の中でノネリアン価値環を特徴付けるか？
• RQ4 非ノネリアン価値環においてFrobenius分解が発生しうるか。その場合、どのような条件下でか？
• RQ5 非ノネリアン設定において、F純正則性はすべての加群がタイトに閉じていることに同値か？

主な発見

• すべての素数標数における価値環はF純である。これはFrobenius写像が常に純粋であるためである。
• 価値環がF純正則であることとノネリアンであることの同値性が示され、ノネリアンと非ノネリアンの挙動における明確な二分が確立された。
• F-有限な体上の関数体におけるノネリアン価値環では、Frobenius分解はF-有限性および完全性と同値である。
• Frobenius写像が有限であることと、その価値がアービアンカールであることの同値性が成り立ち、この場合、価値環はFrobenius分解可能である。
• Frobenius分解をしないノネリアン価値環（例えば、離散的価値環）が存在し、分解はF純粋性よりも厳密に強いことを示している。
• 分解F正則性はF純正則性よりも厳密に強い。F-有限な分数体をもつDVRでは、それが完全性およびF-有限性と同値である。