半正线丛的非阿基米德度量延拓

对于一个定义在非阿基米德完备非平凡赋值域 $k$ 上的射影簇 $X$，以及其上一个半正度量线丛 $(L, \phi)$，我们建立了 $L^{\otimes n}$ 的截面从子簇 $Y$ 到 $X$ 的度量延拓结果。我们从 $(L, \phi)$ 构造赋范截面代数并研究其 Berkovich 谱。为了比较限制在截面代数 $V(L_{X|Y})$ 上的上确界代数范数与商代数范数，使用了两种不同的方法：一种利用谱的全纯凸性，遵循 Grauert 的论证；另一种依赖于仿射代数范数的有限性性质。