[論文レビュー] Model theoretic properties of metric valued fields

Yaacov, Itaï Ben|arXiv (Cornell University)|Jul 27, 2009

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

ひとこと要約

この論文は、無限大を扱うために射影空間を用いて形式化された距離値体の理論が、初等的であり、理論MVFをもち、モデル補完としてACMVF（代数的に閉じた距離値体）をもち、厳密に安定であることを確立する。さらに、実閉距離値体の理論RCMVFが依存的であり、量化子除去を満たすことを示し、連続論理におけるこれらの構造の完全なモデル理論的分類を提供する。

ABSTRACT

We study model theoretic properties of valued fields (equipped with a real-valued multiplicative valuation), viewed as metric structures in continuous first order logic. For technical reasons we prefer to consider not the valued field $(K,|{\\cdot}|)$ directly, but rather the associated projective spaces $K\\bP^n$, as bounded metric structures. We show that the class of (projective spaces over) metric valued fields is elementary, with theory $MVF$, and that the projective spaces $\\bP^n$ and $\\bP^m$ are bi\\"interpretable for every $n,m \\geq 1$. The theory $MVF$ admits a model completion $ACMVF$, the theory of algebraically closed metric valued fields (with a non trivial valuation). This theory is strictly stable (even up to perturbation). Similarly, we show that the theory of real closed metric valued fields, $RCMVF$, is the model companion of the theory of formally real metric valued fields, and that it is dependent.

研究の動機と目的

• 無限大の問題を克服するため、有界構造としての射影空間を用いて、距離値体のモデル理論的枠組みを構築すること。
• 距離値体上の射影空間の族が初等的であり、完全な一階理論MVFをもつことの証明。
• 理論ACMVF（代数的に閉じた距離値体）がMVFのモデル補完であり、厳密に安定であることの証明。
• 理論RCMVF（実閉距離値体）が依存的であり、量化子除去を満たすことの確立。
• 異なる次元の射影空間の間で双解釈可能性を示し、値体のモデル理論を統一すること。

提案手法

• 距離値体をその射影空間$\mathbf{P}^n$で表現し、連続的一階論理における有界距離構造として扱うことで、無限大の問題に対処する。
• emboundmentプロセスを用いて、無限大のない有界構造を構成し、それを射影直線$\mathbf{P}^1$と同一視する。
• 射影空間上で不適切な体演算を避けるために、関係的言語を導入し、主に値関数と順序述語に焦点を当てる。
• $\mathcal{L}_{o\mathbf{P}^1}$言語において$\mathbf{P}^1$の量化子除去を証明し、実閉包の一意性と前後系（back-and-forth systems）を用いる。
• 十分に飽和したモデルが無限大の前後系をもつことの証明により、モデル完全性と安定性を確立する。
• $\mathcal{L}_{o\mathbf{P}}$言語を定義し、記号$\langle\!\langle \cdot \rangle\!\rangle$を導入して、射影空間全体にわたる符号および値関数情報の均一な記述を可能にする。

実験結果

リサーチクエスチョン

• RQ1 射影空間を用いて表現された距離値体の族は、連続的一階論理において初等的クラスとして公理化可能か？
• RQ2 代数的に閉じた距離値体の理論（ACMVF）は、距離値体の理論（MVF）のモデル補完か？
• RQ3 理論ACMVFは厳密に安定か？ これはそのモデル理論的複雑性にどのような意味を持つのか？
• RQ4 実閉距離値体の理論（RCMVF）は依存的か？ また、量化子除去を満たすか？
• RQ5 すべての$n,m \geq 1$に対して、射影空間$\mathbf{P}^n$と$\mathbf{P}^m$は双解釈可能か？

主な発見

• 距離値体上の射影空間の族は初等的であり、完全な一階理論MVFをもつ。
• MVFのモデル補完である理論ACMVFは厳密に安定であり、良好に制御されたモデル理論的構造を示している。
• 理論RCMVFは依存的であり、木の性質（tree property）をもたないため、モデル理論的に穏やかな振る舞いを示す。
• $\mathcal{L}_{o\mathbf{P}^1}$言語において$\mathbf{P}^1$の理論に量化子除去が成り立ち、定義可能な集合の完全な理解が可能になる。
• すべての$n,m \geq 1$に対して、射影空間$\mathbf{P}^n$と$\mathbf{P}^m$は双解釈可能であり、次元にかかわらず一様なモデル理論的構造が成立する。
• 理論RCMVFは、形式的に実距離値体の理論のモデル補完であり、言語$\mathcal{L}_{o\mathbf{P}}$において量化子除去を満たす。