[論文レビュー] On fields and colours

Andreas Baudisch, Amador Martín-Pizarro+1 more|ArXiv.org|May 16, 2006

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

ひとこと要約

本稿は、簡略化されたHrushovski風の融合法を用いて、モーリー次元 $p$ の体と、次元 $p-1$ の述語を持つ構造を構成し、明示的な公理化を行い、$\frac{1}{\delta}$-に基づくランク関数を用いてモーリー次元を計算する。主な結果として、このような構造が完全理論の $\omega$-飽和モデルとして存在することを確立する。

ABSTRACT

We exhibit a simplified version of the construction of a field of Morley rank p with a predicate of rank p-1, extracting the main ideas for the construction from previous papers and refining the arguments. Moreover, an explicit axiomatization is given, and ranks are computed.

研究の動機と目的

• モーリー次元 $p$ の体に次元 $p-1$ の述語を持つ構造の存在を、自己完結的で簡略化された証明で示すこと。
• 色分けされた体のケースにおいて、HrushovskiおよびPoizatの構成から核心的なアイデアを抽出・精錬すること。
• このような構造の理論に対する明示的な公理化を提示すること。
• モーリー次元を $\tfrac{1}{\delta}$-ランク関数を用いて計算し、正確なランク値を特定すること。

提案手法

• モーリー次元を測るための $\tfrac{1}{\delta}$-ランク関数 $\operatorname{d}(\vec{a}/C) = \delta(\operatorname{cl}(C\vec{a})/\operatorname{cl}(C))$ を導入する。
• 定義可能集合およびその幾何学的構造を制御するため、修正版のHrushovskiのコードを用いたHrushovskiの融合手順を用いる。
• 構成における最小拡張の数を抑え込むために $\tfrac{1}{\mu}$-関数を適用する。
• 自己充足的部分構造を定義し、$\tfrac{1}{\delta}$-ランクを用いて型を特徴づけ、蓄積点を排除する。
• 豊富な体は、完全で明示的に公理化された理論の $\omega$-飽和モデルであることを確立する。
• 拡張と代数的性についての直接的議論により、モデル完全性と $\omega$-分類可能性を証明する。

実験結果

リサーチクエスチョン

• RQ1 簡略化され自己完結的な方法を用いて、モーリー次元 $p$ の体に次元 $p-1$ の述語を持つ構造を構成できるか？
• RQ2 このような色分けされた体の理論を特徴付ける明示的な公理は何か？
• RQ3 モーリー次元は $\tfrac{1}{\delta}$-ランク関数を用いてどのように計算できるか？
• RQ4 得られる理論はモデル完全かつ $\omega$-分類可能か？
• RQ5 Hrushovskiの融合法の直接的翻訳として、構成をより明確に簡略化できるか？

主な発見

• このような色分けされた体の理論 $T^\mu$ は完全であり、$\omega$-分類可能であり、モデル完全性は直接的に示された。
• 全体構造のモーリー次元は正確に $p$ であり、述語の次元は正確に $p-1$ である。これは、一般な要素 $a$ に対して $\operatorname{d}(a) = \delta(a)$ を計算することで示された。
• 一般な白い要素はモーリー次元 $p$ を持ち、一般な黒い要素はモーリー次元 $p-1$ を持つ。それぞれ $\delta(a) = p$ および $\delta(b) = p-1$ である。
• 一般な白い要素は、互いに独立でモーリー次元 $1$ の黒い要素 $p$ 個の和として表せる。
• $\tfrac{1}{\delta}$-ランク関数 $\operatorname{d}(\vec{a}/C)$ はモーリー次元 $\operatorname{MR}^*(\vec{a}/C)$ に等しく、計算可能なランク測度を提供する。
• 豊富な体は、明示的に公理化された理論 $T^\mu$ の $\omega$-飽和モデルにちょうど一致し、このようなモデルは代数的性について閉じている。