[논문 리뷰] Some addition formulae for Abelian functions for elliptic and hyperelliptic curves of cyclotomic type

J. C. Eilbeck, Shigeki Matsutani외 1명|arXiv (Cornell University)|2008. 03. 27.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 4

한 줄 요약

이 논문은 루트 오브 유니티를 통한 추가 자기 동형사상이 유도되는 순환형 타입의 타원곡선 및 초타원곡선에서 아벨 함수에 대한 새로운 다항식 덧셈 공식을 제시한다. 주요 기여는 이러한 대칭 조건에서만 유효한 명시적 덧셈 법칙을 도출하는 것으로, 예를 들어 종수 1의 등형평형 및 르모니스크 곡선, 그리고 5제곱근 단위근 대칭을 갖는 종수 2 곡선에 대한 공식을 포함한다. 이는 고차 종수로의 클래식한 바이어슈트르 공식을 순환 구조로 일반화한 것이다.

ABSTRACT

We discuss a family of multi-term addition formulae for Weierstrass functions on specialized curves of genus one and two with many automorphisms. In the genus one case we find new addition formulae for the equianharmonic and lemniscate cases, and in genus two we find some new addition formulae for a number of curves, including the Burnside curve.

연구 동기 및 목표

• 특수한 자기 동형사상이 존재하는 타원곡선 및 초타원곡선에서 위어르스트라스 $\sigma$ 및 $\pi$ 함수에 대한 명시적 덧셈 공식을 개발한다.
• 종수 1 및 2 아벨 함수에 대한 고전적 덧셈 법칙(예: 두 변수 및 세 변수 공식)을 곡선 모듈러스가 순환 대칭을 유도하도록 선택한 경우로 일반화한다.
• 이러한 공식을 제시함으로써 배경이 되는 자기 동형군과 대칭성을 명확히 드러내며, 특히 복소수 단위근을 포함한 대칭성을 강조한다.
• 복소 곱셈이 순환형 타입인 곡선을 위한 이러한 공식의 체계적 종합을 시작하여, 고차 종수 아벨 함수에 대한 종합적 설명서가 부족한 상황을 메운다.
• 삼중곡선 등 다른 특수 곡선에 대해, 예를 들어 $3a$-제곱근 단위근 작용이 있는 삼중곡선에 대해 고차 종수(예: $g=3$)에서의 다항식 덧셈 공식의 구조를 탐구한다.

제안 방법

• 곡선 모듈러스를 0으로 설정함으로써 발생하는 추가 자기 동형사상의 특성을 활용하여 덧셈 공식을 유도한다. 이 경우 루트 오브 유니티와 관련된 대칭성을 갖는 곡선이 유도된다.
• 종수 1에서는 고전적 위어르스트라스 $\sigma$ 및 $\pi$ 함수와 그 로그 도함수를 사용하고, 종수 2에서는 다변수 $\sigma$ 및 $\pi_{ij}$ 함수로 일반화한다.
• 기존의 항등식, 예를 들어 두 변수 공식 $-\frac{\sigma(u+v)\sigma(u-v)}{\sigma(u)^2\sigma(v)^2} = \wp(u) - \wp(v)$를 활용하고, $\zeta$를 단위근으로 하여 $\sigma(u + \zeta^j v)$를 포함하는 다항식 형태로 확장한다.
• 공간 $\Gamma(J, \mathcal{O}(3\Theta^{[2]}))$의 구조를 분석하여 고차 종수 공식을 구성하고, 대칭 조합된 $\sigma$ 함수를 $\wp_{ij}$, $\wp_{ijk}$ 및 그 도함수의 다항식으로 표현한다.
• 단위근의 갈루아 군의 작용을 이용하여 아벨 다양체 위에 자기 동형사상 $[\zeta^j]$를 정의하고, 이는 변환된 인자에서 $\sigma$-함수 간의 대칭 관계를 유도한다.
• 대칭 유리 함수의 전개를 통해 명시적 공식을 계산하고, $\wp$-텐서 및 그 도함수의 기저와 계수를 일치시켜, 종수 3의 경우 $C_{30}$ 항을 포함한 예시를 제시한다.

실험 결과

연구 질문

• RQ1 루트 오브 유니티에 의해 유도되는 추가 자기 동형사상이 존재하는 곡선일 경우 아벨 함수의 덧셈 공식은 어떻게 변화하는가?
• RQ2 등형평형($g_2=0$) 및 르모니스크($g_3=0$) 경우의 종수 1 곡선에 대해 어떤 새로운 다항식 덧셈 공식이 도출되는가?
• RQ3 예를 들어 $y^2 = x^5 + \mu_{10}$ 형태의 종수 2 초타원곡선에 대해 5제곱근 단위근 대칭을 갖는 경우, 명시적 덧셈 공식을 유도할 수 있는가?
• RQ4 자기 동형사상 $[\zeta^j]$ 작용 하에서 $\sigma$-함수의 대칭적 구조는 어떻게 변형되며, $\sigma(u + \zeta^j v)/\sigma(u)^5\sigma(v)^5$의 몫에서 어떤 다항식 관계가 유도되는가?
• RQ5 종수 3 곡선에 4제곱근 단위근 작용이 존재하는 경우와 같은 고차 종수에서의 다항식 덧셈 공식의 구조는 어떠한가? 이 공식은 대칭 성분으로 어떻게 분해될 수 있는가?

주요 결과

• 종수 1의 등형평형 경우($g_2=0$)에서 논문은 새로운 덧셈 공식을 도출한다: $-\frac{\sigma(u\pm v)\sigma(u\pm\zeta v)\sigma(u\pm\zeta^2 v)}{\sigma(u)^3\sigma(v)^3} = \pm\frac{1}{2}(\wp'(u) \pm \wp'(v))$로, 이는 $g_2=0$ 조건에서만 유효하다.
• 종수 2 곡선 $y^2 = x^5 + \mu_{10}$에 대해 논문은 다섯 항의 덧셈 공식을 제시한다: $\frac{\sigma(u+v)\sigma(u+[\zeta]v)\cdots\sigma(u+[\zeta^4]v)}{\sigma(u)^5\sigma(v)^5}$로, 이는 $\wp_{ij}(u)$, $\wp_{ij}(v)$, $\wp_{ijk}(u)$, $\wp_{ijk}(v)$의 다항식이며, $\zeta = \exp(2\pi i/5)$이다.
• 4제곱근 단위근 작용이 존재하는 종수 3 곡선의 경우, 논문은 대칭적인 세 변수 공식을 도출한다: $\frac{\sigma(u+v+w)\sigma(u+[\zeta]v+[\zeta^2]w)\cdots}{\sigma(u)^3\sigma(v)^3\sigma(w)^3} = \sum_{i,j,k} c_{ijk} U_i(u)V_j(v)W_k(w)$로, $U_i, V_j, W_k$는 $\Gamma(J, \mathcal{O}(3\Theta^{[2]}))$의 기저 함수이다.
• 종수 3 공식의 주요 항 $C_{30}$은 명시적으로 계산되었으며, $\wp_{13}(u)\partial_3 Q_{1333}(v)\wp_{111}(w)$, $\wp_{11}(u)\wp_{11}(v)\wp_{11}(w)$ 및 기타 텐서 곱을 포함하며, $u,v,w$에 대한 순열에 대해 완전한 대칭성을 갖는다.
• 이 공식들은 일반적인 경우에 표준 덧셈 법칙으로 줄어들지 않기 때문에, 고전 결과의 비트리비얼한 확장으로서의 성격을 보이며, 특정한 순환 대칭 조건에서만 유효하다.
• 논문은 추가 자기 동형사상(예: 종수 2에서 $\mu_{10} \neq 0$) 존재 시 아벨 함수의 다항식 링 내에서 새로운 대칭적 구조가 유도됨을 보여주며, 새로운 유형의 대칭 항등식을 가능하게 한다.