Local height arguments toward the dynamical Mordell-Lang conjecture

기술적 요약: 동역학적 모르델-랑 추측을 향한 국소 높이 논증

문제 제기
본 논문은 복소 아핀 공간 $\mathbb{A}^N_{\mathbb{C}}$의 정칙 사상에 대한 동역학적 모르델 - 랑 (DML) 추측을 조사한다. DML 추측은 준사영 다양체 $X$의 사상 $f$에 대해, 점 $x$가 닫힌 부분다양체 $V$로 되돌아오는 집합 $\{n \in \mathbb{N} \mid f^n(x) \in V\}$이 유한 개의 산술 수열의 합집합임을 주장한다. 이 추측은 특정 경우 (예: 에탈 사상 또는 $\mathbb{A}^2$) 에는 알려져 있으나, 본 연구는 "차수 간격 (degree gap)"을 가진 특정 클래스의 정칙 사상에 대해 $V$가 곡선인 경우 (DML(1) 성질) 에 초점을 맞춘다.

저자들은 $\mathbb{P}^N$으로 확장되는 정칙 사상 $f: \mathbb{A}^N \to \mathbb{A}^N$을 고려한다. 이러한 사상은 $f(x) = (f_1+g_1, \dots, f_N+g_N)$ 형태를 가지며, 여기서 $f_i$는 공통 영점이 없는 $d$차 동차 다항식이고, $g_i$는 $d-k$ 이하의 차수를 갖는 다항식이다. 정수 $k$를 "차수 간격"이라 한다. 무한원평면 $H_\infty$에서 유도된 사상 $f_\infty$의 거동이 결정적이다. 핵심 문제는 $k$와 $f_\infty$의 분기 (ramification) 에 관한 어떤 조건 하에서 DML(1) 성질이 성립하는지 결정하고, 주기 곡선들을 특징짓는 것이다.

방법론
저자들은 이전 연구들 (예: Ghioca, Tucker, Xie 의 연구) 에서 사용된 시스템이 "두 가지 다른 성장 속도"를 허용하도록 "극화 (polarized)"되어 있다는 점에 의존하는 전역 높이 논증과 구별되는 "국소 높이 논증"을 채택한다. 여기서 연구된 시스템들은 극화되어 있으므로 전역 높이 논증은 실패한다. 대신 저자들은 다음을 활용한다:

1. 산술 함수체에 대한 아라켈로프 이론: $\mathbb{C}$ 위에서 작업하기 위해, 모든 데이터가 정의된 산술 함수체 $K$ ($\mathbb{Q}$의 유한 생성 확대) 로 하강한다. Vojta 와 Moriwaki 가 개발한 아라켈로프 이론을 활용하여, 절대값의 곱셈 공식과 $M_K$라는 측정 공간을 제공한다.
2. 국소 높이 (Weil 함수): 점들에 대한 Weil 함수 $\lambda_P$와 무한원평면 $H_\infty$에 대한 Weil 함수 $\lambda_{H_\infty}$를 장소 (places) 의 집합 $S$ 위에서 정의한다. 이러한 함수들은 점들이 특정 부분다양체에 얼마나 근접하는지를 측정한다.
3. 로트 (Roth) 정리: 산술 함수체 위의 로트 정리 (Vojta 에 의해 확립됨) 가 핵심 도구이다. 저자들은 이를 곡선 위의 점들의 분포를 제어하는 데 사용한다. 구체적으로, 곡선이 "충분히 수직적 (sufficiently vertical)"일 때 (즉, 곡선 위의 점들이 투영에 비해 특정 방식으로 무한원평면에 접근할 때), 그 곡선은 직선이어야 함을 증명한다.
4. 노스컷 (Northcott) 의 유한성 성질: 이는 유한한 높이를 갖는 주기점들의 유한성을 확립하는 데 사용되며, 무한원점들의 역궤적이 주기점들의 유한 집합임을 보장한다.
5. 삼각부등식과 반복: 증명 과정은 곡선 $C$의 역상들의 열 (기호 $C_{-n}$) 을 구성하고, 차수 간격 조건 하에서 이러한 곡선들이 $H_\infty$와의 교차점에서 점점 더 "수직적"이 됨을 보인다.

주요 기여 및 결과

• 주요 정리 (정리 1.3): $k$의 차수 간격을 갖는 $\mathbb{A}^N$의 정칙 사상 $f$를 둔다. 만약 $C$가 $f$의 궤적과 무한히 교차하는 기약 닫힌 부분곡선이고, $k > 2 \max_{P \in I_0} e_{f_\infty}(P)$ (여기서 $I_0$는 교차점들 $C \cap H_\infty$의 순방향 궤적이며 $e_{f_\infty}(P)$는 $P$에서의 $f_\infty$의 중복도) 라면, 다음이 성립한다:

  1. 교차 $C \cap H_\infty$는 1 개 또는 2 개의 점으로 구성되며, 이들은 $f_\infty$ 하에서 주기적이다.
  2. $C$는 "수직선" (원점을 지나는 직선) 이다.

• DML(1) 성질 (정리 1.7): 동일한 조건 ($k > 2 \max_{P \in \text{Per}(f_\infty)} e_{f_\infty}(P)$) 하에서 사상 $f$는 DML(1) 성질을 만족한다. 또한, 모든 기약 $f$-주기 곡선은 수직선이다.

• 예제의 존재성 (명제 1.6): 저자들은 $H_\infty \cong \mathbb{P}^{N-1}$의 일반적 $d$차 사상 $f_\infty$에 대해 최대 중복도가 $(N-1)! \cdot 2^{N-1}$로 제한됨을 증명한다. 결과적으로 차수 간격 $k$를 $(N-1)! \cdot 2^N + 1$로 선택하면, 일반적 $f_\infty$에 대해 주요 정리의 조건이 만족된다.

• 최적성 (예제 1.8): 본 논문은 조건 $k > 2 \max e_{f_\infty}(P)$가 최적임을 보여주는 예제들을 제공한다. 구체적으로, 부등식을 $\ge$로 완화하면 수직선이 아닌 불변 곡선들이 존재한다.

• 주기 곡선의 특징화: 부산물로서 저자들은 그러한 사상에 대한 주기 곡선들을 완전히 특징짓는다: 그것들은 엄격하게 수직선들이다. 이러한 직선들의 합집합이 자리스키 조밀 (Zariski dense) 하다면, 저차항 $g_i$는 소멸해야 한다.

의의 및 주장
본 논문은 가시적인 차수 간격을 갖는 극화 시스템에 맞춘 "국소 높이 논증"을 도입함으로써 고차원에서의 DML 추측에 대한 이해를 진전시켰다고 주장한다. 그 의의는 다음과 같다:

1. 등방성 깨기: 차수 간격과 분기에 대한 조건은 시스템의 "등방성 (isotropy)"을 깨뜨리는 메커니즘으로 해석되며, 이를 통해 로트 정리를 적용하는 데 필요한 두 가지 다른 국소 높이 성장 속도를 찾을 수 있게 한다.
2. 완전한 분류: DML 성질만을 확립하는 이전 연구들과 달리, 이 접근법은 증명 과정의 직접적인 결과로서 모든 주기 곡선들을 명시적으로 결정 (수직선으로 식별) 할 수 있게 한다.
3. 최적성: 저자들은 조건들의 날카로움을 명시적으로 다루어, 주기 곡선의 기하학적 강성 (rigidity) 을 강제하기 위해 엄격한 부등식이 필요함을 보인다.
4. 양수 표수에서의 한계: 본 논문은 그들의 방법이 시겔 (Siegel) 정리와 로트 정리에 크게 의존하며, 양수 표수에서는 동일한 형태로 성립하지 않는다고 지적한다. 그들은 수직선이 아닌 불변 곡선들이 존재하는 양수 표수에서의 반례를 제시하여, 해당 설정을 위해서는 새로운 방법론이 필요함을 시사한다.

이 연구는 이전의 높이 기반 논증들 (특히 [XYb] 를 참조) 의 후속작으로 제시되지만, 차수 간격을 가진 정칙 사상의 특정 제약에 맞게 조정되었으며, 복소 사례를 처리하기 위해 산술 함수체 설정을 활용한다.