[论文解读] Definable retractions over complete fields with separated power series

Krzysztof Jan Nowak|arXiv (Cornell University)|Jan 1, 2019

Advanced Topology and Set Theory参考文献 14被引用 4

一句话总结

本文通过使用嵌入奇异点消去、赋值域量词消去以及拟有理子域等工具，证明了在具有分离幂级数的完备非阿基米德域中，任意闭的可定义子集上均存在可定义的收缩映射，其核心结果是在 Denef–Pas 语言框架下，建立了非阿基米德可定义版本的 Tietze–Urysohn 定理与 Dugundji 延拓定理。

ABSTRACT

Let $K$ be a complete non-Archimedean field $K$ with separated power series, treated in the analytic Denef--Pas language. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$, whereby definable non-Archimedean versions of the extension theorems by Tietze--Urysohn and Dugundji follow directly. We reduce the problem to the case of a simple normal crossing divisor, relying on our closedness theorem and desingularization of terms. The latter result is established by means of the following tools: elimination of valued field quantifiers (due to Cluckers--Lipshitz--Robinson), embedded resolution of singularities by blowing up (due to Bierstone--Milman or Temkin), the technique of quasi-rational subdomains (due to Lipshitz--Robinson) and our closedness theorem.

研究动机与目标

• 在具有分离幂级数的完备非阿基米德域中，建立对任意闭可定义子集的可定义收缩映射。
• 提供经典 Tietze–Urysohn 与 Dugundji 延拓定理在非阿基米德可定义框架下的类比。
• 通过去奇异化与闭性定理，将可定义收缩映射问题约化至简单法向交叉除数的情形。
• 应用模型论工具，如赋值域量词消去与解析闭性定理，以处理非阿基米德几何中的问题。

提出的方法

• 利用闭性定理与项的去奇异化，将收缩映射问题约化为简单法向交叉除数的情形。
• 在拟紧致的刚性解析空间中，通过爆破操作应用嵌入奇异点消去。
• 利用拟有理子域控制可定义集及其拓扑结构。
• 在 Denef–Pas 语言中应用赋值域量词消去，以简化可定义条件。
• 通过在拟有理子域的闭开覆盖上进行归纳性粘合，构造收缩映射。
• 利用解析闭性定理，确保解析化与由赋值诱导的典范拓扑相容。

实验结果

研究问题

• RQ1 在具有分离幂级数的完备非阿基米德域中，是否可对任意闭可定义子集存在可定义收缩映射？
• RQ2 Tietze–Urysohn 与 Dugundji 延拓定理如何在可定义的非阿基米德框架下推广？
• RQ3 简单法向交叉除数在将一般收缩映射问题约化为可处理情形中起什么作用？
• RQ4 模型论工具（如量词消去与闭性定理）如何与几何去奇异化技术相互作用？
• RQ5 在这些域上的单位球与射影空间的积中，可定义收缩映射在多大程度上可以被构造？

主要发现

• 根据推论 1.2，任意 $K^n$ 中的闭 $ι$-可定义子集 $A$ 上均存在 $ι$-可定义收缩映射。
• 在 $(K^\circ)^N$、$(K^{\circ\circ})^N$、$\mathbb{P}^n(K)$ 及其积上，对闭可定义子集的可定义收缩映射的存在性已确立。
• 通过嵌入奇异点消去与闭性定理，收缩映射问题可约化为简单法向交叉除数的情形。
• 即使在全空间为闭子簇 $Z$ 的补集时，只要 $Z$ 与解析化除数构成同时的简单法向交叉配置，可定义收缩映射依然存在。
• 证明依赖于在拟有理子域的闭开覆盖上通过同胚与可定义映射进行粘合的归纳性构造。
• 后续工作 [13] 表明，结果可推广至一般 Henselian 赋值域并带有解析结构的情形，证实了其广泛适用性。