[논문 리뷰] Low Degree Places on the Modular Curve X1(N)

Mark van Hoeij|arXiv (Cornell University)|2012. 02. 20.

Cryptography and Residue Arithmetic인용 수 5

한 줄 요약

이 논문은 모듈라 곡선 $X_1(N)$ 상의 저차수 점들을 조사하며, $X_1(N)$의 $Χ$-gonality보다 낮은 수체 위에서 정의된 점들에 초점을 맞춘다. 리만-로흐 공간 계산과 모듈라 단위를 이용하여 이러한 점들이 존재함을 보이며 (예: $N=37$의 경우, 차수 6 수체가 순서 37의 점을 지닌다), 이러한 점들을 찾는 데 유한한 계산이 가능한 방법을 제안하지만, 반례를 통해 모든 저차수 점들이 정점 이웃이 아니라는 점을 밝힌다.

ABSTRACT

This short note gives questions and examples of points on X1(N) defined over number fields whose degrees are lower than the gonality.

연구 동기 및 목표

• 저차수 점들이 $X_1(N)$ 상에 $Χ$-gonality 이하로 유한한지, 그리고 유한한 계산을 통해 찾을 수 있는지 확인하는 것.
• 모듈라 곡선 $X_1(N)$ 상의 모든 저차수 비정점 자리가 정점 이웃인가를 조사하는 것, 즉, 정점과 자리만을 포함하는 인수를 가진 모듈라 단위 $f$가 존재하는가를 묻는 것.
• 저차수 자리들을 찾는 데에 적합한 계산 전략—특히 리만-로흐 공간 계산과 모듈라 단위의 근 찾기—을 개발하고 시험하는 것.
• $N \leq 80$까지의 저차수 자리들을 확장하여 확률적 방법을 사용하고, 이전의 리만-로흐 계산 결과와 비교하는 것.
• $N \leq 40$에서 $f - c = 0$ 방법(모듈라 단위를 사용)이 리만-로흐 방법과 비교하여 얼마나 효과적인지 테스트하며, 강한 경험적 일치를 관찰하는 것.

제안 방법

• 저차수 자리들을 $X_1(N)$ 상의 비정점 자리 $v$로 정의하며, $\deg(v) < \text{gon}(N)$, 즉 $X_1(N)$의 $Χ$-gonality보다 작게 한다.
• 정점에 지지되는 인수 $D$에 대해 리만-로흐 공간 $L(D)$를 사용하여 극과 영점을 제어할 수 있는 함수를 계산하며, 저차수 자리들을 찾는 것을 목표로 한다.
• 유한체 $\mathbb{F}_p$ 상에서의 인수를 특성 0으로 올려 후보 자리들을 구성하며, $\deg(D') < \text{gon}(N)$ 이며 $D' \geq 0$, $\text{Supp}(D') \cap \text{Cusps}(N) = \emptyset$ 임을 보장한다.
• $N > 40$인 경우, 확률적 방법으로 전환한다: 모듈라 단위 $f$를 샘플링하고 $c = \pm 1$에 대해 $f - c = 0$을 풀며, 이 근들이 저차수 자리에 대응함을 찾는다.
• 서더랜드의 데이터베이스에서 제공하는 $r, s, b, c$를 통한 $X_1(N)$의 명시적 매개변수화를 사용하여, 순서 $N$의 점 $P$를 가진 타원곡선 $E_{b,c}$를 정의하며, 이는 $X_1(N)$ 상의 점에 대응한다.
• 자리 $v$의 잔여체 $\mathbb{Q}(v)$가 차수 $\deg(v)$를 가진 수체임을 확인하며, $\mathbb{Q}(v)$ 위에서 $E_{b,c}$가 순서 $N$의 점을 가짐을 검증한다.

실험 결과

연구 질문

• RQ1 저차수 자리 집합 $\text{LDP}(N) = \{v \in \text{Places}(N) \setminus \text{Cusps}(N) \mid \deg(v) < \text{gon}(N)\}$은 항상 유한하며, 유한한 단계 내에서 계산 가능한가?
• RQ2 모든 저차수 자리가 정점 이웃인가, 즉, $v(f) = 1$ 이고 $\text{Supp}(f) \subseteq \text{Cusps}(N) \cup \{v\}$인 모듈라 단위 $f$가 존재하는가?
• RQ3 $N \leq 40$일 때, $f - c = 0$ 방법(모듈라 단위를 사용)이 리만-로흐 계산을 통해 발견된 모든 저차수 자리들을 복원할 수 있는가?
• RQ4 $N \leq 80$일 때, 비정점 자리의 차수와 $C_N = \mathbb{Q}(x)[y]/(F_N)$ 내 함수의 차수는 무엇이며, 검색이 완전한가?
• RQ5 $f - c = 0$ 방법이 리만-로흐를 통해 발견된 모든 저차수 자리들을 복원하는 데 성공한 데 대한 이론적 설명은 있는가?

주요 결과

• $N = 37$의 경우, 순서 37의 점이 $\mathbb{Q}(\alpha, \tau)$ 위에 정의되며, 이는 차수 6의 수체이다. 이는 $X_1(37)$의 $Χ$-gonality가 18이므로 $\text{LDP}(37) \neq \emptyset$임을 보여준다.
• $N \leq 40$일 때, 모듈라 단위를 사용한 $f - c = 0$ 방법이 리만-로흐 계산을 통해 발견된 모든 저차수 자리들을 성공적으로 복원하며, 이는 비공식적 방법임에도 불구하고 강력한 경험적 효과를 보임을 시사한다.
• 질문 1(모든 저차수 자리가 정점 이웃인가)에 대한 답은 부정적이다: 모든 저차수 자리가 정점과 자리만을 포함하는 인수를 가진 모듈라 단위의 지지부분으로 나타나는 것은 아니다.
• $N \leq 80$에 대한 표는 발견된 함수와 자리의 차수를 나열하며, '6+'는 차수 $\geq 6$인 자리, '9,10,11+'는 해당 차수의 함수를 의미한다.
• $N = 29$의 경우, 서로 동형이 아닌 차수 9의 수체가 3개 발견되었으며, 각각은 타원곡선 위에서 순서 29의 점을 지닌다.
• $N = 31$의 경우, 5개의 서로 동형이 아닌 수체가 발견되었으며, 이 중 하나는 차수 9이다. $Χ$-gonality는 12이며, 차수 9 이상의 자리들이 발견되었다.