[논문 리뷰] Equations of Bielliptic Modular Curves

Josep González|arXiv (Cornell University)|2012. 07. 09.

Analytic Number Theory Research참고 문헌 6인용 수 3

한 줄 요약

이 논문은 $\mathbb{Q}$ 위에서 비초월적 이중타원곡선 모듈라 곡선 $X_0(N)$에 대한 명시적 방정식을 계산하기 위한 체계적인 절차를 제시한다. 주요 기여는 $N \in \{34, 38, 42, \dots, 131\}$일 때 $X_0(N)$에 대한 방정식을 결정한 것으로, 이러한 곡선의 유리점 및 2차 점을 이중타원곡선의 구조를 통해 연구할 수 있게 한다.

ABSTRACT

We give a procedure to determine equations for the modular curves $X_0(N)$ which are bielliptic and equations for the 30 values of $N$ such that $X_0(N)$ is bielliptic and nonhyperelliptic are presented.

연구 동기 및 목표

• $X_0(N)$가 $\mathbb{Q}$ 위에서 이중타원곡선이면서 초월적이지 않은 30개의 $N$ 값에 대해 명시적 대수적 방정식을 결정하는 것.
• 이중타원곡선의 반사와 모듈라 형식을 사용하여 이러한 방정식을 유도하는 계산 절차를 제공하는 것.
• 이전에 연구된 19개의 초월적 경우를 초월하여 명시적 모델이 있는 모듈라 곡선 목록을 확장하는 것.
• 이중타원곡선의 구조를 활용하여 $X_0(N)$ 위의 유리점 및 2차 점의 산술적 연구를 지원하는 것.
• $\mathbb{Q}$ 위에서 호환되는 이중타원곡선의 몫이 종수 1 곡선이 되는 $X_0(N)$의 모든 경우에 대해 완전한 모델 세트를 제공하는 것.

제안 방법

• 이 방법은 $\mathbb{Q}$ 위에서 정의된 아틀킨-레너 반사 $w_d$를 식별하여 종수 1 몫곡선으로의 도수 2 사상이 되도록 하는 데 기반한다.
• 각 $N$에 대해, 논문은 아틀킨-레너 반사의 작용을 이용하여 종수 1 몫곡선을 유리 매개변수화한다. 이 몫곡선은 $\mathbb{Q}$ 위의 타원곡선이다.
• 그런 다음, 함수체의 구조와 $q$-전개를 이용해 유도된 두 변수 다항식 방정식을 통해 $X_0(N)$를 이 타원곡선의 이중 쌍대 덮개로 모델링한다.
• 이 절차는 $S_2(\Gamma_0(N))^{\text{new}}$의 새로운 형식의 공간과 그들의 $L$-함수를 사용하여 종수와 이중타원곡선의 구조를 확인하는 데 쓰인다.
• 모듈라 기호와 그뢰브너 기저 기법을 사용하여 몫곡선 위의 유리 함수의 역상 구하기를 통해 명시적 방정식을 도출한다.
• 종수는 리만-휴르비츠 공식을 통해 확인하고, 유리 극점의 존재를 확인함으로써 모델이 올바른지 검증한다.

실험 결과

연구 질문

• RQ1 $X_0(N)$이 $\mathbb{Q}$ 위에서 이중타원곡선이면서 초월적이지 않은 $N$의 값은 무엇인가?
• RQ2 이러한 이중타원곡선 모듈라 곡선에 대해 명시적 대수적 모델을 알고리즘적으로 계산하는 방법은 무엇인가?
• RQ3 $X_0(N)$의 이중타원곡선 반사에 의한 종수 1 몫곡선의 구조는 어떻게 되는가?
• RQ4 $X_0(N)$의 함수체는 그 종수 1 몫곡선의 함수체에 대한 2차 확장으로 어떻게 표현될 수 있는가?
• RQ5 30개의 비초월적 이중타원곡선 케이스에 대해 $X_0(N)$을 정의하는 명시적 다항식 방정식은 무엇인가?

주요 결과

• 논문은 $X_0(N)$에 대한 명시적 방정식을 제공한다. 이는 $X_0(N)$이 이중타원곡선이면서 초월적이지 않은 30개의 $N$ 값에 대해 성립한다: $N \in \{34, 38, 42, 43, 44, 45, 51, 53, 54, 55, 56, 60, 61, 62, 63, 64, 65, 69, 72, 75, 79, 81, 83, 89, 92, 94, 95, 102, 119, 131\}$.
• 각 $N$에 대해, 다항식 $P(x,y) = 0$ 형태의 방정식이 두 변수에 대해 유리수 계수를 가지며, 논문의 표 5와 6에 명시적으로 나열되어 있다.
• 각 $X_0(N)$의 종수는 $>1$이며, 이중타원곡선 반사에 의한 몫은 $\mathbb{Q}$ 위에서 정의된 종수 1 곡선으로, 유리점을 가진 타원곡선이다.
• 모델은 아틀킨-레너 반사의 작용과 $S_2(\Gamma_0(N))^{\text{new}}$의 새로운 형식의 구조를 사용하여 구성되었으며, 이는 정확성과 유리수 성질을 보장한다.
• 이 방법은 종수가 최대 30에 이르는 곡선, 예를 들어 종수가 30인 $X_0(131)$에 대해서도 성공적으로 모델을 계산하였다. 이 경우 다항식은 $x$와 $y$에 대해 차수 65를 가진다.
• 종수 계산과 유리 극점의 존재를 통해 방정식의 정확성이 검증되었으며, 이는 이중타원곡선의 구조가 올바르게 반영되었음을 확인한다.