[论文解读] Model theory of the field of $p$-adic numbers expanded by a multiplicative subgroup

Nathanaël Mariaule|arXiv (Cornell University)|Mar 28, 2018

advanced mathematical theories参考文献 15被引用 5

一句话总结

该论文为带有乘法子群 $G$ 的 $p$-进数域构建了一个模型论框架，证明了在曼恩性质和小性条件下的公理化、消去量词以及 NIP（NIP）性质。当 $G$ 是有限生成或在 $1+p^n\mathbb{Z}_p$ 中稠密时，证明了 $(\mathbb{Q}_p, G)$ 的理论是 NIP，并将结果扩展至子解析设定，包括 $p$-进 Iwasawa 对数。

ABSTRACT

Let $G$ be a multiplicative subgroup of $\mathbb{Q}_p$. In this paper, we describe the theory of the pair $(\mathbb{Q}_p, G)$ under the condition that $G$ satisfies Mann property and is small as subset of a first-order structure. First, we give an axiomatisation of the first-order theory of this structure. This includes an axiomatisation of the theory of the group $G$ as valued group (with the valuation induced on $G$ by the $p$-adic valuation). If the subgroups $G^{[n]}$ of $G$ have finite index for all $n$, we describe the definable sets in this theory and prove that it is NIP. Finally, we extend some of our results to the subanalytic setting.

研究动机与目标

• 在曼恩性质和小性条件下，公理化 $\mathbb{Q}_p$ 扩展为乘法子群 $G$ 的一阶理论。
• 当 $G^{[n]}$ 对所有 $n$ 具有有限指数时，刻画 $(\mathbb{Q}_p, G)$ 中的可定义集。
• 将模型论分析扩展至子解析语言 $\mathcal{L}_{an}^D$，特别是针对 $p$-进 Iwasawa 对数。
• 证明当 $G$ 是有限生成或在 $1+p^n\mathbb{Z}_p$ 中稠密时，$(\mathbb{Q}_p, G)$ 的理论是 NIP。
• 在涉及 $p$-进 Iwasawa 对数的结构中，于子解析语言中建立消去量词。

提出的方法

• 将 $G$ 分解为离散循环部分与 $1+p^n\mathbb{Z}_p$ 内的稠密子群 $D$，通过赋值理论结构分析每一部分。
• 引入函数符号 $\lambda$，将元素映射到其赋值类的代表元，从而在语言 $\mathcal{L}_{Pres}$ 中实现消去量词。
• 将 $D$ 的理论公理化为赋值群，证明其在自然语言下的消去量词与 NIP 性质。
• 利用曼恩性质控制域 $\mathbb{Q}(G)$，确保模型论上的良态。
• 应用 $p$-进封闭域与赋值群的结果，证明结构中的不可区分序列为 NIP。
• 将语言扩展至 $\mathcal{L}_{an}^D(\lambda, A)$ 以包含子解析函数与对数函数，证明 $(\mathbb{Q}_p, G)$ 与 $(\mathbb{Q}_p, \mathrm{LOG})$ 的消去量词与 NIP 性质。

实验结果

研究问题

• RQ1 在何种条件下，$(\mathbb{Q}_p, G)$ 的理论是可公理化的，其中 $G$ 为乘法子群？
• RQ2 在何种语言扩展下，结构 $(\mathbb{Q}_p, G)$ 允许消去量词？
• RQ3 当 $G^{[n]}$ 对所有 $n$ 在 $G$ 中具有有限指数时，$(\mathbb{Q}_p, G)$ 中的可定义集具有何种性质？
• RQ4 $(\mathbb{Q}_p, G)$ 的模型论如何扩展至子解析设定，特别是针对 $p$-进 Iwasawa 对数？
• RQ5 当 $G$ 是有限生成或在 $1+p^n\mathbb{Z}_p$ 中稠密时，$(\mathbb{Q}_p, G)$ 的理论是否为 NIP？

主要发现

• 当 $G$ 满足曼恩性质且为小集时，$(\mathbb{Q}_p, G)$ 的理论是可公理化的，且结构可分解为离散与稠密两部分。
• 通过添加一个选择赋值类代表元的函数 $\lambda$，在语言 $\mathcal{L}_{Pres}$ 中实现了消去量词。
• 作为赋值群的稠密部分 $D$ 的理论是 NIP，且在自然语言下可实现消去量词。
• 当 $G^{[n]}$ 对所有 $n$ 在 $G$ 中具有有限指数时，$(\mathbb{Q}_p, G)$ 中的可定义集被完全刻画。
• 当 $G$ 是 $1+p\mathbb{Z}_p$ 的有限生成子群，或 $G = p^\mathbb{Z}$ 时，$(\mathbb{Q}_p, G)$ 的理论在子解析语言中为 NIP。
• $(\mathbb{Q}_p, \mathrm{LOG})$ 的理论，其中 $\mathrm{LOG}$ 为 $p$-进 Iwasawa 对数，在语言 $\mathcal{L}_{an}^D(\lambda, A)$ 中可实现消去量词，且为 NIP。