[논문 리뷰] Rational points on X_0^+ (p^r)

Yu. Bilu, Pierre Parent외 1명|arXiv (Cornell University)|2011. 04. 24.

Analytic Number Theory Research참고 문헌 10인용 수 7

한 줄 요약

이 논문은 모든 소수 $ p \geq 11 $, $ p \neq 13 $ 및 모든 정수 $ r > 1 $ 에 대해 모듈러 곡선 $ X_0^+(p^r) $ 상의 유리점 집합이 자명한 점들—즉, 캐우스점과 CM 점들—로만 이루어져 있음을 증명한다. 이는 Gaudron과 Rémond의 정교한 이소지 바운드를 활용하고, Gross 벡터 기반의 컴퓨터 지원 알고리즘을 적용하여 $ p \leq 10^{14} $ 에서 자명성을 입증함으로써, $ p = 13 $ 를 제외한 이러한 유리점의 분류를 완료한다. 이 결과는 모듈러 곡선의 산술 이론에서 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

We show how the recent isogeny bounds due to É. Gaudron and G. Rémond allow to obtain the triviality of X_0^+ (p^r)(Q), for r>1 and p a prime exceeding 2.10^{11}. This includes the case of the curves X_split (p). We then prove, with the help of computer calculations, that the same holds true for p in the range 10 < p < 10^{14}, p eq 13. The combination of those results completes the qualitative study of such sets of rational points undertook in previous papers, with the exception of p=13.

연구 동기 및 목표

• 모듈러 곡선 $ X_0^+(p^r) $ 상의 유리점 분류를 $ r > 1 $ 에서 완성하여 이전의 정성적 결과를 확장한다.
• 이전 방법이 초월수 바운드의 큰 상수로 인해 실패한 범위인 $ 11 \leq p \leq 10^{14} $, $ p \neq 13 $ 의 간극을 메운다.
• 작은 소수에 대해 비자명한 유리점을 배제하는 데 효과적인 계산 알고리즘을 개발하고 적용한다.
• $ X_0^+(13^2) $ 에서 아직 해결되지 않은 $ p = 13 $ 의 경우를 해결한다.

제안 방법

• Gaudron과 Rémond의 정교한 이소지 높이 바운드를 활용하여, 이론적 자명성의 임계값을 $ 10^{80} $ 에서 $ r = 3 $ 에서 $ p > 1.7 \times 10^{11} $ 로 극적으로 낮춘다.
• Runge의 방법과 Mazur의 정수성 진술을 적용하여 $ X_0^+(p^r) $ 상의 비캐우스점, 비CM 유리점의 높이를 바운드한다.
• Gross 벡터 방법을 기반으로 한 컴퓨터 알고리즘을 개발하여 $ 11 \leq p \leq 10^{14} $, $ p \neq 13 $ 범위의 소수를 체계적으로 제거한다.
• 중국인의 나머지 정리와 작고 계수의 클래스 수를 가진 허수 정수환에서의 분할을 고려하여 소수를 식별한다.
• 가짜소수 테스트와 Kronecker 기호 검사를 활용하여 비자명한 유리점이 존재할 수 있는 후보 소수를 효율적으로 걸러낸다.
• 이론적 바운드와 계산적 검증을 융합하여 $ p \geq 11 $, $ p \neq 13 $ 의 모든 소수를 커버한다. 유일한 예외는 $ p = 13 $ 이다.

실험 결과

연구 질문

• RQ1 모든 소수 $ p \geq 11 $, $ p \neq 13 $ 과 정수 $ r > 1 $ 에 대해 $ X_0^+(p^r) $ 상의 유리점이 모두 자명한가?
• RQ2 이론적 자명성 바운드를 $ 10^{80} $ 에서 계산적으로 가능한 범위로 낮출 수 있는가?
• RQ3 Gross 벡터 기반의 계산 알고리즘이 $ p \leq 10^{14} $, $ p \neq 13 $ 에서 비자명한 유리점을 효과적으로 배제할 수 있는가?
• RQ4 $ X_0^+(13^2) $ 의 상태는 어떠한가? 왜 이 경우는 여전히 열려 있는가?

주요 결과

• 모든 소수 $ p \geq 11 $, $ p \neq 13 $ 과 모든 정수 $ r > 1 $ 에 대해 집합 $ X_0^+(p^r)(\mathbb{Q}) $ 는 자명하며, 이러한 유리점의 분류를 완성한다.
• Gaudron과 Rémond의 이론적 바운드는 $ r = 3 $ 에서 자명성의 임계값을 $ p > 1.7 \times 10^{11} $ 로 낮춘다. 이는 나머지 범위를 계산적으로 접근 가능하게 만든다.
• Gross 벡터 방법 기반의 알고리즘이 간단한 계산만으로 $ p \in [11, 10^{14}] $, $ p \neq 13 $ 에서 비자명한 유리점을 효과적으로 배제한다.
• $ p = 13 $ 에서 곡선 $ X_0^+(13^2) $ 는 종수 3이며, 7개의 자명한 유리점이 알려져 있지만, 비자명한 점의 존재 여부는 아직 입증되지 않았다.
• 논문은 $ p = 2, 3, 5, 7 $ 에 대해 각각 $ r \geq 6, 4, 4, 3 $ 인 모든 경우에서 $ X_0^+(p^r)(\mathbb{Q}) $ 가 자명함을 확인한다. 유일한 예외는 $ \mathbb{P}^1 $-동형사상이 발생하는 작은 $ r $ 에서이다.
• 현재까지 해결되지 않은 유일한 경우는 $ X_0^+(13^2) $ 이며, 이 곡선에는 7개의 알려진 유리점이 존재하지만, 이것이 유일한 점인지 여부는 아직 입증되지 않았고, 효과적인 Mordell 바운드도 아직 확보되어 있지 않다.