[論文レビュー] Extension of valuations in characteristic one

Jeffrey Tolliver|arXiv (Cornell University)|May 20, 2016

Rings, Modules, and Algebras参考文献 3被引用数 4

ひとこと要約

本稿は、特徴一のidempotent半体における価値の拡張定理を拡張し、古典的な体における結果を一般化する。特徴一の価値論の類似物—特に飽和部分半群とunit生成半体—を発展させることで、半体論への還元によって、体における古典的価値の拡張の新しい証明を提供する。

ABSTRACT

We develop an extension of valuations theorem for suitable extensions of idempotent semirings. As an application, we give a new proof for the classical case of fields. Along the way, we develop characteristic one analogues of some central results in the theory of valuation rings.

研究の動機と目的

• idempotent半体を用いた特徴一における価値論の構築を目的とする。
• 古典的価値の拡張定理をidempotent半体およびunit生成半体に一般化することを目的とする。
• 半体論的技法への還元によって、体における古典的拡張定理の新しい証明を提供することを目的とする。
• 特徴一における価値論の主要な結果の類似物—たとえば飽和部分半群とネーター的加群—を確立することを目的とする。
• ホモモーフィズムを介して、価値論をトロピカル幾何学および非アルキメデス幾何学と結びつけること。

提案手法

• multiplicative, additive, および飽和不等式を満たす写像 $v: R \to \Gamma_{\max}$ として、idempotent半体上の価値を定義する。
• ホモモーフィズムの核としての飽和部分半群を導入し、商対象を構成する上で中心的な役割を果たす。
• すべての元が単位の有限和として表されるという性質を持つunit生成idempotent半体の概念を用い、単純性と拡張可能性を保証する。
• Cayley-Hamiltonの定理を適用し、半体的設定において、擬整域性が整域性を意味することを示す。
• 環上の価値と $\Gamma_{\max}$ へのホモモーフィズムを関係付けるために、有限生成部分加群の半体 $\mathcal{S}_f(A,R)$ を構成する。
• $A$ 上の価値と $\mathcal{S}_f(A,R) \to \Gamma_{\max}$ へのホモモーフィズムとの間の全単射対応を活用し、拡張問題を半体拡張に還元する。

実験結果

リサーチクエスチョン

• RQ1 古典的体における価値の拡張は、特徴一の半体論を用いて再導出可能か？
• RQ2 idempotent半体の文脈において、価値環やイデアルの適切な類似物は何か？
• RQ3 unit生成idempotent半体上の価値は、どのような条件下でより大きな半体へ拡張可能か？
• RQ4 特徴一の設定において、飽和部分半群とネーター的加群はどのように振る舞うか？
• RQ5 $\mathcal{S}_f(A,R)$ は、価値論とトロピカル幾何学および非アルキメデス解析を結びつける役割を果たすか？

主な発見

• 本稿は、unit生成idempotent半体上の任意の価値が、より大きな値群を有するより大きな半体へ拡張可能であることを証明しており、古典的拡張定理を一般化している。
• $L/K$ が体の拡張であるとき、$\tilde{L} = \mathcal{S}_f(L, \mathcal{O}_K)$ は $\tilde{\mathcal{O}}_K$-代数として拡張可能であることが確立され、価値の拡張が可能になる。
• 体における古典的価値の拡張が、$\mathcal{S}_f(K, \mathcal{O}_K)$ がunit生成であり、したがって単純であることを示すことによって、系として回復される。
• idempotent半体上の価値は、$\Gamma_{\max}$ への全射ホモモーフィズムとちょうど一致する。これは、$\Gamma_{\max}$ が価値の余定義域としての役割を果たすことを強調する。
• idempotent半群における飽和部分半群は、順序条件 $x \leq y$ かつ $y \in N$ ならば $x \in N$ を満たすことで特徴づけられる。
• 体であるとき、$R$-代数 $A$ の有限生成部分加群の半体 $\mathcal{S}_f(A,R)$ はunit生成であることが示され、代数的構造と価値論を結びつける。