通过阿拉克洛夫几何实现 $\overline{\mathbb{Q}}$ 作为全局赋值域的存在闭包

我们利用算术体积函数的可微性与一个算术 Bertini 型定理，对何时能在算术簇的泛纤维上找到一点闭点，其关于某有限元组算术 $\mathbb{R}$-除子的高度逼近给定实数元组进行分类。我们利用该结果证明 $\overline{\mathbb{Q}}$ 作为全局赋值域（缩写为 GVF）的存在闭包。我们在算术 $\mathbb{R}$-除子空间上引入 GVF 泛函，并将本质下确界函数解释为归一化 GVF 泛函值之下确界，至少当算术 $\mathbb{R}$-除子的泛部为大时如此。我们还给出张氏不等式之一中等式成立的一个新判据。