Dynamical Mordell-Lang problem for automorphisms of surfaces in positive characteristic

Junyi Xie 와 She Yang 의 논문 "양수 표수에서 곡면의 자동사상에 대한 동역학적 Mordell–Lang 문제"에 대한 상세한 기술적 요약입니다.

1. 문제 제기

이 논문은 양수 표수 ($p > 0$) 의 맥락에서 동역학적 Mordell–Lang (DML) 추측을 다룹니다.

• 추측: $K$ 위의 다양체 $X$와 엔드모피즘 $f$에 대해, "귀환 집합" $S = \{n \in \mathbb{Z} \mid f^n(x) \in V(K)\}$ (여기서 $x \in X(K)$ 이고 $V \subseteq X$는 닫힌 부분다양체) 는 유한 개의 산술 급수의 합집합이어야 합니다.
• 도전 과제: 이 추측은 표수 0 에서 많은 경우 (예: 에탈 엔드모피즘, $\mathbb{A}^2$) 에 성립하지만, 양수 표수에서는 성립하지 않습니다. 표수 $p$에서는 귀환 집합이 훨씬 더 복잡해질 수 있으며, $q$가 $p$의 거듭제곱일 때 $\{c_0 + c_1 \frac{q^m}{q-1} \mid m \in \mathbb{N}\}$ 형태의 집합을 포함할 수 있습니다.
• 구체적 목표: 저자들은 양수 표수에서 프로젝티브 곡면의 자동사상에 대한 DML 문제를 해결하여, 이러한 귀환 집합의 정확한 구조를 규명하는 것을 목표로 합니다.

2. 방법론

저자들은 대수기하학, 동역학계 이론, 산술 높이 (arithmetic height) 기계를 결합하여 사용합니다. 증명 전략은 곡면 자동사상을 동역학적 차수에 따라 분류하고 각 클래스에 특정 도구를 적용하는 것을 포함합니다.

A. 자동사상의 분류

저자들은 큰 (big) 그리고 네프 (nef) 인 선다발 $L$에 대한 교차수 $((f^n)^*L \cdot L)$의 증가에 따라 곡면 $X$의 자동사상 $f$를 동역학적 차수 $\lambda_1(f)$에 따라 분류합니다:

1. 유계 차수 (타원형): 수열이 유계입니다.
2. 포물선형: $\lambda_1(f) = 1$이지만 수열은 유계가 아닙니다.
3. 쌍곡형: $\lambda_1(f) > 1$입니다.

*참고: 경우 (i) 와 (iii) 는 기존 문헌에서 이미 해결되었습니다. 이 논문의 핵심 기여는 경우 (ii): 포물선형 자동사상에 대한 증명입니다.*

B. 주요 도구

1. Gizatullin 정리: 매끄러운 프로젝티브 곡면의 임의의 포물선형 자동사상이 $\pi: X \to C$ (여기서 $C$는 곡선) 형태의 섬유화를 보존한다는 중요한 구조적 결과입니다. 이를 통해 동역학을 섬유별로 분석할 수 있습니다.
2. Weil 높이 기계: 저자들은 점의 "크기"를 측정하기 위해 높이 함수를 활용합니다. 그들은 포물선형 자동사상의 경우 궤도의 서로 다른 성분들이 서로 다른 다항식적 속도로 증가함을 입증합니다.
   • 두 가지 다른 증가 속도 (예: 선형 대 2 차, 또는 2 차 대 4 차) 를 찾아냄으로써, 궤도가 특정 대수적 구조에 갇히지 않는 한 부분다양체와의 교집합은 유한해야 함을 증명할 수 있습니다.
3. Albanese 사상 논증: Albanese 사상이 전사 (surjective) 인 곡면의 경우, 문제는 아벨 다양체나 타원 곡선 위의 자동사상 연구로 축소됩니다.
4. 아벨 곡면으로의 축소: 아벨 곡면의 경우는 자동사상을 이동과 군 자동사상으로 분해하고 타원 곡선의 특정 구조를 활용하여 명시적으로 다룹니다.

3. 주요 기여 및 결과

주요 정리 (정리 1.1)

프로젝티브 곡면 $X$, 자동사상 $f$, 닫힌 부분다양체 $V$, 그리고 점 $x$에 대해, 귀환 집합 $S = \{n \in \mathbb{Z} \mid f^n(x) \in V(K)\}$는 다음과 같습니다:

• 유한 개의 산술 급수의 합집합.
• 그리고 $q$가 $p$의 거듭제곱이고 $c_0, c_1$이 $q-1 \mid c_0 + c_1$을 만족하는 정수일 때, $\{c_0 + c_1 \frac{q^m}{q-1} \mid m \in \mathbb{N}\}$ 형태의 유한 개 집합.
• 중요한 조건: 이러한 "p-집합"(두 번째 유형) 은 $f$가 유계 차수일 때 만 나타납니다. $f$가 포물선형이거나 쌍곡형이면, 귀환 집합은 엄밀히 유한 개의 산술 급수의 합집합입니다.

정리 1.3 (포물선형 경우)

저자들은 $f$가 매끄러운 프로젝티브 곡면의 포물선형 자동사상일 때, 귀환 집합이 정확히 유한 개의 산술 급수의 합집합임을 증명합니다 (어떤 "p-집합"도 나타나지 않음).

• 증명 전략: 그들은 Gizatullin 섬유화 $\pi: X \to C$를 사용합니다.
  • 기저 곡선 $C$의 종수가 1 보다 크면, 궤도는 조밀하지 않습니다.
  • $C$가 $\mathbb{P}^1$이거나 타원 곡선인 경우, 그들은 궤도 섬유를 따라 그리고 기저 곡선을 따라 점의 증가가 궤도가 주기적이거나 교집합이 유한하지 않는 한 무한한 교집합과 양립할 수 없음을 보이는 높이 함수를 구성합니다.

Corollary 1.2 (고차원)

이 결과는 쌍곡성 조건을 통해 곡면 경우로 축소함으로써, 닫힌 부분곡선과 교차할 때 프로젝티브 3 차 다양체의 코호몰로지 쌍곡형 자동사상으로 확장됩니다.

정리 6.1 (역문제)

저자들은 어떤 집합들이 실제로 귀환 집합으로 실현될 수 있는지를 결정합니다.

• 궤도가 조밀하지 않으면, 그 집합은 유한 개의 산술 급수의 합집합입니다.
• 궤도가 조밀하면, 그 집합은 유한 개의 산술 급수의 합집합 그리고 위에서 설명한 특정 "p-집합"이 될 수 있습니다.
• 그들은 모든 이러한 형태의 집합이 곡면 자동사상에 의해 실현될 수 있음을 증명하여, 분류가 완전함을 보여줍니다.

4. 의의

1. 어려운 경우의 해결: "p-집합"의 존재로 인해 양수 표수에서의 DML 문제는 notoriously 어렵습니다. 이 논문은 동역학계의 근본적인 클래스인 곡면 자동사상에 대한 문제를 완전히 해결합니다.
2. 구조적 통찰: 이는 날카로운 이분법을 확립합니다: "p-집합"(양수 표수에만 고유한 이국적인 귀환 집합) 은 유계 차수(타원형) 동역학과 엄격하게 연관됩니다. 포물선형 및 쌍곡형 동역학의 경우, 양수 표수 설정임에도 불구하고 행동은 "고전적인" 산술 급수 구조로 회귀합니다.
3. 방법론적 발전: 이 논문은 높이 논증을 제로 엔트로피 (포물선형) 시스템에 성공적으로 적용합니다. 일반적으로 높이 논증은 궤도를 분리하기 위해 지수적 증가 (쌍곡형) 를 필요로 합니다. 저자들은 Gizatullin 섬유화를 활용하여 곡면의 서로 다른 방향에서 서로 다른 다항식적 증가 속도를 찾아냄으로써 이를 극복했습니다.
4. 완전성: 역문제를 해결함으로써 저자들은 귀환 집합의 분류가 포괄적임을 보여줍니다. 곡면 자동사상의 경우 다른 유형의 집합은 발생할 수 없습니다.

증명 흐름 요약

1. 축소: 매끄러운 곡면으로 축소하고 $f$를 타원형, 포물선형, 또는 쌍곡형으로 분류합니다.
2. 알려진 경우: 타원형과 쌍곡형 경우에 대한 기존 문헌을 인용합니다.
3. 포물선형 경우 (핵심):
   • 섬유화 $\pi: X \to C$를 얻기 위해 Gizatullin 정리를 적용합니다.
   • 기저 곡선 $C$를 분석합니다:
     • $g(C) > 1$이면 자명합니다.
     • $g(C) = 0$ 또는 $1$이면 높이 기계를 사용합니다.
   • $X$ 위의 높이 함수 $h_L$과 $C$ 위의 $h_H$를 구성합니다.
   • $h_L(f^n(x))$이 2 차적으로 (또는 특정 아벨 경우에 4 차적으로) 증가하는 반면, $h_H(\pi(f^n(x)))$는 선형적으로 (또는 2 차적으로) 증가함을 보입니다.
   • 유계 높이를 가진 점의 유한 개수 (Northcott 성질) 를 사용하여 궤도가 특정 대수적 구조에 갇히지 않는 한 (이는 산술 급수를 의미함) 임의의 부분다양체 $V$와의 교집합이 유한해야 함을 증명합니다.
4. 역문제: $\mathbb{P}^2$와 준아벨 다양체 (semi-abelian varieties) 에서 명시적인 예시를 구성하여 예측된 모든 형태가 달성 가능함을 보입니다.