[논문 리뷰] Multi-variable sigma-functions: old and new results

Victor Matveevich Buchstaber, V. Z. Enolski외 1명|arXiv (Cornell University)|2018. 10. 25.

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

한 줄 요약

이 논문은 초타원곡선 위의 다변수 시그마함수에 대한 통합된 θ-함수 표현을 개발하며, 양자변수와 곡선 매개변수를 모두 독립 변수로 다룬다. 1종 및 2종 주기 적분에 대해 θ-상수를 이용한 명시적 표현을 유도하여 로젠하인 및 클라인 유형의 공식을 일반화하고, 곡선 매개변수에 작용하는 ζ-함수와 π-함수에 대한 미분연산자를 구성한다. 종수 1 및 2 곡선에 대해 완전한 유도를 제공하며, 관련 리 대수의 미분 연산자에 대한 닫힌 형태의 교환관계를 도출한다.

ABSTRACT

We consider multi-variable sigma function of a genus $g$ hyperelliptic curve as a function of two group of variables -jacobian variables and parameters of the curve. In the theta-functional representation of sigma-function, the second group arises as periods of first and second kind differentials of the curve. We develop representation of periods in terms of theta-constants. For the first kind periods, generalizations of Rosenhain type formulae are obtained, whilst for the second kind periods theta-constant expressions arepresented which are explicitly related to the fixed co-homology basis.We describe a method of constructing differentiation operators for hyperelliptic analogues of $ζ$- and $\wp$-functions on the parameters of the hyperelliptic curve. To demonstrate this method, we gave the detailed construction of these operators in the cases of genus 1 and 2.

연구 동기 및 목표

• 다양한 변수를 포함하는 다변수 시그마함수의 통합적 처리를 위해, 양자변수와 곡선 매개변수를 모두 독립 변수로 포함하는 것.
• 반정수 특성의 θ-상수를 이용한 1종 및 2종 완전 아벨 적분의 명시적 표현을 도출하는 것.
• 1종 주기의 로젠하인 유형 공식을 고종수 초타원곡선으로 일반화하고, 2종 주기의 클라인 공식을 고종수 초타원곡선으로 확장하는 것.
• 곡선 매개변수에 작용하는 초타원곡선 ζ-함수와 π-함수에 대한 미분연산자 $L_k$를 구성하여, 시그마함수의 역학계 기술을 가능하게 하는 것.
• 유도된 연산자와 주기 표현을 이용하여 초타원 아벨 함수의 필드 위의 미분 연산자 리 대수 $\operatorname{Der}(F_2)$의 교환관계를 수립하는 것.

제안 방법

• 양자변수와 리만 매트릭스 매개변수(곡선 모듈리)를 모두 변수로 포함하는 시그마함수의 θ-함수 표현을 사용한다.
• 해석적 미분형식과 매끄러운 미분형식의 주기를 반정수 특성의 θ-상수로 표현하며, 로젠하인 및 클라인의 고전 결과를 일반화한다.
• 프로베누스-스티클베르거 방법을 적용하여 비완전한 기저에서 열형 방정식의 시스템을 유도하고, 비완전한 접속을 통해 시그마함수를 정의한다.
• 곡선 매개변수에 작용하는 미분연산자 $L_k$를 구성하며, 이는 시그마함수의 로그 도함수로부터 유도되며 π-함수와 불변량 $\lambda_{2k}$로 표현된다.
• 유도된 연산자를 사용하여 리 대수 $\operatorname{Der}(F_2)$에서의 교환관계를 계산하며, 좌표 $u_1, u_3$ 및 불변량에 대한 작용을 통해 일관성을 검증한다.
• 종수 1 및 2에서 명시적인 계산을 수행하며, 알려진 ζ-함수 및 π-함수 표현을 활용하여, 미분연산자의 구조와 그 교환관계의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 종수 $g$ 초타원곡선에서 1종 및 2종 미분형식의 주기는 반정수 특성의 θ-상수로 어떻게 명시적으로 표현될 수 있는가?
• RQ2 1종 주기의 로젠하인 공식은 고종수 초타원곡선으로 어떻게 일반화될 수 있는가?
• RQ3 2종 주기의 클라인 공식은 종수 3 비초타원곡선에서 고종수 초타원곡선으로 어떻게 확장될 수 있는가?
• RQ4 초타원곡선 매개변수에 작용하는 미분연산자 $L_k$의 구조는 무엇이며, 이들은 아벨 함수의 필드 위의 리 대수의 미분 연산자를 어떻게 생성하는가?
• RQ5 리 대수 $\operatorname{Der}(F_2)$에서 미분연산자 $L_k$ 간의 명시적 교환관계는 무엇이며, 이는 기저가 되는 시그마함수의 구조에서 어떻게 도출되는가?

주요 결과

• 논문은 1종 주기의 로젠하인 공식을 고종수 초타원곡선으로 일반화하여, 반정수 특성의 θ-상수의 유리함수로 표현한다.
• 2종 주기의 경우 유도된 짝수 θ-상수를 이용한 명시적 표현을 도출하며, 클라인의 종수 3 공식을 임의의 종수 $g$ 초타원곡선으로 확장한다.
• 종수 1 및 2에서는 곡선 매개변수에 작용하는 미분연산자 $L_k$를 구성하며, $L_0, L_1, L_2, L_3, L_4, L_6$는 π-함수와 불변량 $\lambda_{2k}$로 명시적으로 주어진다.
• 연산자 $L_k$ 간의 교환관계는 유도되고, 좌표 $u_1$ 및 $u_3$에 대한 작용을 계산하여, π-함수 곱과 불변량을 포함하는 명시적 계수를 도출한다.
• 리 대수 $\operatorname{Der}(F_2)$의 구조는 완전히 결정되었으며, $[L_0, L_k] = kL_k$ 및 $[L_1, L_2] = \wp_{1\cdot 2}L_1 - L_3$와 같은 관계를 확인함으로써 체계의 대수적 닫힘성을 확인한다.
• 유도 과정은 시그마함수가 비완전한 기저에서 열형 방정식의 체계의 해로 완전히 결정됨을 확인하며, 이의 계수는 곡선의 모듈리와 불변량에 의존한다.