[논문 리뷰] p-adic logarithms for polynomial dynamics

Dragos Ghioca, Thomas J. Tucker|ArXiv.org|2007. 05. 28.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 4

한 줄 요약

이 논문은 p-진 수체 위에서 다항함수의 작용에 대해 Chabauty와 Coleman의 영향을 받은 p-진 로그함수와 해석적 방법을 사용하여 Mordell-Lang 추측의 동역학적 판본을 수립한다. 만약 아핀 부분다양체가 다항함수 작용에 관하여 정규인 양의 차원 부분다양체를 포함하지 않는다면, 그 다양체와 궤도의 교차는 유한함을 증명한다—이것은 산술 동역학 분야에서 더 넓은 추측에 대한 핵심 단계를 제공한다.

ABSTRACT

We prove a dynamical version of the Mordell-Lang conjecture for subvarieties of the affine space A^g over a p-adic field, endowed with polynomial actions on each coordinate of A^g. We use analytic methods similar to the ones employed by Skolem, Chabauty, and Coleman for studying diophantine equations.

연구 동기 및 목표

• 다항함수의 작용에 대해 아핀 공간 위에서 p-진 수체에서의 Mordell-Lang 추측의 동역학적 유사체를 수립하는 것.
• 양의 차원 정규 부분다양체를 갖지 않는 부분다양체가 궤도와 유한히 교차한다는 추측 1.2를 다루는 것.
• 특히 Diophantine 기하학에서의 Chabauty–Coleman 방법을 다항함수 동역계에 확장하는 분석 기법을 적용하는 것.
• 만약 궤도의 점들이 부분다양체 안에 무한히 많다면, 그 부분다양체에는 양의 차원 정규 부분다양체가 존재함을 보이는 것.

제안 방법

• 모든 좌표 다항함수와 관련된 p-진 로그함수 및 지수함수를 이용하여 안착 고정점 근처에서 동역계를 선형화하는 것.
• p-진 로그함수를 적용하여 궤도를 p-진 벡터 공간 안의 직선으로 변환하고, 해석함수 이론을 적용하는 것.
• 부분다양체의 소멸 아이디얼을 로그함수의 역함수와 궤도를 따라가는 지수함수와 복합하여 멱급수 F(u)를 구성하는 것.
• 해석함수의 항등정리 적용: F가 축적점이 있는 집합에서 0이면, F ≡ 0가 된다.
• F가 이웃에서 0이면 궤도의 아핀 폐쇄가 다항함수 작용에 관하여 정규인 양의 차원 부분다양체를 포함함을 보이는 것.
• 이를 통해 궤도 교차가 유한하지 않다면, 부분다양체는 정규 부분다양체를 가져야 하며, 이는 가정과 모순됨을 결론짓는 것.

실험 결과

연구 질문

• RQ1 아핀 공간의 부분다양체가 다항함수 궤도와 유한히 교차하는 조건은 무엇인가?
• RQ2 p-진 해석적 방법을 다항함수 동역계에서의 유한성 결과를 증명하는 데 어떻게 적용할 수 있는가?
• RQ3 만약 부분다양체 안에 무한히 많은 궤도 점이 존재한다면, 그 안에 양의 차원 정규 부분다양체가 존재하는가?
• RQ4 p-진 로그함수를 어떻게 사용하여 다항함수 동역계에서 안착 고정점 근처의 궤도를 선형화하고 분석할 수 있는가?

주요 결과

• C_p 위에서 A^g의 부분다양체 V가 좌표 다항함수 작용에 관하여 정규인 양의 차원 부분다양체를 포함하지 않는다면, A^g의 임의의 점의 궤도는 V와 유한히 교차한다.
• 이 증명은 p-진 디스크 위에서 정의된 해석함수 F(u)를 구성하는 데 의존하며, 이 함수는 궤도 점들의 무한집합에서 0이 되며, 항등정리에 의해 F ≡ 0가 된다.
• 이것은 궤도가 로그함수 및 지수함수를 통한 선형 매개변수화의 이미지로 정의되는 부분다양체에 포함됨을 의미하며, 이 부분다양체는 동역계에 관하여 정규여야 한다.
• 궤도의 아핀 폐쇄는 다항함수 작용에 관하여 정규인 양의 차원 부분다양체를 포함하며, 교차가 무한하다면 이는 가정과 모순된다.
• 각 다항함수의 다항계수 |a1| < 1 이고 계수들이 p-진 노름에서 유계이며, 수렴이 안착 고정점으로 이르는 조건 하에서 결과가 성립한다.
• 보조정리 4.3은 다항함수가 C_p 위에서 정의되고 |a1| < 1이며 고차항 계수가 유계이면, p-진 정수에서 시작하는 궤도의 교차가 유한함을 확인한다.