热带典范除子的可实现性

我们利用 Bainbridge-Chen-Gendron-Grushevsky-Moeller 关于阿贝尔微分层紧致化的最新结果，给出了等特征零情形下有效热带典范除子可实现性问题的全面解答。给定由稳定热带曲线 $\Gamma$ 和 $\Gamma$ 上典范线性系中的除子 $D$ 组成的对 $(\Gamma, D)$，我们给出了一个纯组合条件，用以判定是否存在非阿基米德域上的一光滑曲线 $X$，其稳定约化的对偶热带曲线为 $\Gamma$，且存在一个有效典范除子 $K_X$ 专门化为 $D$。在此过程中，我们发展了一个模理论框架，将 Baker 从代数曲线到热带曲线的除子专门化理解为 Abramovich-Caporaso-Payne 意义下的自然环面热带化映射。