热带 $K_4$-曲线的 Theta 特征

$K_4$-曲线是指定义在非阿基米德域上的 genus 为 3 的光滑proper 曲线 X，其 Berkovich 骨架 $\Gamma$ 是一个具有 4 个顶点的完全图。曲线 X 具有 28 个有效 theta 特征，即典范嵌入的 28 条双切线，而正如 Zharkov 所示，$\Gamma$ 恰好具有七个热带 theta 特征。我们证明了 $K_4$-曲线的 28 个有效 theta 特征会 specialization 为其最小骨架的 theta 特征，分为七组，每组四个。