[论文解读] Effective faithful tropicalizations associated to linear systems on curves

Shu Kawaguchi, Kazuhiko Yamaki|arXiv (Cornell University)|Dec 4, 2016

Algebraic Geometry and Number Theory参考文献 22被引用 3

一句话总结

该论文证明了，对于定义在完备非阿基米德域上的光滑射影曲线 $X$（亏格 $g \geq 2$），任意满足 $\deg(L) \geq 3g-1$ 的线丛 $L$，其在伯克维奇解析化 $X^{\mathrm{an}}$ 的任意骨架 $\Gamma$ 上诱导出一个忠实的热带化，映射到热带射影空间。该结果为经典射影嵌入提供了一个非阿基米德类比，其中热带化同时保持了拓扑结构与整数结构。

ABSTRACT

For a connected smooth projective curve $X$ of genus $g$, global sections of any line bundle $L$ with $°(L) \geq 2g+ 1$ give an embedding of the curve into projective space. We consider an analogous statement for a Berkovich skeleton in nonarchimedean geometry, in which projective space is replaced by tropical projective space, and an embedding is replaced by a homeomorphism onto its image preserving integral structures (called a faithful tropicalization). Let $K$ be an algebraically closed field which is complete with respect to a non-trivial nonarchimedean value. Suppose that $X$ is defined over $K$ and has genus $g \geq 2$ and that $Γ$ is a skeleton (that is allowed to have ends) of the analytification $X^{\mathrm{an}}$ of $X$ in the sense of Berkovich. We show that if $°(L) \geq 3g-1$, then global sections of $L$ give a faithful tropicalization of $Γ$ into tropical projective space. As an application, when $Y$ is a suitable affine curve, we describe the analytification $Y^{\mathrm{an}}$ as the limit of tropicalizations of an effectively bounded degree.

研究动机与目标

• 通过热带几何建立曲线经典射影嵌入定理的非阿基米德类比。
• 确定保证伯克维奇骨架忠实热带化的线丛的最小度数。
• 证明当 $g \geq 2$ 时，$\deg(L) \geq 3g-1$ 的界限足以实现任意骨架 $\Gamma$ 的忠实热带化。
• 将结果应用于描述仿射曲线的解析化为有界度数热带化的极限。

提出的方法

• 利用伯克维奇解析化，将定义在完备非阿基米德域上的光滑射影曲线 $X$ 关联到一个骨架 $\Gamma$。
• 通过 $L$ 的全局截面定义一个热带化映射 $\varphi: X^{\mathrm{an}} \to \mathbb{T}\mathrm{P}^N$，其形式为 $p \mapsto (-\log|s_0(p)| : \cdots : -\log|s_N(p)|)$。
• 证明当 $\deg(L) \geq 3g-1$ 时，该映射限制在像上为同胚，并保持整数结构。
• 利用逆极限与正规映射的理论，证明热带化映射是满射且闭，因此为同胚。
• 在逆极限构造中利用紧致集的有限交性质，证明任意给定的热带化元组均存在一点映射到该元组。
• 利用热带化映射的正规性以及逆极限中子空间拓扑的性质，建立同胚性。

实验结果

研究问题

• RQ1 是否存在最小度数 $d(g)$，使得任意亏格 $g$ 的曲线上满足 $\deg(L) \geq d(g)$ 的线丛 $L$ 均可对任意骨架 $\Gamma$ 实现忠实热带化？
• RQ2 经典射影嵌入结果能否通过热带化推广至非阿基米德设定？
• RQ3 对于 $g \geq 2$，$\deg(L) \geq 3g-1$ 是否为骨架忠实热带化的最优界限？
• RQ4 能否将仿射曲线的解析化描述为有界度数热带化的极限？

主要发现

• 当 $g \geq 2$ 时，任意满足 $\deg(L) \geq 3g-1$ 的线丛 $L$ 均可对 $X^{\mathrm{an}}$ 的任意骨架 $\Gamma$ 实现忠实热带化。
• 当 $g = 2$ 时，$3g-1$ 的界限是最优的，因为存在 $\deg(L) = 4$ 时忠实热带化失败的例子。
• 当 $g = 1$ 时，最优界限为 $3$；当 $g = 0$ 时，最优界限为 $1$，两者均与理论阈值一致。
• 当 $g \geq 2$ 时，多重 canonical 系 $|\omega_X^{\otimes m}|$ 在 $m \geq 3$ 时可实现 $\Gamma$ 的忠实热带化。
• 光滑仿射曲线 $Y$ 的解析化 $Y^{\mathrm{an}}$ 同胚于有界度数映射的热带化的逆极限。
• 对于任意骨架 $\Gamma$，均存在度数不超过 $D$（由曲线度数决定）的多项式，其热带化可给出 $\Gamma$ 的忠实模型。