[论文解读] The group law on a tropical elliptic curve

Magnus Dehli Vigeland|ArXiv.org|Nov 22, 2004

Polynomial and algebraic computation参考文献 2被引用 21

一句话总结

本文通过将雅可比簇定义为曲线的触角部分的补集 $\overline{C}$，在热带椭圆曲线上建立了群运算。证明了群运算满足 $d_C(\mathcal{O}, P+Q) = d_C(\mathcal{O},P) + d_C(\mathcal{O},Q)$，并表明 $(\overline{C}, \mathcal{O})$ 同构于 $S^1$，利用距离函数与除子等价性，将经典椭圆曲线的群结构推广至热带设置。

ABSTRACT

In analogy with the classical group law on a plane cubic curve, we define a group law on a smooth plane tropical cubic curve. We show that the resulting group is isomorphic to $S^1$.

研究动机与目标

• 在热带椭圆曲线上定义一个类似于经典椭圆曲线群运算的自然群结构。
• 将热带椭圆曲线的雅可比簇表征为触角部分的补集，而非整个曲线。
• 建立一个距离函数 $d_C(P,Q)$，该函数控制群运算，并满足关于基点的线性性质。
• 证明群 $(\overline{C}, \mathcal{O})$ 通过基于距离的同构映射同构于圆群 $S^1$。

提出的方法

• 定义热带半环 $(\mathbb{R}, \oplus, \odot)$，其中 $a \oplus b = \max\{a,b\}$，$a \odot b = a + b$，并将其扩展至 $\mathbb{R}^n$ 和 $\mathbb{P}^n_{tr}$。
• 将热带曲线 $C = V(f)$ 定义为使得一个热带多项式 $f$ 不可线性化的点的集合，其中 $f$ 为 $d$ 次齐次多项式。
• 在 $\overline{C}$（即触角部分的补集）上引入距离函数 $d_C(P,Q)$，该函数度量沿曲线度量结构的位移。
• 利用除子等价性与热带线性等价理论，通过映射 $P \mapsto P - \mathcal{O}$（其中 $\mathcal{O} \in \overline{C}$）定义群运算。
• 利用除子等价性与距离函数的性质，建立关键关系式 $d_C(\mathcal{O}, P+Q) = d_C(\mathcal{O},P) + d_C(\mathcal{O},Q)$。
• 通过 $\lambda(P) = d_C(\mathcal{O},P)/L$ 构造一个群同构 $\lambda: (\overline{C}, \mathcal{O}) \to \mathbb{R}/\mathbb{Z} \approx S^1$，其中 $L$ 为 $\overline{C}$ 的总长度。

实验结果

研究问题

• RQ1 在雅可比簇并非整个曲线的前提下，如何在热带椭圆曲线上定义群运算？
• RQ2 距离函数 $d_C(P,Q)$ 在编码群运算中起什么作用？
• RQ3 在 $\overline{C}$（即曲线的非触角部分）上定义的群结构如何与经典的 $S^1$ 群结构相关联？
• RQ4 是否可以使用热带直线与交点，类似经典弦-切线作图法，几何化实现热带群运算？
• RQ5 群 $(\overline{C}, \mathcal{O})$ 是否同构于 $S^1$？若是，其同构关系基于何种度量或函数对应？

主要发现

• 热带椭圆曲线 $C$ 的雅可比簇同构于集合 $\overline{C}$，即触角部分的补集，而非整个曲线。
• 存在一个自然的双射 $\tau_{\mathcal{O}}: \overline{C} \to \mathrm{Jac}(C)$，定义为 $P \mapsto P - \mathcal{O}$，该映射赋予 $\overline{C}$ 群结构。
• 群运算在 $\overline{C}$ 上满足关键恒等式 $d_C(\mathcal{O}, P+Q) = d_C(\mathcal{O},P) + d_C(\mathcal{O},Q)$，将距离函数与群运算联系起来。
• 群 $(\overline{C}, \mathcal{O})$ 通过映射 $\lambda(P) = d_C(\mathcal{O},P)/L$ 同构于圆群 $S^1$，其中 $L$ 为 $\overline{C}$ 的总长度。
• 群运算可通过热带直线几何实现：$P+Q$ 为通过 $P$ 与 $Q$ 的直线与 $\overline{C}$ 的第三个交点，再通过 $R$ 与 $\mathcal{O}$ 作第二条直线，对非良好对通过平行移动进行调整。
• 同构映射 $\lambda$ 是群同构，因为其加法性质 $\lambda(P+Q) = \lambda(P) + \lambda(Q)$ 直接由距离恒等式推出。