摘要:
给定一个非阿基米德值域$k$上的积分方案$X$,我们构造了一个$X$的通用闭嵌入到一个$k$-方案中,该方案配备了一个域上具有一个元素$\mathbb的模型{F} 1个$(复曲面变体的推广)。作者先前的工作表明,嵌入到这样一个环境空间中决定了$X$的热带化,并且我们表明,$X$相对于这个通用嵌入的集合理论热带化是Berkovich分析$X^{mathrm{An}$。此外,利用我们前面介绍的模式理论热带化,我们得到了一个热带模式$\mathpzc{特罗普}_{univ}(X)$的$\mathbb{T}$-点给出了解析,并规范地映射到$X$的所有其他模式理论热带化。这就明确了Berkovich分析是普遍热带化的观点。当$X=\mathrm{Spec}\:A$是仿射的时,我们显示$\mathpzc{特罗普}_{univ}(X)$是$X$关于仿射空间中所有嵌入的热带化的极限,从而给出了Payne的一个著名结果的模式理论丰富。最后,我们显示$\mathpzc{特罗普}_{univ}(X)$表示$X$上半赋值的模函子,当$X=\mathrm{Spec}\:A$是仿射的时,$A$上有一个泛半赋值,取泛热带化上正则函数的幂等半环中的值。