[論文レビュー] 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

ひとこと要約

この論文は、$p$-進数体に乗法的部分群 $G$ を拡張した構造について、モデル理論的枠組みを構築し、Mann性質や小規模性といった条件下で公理化、量化子除去、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.

研究の動機と目的

• Mann性質および小規模性の条件下で、$\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 を証明すること。
• Mann性質を用いて、$\mathbb{Q}(G)$ の体を制御し、モデル理論的安定性（たんさ）を保証すること。
• $p$-進閉体および値群の結果を応用し、構造内の無差別列が NIP であることを示すこと。
• 部分解析的関数と対数関数を含めるために言語を $\mathcal{L}_{an}^D(\lambda, A)$ に拡張し、$(\mathbb{Q}_p, G)$ および $(\mathbb{Q}_p, \mathrm{LOG})$ に対して量化子除去と NIP を証明すること。

実験結果

リサーチクエスチョン

• RQ1 乗法的部分群 $G$ に対して、$(\mathbb{Q}_p, 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 か？

主な発見

• Mann性質を満たし、小規模である $G$ の場合、$(\mathbb{Q}_p, G)$ の理論は公理化可能であり、構造は離散的および稠密な部分に分解される。
• 値論的同値類の代表元を選び出す関数 $\lambda$ を追加することで、言語 $\mathcal{L}_{Pres}$ における量化子除去が達成される。
• 稠密部分群 $D$ を値群として見た理論は NIP であり、自然な言語において量化子除去を満たす。
• $G^{[n]}$ がすべての $n$ に対して $G$ において有限指数を持つとき、$(\mathbb{Q}_p, G)$ における定義可能集合は完全に特徴付けられる。
• $1+p\mathbb{Z}_p$ の有限生成部分群 $G$ に対して、$(\mathbb{Q}_p, G)$ の理論は NIP であり、部分解析的言語において $G = p^\mathbb{Z}$ の場合も同様である。
• $\mathrm{LOG}$ を $p$-進 Iwasawa 対数関数とする $(\mathbb{Q}_p, \mathrm{LOG})$ の理論は、$\mathcal{L}_{an}^D(\lambda, A}$ において量化子除去を満たし、NIP である。