[论文解读] 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}$ 中任意有限个可定义子集的族，存在一个包含原点的 $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-极小结构中的参数空间统一设置。
• 通过聚焦于与 $(\mathbb{R}, <, 0, +)$ 局部 o-极小扩张初等等价的结构，解决一般局部 o-极小结构中维数控制失效的问题。
• 建立 $M^m \times B$ 的可定义集的统一划分，使得 $M^m$ 上的纤维诱导出一个固定长方体 $B$ 的胞分解。
• 确保划分的每一部分要么完全包含于，要么与每个可定义集 $A_\lambda$ 不相交。
• 利用模型论传递原理，将先前的局部胞分解结果推广为统一版本。

提出的方法

• 以实数局部 o-极小扩张中的可定义胞分解作为基础情形，依赖于强局部 o-极小性与可定义选择。
• 应用模型论传递：由于结构 $\mathcal{M}$ 与局部 o-极小扩张 $\widetilde{\mathbb{R}}$ 初等等价，通过一阶可定义性与紧致性，将 $\widetilde{\mathbb{R}}$ 中的结果提升至 $\mathcal{M}$。
• 构造一个一阶公式 $\Phi(\overline{c})$，表达存在一个长方体 $B^\mathbb{R}$ 和一个划分 $\mathbb{R}^m \times B^\mathbb{R} = \bigcup X_i^\mathbb{R}$，具有统一的纤维胞结构。
• 定义公式 $\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$，确保与可定义集的兼容性。
• 该结果在所有 $b \in M^m$ 上统一成立，即每个 $ (X_i)_b $ 的胞类型固定且与 $b$ 无关，这是关键的统一性条件。
• 证明依赖于胞分解与包含条件的一阶可定义性，使得可从 $\widetilde{\mathbb{R}}$ 通过初等等价性传递至 $\mathcal{M}$。
• 该定理通过在参数空间中增加统一性，推广了先前的局部胞分解结果，实现了显著强化。
• 该结构的局部 o-极小性与对 $\widetilde{\mathbb{R}}$ 的初等等价性确保了维数控制与可定义选择的保持，从而支持构造的实现。