[論文レビュー] Decidability via the tilting correspondence

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

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

ひとこと要約

本稿は、perfectoid幾何におけるtilting対応を用いることで、無限に分岐する混合特徴値を持つ体——特に $\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))$ のperfect hullが決定可能であるならば、混合特徴値を持つ体の決定可能性が、値付値の言語において示される。

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$.

研究の動機と目的

• perfectoid幾何を用いて、特徴値 $p$ の体から混合特徴値の完備化されたHensel体への決定可能性結果の移行を可能にする枠組みを確立すること。
• 特に $p$-進体の無限分岐体 $\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))$ のperfect hullの決定可能性が、それに対応する混合特徴値体の決定可能性を示すこと。
• tiltingを用いて特徴値 $p$ へ還元することで、これらの体の完全理論を研究するための基礎的モデル理論的道具を構築すること。
• 特に単位根や $p$ 乗根の $p$ 乗根から生じる無限分岐を示す $p$-進体の決定可能性に関する長年の予想に取り組むこと。

提案手法

• 混合特徴値のperfectoid体とその特徴値 $p$ の類似体との間のtilting対応を用い、重要なモデル理論的性質を保つ。
• Ax-Kochen/Ershovの原理を相対的形で適用し、Frobenius構造を介して、混合特徴値における決定可能性を特徴値 $p$ の体における決定可能性に還元する。
• Greenbergの定理の一般化を用いて、$t^{p^N}$ を法とする存在的文を $t$ を法とする文に還元し、解の帰納的持ち上げを可能にする。
• $p$ 乗根の構成とFrobenius自己準同型を用いて、剰余体からperfectoid整数環への解の持ち上げを実現する。
• $\mathbb{F}_p[[t]]^{1/p^\infty}$ 上に、最大イデアル内の $y$ に対して $t$ を $y^{p^\kappa}$ にマップする環自己準同型の存在に依拠し、解の持ち上げを可能にする。
• 混合特徴値における存在的および $\exists^+$-定義可能な文を、$\mathbb{F}_p((t))$ および $\overline{\mathbb{F}}_p((t))$ のperfect hullにおける同等の文に還元する。

実験結果

リサーチクエスチョン

• RQ1 言語 $L_{\text{val}}(t)$ における $\mathbb{F}_p((t))^{1/p^\infty}$ の存在的決定可能性は、言語 $L_{\text{val}}$ における $\mathbb{Q}_p(p^{1/p^\infty})$ の存在的決定可能性を示すか？
• RQ2 言語 $L_{\text{val}}(t)$ における $\overline{\mathbb{F}}_p((t))^{1/p^\infty}$ の存在的決定可能性は、言語 $L_{\text{val}}$ における $\mathbb{Q}_p^{ab}$ の存在的決定可能性を示すか？
• RQ3 $\mathbb{Q}_p(p^{1/p^\infty})$ と $\mathbb{F}_p((t))^{1/p^\infty}$ の $\exists^+$-理論間にチューリング同等性が存在するか？
• RQ4 tilting対応を用いて、特徴値 $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}}$ で存在的に決定可能であることを証明する。
• 証明は、tilting対応とFrobeniusの持ち上げを介して、$\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$ と同値であることを確立する。
• 繰り返しFrobeniusを用いて、$t^{p^N}$ を法とする解を $t$ を法とする解に還元し、Moret-Baillyの一般化されたGreenbergの定理の適用を可能にする。
• これらの結果は、$\text{Th}_{\exists^+}(\mathbb{F}_p[[t]]^{1/p^\infty})$ が $L_{\text{val}}(t)$ で決定可能であるならば、$\mathbb{Q}_p(p^{1/p^\infty})$ および関連する体の決定可能性が解決されることを示唆する。