[论文解读] On dp-minimal fields

Will Johnson|arXiv (Cornell University)|Jul 9, 2015

Advanced Topology and Set Theory参考文献 9被引用 28

一句话总结

本文在初等等价意义下对 dp-极小纯域进行了分类，表明它们初等等价于 Hahn 级数域 $K((t^\Gamma))$，其中 $K$ 为 $\mathbb{F}_p^{alg}$ 或特征零局部域，且 $\Gamma$ 满足可除性条件。关键结果表明，所有 dp-极小域均源自具有正或零特征剩余域及满足有限性与可除性约束的值群的 Henselian、无缺陷赋值域。

ABSTRACT

We classify dp-minimal pure fields up to elementary equivalence. Most are equivalent to Hahn series fields $K((t^Γ))$ where $Γ$ satisfies some divisibility conditions and $K$ is $\mathbb{F}_p^{alg}$ or a local field of characteristic zero. We show that dp-small fields (including VC-minimal fields) are algebraically closed or real closed.

研究动机与目标

• 在初等等价意义下对所有 dp-极小纯域进行分类。
• 通过赋值域理论刻画 dp-极小域的模型论结构。
• 表明 dp-小与 VC-极小域为代数闭或实闭域。
• 确立所有足够饱和的 dp-极小域均 admits 一个满足特定模型论条件的 Henselian 赋值。
• 确定此类域初等等价于 Hahn 级数域 $K((t^\Gamma))$ 的条件。

提出的方法

• 使用 dp-秩与随机模式定义 dp-极小性，其中 dp-秩 1 等价于 dp-极小性。
• 在 Henselian、无缺陷赋值域中应用量化消除技术以证明定理 1.1。
• 利用 Jahnke 与 Koenigsmann 关于 dp-极小结构中可定义拓扑与赋值环的结果。
• 采用 Kaplan-Scanlon-Wagner 关于 Macintyre 谓词与值群中可定义割的研究，以分析可定义集。
• 在扩展语言中使用 $L_0$-无量词互 indiscernibility 概念以分离模型论性质。
• 分析值群中的伪收敛性与陪集行为，以在非 dp-极小设定中导出矛盾。

实验结果

研究问题

• RQ1 哪些纯域在初等等价意义下是 dp-极小的？
• RQ2 在何种剩余域与值群条件下，Henselian 赋值域是 dp-极小的？
• RQ3 所有 dp-极小域是否初等等价于具有指定 $K$ 与 $\Gamma$ 的 Hahn 级数域 $K((t^\Gamma))$？
• RQ4 VC-极小性与代数闭性在域中存在何种关系？
• RQ5 dp-极小域中的可定义集如何与值群中的割及 Macintyre 谓词相关联？

主要发现

• 所有 dp-极小纯域初等等价于 Hahn 级数域 $K((t^\Gamma))$，其中 $K$ 为 $\mathbb{F}_p^{alg}$ 或特征零局部域，且 $\Gamma$ 满足对所有 $n$ 有 $|\Gamma/n\Gamma| < \infty$。
• 在混合特征情形下，dp-极小域包括 $\mathbb{Z}_p^{un}(p^{1/p^\infty})$ 的球面完备化，表明此类域并不总是初等等价于标准 Hahn 级数。
• 所有 VC-极小域均为代数闭或实闭域，扩展了 Guingona 对 dp-小域的结果。
• dp-极小域 admits 一个满足无缺陷性与可除性条件的 Henselian 赋值，其理论完全由剩余域与值群决定。
• dp-极小域中的可定义集为形如 $\{x : v(x - c) \in \Xi\}$ 的集合（$\Xi$ 为 $\Gamma$ 中的可定义割）与形如 $\{x : P_n(b \cdot (x - c))\}$ 的集合（$P_n$ 为 Macintyre 谓词）的布尔组合。
• dp-极小性的失败会导致涉及 $\bigcap_n n\Gamma$ 或 $\bigcap_n n \cdot rv_n(K)$ 中伪收敛性与非平凡陪集行为的矛盾，从而确认所列条件的必要性。