[논문 리뷰] Rational 6-cycles under iteration of quadratic polynomials

Michael Stoll|ArXiv.org|2008. 03. 19.

Coding theory and cryptography참고 문헌 8인용 수 9

한 줄 요약

이 논문은 종수 4 아벨 다양체에 대한 Birch와 Swinnerton-Dyer 추측을 가정하여, 이차 다항식의 반복 $x \mapsto x^2 + c$ 에서 유리수 6-사이클이 존재하지 않음을 조건부로 증명한다. 다이나믹스 모듈라 곡선 $X^{{\text{dyn}}}_0(6)$ 의 아벨 다양체를 이용해, 이 곡선 위의 모든 유리점이 쿠스프임을 보여, 주기 6 사이클에 대한 비쿠스프 유리해가 존재하지 않음을 시사한다.

ABSTRACT

We present a proof, which is conditional on the Birch and Swinnerton-Dyer Conjecture for a specific abelian variety, that there do not exist rational numbers x and c such that x has exact period N = 6 under the iteration x |-> x^2 + c. This extends earlier results by Morton for N = 4 and by Flynn, Poonen and Schaefer for N = 5.

연구 동기 및 목표

• 이차 다항식 반복 $x \mapsto x^2 + c$ 에서 유리수 6-사이클이 존재하지 않음을 증명하고, 이는 이전의 $N=4$ 및 $N=5$ 경우의 결과를 확장하기 위함이다.
• 다이나믹스 모듈라 곡선 $X^{{\text{dyn}}}_0(6)$ 위의 유리점 집합을 규명하기 위함이다. 이 곡선은 유리수 6-사이클을 매개변수화한다.
• 모든 유리점이 쿠스프임을 증명하여, 주기 6 사이클에 대한 비쿠스프 유리해가 존재하지 않음을 시사하기 위함이다.
• Birch와 Swinnerton-Dyer 추측을 이용해 $X^{{\text{dyn}}}_0(6)$ 의 아벨 다양체의 모델-베일 랭크를 유계함으로써, Chabauty 유사 방법을 적용하기 위함이다.
• 곡선 $X^{{\text{dyn}}}_0(6)$ 가 표준 추측 하에 유리점을 명시적으로 계산할 수 있는 첫 번째 비특수(비하이퍼에일리프틱, 비모듈라, 비시무라) 종수 $\geq 4$ 곡선임을 보여주기 위함이다.

제안 방법

• 반복에서 정확히 주기 6을 갖는 쌍 $(x,c)$ 를 매개변수화하는 아핀 곡선 $Y^{{\text{dyn}}}_1(6)$ 을 구성한다. 이는 식 $\Phi^*_6(x,c) = 0$ 을 사용한다.
• 다이나믹스 맵 $x \mapsto x^2 + c$ 가 유도하는 자명한 자기동형사상 $\sigma$ 에 의해 생성되는 몫을 취해, $X^{{\text{dyn}}}_0(6) = X^{{\text{dyn}}}_1(6)/\langle\sigma\rangle$ 를 정의한다. 이는 종수 4 곡선을 얻는다.
• 특이점을 해결하고 뉴턴 다각형 기법을 사용하여 $X^{{\text{dyn}}}_0(6)$ 의 매끄러운 프로젝티브 모델을 계산한다. 결과적으로 평면 모델 $F(u,v) = 0$ 을 얻는다.
• 10개의 유리점을 $X^{{\text{dyn}}}_0(6)$ 에서 식별한다. 이들은 모델-베일 군 $J(\mathbb{Q})$ 에서 랭크 3인 토션-free 부분군 $G$ 를 생성한다.
• $X^{{\text{dyn}}}_0(6)$ 의 아벨 다양체 $J$ 의 $L$-급수를 고정밀도로 계산한다(183,997 계수). 함수방정식을 확인하고 $L^{(3)}(J,1) \neq 0$ 이라는 것을 보여준다.
• 약한 Birch와 Swinnerton-Dyer 추측을 적용한다: $L^{(3)}(J,1) \neq 0$ 이므로, $J(\mathbb{Q})$ 의 랭크는 최대 3이다. 이는 $G$ 가 $J(\mathbb{Q})$ 의 유한지수 부분군임을 시사한다.

실험 결과

연구 질문

• RQ1 반복 $x \mapsto x^2 + c$ 에서 유리수 6-사이클이 존재하는가?
• RQ2 다이나믹스 모듈라 곡선 $X^{{\text{dyn}}}_0(6)$ 위의 유리점 집합을 명시적으로 결정할 수 있는가?
• RQ3 Birch와 Swinnerton-Dyer 추측은 고종수 다이나믹스 곡선의 아벨 다양체의 모델-베일 랭크를 얼마나 잘 유계할 수 있는가?
• RQ4 모든 $X^{{\text{dyn}}}_0(6)$ 의 유리점이 쿠스프인가? 이는 비쿠스프 유리수 6-사이클이 존재하지 않음을 의미하는가?
• RQ5 이 논문에서 사용된 방법은 $N > 6$ 인 유리수 $N$-사이클의 존재하지 않음을 일반화할 수 있는가?

주요 결과

• 곡선 $X^{{\text{dyn}}}_0(6)$ 위의 모든 유리점은 쿠스프이다. 이는 주기 6 사이클에 대한 비쿠스프 유리해가 존재하지 않음을 의미한다.
• 아벨 다양체의 모델-베일 군 $J(\mathbb{Q})$ 는 $s=1$ 에서 $L$-급수의 세 번째 도함수 $L^{(3)}(J,1) \neq 0$ 이므로 랭크가 최대 3이다.
• 10개의 쉽게 찾을 수 있는 유리점이 생성하는 부분군 $G \subset J(\mathbb{Q})$ 는 랭크 3이며, 약한 Birch와 Swinnerton-Dyer 추측을 가정하면 $J(\mathbb{Q})$ 의 유한지수 부분군이다.
• $J$ 의 $L$-급수는 183,997 계수까지 계산되었고, 수치적 검증을 통해 $L^{(3)}(J,1) = 0.83601\dots \neq 0$ 이라는 것이 확인되었다. 이는 랭크 유계를 지지한다.
• $X^{{\text{dyn}}}_0(6)$ 는 표준 추측 하에 유리점을 명시적으로 계산한 첫 번째 비특수(비하이퍼에일리프틱, 비모듈라, 비시무라) 종수 $\geq 4$ 곡선이다.
• 이 증명은 $J$ 의 $L$-급수가 전체 함수이자 함수방정식을 만족하고, $J$ 에 대해 약한 Birch와 Swinnerton-Dyer 추측이 성립한다는 가정에 의존한다.