[论文解读] The j-invariant of a plane tropical cubic

Eric Katz, Hannah Markwig+1 more|ArXiv.org|Sep 24, 2007

Polynomial and algebraic computation参考文献 10被引用 7

一句话总结

该论文证明，对于定义在Puiseux级数域上的光滑平面热带三次曲线，若其存在环路，则其j-不变量的通用赋值的相反数等于其热带化的环路长度。该结果确认了热带j-不变量自然定义为环路长度，使热带几何在椭圆曲线背景下与经典代数几何保持一致。

ABSTRACT

Several results in tropical geometry have related the j-invariant of an algebraic plane curve of genus one to the cycle length of a tropical curve of genus one. In this paper, we prove that for a plane cubic over the field of Puiseux series the negative of the generic valuation of the $j$-invariant is equal to the cycle length of the tropicalization of the curve, if there is a cycle at all.

研究动机与目标

• 建立定义在Puiseux级数域上的平面三次曲线的j-不变量与其热带化环路长度之间的精确对应关系。
• 为将热带j-不变量定义为热带椭圆曲线的环路长度提供依据。
• 阐明j-不变量的赋值与热带几何中环路结构之间的关系。
• 将椭圆曲线在离散赋值环上的见解推广至热带设定。
• 通过A₃点配置的格鲁伯扇与次级扇提供两种不同的证明。

提出的方法

• 作者在Puiseux级数域K = C{{t}}上工作，使用t-Adic赋值对平面三次曲线进行热带化。
• 他们将j-不变量定义为三次曲线系数的有理函数，其分母为判别式。
• 证明了j-不变量的通用赋值是判别式的格鲁伯扇上的分段线性函数。
• 热带曲线中的环路长度同样是分段线性函数，其定义基于三次曲线热带化的结构。
• 构建了两种证明：一种基于判别式格鲁伯扇的Δ-等价锥，另一种基于A₃的次级扇的单个锥。
• 使用polymake、TOPCOM和Singular等计算工具验证射线分类并执行符号计算。

实验结果

研究问题

• RQ1 平面三次曲线的j-不变量的负赋值是否等于其热带化的环路长度？
• RQ2 在热带几何中，环路长度能否被自然地等同于热带j-不变量？
• RQ3 j-不变量的赋值与热带曲线中环路的存在或缺失之间存在何种关系？
• RQ4 判别式格鲁伯扇的结构如何与j-不变量赋值的分段线性行为相关联？
• RQ5 该对应关系在多大程度上可推广至其他射影 торic 曲面上的椭圆曲线？

主要发现

• 对于定义在Puiseux级数域上的光滑平面三次曲线，若其存在环路，则其j-不变量的通用赋值的相反数等于其热带化的环路长度。
• 若j-不变量无项抵消，则其赋值等于负环路长度，该情况在一般情形下成立。
• 推论表明：若j-不变量的赋值为正，则其热带化无环路，这与算术几何中的坏约化现象一致。
• 函数“j-不变量的通用赋值”是分段线性函数，其线性区域对应于判别式格鲁伯扇的锥。
• 环路长度函数同样是分段线性函数，且在每个线性区域内，该函数与j-不变量赋值函数完全一致，从而证实了主定理。
• 通过Singular、polymake和TOPCOM的计算验证，特别是对A₃次级扇的射线分类，验证了证明的正确性。