[論文レビュー] Definable retractions and a non-Archimedean Tietze--Urysohn theorem over Henselian valued fields

Krzysztof Jan Nowak|arXiv (Cornell University)|Aug 29, 2018

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

ひとこと要約

本稿は、特異点の解消と閉性定理を用いて、ヘンゼル付値体上の $K^n$ の閉部分集合へ定義可能であるリトラクションの存在を確立する。主な結果は、ティエッチェ–ウリソンおよびデュガンジの定理の非アーチメデス的類似であり、閉定義可能部分集合から全空間へ連続的かつ定義可能な関数の拡張を可能にする。

ABSTRACT

We prove the existence of definable retractions onto arbitrary closed subsets of $K^{n}$ definable over Henselian valued fields $K$. Hence directly follows non-Archimedian analogues of the Tietze--Urysohn and Dugundji theorems on extending continuous definable functions. The main ingredients of the proof are a description of definable sets due to van den Dries, resolution of singularities and our closedness theorem.

研究の動機と目的

• ヘンゼル付値体上の $K^n$ における任意の閉定義可能部分集合へ定義可能リトラクションが存在することを確立すること。
• 古典的な拡張定理（ティエッチェ–ウリソンおよびデュガンジ）を定義可能で非アーチメデス的設定へ拡張すること。
• 非アーチメデス幾何学における定義可能スコーレム関数の欠如を、定義可能性とモデル理論的道具を用いることで補うこと。
• 分離級数を有する完備体および解析構造を有するヘンゼル体へ結果を一般化すること。
• 閉定義可能部分集合上での有界連続定義可能関数に対する定義可能かつ連続な拡張作用素を提供すること。

提案手法

• ヘンゼル付値体の文脈において集合と関数を定義するために、デネフ–パス言語 $\mathcal{L}$ を用いる。
• ヴァン・デン・ドリースによる $K^n$ 内の定義可能集合の記述を適用し、閉定義可能部分集合の構造を分析する。
• 特異点の解消を用いて、一般の場合を単純な正則交差（snc）除集合へのリトラクションに還元する。
• 閉性定理を用いて、近傍の交わりを制御し、集合論的演算の連続性を証明する。
• 閉性定理および付値環の性質に依拠して、近傍のクロージャー部分集合への分割を用いて定義可能リトラクションを構成する。
• 定義可能リトラクション $\omega: K^n \to A$ を用いて、拡張作用素 $T(f) = f \circ \omega$ を定義し、連続性と線形性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ヘンゼル付値体上の $K^n$ において、任意の閉定義可能部分集合へ定義可能リトラクションが存在するか？
• RQ2 ティエッチェ–ウリソンおよびデュガンジのような古典的拡張定理は、定義可能で非アーチメデス的設定においてどの程度成立するか？
• RQ3 特異点の解消および閉性定理を用いて、定義可能リトラクションをどのように構成できるか？
• RQ4 定義可能性は、非アーチメデス幾何学における定義可能スコーレム関数の不在をどのように補うか？
• RQ5 結果は、分離級数を有する完備体または解析構造を有するヘンゼル体へ拡張可能か？

主な発見

• 任意の閉 $\mathcal{L}$-定義可能部分集合 $A \subset K^n$ へ $\mathcal{L}$-定義可能リトラクションが存在することを確立し、ティエッチェ–ウリソンおよびデュガンジの定理を定義可能設定へ一般化した。
• 線形的かつ連続的な拡張作用素 $T: \mathcal{C}^\mathcal{L}(A,K) \to \mathcal{C}^\mathcal{L}(K^n,K)$ が存在し、$T(f) = f \circ \omega$ で定義される。ここで $\omega$ は定義可能リトラクションである。
• 閉性定理により、定義可能集合の近傍の交わりが一様に収縮することが保証され、クロージャー部分集合への分割およびリトラクションの構成が可能になる。
• 系として、閉定義可能部分集合の任意の有限開定義可能被覆は、有限のクロージャー定義可能 refinement を持つことが示され、$K^n$ の定義可能極小正規性を示す。
• その後の研究で示されたように、結果は分離級数を有する完備体および解析構造を有するヘンゼル体へ拡張可能である。
• 定義可能スコーレム関数の不在は、デネフ–パス言語における定義可能性が引き起こす「なめらかさ」によって補われ、新たな幾何学的・位相的道具が可能になる。