About Hrushovski and Loeser’s Work on the Homotopy Type of Berkovich Spaces
About Hrushovski and Loeser’s Work on the Homotopy Type of Berkovich Spaces
复制标题
关于 Hrushovski 和 Loeser 关于 Berkovich 空间同伦类型的工作
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Antoine Ducros
中科院分区：
文献类型：
--
作者：
Antoine Ducros
利用成熟的模型论工具，Hrushovski和Loeser证明了拟射影代数簇的Berkovich分析是局部可压缩的，并且具有有限单纯复形的同伦型。这篇文章是对他们工作的概述。我们首先介绍所涉及的模型理论概念(可定义性、类型等)，然后给出它们的证明草图。最后，我们解释了它们的一个中间结果如何应用于描述有限映射下的环面骨架的前像。
Using sophisticated model-theoretic tools, Hrushovski and Loeser have proved that the Berkovich analytification of a quasi-projective algebraic variety is locally contractible and has the homotopy type of a finite simplicial complex. This text is a survey of their work. We begin with a presentation of the model-theoretic notions involved (definability, types, etc.), and then give a sketch of their proof. At the end, we explain how one of their intermediate results can be applied to describe the pre-image of the skeleton of a torus under a finite map.