[論文レビュー] Model theory of valued fields

Raf Cluckers|ArXiv.org|Nov 25, 2003

advanced mathematical theories参考文献 11被引用数 4

ひとこと要約

本稿は、$\mathcal{L}_{\rm Mac}$、$\mathcal{L}_{\rm sub}$、およびDenef-Pas構造といった拡張言語を用いて、付値体のモデル理論の枠組みを提案し、$p$-adic体における$p$-最小性および細胞分解定理を確立する。主な貢献は、部分解析的集合および定義可能関数に対する$p$-adic細胞分解であり、これは量化子除去を意味し、構成可能関数の積分可能性を可能にする。

ABSTRACT

We give a proposal for future development of the model theory of valued fields. We also summarize some recent results on p-adic numbers.

研究の動機と目的

• $n$-乗数のための述語、制限除法、および角度成分写像を含む基本言語を拡張することで、特に$p$-adic体およびローレンツ級数体の体系的なモデル理論的枠組みを構築すること。
• 代数的に閉じていない、あるいは実的に閉じていない体に対して、量化子除去および$p$-最小性が成り立つ条件を調査すること。
• 定義可能関数の準備と積分を容易にするために、$p$-adic体における定義可能集合の細胞分解定理を確立すること。
• 量化子除去や$p$-最小性といったモデル理論的性質と、ヘンゼル性や$n$-乗数の指数の有限性といった代数的性質との関係を調査すること。
• すべての解析的関数を含む追加構造が、$p$-adic体における$p$-最小性を保つのか、あるいは破壊するのかを同定すること。

提案手法

• $n$-乗数のための述語$P_n$を含む環言語を拡張した言語$\mathcal{L}_{\rm Mac}$の使用により、$p$-adic体および$\mathbb{Q}_p((t))$などの関連体における量化子除去を達成する。
• 制限除法関数$D$の導入により、$\mathcal{L}_{\rm Mac,D}$を定義し、付値体におけるより洗練された定義可能性と細胞分解を可能にする。
• 付値群、剰余体、付値体の3つのスортを備えたDenef-Pasの三スорт言語を採用し、付値写像および角度成分写像を含めることで、量化子除去の結果を一般化する。
• $p$-adic細胞分解の応用：定義可能集合を、中心$\gamma$、部分群$\lambda P_n$、およびべき関数型の振る舞いを示す関数でパラメータ化された解析的細胞に分割する。
• [13] の最近の結果とコンパクト性の原理を用いて、部分解析的細胞分解を証明し、関与するすべての関数が定義域上で解析的であることを保証する。
• 構成可能関数$\mathcal{C}_{\mathcal{L}}(K^m)$を、付値関数および絶対値関数の$\mathbb{Q}$-線形結合として定義し、Haar測度による積分を可能にする。

実験結果

リサーチクエスチョン

• RQ1 $\mathcal{L}_{\rm Mac,D}$における量化子除去は、 valuation ring $R$ がヘンゼル的であることを示唆するか？
• RQ2 $\mathcal{L}_{\rm Mac,D}$における$p$-最小性または量化子除去が、$n > 1$ に対して $[K^\times : P_n]$ が有限であることを示す条件は何か？
• RQ3 $\mathcal{L}_{\rm Mac,D}$における量化子除去のもとで、$R$ は$\mathcal{L}_{\rm Mac}$-定義可能であるか？ また、その場合、値群$G$が$\mathbb{Z}$-群であるか、または辞書的順序を伴う$\mathbb{Z}^n$と同値な理論的同値であるか？
• RQ4 $\mathbb{Q}_p$における$p$-最小性は、定義可能なスコーレム関数の存在、または関数準備を可能にする細胞分解の存在を示唆するか？
• RQ5 $\mathbb{Q}_p$における半代数的および部分解析的構造以外に、他の$p$-最小構造は存在するか？

主な発見

• $\mathcal{L}_{\rm Mac}$および$\mathcal{L}_{\rm sub}$の両方において、$p$-adic細胞分解定理が成り立つ。定義可能集合は、中心$\gamma$、部分群$\lambda P_n$、およびべき関数型の振る舞いを示す関数$f_j$を持つ解析的細胞に分割される。
• 任意の$\mathcal{L}$-定義可能関数$f_j$について、絶対値は各細胞上で$|f_j(x,t)| = |h_j(x)| \cdot |(t - \gamma(x))^{a_j} \lambda^{-a_j}|^{1/n}$を満たす。ここで$h_j$は解析的で、$a_j$は整数である。
• $(K, \mathcal{L}_{\rm sub})$ は、部分解析的細胞分解およびすべての定義可能関数が局所的に解析的であるという事実により、$p$-最小である。
• $p$-adic解析的積分に関する基本定理は、積分$I_m(f)(\lambda) = \int_{K^n} f(\lambda,x) |dx|$ が、$\mathcal{C}_{\mathcal{L}}(K^m)$における構成可能関数から構成可能関数への写像であることを示す。
• $\mathcal{L}_{\rm Mac}$に非自明な全体解析的関数を追加すると、$\mathbb{Q}_p$における$p$-最小性が破られる。これは、$p$-最小性が言語の選択に敏感であることを示している。
• $p$-adic体および$\mathbb{R}((t))$、$\mathbb{C}((t))$、反復ローレンツ級数体などの関連体において、$\mathcal{L}_{\rm Mac}$における量化子除去が成立する。