[論文レビュー] The group law on a tropical elliptic curve

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

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

ひとこと要約

本稿では、曲線のテントクレールの補集合として表されるヤコビアン $̅{C}$ を用いて、トロピカルな楕円曲線に群則を定義する。群演算が $d_C(\mathcal{O}, P+Q) = d_C(\mathcal{O},P) + d_C(\mathcal{O},Q)$ を満たすことを証明し、$(\u0305{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)$ を定義し、基点に関して線形性を満たすことを示すこと。
• 距離関数に基づく同型写像を用いて、群 $(\u0305{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}$ に拡張する。
• トロピカル多項式 $f$ が線形でない点の集合として、トロピカル曲線 $C = V(f)$ を定義する。ここで $f$ は次数 $d$ の同次多項式である。
• テントクレールの補集合 $\u0305{C}$ 上に距離関数 $d_C(P,Q)$ を導入し、曲線の計量構造に沿った移動距離を測定する。
• 因子同値性とトロピカル線形同値性の理論を用いて、写像 $P \mapsto P - \mathcal{O}$（$\mathcal{O} \in \u0305{C}$）により群則を定義する。
• 因子同値性と距離関数の性質を用いて、$d_C(\mathcal{O}, P+Q) = d_C(\mathcal{O},P) + d_C(\mathcal{O},Q)$ という基本的関係を確立する。
• 全長 $L$ を持つ $\u0305{C}$ を用いて、写像 $\lambda(P) = d_C(\mathcal{O},P)/L$ により、群同型写像 $\lambda: (\u0305{C}, \mathcal{O}) \to \mathbb{R}/\mathbb{Z} \approx S^1$ を構成する。

実験結果

リサーチクエスチョン

• RQ1 ヤコビアンが曲線全体ではなく、テントクレールの補集合である場合、トロピカルな楕円曲線に群則をどのように定義できるか。
• RQ2 距離関数 $d_C(P,Q)$ が群演算をどのように符号化するか。
• RQ3 $\u0305{C}$、すなわち曲線のテントクレールでない部分の群構造が、古典的 $S^1$ 群構造とどのように関係するか。
• RQ4 古典的な弦・接線作図法に類似した、トロピカル直線と交点を用いた幾何的実現が、トロピカルな群則において可能か。
• RQ5 群 $(\u0305{C}, \mathcal{O})$ が $S^1$ に同型であるか。その場合、どのような計量的または関数的対応によって実現されるか。

主な発見

• トロピカルな楕円曲線 $C$ のヤコビアンは、テントクレールの補集合 $\u0305{C}$ に同型であり、曲線全体ではない。
• 写像 $P \mapsto P - \mathcal{O}$ を通じた canonical bijection $\tau_{\mathcal{O}}: \u0305{C} \to \mathrm{Jac}(C)$ が存在し、これにより $\u0305{C}$ に群構造が導入される。
• $\u0305{C}$ 上の群則は、基本的関係 $d_C(\mathcal{O}, P+Q) = d_C(\mathcal{O},P) + d_C(\mathcal{O},Q)$ を満たし、距離関数と群演算が結びつく。
• 群 $(\u0305{C}, \mathcal{O})$ は、$L$ を $\u0305{C}$ の全長として、写像 $\lambda(P) = d_C(\mathcal{O},P)/L$ を用いて円周群 $S^1$ に同型である。
• トロピカル直線を用いて群則を幾何的に実現できる：$P+Q$ は $P$ と $Q$ を通る直線と $\u0305{C}$ の第3交点であり、その後 $R$ と $\mathcal{O}$ を通る第2の直線を引く。非良対の場合は平行移動による調整が必要である。
• 同型写像 $\lambda$ は群同型である。これは、距離関数の恒等式から直接導かれる加法的性質 $\lambda(P+Q) = \lambda(P) + \lambda(Q)$ によって示される。