混合解析化的拓扑

我们研究 Berkovich 解析化在混合域上的拓扑性质，混合域是指装备了其原生范数与平凡范数之最大值的域。我们证明，在可数阿基米德混合域上，仿射直线或光滑射影曲线的解析化是可缩的，并说明当域不可数时它可能不是可缩的。进一步，我们证明在非阿基米德混合域上或离散赋值环上的仿射空间的解析化是可缩的。作为一个应用，我们说明数域的整数环上的 Berkovich 仿射直线是可缩的。