[논문 리뷰] On the quantitative dynamical Mordell-Lang conjecture

Alina Ostafe, Min Sha|arXiv (Cornell University)|2015. 01. 12.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 3

한 줄 요약

이 논문은 다항형 사상에 대한 아핀 공간에서의 동적 Mordell-Lang 추측에 대해 처음으로 정량적 경계를 확립한다. 주로 다항형 사상에 의한 궤도와 초곡면의 교차 크기에 대한 명시적 상한을 제공하며, 특히 서로 다른 곱셈적 독립인 초기점을 가진 단항식 시스템에 대해, 지수다항식과 로그 선형형식에 관한 결과를 활용한다.

ABSTRACT

The dynamical Mordell-Lang conjecture concerns the structure of the intersection of an orbit in an algebraic dynamical system and an algebraic variety. In this paper, we bound the size of this intersection for various cases when it is finite.

연구 동기 및 목표

• 다항형 동적 시스템의 궤도와 대수적 초곡면 간의 교차 크기에 대한 균일한 정량적 경계를 확립하기.
• 이전의 동적 Mordell-Lang 추측 결과를 초평면과 균일한 지수 지ap 함수를 넘어서, 서로 다른 지수를 가진 일반적인 단항식 시스템으로 확장하기.
• 초곡면의 정의 다항식에 포함된 단항식의 수에 따라 명시적인 상한을 제공하기.
• 유한 생성된 (C*)^m의 부분군 기반 방법과 다항지수 방정식의 해에 대한 적용 가능성 탐색하기.
• 다항형 자기동형사상에 의한 동치 변환을 통해 비단항식 시스템으로 결과를 확장할 수 있는지 조사하기.

제안 방법

• Schlickewei와 Schmidt의 로그 선형형식에 관한 결과에서 유도된 다항지수방정식의 정수해에 대한 추정을 사용하기.
• 특수한 거듭제곱 지도 경우에 대해 [1, 2, 19]에서 얻은 비퇴화된 선형 재귀수열의 영점 개수에 대한 균일한 경계를 활용하기.
• Corollary 2.7을 적용하여 (C*)^m의 유한 생성된 부분군 내의 해를 유계화하기. 이 경우 모든 반복값 Φ^(n)(w)이 하나의 유한 생성된 부분군에 속해 있어야 한다.
• 단항식 역학을 통해 궤도 교차 문제를 지수디오판틴 방정식계로 변환하기.
• 좌표의 곱셈적 독립성을 활용하여 해의 구조가 유한 생성된 군 내에 제약을 받도록 보장하기.
• 지수다항식의 이론과 그 영점 집합을 적용하여 G(Φ^(n)(w)) = 0의 해의 개수를 유계화하기.

실험 결과

연구 질문

• RQ1 단항식 사상에 의한 궤도가 아핀 공간의 초곡면과 최대 몇 번 교차할 수 있는가?
• RQ2 다양한 초기점과 초곡면에 대해 S_w(Φ,V)의 교차 집합 크기에 대해 균일한 상한을 확립할 수 있는가?
• RQ3 초곡면의 정의 다항식 G에 포함된 단항식의 수가 교차 크기에 어떤 영향을 미치는가?
• RQ4 유한 생성된 (C*)^m의 부분군 기반 방법이 비단항식 동적 시스템으로 얼마나 넓게 확장될 수 있는가?
• RQ5 기법을 두 개의 서로 다른 궤도의 동기화된 교차를 유계화하는 데에 적응시킬 수 있는가?

주요 결과

• d ≥ 2인 대각선 단항식 사상 Φ = (X₁^d, ..., Xₘ^d)와 임의의 초곡면 V(다항식 G로 정의되며 𝔫(G)개의 단항식을 가짐)에 대해, w의 좌표가 곱셈적 독립이면 교차 크기 |S_w(Φ,V)|는 최대 (8𝔫(G))^{4𝔫(G)^5}이다.
• 이 경계는 G에 포함된 단항식의 수에만 의존하며, 구체적인 계수나 차수에 따라 달라지지 않는다는 점에서 균일하다.
• Silverman와 Viray의 거듭제곱 지도와 초평면에 대한 결과를 일반적인 초곡면과 서로 다른 지수를 가진 단항식 시스템으로 확장한 결과이다.
• 이 방법은 궤도가 고정된 (C*)^m의 유한 생성된 부분군에 속해 있다는 조건에 의존하며, 이는 단항식 사상에서는 성립하지만 일반적인 경우에서는 성립하지 않는다.
• 특수한 경우, 예를 들어 w의 좌표의 절대값이 곱셈적 독립이면서 한 단항식이 모듈러스에서 지배적인 경우, 경계를 개선할 수 있다.
• 두 궤도의 동기화된 교차를 유계화하기 위해 문제를 고차원 시스템에 통합하고 동일한 기법을 적용하는 방식으로 기법을 적응시킬 수 있다.