[论文解读] Decidability via the tilting correspondence

Konstantinos Kartas|arXiv (Cornell University)|Jan 13, 2020

Advanced Differential Equations and Dynamical Systems参考文献 32被引用 5

一句话总结

本文通过完美oid几何中的倾斜对应关系，建立了对无限分支的混合特征域——具体为 $\mathbb{Q}_p(p^{1/p^\infty})$、$\mathbb{Q}_p(\zeta_{p^\infty})$ 和 $\mathbb{Q}_p^{ab}$——的相对可判定性结果。它表明，这些混合特征域的特征 $p$ 类似物（如 $\mathbb{F}_p((t))$ 和 $\overline{\mathbb{F}}_p((t))$ 的完美包）的可判定性，可推出混合特征域在赋值语言下的可判定性。

ABSTRACT

We prove a relative decidability result for perfectoid fields. This applies to show that the fields $\mathbb{Q}_p(p^{1/p^{\infty}})$ and $\mathbb{Q}_p(ζ_{p^{\infty}})$ are (existentially) decidable relative to the perfect hull of $ \mathbb{F}_p(\!(t)\!)$ and $\mathbb{Q}_p^{ab}$ is (existentially) decidable relative to the perfect hull of $\overline{ \mathbb{F}}_p(\!(t)\!)$. We also prove some unconditional decidability results in mixed characteristic via reduction to characteristic $p$.

研究动机与目标

• 通过完美oid几何，建立从特征 $p$ 向混合特征的赫斯曼域转移可判定性结果的框架。
• 解决关键的无限分支 $p$-进域（如 $\mathbb{Q}_p(p^{1/p^\infty})$、$\mathbb{Q}_p(\zeta_{p^\infty})$ 和 $\mathbb{Q}_p^{ab}$）的开放可判定性问题。
• 证明 $\mathbb{F}_p((t))$ 和 $\overline{\mathbb{F}}_p((t))$ 的完美包的可判定性，可推出其混合特征对应物的可判定性。
• 通过倾斜映射将问题约化至特征 $p$，为研究这些域的完整理论奠定模型论基础工具。
• 解决关于含无限分支的 $p$-进域可判定性的长期猜想，特别是由单位根和 $p$-次根 $p$ 生成的域。

提出的方法

• 利用混合特征完美oid域与其特征 $p$ 类似物之间的倾斜对应关系，该关系保持关键的模型论性质。
• 以相对形式应用 Ax-Kochen/Ershov 原理，通过弗罗贝尼乌斯结构将混合特征中的可判定性问题约化为倾斜域（特征 $p$）中的可判定性问题。
• 采用格林伯格定理的推广版本，将模 $t^{p^N}$ 的存在性语句约化为模 $t$ 的语句，从而实现解的归纳提升。
• 利用 $p$-次根构造和弗罗贝尼乌斯自同态，将解从剩余域转移到完美oid整环中。
• 依赖于 $\mathbb{F}_p[[t]]^{1/p^\infty}$ 上存在环自同态，将 $t$ 映射为 $y^{p^\kappa}$（其中 $y$ 属于极大理想），从而实现解的提升。
• 将混合特征中存在性及 $\exists^+$-定义的语句约化为 $\mathbb{F}_p((t))$ 和 $\overline{\mathbb{F}}_p((t))$ 的完美包中的等价语句。

实验结果

研究问题

• RQ1 若 $\mathbb{F}_p((t))^{1/p^\infty}$ 在 $L_{\text{val}}(t)$ 中存在可判定，是否可推出 $\mathbb{Q}_p(p^{1/p^\infty})$ 在 $L_{\text{val}}$ 中存在可判定？
• RQ2 若 $\overline{\mathbb{F}}_p((t))^{1/p^\infty}$ 在 $L_{\text{val}}(t)$ 中存在可判定，是否可推出 $\mathbb{Q}_p^{ab}$ 在 $L_{\text{val}}$ 中存在可判定？
• RQ3 是否存在 $\mathbb{Q}_p(p^{1/p^\infty})$ 与 $\mathbb{F}_p((t))^{1/p^\infty}$ 的 $\exists^+$-理论之间的图灵等价？
• RQ4 倾斜对应关系能否以统一方式将特征 $p$ 的可判定性结果传递到混合特征域？
• RQ5 这些结果向完整一阶理论扩展时，存在哪些模型论障碍？

主要发现

• 本文证明：若 $\mathbb{F}_p((t))^{1/p^\infty}$ 在 $L_{\text{val}}(t)$ 中存在可判定，则 $\mathbb{Q}_p(p^{1/p^\infty})$ 在 $L_{\text{val}}$ 中存在可判定。
• 类似地，若 $\overline{\mathbb{F}}_p((t))^{1/p^\infty}$ 在 $L_{\text{val}}(t)$ 中存在可判定，则 $\mathbb{Q}_p^{ab}$ 在 $L_{\text{val}}$ 中存在可判定。
• 证明依赖于通过倾斜对应关系和弗罗贝尼乌斯提升，将 $\mathbb{Q}_p(p^{1/p^\infty})$ 中的存在性语句约化为 $\mathbb{F}_p[[t]]^{1/p^\infty}$ 中的语句。
• 本文建立：$\mathbb{F}_p[[t]]^{1/p^\infty} \models \exists x_1,\dots,x_m \bigwedge_i f_i(x_1,\dots,x_m,t) = 0$ 当且仅当 $\mathbb{F}_p[t^{1/p^\infty}]/(t) \models \forall y \in \mathfrak{m} \, \exists x_1,\dots,x_m \bigwedge_i f_i(x_1,\dots,x_m,y) = 0$。
• 该论证使用迭代弗罗贝尼乌斯映射，将模 $t^{p^N}$ 的解约化为模 $t$ 的解，从而可应用莫雷-贝伊的推广格林伯格定理。
• 结果表明，若能解决 $\text{Th}_{\exists^+}(\mathbb{F}_p[[t]]^{1/p^\infty})$ 在 $L_{\text{val}}(t)$ 中的可判定性，即可解决 $\mathbb{Q}_p(p^{1/p^\infty})$ 及相关域的可判定性问题。