[論文レビュー] Uniform local definable cell decomposition for locally o-minimal expansion of the group of reals

Masato Fujita|arXiv (Cornell University)|Dec 12, 2019

Advanced Topology and Set Theory参考文献 6被引用数 5

ひとこと要約

この論文は、実数群 $(\mathbb{R}, <, 0, +)$ の局所 $o$-最小的拡張と素朴に同値な構造に対して、一様な局所的定義可能セル分解定理を確立する。任意の $M^{m+n}$ の定義可能部分集合の有限族に対して、原点の近傍 $B$ と $M^m \times B$ の定義可能集合への有限分割が存在し、$M^m$ 上の各ファイバーは $B$ の定義可能セル分解を導き、各部品は各 $A_\lambda$ と交わらないか、完全に含まれる。この結果はパラメータ空間全体にわたる一様なセル分解に拡張される。

ABSTRACT

We demonstrate the following uniform local definable cell decomposition theorem in this paper. Consider a structure $\mathcal M = (M,

研究の動機と目的

• 実数群の局所 $o$-最小的拡張と素朴に同値な局所 $o$-最小的構造において、パラメータ空間にわたる一様な設定に局所的定義可能セル分解を拡張すること。
• 一般の局所 $o$-最小的構造では次元制御が失敗する問題を、$(\mathbb{R}, <, 0, +)$ の局所 $o$-最小的拡張と素朴に同値な構造に限定することで解決すること。
• $M^m \times B$ を定義可能集合の有限分割として、各ファイバーが固定されたボックス $B$ のセル分解を導く一様な分割を確立すること。
• 分割の各部品が、有限族の各定義可能集合 $A_\lambda$ と完全に含まれるか、交わらないように保証すること。
• モデル理論的転送原理を用いて、以前の局所セル分解結果をパラメータ空間にわたる一様版に一般化すること。

提案手法

• 実数の局所 $o$-最小的拡張における定義可能セル分解を基本ケースとして用い、強い局所 $o$-最小性と定義可能選択を根拠とする。
• モデル理論的転送の適用：構造 $\mathcal{M}$ が局所 $o$-最小的拡張 $\widetilde{\mathbb{R}}$ と素朴に同値であるため、一階論理的定義可能性とコンパクト性を用いて $\widetilde{\mathbb{R}}$ の結果を $\mathcal{M}$ に持ち上げる。
• ボックス $B^\mathbb{R}$ と $\mathbb{R}^m \times B^\mathbb{R} = \bigcup X_i^\mathbb{R}$ の分割が一様なセルファイバー構造を持つことを表す一階文 $\Phi(\overline{c})$ の構成。
• $\Psi_i(\overline{c})$ と $\Pi_i(\overline{c})$ を定義し、それぞれ $A_\lambda^\mathbb{R}$ への包含とファイバーのセルタイプの一様性を表現する。
• 素朴同値性を用いて、$\widetilde{\mathbb{R}}$ における同じ一階条件を満たすパラメータ $\overline{d}$ が $\mathcal{M}$ に存在することを示し、$\mathcal{M}$ における望ましい分割を導出する。
• 局所 $o$-最小性を用いてファイバー構造を制御し、境界およびフロンティア条件の連続性と定義可能性を用いて一様性を証明する。

実験結果

リサーチクエスチョン

• RQ1 実数群の局所 $o$-最小的拡張と素朴に同値な構造において、パラメータ空間にわたる一様な局所的定義可能セル分解は可能か？
• RQ2 一般の局所 $o$-最小的構造とは異なり、このような構造では定義可能写像による定義可能集合の像が次元を保存するか？
• RQ3 $M^m \times B$ を定義可能集合の有限分割として、各 $M^m$ 上のファイバーが固定ボックス $B$ のセル分解を導くことは可能か？
• RQ4 セル分解をタイプと有限族の定義可能集合 $A_\lambda$ に対して一様かつ整合的に行えるか？
• RQ5 モデル理論的転送を用いて、特定の構造からすべての素朴に同値な構造へ結果を拡張する方法は何か？

主な発見

• 一様な局所的定義可能セル分解が存在する：任意の $M^{m+n}$ の定義可能部分集合の有限族 $\{A_\lambda\}_{\lambda \in \Lambda}$ に対して、原点を含むボックス $B \subset M^n$ と $M^m \times B = X_1 \cup \cdots \cup X_k$ の分割が存在し、すべての $b \in M^m$ に対して各ファイバー $ (X_i)_b $ は定義可能セルである。
• 分割は族 $\{A_\lambda\}$ を尊重する：各 $i$ と $\lambda$ に対して、$X_i \cap A_\lambda = \emptyset$ または $X_i \subset A_\lambda$ が成り立ち、定義可能集合と整合的である。
• 結果は $M^m$ 全体にわたって一様に成り立つ：各 $ (X_i)_b $ のセルタイプは $b$ に依存せず固定されており、これは重要な一様性条件である。
• セル分解と包含の条件の一階定義可能性に依拠し、素朴同値性を介して $\widetilde{\mathbb{R}}$ から $\mathcal{M}$ への転送が可能である。
• パラメータ空間における一様性を追加することで、以前の局所セル分解結果を大幅に強化した一般化である。
• 構造の局所 $o$-最小性と $\widetilde{\mathbb{R}}$ との素朴同値性により、次元制御と定義可能選択が保たれ、構成が可能である。