An explicit expression of the Richelot isogeny through Kleinian hyperellyptic functions

논문 개요

이 논문은 종수 2 (genus 2) 곡선 $C$에 대응하는 클라인 초타원 함수 (Kleinian hyperelliptic functions) 를 계산하는 알고리즘의 핵심 부분을 다룹니다. 저자는 리셀로트 이소게니 (Richelot isogeny) 를 통해 한 곡선 $C$에서 이소게니 (isogeny) 관계에 있는 다른 곡선 $\hat{C}$로 넘어갈 때, 두 곡선에 대응하는 클라인 초타원 함수 사이의 명시적인 변환 공식을 유도합니다. 이는 종수 2 곡선에 대한 란덴 (Landen) 알고리즘의 아날로그를 구축하기 위한 중요한 단계입니다.

1. 연구 문제 (Problem)

• 배경: 종수 2 곡선의 자코비안 (Jacobian) 과 관련된 클라인 초타원 함수를 계산하기 위해, 곡선들의 시퀀스 $C_1, C_2, \dots, C_n$을 고려하고, 각 단계에서 이소게니를 통해 함수를 변환하는 알고리즘이 필요합니다.
• 구체적 문제: 주어진 곡선 $C$ (다항식 $f$로 정의됨) 와 리셀로트 이소게니를 통해 얻어진 곡선 $\hat{C}$ (다항식 $\hat{f}$로 정의됨) 가 있을 때, $C$에 대한 클라인 초타원 함수를 $\hat{C}$에 대한 함수로 명시적으로 표현하는 공식을 찾는 것입니다.
• 제약 사항: 기존의 $\sigma$-함수 정의는 무한원점에서의 위트레스트라 점 (Weierstrass point) 존재를 요구하는 등 대수적 방정식에 제한이 따르지만, 이 논문에서는 가중치 2 의 클라인 초타원 함수를 사용하여 이러한 제한을 극복하고 일반적인 체 (field) 에서도 적용 가능한 공식을 목표로 합니다.

2. 방법론 (Methodology)

저자는 초월적 방법 (transcendental methods) 과 대수적 기하학의 구조를 결합하여 다음과 같은 단계를 거쳤습니다.

1. 기초 정의 및 설정:

   • 종수 2 곡선 $X_f$ ($y^2=f(x)$) 와 그 자코비안 $\text{Jac}_f$를 정의합니다.
   • 가중치 2 의 클라인 함수 ($S_f, S_{11}^f, S_{12}^f, S_{22}^f$) 와 이를 사용하여 커머 곡면 (Kummer surface) 을 $\mathbb{CP}^3$에 매립하는 사상을 정의합니다.
   • 리셀로트 구성 (Richelot construction) 을 통해 $f=pqr$(차수 2 다항식들의 곱) 일 때, 새로운 다항식$\hat{f}$를 생성하고 이에 대응하는 이소게니$\text{Jac}_{\hat{f}} \to \text{Jac}_f$를 설정합니다.

2. 커머 곡면의 기하학적 성질 활용:

   • 커머 곡면 $K_f$의 16 개의 노드 (nodes) 와 20 개의 트로프 (tropes, 6 개의 노드를 포함하는 초평면) 를 분석합니다.
   • 리셀로트 이소게니가 커머 곡면 사이의 사상 $R_{p,q,r}: \mathbb{CP}^3 \to \mathbb{CP}^3$을 유도함을 보이며, 이 사상이 2 차 동차 사상 (quadratic homogeneous map) 임을 증명합니다.

3. 행렬 및 대수적 구조 유도:

   • Lemma 3.1: 이소게니 사상이 행렬 $B, \hat{B}$와 좌표 제곱 사상 $S_q$를 통해 표현됨을 보입니다.
   • Lemma 3.3 & 3.4: 이소게니를 표현하는 행렬 $A_j$들의 구조를 분석하고, 자코비안 위의 주기 (period) 와 관련된 행렬 $H_{p,q,r}$의 존재와 대칭성을 증명합니다. 이는 클라인 함수 사이의 변환에 지수 함수 항 ($\exp(z^T H z)$) 이 곱해짐을 의미합니다.
   • Lemma 4.1 & 4.3: 커머 곡면의 대칭성 (symmetries) 과 트로프의 교집합을 이용하여 행렬 $B$와 $\hat{B}$의 구체적인 성분을 계산합니다. 이 과정에서 Maple 을 이용한 컴퓨터 검증이 병행되었습니다.

4. 명시적 공식 도출:

   • 계산된 행렬들을 조합하여 $S_f(z)$와 $S_{\hat{f}}(z)$ 사이의 관계를 최종적으로 유도합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

이 논문은 다음과 같은 구체적인 결과를 제시합니다.

• 명시적 변환 공식 (Theorem 4.6):
  가중치 2 의 클라인 함수 $S_f(z)$를 $\hat{f}$에 대한 함수 $S_{\hat{f}}(z)$로 표현하는 완전한 공식을 제시했습니다.
  S_f(z) = -\frac{\exp(z^T H_{p,q,r} z)}{32\Delta(p,q,r)^3} \begin{pmatrix} S_{\hat{f}}(z)^T A_{p,q,r} S_{\hat{f}}(z) \\ S_{\hat{f}}(z)^T A_{p^22}_{p,q,r} S_{\hat{f}}(z) \\ S_{\hat{f}}(z)^T A_{p12}_{p,q,r} S_{\hat{f}}(z) \\ S_{\hat{f}}(z)^T A_{p11}_{p,q,r} S_{\hat{f}}(z) \end{pmatrix}
  여기서 $A$ 행렬들은 다항식 $p, q, r$의 계수와 $\Delta(p,q,r)$ (행렬식) 로 구성된 명시적인 대칭 행렬입니다.

• 행렬 $H_{p,q,r}$의 명시적 표현:
  지수 함수 항의 계수가 되는 대칭 행렬 $H_{p,q,r}$을 다항식 $p, q, r$의 계수와 $\mu_{jklm}$ (다항식 계수들의 특정 곱셈 합) 를 사용하여 명시적으로 계산했습니다.

• 대수적 구조의 정립:
  기존에 순수 대수적 설정에서 얻은 결과 (예: [3] 논문) 와 달리, 초월적 함수 (클라인 함수) 에 대한 직접적인 관계를 유도하여, 커머 곡면의 기하학적 성질 (노드와 트로프) 이 함수 변환에 어떻게 반영되는지를 명확히 했습니다.

4. 의의 및 중요성 (Significance)

• 알고리즘적 적용 가능성: 이 결과는 종수 2 곡선에 대한 클라인 함수를 계산하는 재귀적 알고리즘의 핵심 블록을 제공합니다. 특정 이소게니 경로를 따라 함수를 변환함으로써, 복잡한 곡선의 함수를 더 단순하거나 근사하기 쉬운 곡선의 함수로 환원할 수 있는 토대를 마련했습니다.
• 일반성: $\sigma$-함수와 달리 곡선의 대수적 방정식 형태 (예: 무한원점에서의 위트레스트라 점 유무) 에 구애받지 않는 가중치 2 클라인 함수를 사용함으로써, 임의의 체 (field) 에서 정의된 곡선에도 적용 가능한 일반화된 공식을 제시했습니다.
• 이론적 연결: 리셀로트 이소게니라는 대수적 개념과 클라인 초타원 함수라는 해석적/초월적 개념을 커머 곡면의 기하학을 매개로 정밀하게 연결했습니다. 이는 아벨 다양체와 그 자코비안 사이의 깊은 관계를 이해하는 데 중요한 통찰을 제공합니다.

결론

Matvey Smirnov 의 이 논문은 종수 2 곡선의 리셀로트 이소게니를 통해 클라인 초타원 함수를 명시적으로 변환하는 공식을 최초로 제시한 것으로 평가됩니다. 이는 수론, 대수기하학, 그리고 계산수학 분야에서 종수 2 곡선 관련 계산을 수행하는 데 필수적인 도구로 작용할 것입니다.