[论文解读] When does NIP transfer from fields to henselian expansions?

Franziska Jahnke|arXiv (Cornell University)|Jul 11, 2016

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

一句话总结

本文研究了当 NIP（依赖）性质从一个域传递到其 henselian 拓展时的条件。结果表明，若域 $K$ 是 NIP 的，并配备一个 henselian 赋值 $v$，则在残分数域不是分离闭包的情况下，带赋值的域 $(K,v)$ 在带有赋值环谓词的环语言中是 NIP 的。关键结果是：通过 Shelah 拓展中的赋值定义性以及 Kaplansky 域的传递定理，实现了此类 NIP 传递。

ABSTRACT

Let $K$ be an NIP field and let $v$ be a henselian valuation on $K$. We ask whether $(K,v)$ is NIP as a valued field. By a result of Shelah, we know that if $v$ is externally definable, then $(K,v)$ is NIP. Using the definability of the canonical $p$-henselian valuation, we show that whenever the residue field of $v$ is not separably closed, then $v$ is externally definable. In the case of separably closed residue field, we show that $(K,v)$ is NIP as a pure valued field.

研究动机与目标

• 确定 NIP 性质从域 $K$ 传递到其 henselian 拓展 $(K,v)$ 的条件。
• 研究在 NIP 域 $K$ 上的 henselian 赋值 $v$ 是否导致在带有赋值环谓词的环语言中，带赋值的域 $(K,v)$ 为 NIP。
• 通过限制到纯赋值域语言，解决残分数域 $Kv$ 为分离闭包时标准传递失效的情形。
• 证明当 $Kv$ 非分离闭包时，其对应的规范 $p$-henselian 赋值在 Shelah 拓展中是可定义的。
• 证明在稳定嵌入条件下，NIP 赋值的复合产生 NIP 结构。

提出的方法

• 使用 Shelah 拓展 $K^{\mathrm{Sh}}$ 来建立当残分数域非分离闭包时，henselian 赋值的可定义性。
• 应用规范 $p$-henselian 赋值的可定义性，证明 $v$ 在 $K^{\mathrm{Sh}}$ 中是外部可定义的。
• 利用 [JS19] 和 [AJ19a] 中关于分离代数闭合极大 Kaplansky 域的传递定理，将 NIP 从残分数域传递到带赋值的域。
• 将赋值 $v$ 分解为两个 NIP 赋值的复合 $v = \bar{v} \circ w$，以应用稳定性和可定义性论证。
• 利用等特征 0 henselian 域和非分歧 henselian 域中残分数域的稳定嵌入性，来在复合下保持 NIP 性质。
• 改编 Scanlon 的论证，证明在 NIP 域上，若赋值的残分数域非完美，则该赋值是 $\mathcal{L}_{\mathrm{ring}}$-可定义的。

实验结果

研究问题

• RQ1 在何种条件下，一个具有 henselian 赋值 $v$ 的 NIP 域 $K$ 能保证 $(K,v)$ 在带有赋值环谓词的环语言中为 NIP？
• RQ2 当残分数域非分离闭包时，规范 $p$-henselian 赋值是否在 Shelah 拓展中可定义？
• RQ3 在残分数域为分离闭包的情况下，NIP 是否能从残分数域传递到带赋值的域？
• RQ4 两个 NIP henselian 赋值的复合是否产生 NIP 结构？
• RQ5 在有序 NIP 域中，任意凸赋值环是否在有序域的 Shelah 拓展中可定义？

主要发现

• 若 $K$ 是 NIP 域，且 $v$ 是 $K$ 上的 henselian 赋值，且 $Kv$ 非分离闭包，则 $v$ 在 Shelah 拓展 $K^{\mathrm{Sh}}$ 中可定义，因此 $(K,v)$ 在 $\mathcal{L} \cup \{\mathcal{O}\}$ 中为 NIP。
• 当 $Kv$ 为分离闭包时，$(K,v)$ 作为纯赋值域仍为 NIP，即使赋值在 Shelah 拓展中不可定义。
• 当 $Kv$ 非分离闭包时，规范 $p$-henselian 赋值在 $K^{\mathrm{Sh}}$ 中可定义，这意味着 $v$ 的外部可定义性成立。
• 对于任意具有非平凡 henselian 赋值的 NIP 域 $K$，只要 $Kv$ 非分离闭包，则存在一个非平凡 henselian 赋值 $v$，使得 $(K,v)$ 在 $\mathcal{L} \cup \{\mathcal{O}\}$ 中为 NIP。
• 在有序 NIP 域的情形下，任意凸赋值环在有序域的 Shelah 拓展中可定义，因此 $(K,v)$ 在 $\mathcal{L} \cup \{\mathcal{O}\}$ 中为 NIP。
• 当较粗赋值的残分数域为稳定嵌入时，两个 henselian NIP 赋值的复合为 NIP，该条件在分离代数闭合极大 Kaplansky 域和非分歧 henselian 域中成立。