[논문 리뷰] Torsion points on elliptic curves with complex multiplication

Pete L. Clark, B. Cook외 1명|ArXiv.org|2009. 07. 15.

Algebraic Geometry and Number Theory참고 문헌 34인용 수 8

한 줄 요약

이 논문은 CM 타원곡선의 소수 차수 정수점에 대한 기존의 경계를 개선하기 위해 CM 순서의 클래스 수와 CM 체 내 소수의 분할 행동을 통합하여 점 渐近적으로 최적인 경계를 도출한다. 또한 충분히 큰 $N$에 대해 $X_1(N)$은 모든 비-CM 점들 중 유한 개를 제외한 나머지 점들보다 차수보다 작은 래디컬 CM 점을 지닌다는 것을 보이며, 이는 CM 곡선과 비-CM 곡선 간 정수점 분포의 핵심적 차이를 나타낸다.

ABSTRACT

We present seven theorems on the structure of prime order torsion points on CM elliptic curves defined over number fields. The first three results refine bounds of Silverberg and Prasad-Yogananda by taking into account the class number of the CM order and the splitting of the prime in the CM field. In many cases we can show that our refined bounds are optimal or asymptotically optimal. We also derive asymptotic upper and lower bounds on the least degree of a CM-point on X_1(N). Upon comparison to bounds for the least degree for which there exist infinitely many rational points on X_1(N), we deduce that, for sufficiently large N, X_1(N) will have a rational CM point of degree smaller than the degrees of at least all but finitely many non-CM points.

연구 동기 및 목표

• 수체 위의 CM 타원곡선에서 정수점의 최대 소수 차수에 대한 기존 경계를 개선하는 것.
• CM 순서의 클래스 수와 CM 체 내 소수의 분할 행동을 정수점 경계에 통합하는 것.
• $X_1(N)$ 상의 CM 점의 최소 차수에 대한 점 渐近 상한 및 하한 경계를 수립하는 것.
• $X_1(N)$ 상의 래디컬 CM 점의 최소 차수와 비-CM 점의 최소 차수를 비교하여, 큰 $N$에 대해 CM 점이 비-CM 점보다 차수 면에서 상당히 작아질 수 있음을 보이는 것.
• 큰 $N$에 대해 래디컬 정수점 중에서 CM 점이 차수 최소성에서 지배적임을 보이는 것.

제안 방법

• 산술 등차수열에 대한 메르텐스의 곱공식과 소수 정리의 응용을 통해 $N_n / \varphi(N_n)$ 의 성장률을 분석하며, 여기서 $N_n$ 은 $p \equiv 1 \pmod{3}$ 인 소수들의 곱이다.
• 원분 확장을 복합하여 차수 $d_n$ 인 수체 $L_n$ 을 구성함으로써, 큰 정수 부분군을 지닌 CM 타원곡선을 실현하는 것.
• 고정된 $j$-좌표를 가진 점에 대해 차수 경계의 최적성에 관한 세르의 정리를 적용하여, 독립적 테이트 변환의 효율성을 제한하는 것.
• 아브라모비치의 곡선 곡률 경계와 팔링스의 정리를 활용하여, 유계 차수의 점의 수에 대한 하한 경계를 도출하는 것.
• 표준 번들의 적용을 통해 $X_1(N)$ 의 곡률을 경계함으로써, 래디컬 점에 대한 차수 제약 조건을 이끌어내는 것.
• $\log \log d_n$ 와 $N_n / \varphi(N_n)$ 의 점 渐진적 성장률을 비교하여, 차수에 대한 정수 부분군 크기의 필요 조건 하한 경계를 확립하는 것.

실험 결과

연구 질문

• RQ1 클래스 수와 소수 분할 자료를 통합함으로써, CM 타원곡선의 정수점 최대 소수 차수에 대한 경계를 개선할 수 있는가?
• RQ2 $X_1(N)$ 상의 CM 점의 최소 차수의 점 渐진적 성장률은 무엇인가?
• RQ3 충분히 큰 $N$ 에 대해, $X_1(N)$ 에는 모든 비-CM 점들 중에서 유한 개를 제외한 나머지 점들보다 차수가 작은 래디컬 CM 점이 존재하는가?
• RQ4 $X_1(N)$ 의 곡률은 유계 차수의 래디컬 점의 존재를 어떻게 제약하는가?
• RQ5 차수에 대한 정수 부분군 크기의 구성된 하한 경계는 점 渐진적으로 최적인가?

주요 결과

• 논문은 클래스 수와 분할 정보를 통합한 $P_{\text{CM}}(d)$ 의 경계가 점 渐진적으로 최적이거나 많은 경우에 최적임을 입증한다.
• 일부 $C > 0$ 과 무수히 많은 $n$ 에 대해 $\frac{|E(L_n)[\text{tors}]|}{d_n} \geq C \sqrt{\log \log d_n}$ 이 성립함을 보이며, 이는 차수에 대한 정수점 성장률이 최소한 이 정도임을 시사한다.
• 충분히 큰 $N$ 에 대해 $X_1(N)$ 은 모든 비-CM 점들 중에서 유한 개를 제외한 나머지 점들보다 차수가 작은 래디컬 CM 점을 지닌다. 이는 CM 점이 차수 최소성에서 지배적임을 의미한다.
• 래디컬 CM 점의 최소 차수는 무조건적으로 $\frac{7}{3200}(N^2 - 1)$ 이하로 경계되며, 세르의 고유값 추측을 가정하면 $\frac{1}{384}(N^2 - 1)$ 이하로 경계된다.
• $p_i \equiv 1 \pmod{3}$ 인 소수들을 사용한 $L_n$ 의 구성은 $d_n \sim n^2 \log n$ 의 체 차수를 가져오며, $|E(L_n)[\text{tors}]| \gg \sqrt{\log \log d_n}$ 이다. 이는 성장률이 확인됨을 의미한다.
• 논문은 세르의 정리가 고정된 $j$-좌표에 대해 구성된 차수 하한 경계가 점 渐진적으로 최적임을 보이며, 이는 독립적 테이트 변환을 통한 향상의 한계를 제한한다.