[论文解读] Imaginaries and invariant types in existentially closed valued differential fields

Silvain Rideau-Kikuchi|arXiv (Cornell University)|Aug 31, 2015

Advanced Topology and Set Theory参考文献 27被引用 15

一句话总结

本文证明了存在闭合赋值微分域（VDFEC）在几何语言中消除虚像，具有不变扩张性质，并在其赋值群上具有元稳定性。通过证明VDFEC中可定义类型的稠密性，作者通过代数闭赋值域带导子的可定义集与类型的模型论分析，推导出这些结果，推广了ACVF与DCF0中的技术。

ABSTRACT

We answer two open questions about the model theory of valued differential fields introduced by Scanlon. We show that they eliminate imaginaries in the geometric language introduced by Haskell, Hrushovski and Macpherson and that they have the invariant extension property. These two result follow from an abstract criterion for the density of definable types in enrichments of algebraically closed valued fields. Finally, we show that this theory is metastable.

研究动机与目标

• 解决存在闭合赋值微分域（VDFEC）模型论中的三个开放问题。
• 证明VDFEC在几何语言中消除虚像，推广ACVF与DCF0中的结果。
• 证明VDFEC具有不变扩张性质，这是稳定与元稳定理论中的关键特征。
• 证明VDFEC在其赋值群上具有元稳定性，使其成为非稳定情形下研究元稳定性的自然候选对象。
• 将C极小性与ACVF中可定义类型的技术推广至微分设定。

提出的方法

• 证明VDFEC中可定义类型的稠密性：对任意A-可定义集X，找到在acl(A)上可定义的类型。
• 通过导子映射∂ω的类型上推，将问题约化为ACVF中∆-类型的分析。
• 利用ACVF的C极小性，通过球的有限纤维丛近似VDFEC中的可定义集，实现单元分解。
• 利用VDFEC中的量化词消去，将类型分析约化为∂ω(x) = (∂n(x))n<ω的Ldiv-类型。
• 应用稳定嵌入理论与赋值群/域相互作用，控制可定义性与虚像。
• 使用包含导出排序的几何语言，通过Haskell、Hrushovski与Macpherson的框架实现虚像消除。

实验结果

研究问题

• RQ1 VDFEC是否如DCF0与ACVF的类比所推测的那样，在几何语言中消除虚像？
• RQ2 VDFEC是否满足不变扩张性质，确保在代数闭集上类型存在自同构不变的全局扩张？
• RQ3 VDFEC是否在其赋值群上具有元稳定性，从而将ACVF中的元稳定性框架推广至微分设定？
• RQ4 能否建立VDFEC中可定义类型的稠密性，从而推导出虚像消除与不变扩张？
• RQ5 ACVF中C极小技术在带导子的VDFEC中能推广到何种程度？

主要发现

• VDFEC在几何语言中消除虚像，意味着每个可定义商均可用可定义函数表示。
• VDFEC具有不变扩张性质：每个在代数闭集上的类型均存在自同构不变的全局扩张。
• VDFEC在其赋值群上具有元稳定性，将ACVF中的元稳定性范式推广至微分设定。
• VDFEC中可定义类型的稠密性已建立，即每个A-可定义集均包含在acl(A)上可定义的类型。
• 结果可推广至ACVF的任意C极小扩张，提示可能进一步推广至如ACVFA等解析结构。
• 导子映射∂ω诱导类型上推，将L∂,div-类型分析约化为Ldiv-类型，后者可借助C极小分析处理。