[論文レビュー] Tame topology over definable uniform structures: viscerality and dp-minimality

Alfred Dolich, John Goodrick|arXiv (Cornell University)|May 24, 2015

Advanced Topology and Set Theory参考文献 19被引用数 3

ひとこと要約

この論文は、定義可能で一様な位相構造を備えたモデルにおける臓器的構造のフレームワークを導入し、定義可能集合における望ましいたんがい性（例えば、有限個の不連続点集合や開集合上での連続性）が、臓器的性そのものによって保証されることを示している。さらに、追加の「空間を埋め尽くす関数なし」の条件のもとで、定義可能同相写像の下での位相次元の不変性を確立している。これは、dp-極小性の下で得られた先行研究を一般化し、dp-極小的ではあるが弱くo-極小的ではないような新しい臓器的構造の例を構成している。

ABSTRACT

A visceral structure on a model is given by a definable base for a uniform topology on its universe M in which all basic open sets are infinite and any infinite definable subset X of M has non-empty interior. Assuming only viscerality, we show that the definable sets in M satisfy some desirable topological tameness conditions. For example, any definable unary function has a finite set of discontinuities; any definable function from some Cartesian power of M into M is continuous on an open set; and assuming definable finite choice, we obtain a cell decomposition result for definable sets. Under an additional topological assumption (no space-filling functions), we prove that the natural notion of topological dimension is invariant under definable bijections. These results generalize some of the theorems proved by Simon and Walsberg, who assumed dp-minimality in addition to viscerality. In the final two sections, we construct new examples of visceral structures a subclass of which are dp-minimal yet not weakly o-minimal.

研究の動機と目的

• 定義可能で一様な位相構造を備えたモデルにおける定義可能集合の位相的たんがい性を調査すること。
• すべての基本的開集合が無限であり、すべての無限な定義可能部分集合が空でない内部を持つという臓器的性の性質が、定義可能関数や集合の構造に与える影響を理解すること。
• dp-極小性というより強い仮定のもとで得られた先行結果を、dp-極小性の仮定を弱めて臓器的性そのものにまで弱めた場合に一般化すること。
• 特に、dp-極小的ではあるが弱くo-極小的でないような、新たな臓器的構造の例を構成することで、モデル理論的たんがい性の階層をよりよく理解すること。

提案手法

• モデルの宇宙に定義可能基底を備えた一様位相構造として臓器的構造を定義し、すべての基本的開集合が無限であることを保証すること。
• 臓器的性の仮定を用いて、一変数定義可能関数の有限個の不連続点集合などの位相的性質を導出すること。
• 定義可能有限選択を適用して、構造における定義可能集合の細分定理（セル分解定理）を確立すること。
• 定義可能同相写像の下での位相次元の不変性を証明するために、「空間を埋め尽くす関数なし」の条件を導入すること。
• モデル理論的および位相的制約を用いて、新たな臓器的構造の例を構成し、dp-極小性が弱くo-極小性を意味しないことを示すこと。
• 定義可能位相、一様構造、およびモデル理論的性質（dp-極小性、o-極小性など）の間の相互作用を分析すること。

実験結果

リサーチクエスチョン

• RQ1 dp-極小性を仮定しない場合、臓器的性そのものからどのような位相的たんがい性の性質が生じるのか。
• RQ2 臓器的性は、なぜ定義可能関数がある開集合上で連続であることを保証するのか。
• RQ3 どのような条件下で、臓器的構造における定義可能同相写像の下で、位相次元が不変となるのか。
• RQ4 dp-極小的であるが弱くo-極小的でないような臓器的構造を構成することは可能か。
• RQ5 定義可能位相において、臓器的性、dp-極小性、および空間を埋め尽くす関数の不在の関係は何か。

主な発見

• 任意の臓器的構造における一変数定義可能関数は、有限個の不連続点しか持たない。
• 宇宙の直積から宇宙への任意の定義可能関数は、ある開集合上で連続である。
• 定義可能有限選択を仮定すると、構造は定義可能集合のセル分解を備える。
• 「空間を埋め尽くす関数なし」の仮定のもとで、位相次元は定義可能同相写像の下で不変である。
• dp-極小的であるが弱くo-極小的でない臓器的構造が存在し、たんがい性の性質における厳密な階層が示された。
• 先行のシモンおよびウォルズバーグの定理は、dp-極小性を事前に仮定する必要がなくなったことで一般化された。