[論文レビュー] Cell decomposition and classification of definable sets in p-optimal fields

Luck Darnière, Immanuel Halupczok|arXiv (Cornell University)|Dec 8, 2014

Advanced Topology and Set Theory参考文献 16被引用数 10

ひとこと要約

この論文は、[Den84] における Denef の手法を用いて、p-最適な体—p-極小体の広いクラスで、すべてのp進的閉体を含む—に対して細胞分解定理を確立する。定義可能スコレム関数の存在と強いp-極小性を証明し、極値値性質を仮定すると、2つの無限な定義可能集合が定義可能同一写像をもつことと、それらが同じ次元を持つこととは同値であることを示す準備定理を導出する。

ABSTRACT

We prove that for p-optimal fields (a very large subclass of p-minimal fields containing all the known examples) a cell decomposition theorem follows from methods going back to Denef's paper [Invent. Math, 77 (1984)]. We derive from it the existence of definable Skolem functions and strong p-minimality. Then we turn to strongly p-optimal fields satisfying the Extreme Value Property (a property which in particular holds in fields which are elementarily equivalent to a p-adic one). For such fields K, we prove that every definable subset of KxK^d whose fibers are inverse images by the valuation of subsets of the value group, are semi-algebraic. Combining the two we get a preparation theorem for definable functions on p-optimal fields satisfying the Extreme Value Property, from which it follows that infinite sets definable over such fields are isomorphic iff they have the same dimension.

研究の動機と目的

• Denef の[Den84]における細胞分解技法を、p-極小体の広いクラスであるp-最適な体へ拡張すること。
• p-最適な体における定義可能スコレム関数の存在と強いp-極小性を確立すること。
• 極値値性質を満たすp-最適な体における定義可能関数の準備定理を導出すること。
• 次元不変性を用いて、無限な定義可能集合の定義可能同一写像による分類をすること。
• p-最適な体へ [Clu04] の応用を一般化すること—たとえばPoincaré級数の有理型と、部分解析的集合の分類—を、極値値性質を満たすp-最適な体へ拡張すること。

提案手法

• p-最適な体に Denef の細胞分解枠組みを適応させ、付値論的構造と定義可能関数を活用する。
• 極値値性質を用いて定義可能関数の振る舞いを制御し、付値レベルにおける一様性を保証する。
• 単元群 $\mathbf{U}_e$ と付値環を通じた持ち上げ論法を適用し、関数式を半代数的形に還元する。
• 次元に関する帰納法を用いて、定義可能集合と半代数的集合との間の定義可能同一写像を構成する。
• $\mathcal{U}_{e,n}$-関数の存在に依存して、$\pi^n R$ による剰余類の値をパラメトライズし、関数ノルムの精密な制御を可能にする。
• 定義可能関数を単元関数と付値変数における単項式の積として表現し、半代数的係数をもつことで、準備定理を確立する。

実験結果

リサーチクエスチョン

• RQ1 p-最適な体において、Denef の[Den84]における手法を拡張した細胞分解定理は成立するか？
• RQ2 p-最適な体は定義可能スコレム関数と強いp-極小性を有するか？
• RQ3 極値値性質を満たすp-最適な体において、定義可能関数の準備定理を確立できるか？
• RQ4 p-最適な体における2つの無限な定義可能集合が定義可能同一写像をもつのは、どのような条件下か？
• RQ5 [Clu04] におけるp-進解析的構造に関する結果が、p-最適な体へどの程度一般化できるか？

主な発見

• p-最適な体において細胞分解定理が成立し、[Den84] における Denef の手法に従う。
• すべてのp-最適な体は定義可能スコレム関数をもち、強くp-極小である。
• 極値値性質を満たすp-最適な体において、$K \times K^d$ の任意の定義可能部分集合で、ファイバーが付値群の部分集合の逆像であるようなものは半代数的である。
• 極値値性質を満たすp-最適な体において、定義可能関数の準備定理が確立され、以前の結果が改善される。
• このような体において、2つの無限な定義可能集合が定義可能同一写像をもつことと、それらが同じ次元を持つことは同値である。
• [Clu04] におけるすべての応用—Poincaré級数の有理型と部分解析的集合の分類—が、極値値性質を満たすp-最適な体へ拡張可能である。