与伴随线性系相关的有效忠实热带化

设 $R$ 为等特征零的完备离散赋值环，分式域为 $K$。设 $X$ 为 $K$ 上维数为 $d$ 的连通光滑射影簇，$L$ 为 $X$ 上的丰富线丛。我们假设存在 $X$ 在 $R$ 上的正则严格半稳定模型 $\mathscr{X}$ 以及 $\mathscr{X}$ 上的相对丰富线丛 $\mathscr{L}$，满足 $\mathscr{L}|_{X} \cong L$。设 $S(\mathscr{X})$ 为 $X$ 的 Berkovich 解析化 $X^{\mathrm{an}}$ 中与 $\mathscr{X}$ 关联的骨架。在本文中，我们研究伴随线性系 $|L^{\otimes m} \otimes \omega_X|$ 何时将 $S(\mathscr{X})$ 忠实热带化到热带射影空间中。粗略地说，我们的结果表明，如果 $m$ 是使得伴随线丛无基点的整数，则伴随线性系给出了 $S(\mathscr{X})$ 的忠实热带化。