[논문 리뷰] The group law on a tropical elliptic curve

Magnus Dehli Vigeland|ArXiv.org|2004. 11. 22.

Polynomial and algebraic computation참고 문헌 2인용 수 21

한 줄 요약

이 논문은 타원 곡선의 임의의 부분군을 정의하기 위해, $\bar{C}$로 표기되는 곡선의 뿌리 부분의 여집합으로서 아벨 군 법칙을 설정한다. 군 연산이 $d_C(\mathcal{O}, P+Q) = d_C(\mathcal{O},P) + d_C(\mathcal{O},Q)$를 만족함을 증명하고, $(\bar{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)$를 정의하고, 기준점에 대해 선형성 성질을 만족시키는 것.
• $(\bar{C}, \mathcal{O})$가 거리 기반 동형사상에 의해 원주군 $S^1$과 동형임을 증명하는 것.

제안 방법

• 항등원이 $a \oplus b = \max\{a,b\}$, 곱이 $a \odot b = a + b$인 타원 기하학적 반군 $(\mathbb{R}, \oplus, \odot)$를 정의하고, 이를 $\mathbb{R}^n$ 및 $\mathbb{P}^n_{tr}$로 확장한다.
• 타원 다항식 $f$가 선형이 아닌 점들의 집합으로서 타원 곡선 $C = V(f)$를 정의하며, $f$는 차수 $d$의 동차 다항식이다.
• 타원 곡선의 메트릭적 구조를 따라 이동하는 거리를 측정하는 거리 함수 $d_C(P,Q)$를 $\bar{C}$, 즉 뿌리 부분의 여집합에서 정의한다.
• 인수 등가성과 타원 기하학적 등가성 이론을 사용하여, $\mathcal{O} \in \bar{C}$일 때 $P \mapsto P - \mathcal{O}$의 사상으로 군 법칙을 정의한다.
• 인수 등가성과 거리 함수의 성질을 사용하여, 핵심 관계 $d_C(\mathcal{O}, P+Q) = d_C(\mathcal{O},P) + d_C(\mathcal{O},Q)$를 수립한다.
• $L$을 $\bar{C}$의 총 길이로 두었을 때, $\lambda(P) = d_C(\mathcal{O},P)/L$을 통해 $(\bar{C}, \mathcal{O})$에서 $\mathbb{R}/\mathbb{Z} \approx S^1$으로의 군 동형사상을 구성한다.

실험 결과

연구 질문

• RQ1 아벨 군이 전체 곡선이 아닌 뿌리 부분의 여집합이므로, 타원 기하학적 타원 곡선에 군 법칙을 어떻게 정의할 수 있는가?
• RQ2 거리 함수 $d_C(P,Q)$는 군 연산을 어떻게 표현하는가?
• RQ3 $\bar{C}$, 즉 곡선의 뿌리 부분이 아닌 부분에서의 군 구조는 고전적 $S^1$ 군 구조와 어떻게 관련이 있는가?
• RQ4 고전적 현수선-접선 구성과 유사하게, 타원 기하학적 직선과 교차점들을 사용하여 타원 기하학적 군 법칙을 기하학적으로 실현할 수 있는가?
• RQ5 $(\bar{C}, \mathcal{O})$가 $S^1$과 동형인지, 만약 그렇다면 어떤 거리 또는 함수적 대응에 의해 성립하는가?

주요 결과

• 타원 기하학적 타원 곡선 $C$의 아벨 군은 뿌리 부분의 여집합인 $\bar{C}$와 동형이며, 전체 곡선이 아니라는 점을 확인한다.
• 기준점 $\mathcal{O}$에 대해 $P \mapsto P - \mathcal{O}$로 주어지는 자연스러운 전단사 함수 $\tau_{\mathcal{O}}: \bar{C} \to \mathrm{Jac}(C)$가 존재하며, 이는 $\bar{C}$에 군 법칙을 부여한다.
• 군 법칙 $\bar{C}$는 핵심 항등식 $d_C(\mathcal{O}, P+Q) = d_C(\mathcal{O},P) + d_C(\mathcal{O},Q)$를 만족하며, 거리 함수와 군 연산을 연결한다.
• $L$을 $\bar{C}$의 총 길이로 두었을 때, 군 $(\bar{C}, \mathcal{O})$는 사상 $\lambda(P) = d_C(\mathcal{O},P)/L$을 통해 원주군 $S^1$과 동형이다.
• 타원 기하학적 직선을 사용하여 군 법칙을 기하학적으로 실현할 수 있다: $P+Q$는 $P$와 $Q$를 지나는 직선이 $\bar{C}$와 만나는 세 번째 교차점이며, 이후 $R$와 $\mathcal{O}$를 지나는 두 번째 직선을 그린다. 이 때, 좋지 않은 쌍의 경우 평행 이동 조정을 적용한다.
• 동형사상 $\lambda$는 $\lambda(P+Q) = \lambda(P) + \lambda(Q)$의 덧셈 성질이 바로 거리 항등식에서 유도되므로 군 동형사상임을 증명한다.