[论文解读] th-Forking, Algebraic Independence and Examples of Rosy Theories

Alf Onshuus|ArXiv.org|May 30, 2003

Advanced Algebra and Logic被引用 4

一句话总结

本文证明了伪实闭域（PRC-域）以及具有模型完全的玫瑰基域的大微分域的模型相伴是玫瑰理论，扩展了关于闭有序微分域的早期结果。证明了代数独立性在这些理论中定义了几何独立关系，且当理论具有弱消除虚像性质且代数独立性为几何独立性时，þ-分叉与该独立性一致。

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-域）是玫瑰理论，推广了关于闭有序微分域的早期结果。
• 证明具有模型完全玫瑰基域的大微分域的模型相伴也是玫瑰理论。
• 通过þ-分叉的对称性和局部性等替代条件对玫瑰理论进行刻画，并证明超玫瑰理论的坐标化定理。

提出的方法

• 使用þ-分叉和þ-秩作为稳定与简单理论中分叉独立性的推广。
• 定义在集合上的强分裂和þ-分裂，进而引出þ-分叉的概念。
• 应用坐标化定理，通过可定义集和类型分析超玫瑰理论。
• 证明一个传递结果：若一个类型在$T^*$的模型中强分裂，则它在域约化或微分域约化中也强分裂。
• 利用k-DCF（具有k个导数的微分闭域）中的量化词消去和稳定性来分析类型的一致性。
• 利用来自[Tre]的模型相伴的模型理论传递原理和定理，确立$T^*$的玫瑰性。

实验结果

研究问题

• RQ1 在何种条件下，代数独立性在理论中定义了几何独立关系？
• RQ2 在具有弱消除虚像性质的理论中，何时þ-分叉与代数独立性一致？
• RQ3 伪实闭域（PRC-域）是玫瑰理论吗？
• RQ4 具有模型完全玫瑰基域的大微分域的模型相伴是否也是玫瑰理论？
• RQ5 能否通过þ-分叉的对称性和局部性对玫瑰理论给出刻画？

主要发现

• 伪实闭域（PRC-域）是玫瑰理论，将已知玫瑰理论的类扩展至简单和o-极小结构之外。
• 若理论$T$具有弱消除虚像性质且代数独立性定义了几何独立关系，则$T$是玫瑰理论，且þ-分叉与代数独立性一致。
• 若一个大微分域的模型相伴$T^*$在环语言下的限制是一个模型完全的玫瑰域，则$T^*$也是玫瑰理论。
• 对于一个理论$T^*$，若其在环语言下的约化是模型完全的玫瑰域，且其微分域约化满足k-DCF，则若一个类型在$T^*$中强分裂，它必然在域约化或微分域约化中强分裂。
• 坐标化定理对超玫瑰理论成立，通过可定义集和秩为类型提供了结构刻画。
• 在玫瑰理论中，þ-分叉满足几何独立关系的所有公理，尽管独立性定理不一定成立。