[論文レビュー] Groups and rings definable in d-minimal structures

Antongiulio Fornasiero|arXiv (Cornell University)|May 18, 2012

Advanced Topology and Set Theory参考文献 11被引用数 7

ひとこと要約

この論文は、順序体のd-極小拡張へo-極小構造からの基礎的結果を拡張し、定義可能群が、それらを位相群にするような一意な定義可能微分多様体構造を持つことを証明している。また、零因子を持たない次元が1以上の定義可能環は斜体であることを示し、定義可能環が$Π$-代数と離散環に分解可能であることを確立している。これはモデル理論および tame 幾何学における既知の結果を一般化する。

ABSTRACT

We study groups and rings definable in d-minimal expansions of ordered fields. We generalize to such objects some known results from o-minimality. In particular, we prove that we can endow a definable group with a definable topology making it a topological group, and that a definable ring of dimension at least 1 and without zero divisors is a skew field.

研究の動機と目的

• 順序体のd-極小拡張へo-極小モデル理論の主要結果を一般化すること。
• d-極小設定における定義可能群および環の位相的・代数的構造を調査すること。
• 定義可能環が$Π$-代数と離散部分環に分解されることを確立する定理を構築すること。
• d-極小構造における離散環上の定義可能連結モジュラスの挙動を調査すること。

提案手法

• 定義可能微分構造を用いて、Pillayのo-極小構造における定義可能群に関する定理をd-極小設定へ適応すること。
• 定義可能完備性および定義可能集合の開部と離散部への分解を用いて、群および環の定義可能性を分析すること。
• 次元理論およびイデアル分解を含むモデル理論的技法を用いて、定義可能環を分析すること。
• $Π$-代数および自明／ほとんど自明な環の概念を導入し、一般の定義可能環を分解すること。
• 構造的解析により、次元が1以上の零因子を持たない定義可能環が斜体であることを証明すること。
• 環準同型の核を用いて、定義可能環の代数的および離散的成分を分離すること。

実験結果

リサーチクエスチョン

• RQ1 d-極小構造における定義可能群は、o-極小性と同様に、群演算が滑らかになる一意な定義可能微分多様体構造を備えうるか？
• RQ2 d-極小構造において、次元が1以上の零因子を持たない定義可能環が、常に斜体である条件は何か？
• RQ3 d-極小構造における任意の定義可能環は、$Π$-代数と離散部分環の直和に分解可能か？
• RQ4 d-極小構造における定義可能離散環上の定義可能連結モジュラスは、どのように振る舞うか？
• RQ5 定義可能環の代数的および離散的成分への分解は、自然かつ一意的か？

主な発見

• d-極小構造における定義可能群は、群演算が微分可能である一意な定義可能微分多様体構造を持つ。
• 定義可能連結な定義可能アーベル群は可除的であり、これはo-極小モデル理論の結果を拡張する。
• 次元が1以上の零因子を持たない定義可能環は斜体であり、$\mathbb{K}$、$\mathbb{K}(\sqrt{-1})$、または$\mathbb{K}$上の四元数体に定義可能に同型である。
• 単位元を持つ任意の定義可能環$\mathbb{F}$は$\mathbb{F} = D \oplus \mathbb{F}^0$と分解され、ここで$D$は定義可能な離散部分環、$\mathbb{F}^0$は定義可能な$\mathbb{K}$-代数である。
• 定義可能離散環は、すべての定義可能連結モジュラス上で自明に作用する。つまり、そのようなモジュラスにおいてすべての$f \in F$、$g \in G$に対して$fg = 0$となる。
• 定義可能環からその$\mathbb{K}$-代数商への自然な準同型の核は、ほとんど自明な環であることが確認され、構造的分解が裏付けられる。