[논문 리뷰] Cycles of Quadratic Polynomials and Rational Points on a Genus-Two Curve

E. V. Flynn, Bjorn Poonen외 1명|ArXiv.org|1995. 08. 04.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 7

한 줄 요약

이 논문은 ℚ 위에서 이차 다항식에 대해 주기 5의 유리수 반복점이 존재하지 않음을 증명하며, 모터턴의 주기 4 결과를 확장한다. 주기 5 순환과 관련된 종수 14 곡선을 사용하여, 2-강하법과 챠보르티-콜먼 방법을 통해 그 종수 2 몫 위의 유리점들을 계산한다. 이는 하이퍼엘리ptic 곡선 위의 유리점에 대한 계산 모델을 수립하고, 무한히 많은 N에 대해 갈루아-안정 순환주기가 존재함을 보이며, 곡선의 비모듈라리티를 확인한다.

ABSTRACT

It has been conjectured that for $N$ sufficiently large, there are no quadratic polynomials in $\bold Q[z]$ with rational periodic points of period $N$. Morton proved there were none with $N=4$, by showing that the genus~$2$ algebraic curve that classifies periodic points of period~4 is birational to $X_1(16)$, whose rational points had been previously computed. We prove there are none with $N=5$. Here the relevant curve has genus~$14$, but it has a genus~$2$ quotient, whose rational points we compute by performing a~$2$-descent on its Jacobian and applying a refinement of the method of Chabauty and Coleman. We hope that our computation will serve as a model for others who need to compute rational points on hyperelliptic curves. We also describe the three possible Gal$_{\bold Q}$-stable $5$-cycles, and show that there exist Gal$_{\bold Q}$-stable $N$-cycles for infinitely many $N$. Furthermore, we answer a question of Morton by showing that the genus~$14$ curve and its quotient are not modular. Finally, we mention some partial results for $N=6$.

연구 동기 및 목표

• 충분히 큰 N에 대해 ℚ 위의 이차 다항식이 주기 N의 유리수 반복점을 가지지 않는다는 추측을 주기 N=5의 경우에 대해 증명함으로써 해결한다.
• 이차 다항식의 주기 5 순환에서 유도된 고종수 14의 하이퍼엘리ptic 곡선 위의 유리점들을 계산한다.
• 2-강하법과 정교화된 챠보르티-콜먼 기법을 사용하여 하이퍼엘리ptic 곡선 위의 유리점에 대한 계산 프레임워크를 개발하고 구현한다.
• 갈루아-안정 반복 순환의 구조를 조사하고, 이러한 순환주기가 유한히 많은 N에 대해 존재하는지 여부를 규명한다.
• 모터턴의 곡선의 모듈라리티 문제를 다루며, 종수 14 곡선과 그 몫이 모듈라리티가 아님을 증명한다.

제안 방법

• 저자들은 ℚ[z]에서 이차 다항식의 주기 5 유리수 반복점을 분류하는 대수적 곡선을 구성하며, 이 곡선의 종수는 14이다.
• 이 곡선의 종수 2 몫을 식별하여 유리점 계산에 더 적합한 형태로 변환한다.
• 종수 2 몫의 아벨-다중체 위에서 2-강하법을 수행하여 모델-베일 랭크의 상한을 구한다.
• p-진 적분을 사용한 정교화된 챠보르티-콜먼 방법을 적용하여 종수 2 몫 위의 전체 유리점 집합을 계산한다.
• 종수 2 몫 위의 유리점들을 원래 종수 14 곡선으로 올려주어 주기 5 순환의 구조를 분석한다.
• 곡선의 자기동형군과 갈루아 표현의 군론적 분석을 통해 갈루아 작용이 순환에 미치는 영향을 연구한다.

실험 결과

연구 질문

• RQ1 유리수 위의 이차 다항식에 대해 주기 5의 유리수 반복점이 존재하는가?
• RQ2 강하법과 p-진 방법을 사용하여 종수 14의 하이퍼엘리ptic 곡선 위의 유리점들을 효과적으로 계산할 수 있는가?
• RQ3 갈루아-안정 반복 순환주기가 무한히 많은 N에 대해 존재하는가?
• RQ4 종수 14 곡선 또는 그 종수 2 몫이 모듈라리한가?
• RQ5 유리수 이차 사상의 맥락에서 가능한 갈루아-안정 5순환은 무엇인가?

주요 결과

• ℚ 위의 이차 다항식에 대해 주기 5의 유리수 반복점은 존재하지 않으며, 이는 N=5에 대한 추측을 확인한다.
• 종수 2 몫 곡선 위의 유리점들이 2-강하법과 챠보르티-콜먼 방법을 통해 완전히 계산되었다.
• 저자들은 Gal(ℚ̄/ℚ) 작용 하에 있는 세 가지 가능한 갈루아-안정 5순환에 대한 상세한 분류를 제공한다.
• 갈루아-안정 N-순환주기가 무한히 많은 N에 대해 존재함을 보이며, 기존의 예시들을 확장한다.
• 종수 14 곡선과 그 종수 2 몫은 모듈라리티가 아니며, 모터턴이 제기한 질문에 답한다.
• N=6에 대한 부분 결과를 확보하였으나, 완전한 분류는 아직 열려 있다.