[论文解读] Dp-finite fields I: infinitesimals and positive characteristic

Will Johnson|arXiv (Cornell University)|Mar 27, 2019

Advanced Topology and Set Theory参考文献 17被引用 6

一句话总结

该论文证明了正特征的dp-有限域要么具有有限莫莱秩，要么 admits 一个非平凡的赫斯曼赋值，从而证明了赫斯曼性猜想，并解决了谢拉猜想的一个关键情形。通过构造类型定义的无穷小群，并利用dp-秩的可定义大集合，该研究将dp极小域的结果推广至更高秩情形，最终将正特征纯dp-有限域分类为具有dp-有限$p$-可除值群的Hahn级数。

ABSTRACT

We prove that NIP valued fields of positive characteristic are henselian. Furthermore, we partially generalize the known results on dp-minimal fields to dp-finite fields. We prove a dichotomy: if K is a sufficiently saturated dp-finite expansion of a field, then either K has finite Morley rank or K has a non-trivial Aut(K/A)-invariant valuation ring for a small set A. In the positive characteristic case, we can even demand that the valuation ring is henselian. Using this, we classify the positive characteristic dp-finite pure fields.

研究动机与目标

• 将dp极小域的结果推广至更高dp-秩的dp-有限域。
• 证明正特征下NIP赋值域的赫斯曼性猜想。
• 建立二分法：dp-有限域要么具有有限莫莱秩，要么 admits 一个Aut-不变的非平凡赋值环。
• 在正特征下，对纯dp-有限域按初等等价关系进行分类。
• 将谢拉猜想推广至正特征下的dp-有限域。

提出的方法

• 将'大'集合定义为结构中具有全dp-秩的集合，以替代dp-极小情形中的'无限'概念，从而满足可定义性与一致性条件。
• 通过取在小平移下封闭的集合的交集，构造一个类型定义的无穷小群。
• 证明该无穷小白群生成一个良好的贝祖域，即有限个赋值环的交集。
• 证明与无穷小白群相关的赋值环在固定一个小参数集的自同构下保持不变。
• 利用中国剩余定理与自同构不变性，分离出一个非平凡的赫斯曼赋值环。
• 借助关于拟极小集与积中可定义秩的结果，将西蒙关于可定义秩的定理推广至更高dp-秩情形。

实验结果

研究问题

• RQ1 dp极小域中使用的无穷小白群构造能否推广至更高秩的dp-有限域？
• RQ2 每个正特征的NIP赋值域是否都是赫斯曼的？
• RQ3 每个足够饱和的正特征dp-有限域是否要么具有有限莫莱秩，要么 admits 一个非平凡的Aut(K/A)-不变赋值环（对某个小集合A）？
• RQ4 能否对正特征下的纯dp-有限域按初等等价关系进行分类？
• RQ5 谢拉猜想是否对正特征下的dp-有限域成立？

主要发现

• 每个足够饱和的正特征dp-有限域要么具有有限莫莱秩，要么对某个小集合A，admits 一个非平凡的Aut(K/A)-不变赋值环。
• 该赋值环在正特征下的赫斯曼性已确立，从而证明了正特征下NIP赋值域的赫斯曼性猜想。
• 在正特征的无限dp-有限域上，所有K-可定义赋值环的交集构成一个赫斯曼赋值环，且其剩余域是代数闭的。
• 若一个正特征dp-有限域上所有可定义赋值均为平凡的，则该域是代数闭的。
• 在初等等价意义下，正特征纯dp-有限域恰好是Hahn级数域$\mathbb{F}_p((\Gamma))$，其中$\Gamma$是一个dp-有限的$p$-可除群。
• 该分类结果证实了正特征下dp-有限域的谢拉猜想。