[论文解读] Jacobian varieties of reduced tropical curves

Shuhei Yoshitomi|ArXiv.org|Dec 28, 2006

Polynomial and algebraic computation参考文献 5被引用 3

一句话总结

本文证明：对于ℝ²中的一条约化热带曲线，若其束（通过将触角边和射线收缩得到的拓扑商空间）构成一个亏格为g的花束，则其雅可比簇同构于该花束环路的g重积。关键结果是完整证明了映射φ: Λ₁×⋯×Λg → Jac(C)的双射性，该映射定义为(P₁,…,Pg) ↦ P₁+⋯+Pg−g𝒪，解决了早期工作中论证不完整的缺陷，并将热带椭圆曲线的群结构推广至高亏格情形。

ABSTRACT

On tropical geometry in $ r^2$, the divisor and the Jacobian variety are defined in analogy to algebraic geometry. For study of these objects, it is important to think of the `bunch' of a tropical curve. In this paper, we will show that if the bunch is a bouquet, then the Jacobian is a higher-dimensional torus.

研究动机与目标

• 完成Vigeland猜想的证明，即对于热带椭圆曲线，映射φ: Bunch(C) → Jac(C)是双射的。
• 将热带椭圆曲线的群结构推广至高亏格热带曲线。
• 在约化热带曲线C的束为花束时，精确刻画其雅可比簇的结构。
• 澄清热带几何中线性等价与雅可比簇的代数定义与几何定义之间的关系。

提出的方法

• 将雅可比簇Jac(C)定义为除子群Div⁰(C)关于线性等价关系∼的商群，其中∼由与热带曲线的稳定交点定义。
• 引入热带曲线C的“束”概念，即通过将所有触角边和射线收缩为点而得到的商空间。
• 将花束定义为g个圆周在公共基点处的楔和，其亏格g等于环路的数量。
• 通过映射φ: Λ₁×⋯×Λg → Jac(C)，将(P₁,…,Pg)发送至P₁+⋯+Pg−g𝒪，证明其良定且为双射。
• 利用局部参数化及稳定交点的连续性，证明交点数映射σ(L) = λ(C·L)在具有固定牛顿复形的连续族热带曲线中是局部常数。
• 应用热带Bézout定理与矩条件，通过证明相等的交点计数可推出对应环路上点的逐点相等，从而证明单射性。

实验结果

研究问题

• RQ1 在何种拓扑条件下，热带曲线的束使得其雅可比簇同构于高维环面？
• RQ2 对于束为花束的约化热带曲线，映射φ: Λ₁×⋯×Λg → Jac(C)定义为(P₁,…,Pg) ↦ P₁+⋯+Pg−g𝒪是否为双射？
• RQ3 在热带曲线的语境下，代数雅可比簇与几何雅可比簇之间有何关系？
• RQ4 能否补全并推广Vigeland对亏格1热带曲线双射性断言的不完整证明至高亏格情形？
• RQ5 何种拓扑与组合约束可保证热带曲线上两个除子线性等价？

主要发现

• 当约化热带曲线C的束为亏格g的花束时，映射φ: Λ₁×⋯×Λg → Jac(C)是双射。
• 此类曲线的雅可比簇Jac(C)同构于g维实环面ℝ^g/ℤ^g，即高维环面。
• 映射φ是良定的：位于同一触角边或射线上的点彼此线性等价，因此该映射尊重束的商结构。
• 交点数映射σ(L) = λ(C·L)在具有固定牛顿复形的连续族热带曲线中是局部常数。
• 通过热带Bézout定理与矩条件证明了φ的单射性，表明在环路上交点计数相等可推出除子支撑的逐点相等。
• 具有固定牛顿复形𝒩的热带曲线参数空间𝒫(𝒩,ℝ²)是ℝ^{l+2}中的连通、相对开的凸锥，意味着具有相同牛顿多边形的曲线位于同一连通分支中。