[论文解读] Dp-finite fields IV: the rank 2 picture

Will Johnson|arXiv (Cornell University)|Mar 20, 2020

Advanced Topology and Set Theory参考文献 5被引用 4

一句话总结

本文研究特征为0、dp-秩为2的dp-有限域，证明在不稳定情形下存在唯一一个可定义的V-拓扑，尽管存在反例表明经典拓扑未必是V-拓扑。作者引入DV-拓扑——由赋值与导子定义的拓扑——并刻画了非V-拓扑情形下的经典拓扑，推进了dp-有限域的分类以及有限dp-秩的Shelah猜想。

ABSTRACT

We investigate fields of characteristic 0 and dp-rank 2. While we do not obtain a classification, we prove that any unstable field of characteristic 0 and dp-rank 2 admits a unique definable V-topology. If this statement could be generalized to higher ranks, we would obtain the expected classification of fields of finite dp-rank. We obtain the unique definable V-topology by investigating the "canonical topology" defined in earlier work. Contrary to earlier expectations, the canonical topology need not be a V-topology. However, we are able to characterize the canonical topology (on fields of dp-rank 2 and characteristic 0) in terms of differential valued fields. This differential valued structure is obtained through a partial classification of "2-inflators," a sort of generalized valuation that arises naturally in fields of finite rank. Additionally, we give an example of a dp-rank 2 expansion of ACVF with a definable set of full rank and empty interior. This example interferes with certain strategies for proving the henselianity conjecture.

研究动机与目标

• 理解不稳定dp-有限域在dp-秩2且特征为0时的结构。
• 研究此类域上的经典拓扑是否如先前研究中所猜想的那样是V-拓扑。
• 在经典拓扑并非V-拓扑时，结合赋值理论与导子，对其作出刻画。
• 构造一个反例，表明经典拓扑未必是V-拓扑，从而挑战先前的预期。
• 通过分析2-膨胀子及其代数结构，为将dp-有限域的分类推广至更高秩奠定基础。

提出的方法

• 通过全秩的可定义集分析不稳定dp-秩2域在大模型上的经典拓扑。
• 引入DV-拓扑的概念，其定义为形如 $ B_{a,b, u} = \{x : \operatorname{val}(x-a) > \nu \text{ 且 } \operatorname{val}(\delta x - b) > \nu\} $ 的集合，其中 $\delta$ 为导子。
• 利用 $K$-无穷小量 $J_K$ 研究拓扑，并将其与多重赋值环联系起来。
• 应用模型论技术分析2-膨胀子——有限秩结构中出现的广义赋值——并证明其部分分类。
• 在 $\mathrm{ACVF}_{0,0}$ 中构造一个反例，其包含一个全秩可定义集但内部为空，表明经典拓扑不是V-拓扑。
• 证明在奇特征下，dp-秩2域上的经典拓扑总是V-拓扑，从而在该情形下确认了赋值猜想。

实验结果

研究问题

• RQ1 每个不稳定dp-有限域在dp-秩2且特征为0时是否都存在唯一一个可定义的非平凡V-拓扑？
• RQ2 当此类域上的经典拓扑不是V-拓扑时，能否对其作出完全刻画？
• RQ3 在缺乏V-拓扑的情形下，导子与赋值在定义替代拓扑（DV-拓扑）中起什么作用？
• RQ4 在dp-秩2结构中，若存在一个全秩可定义集但内部为空，是否会影响Henselian性猜想？
• RQ5 在推广dp-有限域的分类至秩1以上时，基于经典拓扑与膨胀子结果的推广在多大程度上可行？

主要发现

• 对任意特征为0且dp-秩为2的不稳定域 $K$，其经典拓扑是可定义的，且存在唯一一个非平凡的可定义V-拓扑。
• 经典拓扑不一定是V-拓扑；在 $\mathrm{ACVF}_{0,0}$ 中构造了一个反例，其包含一个全秩可定义集但内部为空。
• 当经典拓扑不是V-拓扑时，它恰好是由赋值 $\operatorname{val}: K \to \Gamma$ 和导子 $\delta: \mathbb{K} \to \mathbb{K}$ 定义的DV-拓扑，其基集为 $B_{a,b,\gamma}$。
• 所有 $B_{a,b,\gamma}$ 的非空性表达了导子与赋值之间的一种独立性形式，确保了拓扑的良好行为。
• 在奇特征下，dp-秩2域上的经典拓扑总是V-拓扑，从而在该情形下确认了赋值猜想。
• 经典拓扑由一个2-膨胀子控制，其结构通过广义赋值与导子相互作用的模型论分析得到完全刻画。