[论文解读] Non-archimedean tame topology and stably dominated types

Ehud Hrushovski, François Loeser|arXiv (Cornell University)|Sep 1, 2010

Advanced Topology and Set Theory参考文献 33被引用 66

一句话总结

本文通过定义一个称为 bV 的稳定控制类型之拟定义空间，提出了一套非阿基米德几何的模型论框架，该空间作为伯克霍夫解析化（Berkovich analytification）的良态拓扑替代。利用 o-极小结构与稳定控制，作者构建了从 bV 到值群上一个定义可缩骨架的强形变收缩，证明了伯克霍夫空间可收缩到有限单纯复形，且在代数族中具有有限多个同伦型，即使在无光滑性假设下也成立。

ABSTRACT

Let $V$ be a quasi-projective algebraic variety over a non-archimedean valued field. We introduce topological methods into the model theory of valued fields, define an analogue $\hat {V}$ of the Berkovich analytification $V^{an}$ of $V$, and deduce several new results on Berkovich spaces from it. In particular we show that $V^{an}$ retracts to a finite simplicial complex and is locally contractible, without any smoothness assumption on $V$. When $V$ varies in an algebraic family, we show that the homotopy type of $V^{an}$ takes only a finite number of values. The space $\hat {V}$ is obtained by defining a topology on the pro-definable set of stably dominated types on $V$. The key result is the construction of a pro-definable strong retraction of $\hat {V}$ to an o-minimal subspace, the skeleton, definably homeomorphic to a space definable over the value group with its piecewise linear structure.

研究动机与目标

• 开发一种基于模型论的非阿基米德几何拓扑框架，特别关注稳定控制与定义类型。
• 在非阿基米德域上拟射影概形 V 上定义一个稳定控制类型之拟定义空间 bV，作为伯克霍夫解析化的替代。
• 证明伯克霍夫空间 V^an 可形变收缩到有限单纯复形，且即使当 V 奇点时仍为局部可缩。
• 证明当 V 在代数族中变化时，V^an 的同伦型仅取有限多个可能。
• 在格闭包上建立伯克霍夫点与强稳定控制类型之 G-轨道之间的典范同胚关系。

提出的方法

• 将 bV 定义为概形 V 上稳定控制类型的拟定义集，赋予由 v- 和 g- 开子集及连续性条件导出的拓扑。
• 构建从 bV 到一个定义可缩骨架的拟定义强形变收缩，该骨架为 o-极小且同胚于值群上的分段线性空间。
• 利用 ACVF（代数闭赋值域）理论与稳定控制分析类型及其典范扩张。
• 通过曲线与相对 P1 上的相对同伦构造，逐步建立 bV 上的全局同伦。
• 利用同伦在 v- 与 g- 拓扑下的连续性，基于专门化与伪伽罗瓦覆盖的准则。
• 通过伽罗瓦下降与函子基变换，建立代数闭包上稳定控制类型空间与伯克霍夫空间之间的典范双射关系。

实验结果

研究问题

• RQ1 模型论构造的稳定控制类型能否在无光滑性假设下，为伯克霍夫解析化提供拓扑替代？
• RQ2 概形 V 上的稳定控制类型空间是否可形变收缩到有限单纯复形？
• RQ3 在代数族中，伯克霍夫空间 V^an 的同伦型如何变化？能否证明其仅取有限多个值？
• RQ4 伯克霍夫点与格闭包上稳定控制类型的 G-轨道之间的确切关系为何？
• RQ5 能否利用类型空间上的 v- 与 g- 拓扑建立同伦的连续性？

主要发现

• 任何非阿基米德域上拟射影概形 V 的伯克霍夫解析化 V^an 可形变收缩到有限单纯复形，证明其即使在 V 为奇点时仍为局部可缩。
• 稳定控制类型空间 bV 具有拟定义强形变收缩到一个定义可缩骨架，该骨架为 o-极小且同胚于值群上的分段线性空间。
• 当 V 在代数族中变化时，V^an 的同伦型仅取有限多个值，该结果通过形变收缩的有限对一性质与定义紧致性建立。
• 存在一个 G-等变的典范同胚，连接代数闭包上稳定控制类型空间与伯克霍夫空间，诱导出阿布扬卡点与强稳定控制类型之 G-轨道之间的双射。
• 定理 11.1.1 中构造的同伦是 F-定义的，并限制到 bV(F) 上，意味着任意阿布扬卡点均存在一个邻域基，可强形变收缩到该点。
• 空间 bV 是定义紧致的，且具有与 v- 与 g- 拓扑相容的良好度量结构，从而可分析路径与同伦。