Height arguments toward the dynamical Mordell-Lang problem in arbitrary characteristic

기술적 요약: 임의의 표수에서 동역학적 모르델-랑 문제에 대한 높이 논증

문제 제기
본 논문은 산술 동역학의 핵심 문제인 동역학적 모르델-랑 (DML) 추측을 다룬다. 이 추측은 다양체 $X$의 유리 자기 사상 $f$와 궤적이 잘 정의된 점 $x$에 대해, 귀환 집합 $\{n \in \mathbb{N} \mid f^n(x) \in V\}$ (여기서 $V$는 닫힌 부분다양체) 이 유한 개의 산술 급수의 합집합이라는 것을 주장한다. 이 "0-DML" 추측은 표수 0 에서 특정 경우 (예: 에탈 말단사상, $\mathbb{A}^2$의 말단사상) 에 성립하지만, 양의 표수 $p > 0$에서는 성립하지 않는다. 양의 표수에서는 귀환 집합이 복잡한 구조를 보일 수 있어 "pDML" 문제가 제기되었으며, 이는 이러한 집합의 형태를 특징짓는 것을 목표로 한다. 코르바자, 기오카, 스캔런, 잔니어 [6] 와 저자들 [37] 의 이전 연구는 특정 시스템에 대한 귀환 집합이 "p-정규" 또는 "광범위하게 p-정규" 집합임을 확립했다. 그러나 양의 표수에서 임의의 말단사상에 대한 귀환 집합의 일반적 구조는 여전히 largely 알려지지 않았으며, 이전에 추측된 것보다 더 복잡할 가능성이 있다.

방법론
저자들은 임의의 표수에서 DML 문제를 조사하기 위해 높이 논증을 활용한다. 핵심 전략은 서로 다른 선다발 하에서 점의 궤적에 대한 높이 성장의 두 가지 구별된 "속도"를 식별하는 것이다. 궤적이 부분다양체와 무한히 자주 교차한다면, 이러한 서로 다른 다발을 통해 계산된 높이 성장률은 호환되어야 한다. 저자들은 특정 동역학적 조건 하에서 이러한 성장률이 호환되지 않아 교차가 유한해야 함을 증명한다.

주요 기술적 도구들은 다음과 같다:

1. 코호몰로지 리야푸노프 승수 ($\mu_i(f)$): 첫 번째 저자가 [29, 35] 에서 도입한 것으로, 동역학적 차수 ($\lambda_i(f)/\lambda_{i-1}(f)$) 의 비율로 정의된다. 이들은 수치적 클래스 군 위의 당김 사상의 고유값 역할을 한다. 저자들은 이러한 승수가 단위근 (특히, $\text{Root} = \{a^{1/n} \mid a, n \in \mathbb{Z}^+\}$ 집합에 속하지 않음) 이 아니라는 조건을 활용하여 서로 다른 성장률을 생성한다.
2. 갈루아 켤레: 높이 논증에 필요한 두 번째 선다발을 구성하기 위해 저자들은 코호몰로지 리야푸노프 승수의 갈루아 켤레를 활용한다. $\mu_i(f) \notin \text{Root}$라는 가정은 $|\mu| \neq |\mu'|$인 켤레 $\mu'$가 존재함을 보장하여, 성장 속도에서 필요한 불균형을 만든다.
3. 알바네스 사상: 일반적인 사영 다양체의 경우, 저자들은 알바네스 사상을 사용하여 문제를 극단적인 경우 (피카르 수가 자명하거나 다양체가 아벨 다양체인 경우) 로 축소한다.
4. 모리와키 높이: 주요 증명들은 웨일 높이를 사용하여 양의 표수에서 수행되지만, 저자들은 논증이 웨일 높이 장치를 모리와키의 높이 장치 [22] 로 대체함으로써 표수 0 으로 확장될 수 있음을 지적한다. 모리와키의 높이 장치는 산술 함수체에 대한 노스콧 속성을 만족한다.

주요 기여 및 결과

1. 조밀한 궤적에 대한 귀환 집합의 유한성 (정리 1.1):
   저자들은 사영 다양체 $X$의 전단사 말단사상 $f$에 대해, 모든 $i$에 대해 코호몰로지 리야푸노프 승수 $\mu_i(f)$가 $\text{Root}$에 속하지 않는다면, 임의의 닫힌 부분곡선 $C$로 들어가는 조밀한 궤적의 귀환 집합이 유한함을 증명한다. 이 결과는 곡면의 코호몰로지적으로 쌍곡적 자동사상에 대한 이전 발견 [34] 을 임의의 차원과 다양체로 일반화한다.

   • 계 1.3: 이는 승수 집합이 구간 $[1, \deg(f)]$와 교집합이 없는 경우 (코호몰로지적으로 쌍곡적 자동사상 및 증폭된 자동사상 포함) 로 확장된다.

2. 분할 말단사상 및 곱 시스템 (정리 1.8):
   본 논문은 곱 공간 $X \times C$의 분할 말단사상에 대한 결과를 확립한다. $f: X \to X$와 $g: C \to C$가 전단사 말단사상이고 $g$의 차수가 $f$의 첫 번째 동역학적 차수를 초과할 때 ($\deg(g) > \lambda_1(f)$), 그리고 $(X, f)$가 유형 $\epsilon$ (여기서 $\epsilon \in \{0, 1, 2\}$) 의 DML 속성을 만족하면, 곱 시스템 $(X \times C, f \times g)$도 유형 $\epsilon$의 DML 속성을 만족한다.

   • 메커니즘: 조건 $\deg(g) > \lambda_1(f)$는 "빠른" 인자 ($C$) 와 "느린" 인자 ($X$) 를 생성한다. 높이 논증은 빠른 인자 내의 궤적 성분이 전주기적이 되도록 강제하여, 문제를 느린 인자로 축소한다.
   • 계 1.9: 서로 다른 차수를 가진 곡선들의 곱에 적용될 때, 이는 인자들의 차수가 엄격하게 증가할 경우 (첫 번째가 1 인 경우), 시스템이 DML2 속성 (광범위하게 p-정규 집합) 을 만족함을 의미한다.

3. 반례 및 귀환 집합의 복잡성 (제 5 절):
   저자들은 높이 논증이 모든 시스템, 특히 제로 엔트로피 또는 int-증폭된 말단사상 (성장 측면에서 "등방성"인 시스템) 에는 적용될 수 없음을 보여준다.

   • 명제 1.12: 그들은 제로 엔트로피를 가진 선형 토러스의 자동사상을 구성하여 DML1 속성을 만족하지 않는 예를 제시한다. 이는 아핀 다양체에 대한 기오카 [9] 의 추측을 반증한다.
   • 예시 5.5 및 5.6: 저자들은 귀환 집합이 "광범위하게 p-정규 집합"보다 훨씬 복잡할 수 있음을 보여주는 직관적이고 엄밀한 예를 제공한다. 구체적으로, 그들은 귀환 집합이 다항식 - 지수 방정식 체계의 해를 포함하는 시스템을 구성하며, 이는 $\{p^{m_1} + p^{m_2} + p^{m_1+m_2}\}$ 형태의 집합을 생성하여 이전에 정의된 p-정규 집합의 범위를 벗어난다.

의의 및 주장
본 논문은 다음과 같은 방식으로 양의 표수에서 DML 문제에 대한 이해를 진전시킨다고 주장한다:

• 임의의 표수에서 작동하는 (적절한 높이 장치를 갖춘) 통일된 높이 기반 접근법을 제공한다.
• 귀환 집합이 유한한 동역학적 시스템의 광범위한 클래스 (비단위근 리야푸노프 승수를 가진 시스템) 를 식별하여, 곡면에서 고차원으로 알려진 결과를 확장한다.
• 분할 동역학적 시스템과 그 인자들 간의 구조적 관계를 명확히 하여, 차수 차이가 귀환 집합의 복잡성을 어떻게 통제하는지 보여준다.
• 양의 표수에서 귀환 집합이 "광범위하게 p-정규" 구조로 제한된다는 지배적인 직관에 도전한다. 저자들은 명시적으로 그들의 예시들이 귀환 집합이 "매우 복잡할 수 있음 — 전문가들이 한때 상상했던 것보다 더 복잡함"을 보여주며, 이는 토러스의 제로 엔트로피 말단사상에서도 마찬가지라고 밝힌다.

저자들은 pDML 문제의 전체 범위에 대해서는 겸손한 입장을 견지하며, 토러스 말단사상의 경우는 어려운 디오판토스 방정식을 푸는 것과 동등하며 [6], 그들의 반례는 반선형 집합과 방정식 체계를 포함하는 정제된 추측 (질문 5.9) 이 필요함을 시사한다고 지적한다. 그들은 일반적인 pDML 문제를 해결했다고 주장하지는 않지만, 높이 논증이 성공하는 경계와 문제가 전례 없는 복잡성을 보이는 영역을 구분해 낸다.