[論文レビュー] Topological cell decomposition and dimension theory in P-minimal fields

Pablo Cubides Kovacsics, Luck Darnière+1 more|arXiv (Cornell University)|Aug 30, 2015

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

ひとこと要約

この論文は、P-最小的体に対して位相的細胞分解を確立し、定義可能集合の完全な次元論を可能にする。任意の定義可能集合の境界が次元を厳密に小さくすることを証明し、その結果、すべての定義可能関数が定義域の稠密で開な部分集合上で擬連続である、という主要な結果を得る。

ABSTRACT

This paper addresses some questions about dimension theory for P-minimal structures. We show that, for any definable set A, the dimension of the frontier of A is strictly smaller than the dimension of A itself, and that A has a decomposition into definable, pure-dimensional components. This is then used to show that the intersection of finitely many definable dense subsets of A is still dense in A. As an application, we obtain that any m-ary definable function is continuous on a dense, relatively open subset of its domain, thereby answering a question that was originally posed by Haskell and Macpherson. In order to obtain these results, we show that P-minimal structures admit a type of cell decomposition, using a topological notion of cells inspired by real algebraic geometry.

研究の動機と目的

• P-最小的構造における次元論の未解決問題、特に定義可能集合の境界の次元に関する問題を解決すること。
• 定義可能集合および関数のより詳細な解析を可能にする、位相的細胞分解を確立すること。
• 定義可能関数がその定義域の稠密で相対的に開な部分集合上で連続であることを証明し、HaskellとMacphersonが提起した問いに答えること。
• 従来の擬連続性結果の弱い版で必要とされていた定義可能スコーレム関数の必要性を取り除くこと。

提案手法

• 実代数幾何からインspiredされた「t-細胞」と「良いt-細胞分解」の概念を導入し、P-最小的構造に適応する。
• 境界の小さな性質（dim(Ā \backslash A) < dim(A)）を、次元論的結果を証明する基盤的道具として用いる。
• 重要な補題の適用：定義可能部分集合の有限個の和集合がAにおいて空でない内部を持つならば、少なくとも1つの成分がAにおいて空でない内部を持つ。
• 次元kの最大の純粋次元部分集合として定義される、次元成分C_k(A)の純粋性を活用する。
• dim(C_k(A) ∩ C_l(A)) < k（l ≠ k）である性質を用いる。これは境界の小さな性質と次元公理から従う。
• 細胞分解と内部・境界の解析を組み合わせ、定義可能関数の連続点の集合が定義域において稠密で開であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 P-最小的体における定義可能集合の境界は、その集合自体よりも次元が厳密に小さいか？
• RQ2 P-最小的構造間の任意の定義可能関数が、その定義域の稠密で相対的に開な部分集合上で連続であることを示せるか？
• RQ3 定義可能スコーレム関数の存在を仮定せずに、擬連続性を証明することは可能か？
• RQ4 P-最小的体において、定義可能関数が各細胞上で連続であることを保証する位相的細胞分解を構成できるか？
• RQ5 定義可能集合Aの有限個の稠密な定義可能部分集合の共通部分は、Aにおいても稠密であるか？

主な発見

• 任意の定義可能集合Aの境界、すなわちĀ \backslash Aは、dim(A)より次元が厳密に小さい。これは境界の小さな性質の確立である。
• 任意の定義可能集合Aは、有限個の定義可能で純粋次元な成分C_k(A)に分解され、それぞれの次元はkである。
• 任意の定義可能関数f: X ⊆ K^m → K^nの連続点の集合は、Xの定義可能で稠密かつ開な部分集合Uであり、dim(X \backslash U) < dim(X)を満たす。
• 定義可能集合Aの有限個の稠密な定義可能部分集合の共通部分は、Aにおいても稠密である。これは内部の和集合に関する補題の結果である。
• 位相的細胞分解により、任意の定義可能関数fは、fが連続である細胞への分解が可能である。
• 定義可能スコーレム関数の仮定を必要としないため、文献に既存の部分的な結果を一般化する。