热带重典范除子的可实现性

考虑一个由抽象热带曲线与来自 $k$ 倍典范除子线性系的有效除子组成的数对，其中 $k \in \mathbb{Z}_{\geq 1}$。在本文中，我们给出一个纯组合判据，以确定这样的数对是否作为具有特征 0 代数闭剩余域的非阿基米德域上光滑代数曲线与有效重典范除子组成数对的热带化而出现。为此，我们引入热带正规覆盖作为热带 Hurwitz 覆盖的特殊实例，并将重典范除子的可实现性问题归约为正规覆盖的可实现性问题。我们的主要结果推广了 M"oller-Ulirsch-Werner 关于热带典范除子可实现性的工作，并纳入了 Bainbridge-Chen-Gendron-Grushevsky-M"oller 工作中关于 $k$-微分层紧致化的最新进展。