[論文レビュー] th-Forking, Algebraic Independence and Examples of Rosy Theories

Alf Onshuus|ArXiv.org|May 30, 2003

Advanced Algebra and Logic被引用数 4

ひとこと要約

この論文は、擬実閉体（PRC-fields）およびモデル完全でロージーな基底を持つ大規模微分体のモデル補完が、閉順序微分体に関する以前の結果を拡張して、ロージー理論であることを確立している。理論において代数的独立性が幾何的独立性関係を定義することを証明し、理論が弱い像の消去を満たし、代数的独立性が幾何的であるとき、þ-分岐がこれと一致することを示している。

ABSTRACT

In a previous paper we developed the notions of th-independence and þ-ranks which define a geometric independence relation in a class of theories which we called ``rosy''. We proved that rosy theories include simple and o-minimal theories and that for any theory for which the stable forking conjecture was true, þ-forking coincides with forking independence. In this article, we continue to study properties of th-forking and find more examples of rosy theories. Among the new properties we prove in this paper are some alternative characterizations of rosy theories and some tools to prove and analyze rosiness in particular cases. Finally, we use this to find two examples of rosy non simple theories: pseudo real closed fields (PRC-fields) and the uniform companion of a large differential field defined by Marcus Tressl.

研究の動機と目的

• 既知のロージー理論のクラスを単純およびo-極小的構造を超えて拡張すること。
• 理論において代数的独立性が幾何的独立性関係を定義する条件を確立すること。
• 擬実閉体（PRC-fields）がロージー理論であることを証明し、閉順序微分体に関する以前の結果を一般化すること。
• モデル完全でロージーな基底を持つ大規模微分体のモデル補完が、同様にロージーであることを示すこと。
• þ-分岐の対称性および局所的性質といった代替的条件を通じてロージー理論を特徴づけ、超ロージー理論における座標化定理を証明すること。

提案手法

• 安定および単純理論における分岐独立性の一般化として、þ-分岐とþ-ランクの使用。
• 集合上で強い分割とþ-分割の定義が、þ-分岐の概念へと導く。
• 定義可能集合と型を用いた超ロージー理論の分析のための座標化定理の応用。
• 転送結果の証明：型が$T^*$のモデルで強く分割するならば、それは環の還元または微分体の還元のいずれかでそうである。
• k-DCF（k個の微分作用素をもつ微分閉体）における量化子除去と安定性を活用して型の整合性を分析すること。
• Tre[ ]におけるモデル補完に関するモデル理論的転送原理および定理を用いて、$T^*$のロージー性を確立すること。

実験結果

リサーチクエスチョン

• RQ1 理論において代数的独立性が幾何的独立性関係を定義する条件は何か？
• RQ2 弱い像の消去を満たす理論において、þ-分岐が代数的独立性と一致するのはいつか？
• RQ3 擬実閉体（PRC-fields）はロージー理論か？
• RQ4 モデル完全でロージーな基底を持つ大規模微分体のモデル補完は、同様にロージーか？
• RQ5 þ-分岐の対称性および局所的性質を通じて、ロージー理論をどのように特徴づけられるか？

主な発見

• 擬実閉体（PRC-fields）はロージーであり、単純およびo-極小的構造を超えて既知のロージー理論のクラスを拡張している。
• 理論$T$が弱い像の消去を満たし、代数的独立性が幾何的独立性関係を定義するならば、$T$はロージーであり、þ-分岐は代数的独立性と一致する。
• 環の言語における還元がモデル完全でロージーな体である大規模微分体のモデル補完$T^*$も、ロージーである。
• モデル完全でロージーな体還元およびk-DCFを満たす微分体還元をもつ理論$T^*$において、型が$T^*$で強く分割するならば、それは環の還元または微分体還元のいずれかでそうである。
• 超ロージー理論において座標化定理は成り立ち、型の構造的特徴づけが定義可能集合とランクを用いて与えられる。
• ロージー理論において、þ-分岐は幾何的独立性関係のすべての公理を満たすが、独立性定理が必ずしも成り立つとは限らない。