[論文レビュー] Henselian Elements

Josnei Novacoski, Franz‐Viktor Kuhlmann|arXiv (Cornell University)|Nov 24, 2013

Rings, Modules, and Algebras被引用数 7

ひとこと要約

本稿では、絶対不換拡張内における有限体拡張の整域が、基本体の整域上でのヘンゼル的元によって生成されることを確立する。有限生成のための同値条件を提示し、基本体の整域における整列された素イデアルの鎖がこれらの条件を満たすことを証明するとともに、不換拡張における有限生成の反例を構成する。

ABSTRACT

Henselian elements are roots of polynomials which satisfy the conditions of Hensel's Lemma. In this paper we prove that for a finite field extension $(F|L,v)$, if $F$ is contained in the absolute inertia field of $L$, then the valuation ring $\mathcal O_F$ of $(F,v)$ is generated as an $\mathcal O_L$-algebra by henselian elements. Moreover, we give a list of equivalent conditions under which $\mathcal O_F$ is generated over $\mathcal O_L$ by finitely many henselian elements. We prove that if the chain of prime ideals of $\mathcal O_L$ is well-ordered, then these conditions are satisfied. We give an example of a finite valued inertial extension $(F|L,v)$ for which $\mathcal O_F$ is not a finitely generated $\mathcal O_L$-algebra. We also present a theorem that relates the problem of local uniformization with the theory of henselian elements.

研究の動機と目的

• 有限体拡張の整域が、基本体の整域上でのヘンゼル的元によって生成される条件を同定すること。
• このような生成が有限生成であるための同値条件を特定すること。
• 整域の素イデアルの鎖構造が、整域の有限生成性を保証する役割をどのように果たすかを調査すること。
• 不換拡張でさえも有限生成でない場合があることを示す反例を構成すること。
• ヘンゼル的元の理論と代数幾何学における局所均質化問題との関係を結ぶこと。

提案手法

• ヘンゼルの補題を用いて、その持ち上げ条件を満たす多項式の根としてヘンゼル的元を定義・特徴付ける。
• 絶対不換拡張の構造を分析し、整域がヘンゼル的元によって生成されることを確立する。
• 基本体の整域における素イデアルの鎖の順序論的性質を応用し、有限生成の十分条件を導出する。
• 特定の有限不換拡張の例を構成し、その整域が基本体の整域上での有限生成代数でないことを示す。
• 代数的および賦値論的技法を用いて、ヘンゼル的元の理論と局所均質化問題との間の理論的関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 有限体拡張 $(F|L,v)$ に対して、その整域 $\\_mathcal O_F$ が、基本体の整域 $\\mathcal O_L$ 上での有限個のヘンゼル的元によって生成される条件は何か？
• RQ2 基本体の整域における素イデアルの鎖が整列されている場合、拡張された整域 $\\mathcal O_F$ の有限生成性にどのような影響を与えるか？
• RQ3 整域が基本体の整域上での有限生成代数でない有限不問拡張が存在するか？
• RQ4 ヘンゼル的元は、代数幾何学における局所均質化問題とどのように関係するか？
• RQ5 ヘンゼル的元による整域の有限生成性を保証する同値な代数的条件は何か？

主な発見

• 任意の有限体拡張 $(F|L,v)$ に対して、$F$ が $L$ の絶対不換拡張内にあるとき、整域 $\\_mathcal O_F$ は $\\mathcal O_L$-代数としてヘンゼル的元によって生成される。
• $\\mathcal O_F$ が $\\mathcal O_L$ 上での有限個のヘンゼル的元によって生成されるための同値条件が存在し、その例として $\\mathcal O_L$ 内の素イデアルの鎖が整列されていることである。
• もし $\\mathcal O_L$ 内の素イデアルの鎖が整列されているならば、$\\mathcal O_F$ はヘンゼル的元による $\\mathcal O_L$-代数として有限生成であることが保証される。
• 有限不問拡張 $(F|L,v)$ に対して、$\\mathcal O_F$ が $\\mathcal O_L$-代数として有限生成でない具体例が構成された。
• 本稿では、ヘンゼル的元の理論と代数幾何学における局所均質化問題との間の理論的関係を確立した。