분할 자기지도와 곱곡선에 대한 동적 몰델‑랑 추측 증명

초록

저자들은 유리수체 위의 아핀 곡선 X와 사영 곡선 Y에 대한 각각의 자기사상 f, g에 대해, 곱사상 f × g가 동적 몰델‑랑(DML) 추측을 만족함을 증명한다. 핵심은 A¹ × P¹ 경우를 정밀히 분석하고, 로컬 높이와 예외점 이론을 이용해 비주기적 궤적이 임의의 비수평·비수직 곡선과 무한히 교차할 수 없음을 보이는 것이다.

상세 분석

본 논문은 동적 몰델‑랑(DML) 추측을 “분할(self‑map) 형태”인 X × Y = affine curve × projective curve에 대해 완전히 해결한다는 점에서 의미가 크다. 기존 연구에서는 (1) 에틸(étale) 자기사상에 대한 경우와 (2) A² 에서의 다항식 사상에 대한 경우가 주로 다루어졌으며, 저자들은 이를 일반적인 곱곡선으로 확장한다. 핵심 전략은 먼저 가장 기본적인 경우인 A¹ × P¹에 대한 정리를 제시하고(Prop. 1.2), 이를 통해 일반적인 X, Y에 대한 Theorem 1.1을 유도한다.

A¹ × P¹ 경우에서는 다음과 같은 두 가지 중요한 관찰을 사용한다. 첫째, f와 g의 차수가 동일하고 1보다 큰 경우에만 비자명한 상황이 남는다(다른 경우는 기존 결과로 바로 귀결). 둘째, g가 어떤 iterate에서도 다항식으로 컨주게이트되지 않는다고 가정함으로써, g는 예외점(exceptional point)이 없다는 Silverman‑type 결과(Lemma 2.1)를 적용할 수 있다.

Lemma 2.2는 f의 비주기적 궤적이 특정 비아키메데안 장소 v에서 지수적으로 성장한다는 것을 보인다. 구체적으로, 어떤 상수 c₁, c₂와 N이 존재해 n > N이면 c₁·dⁿ < log|fⁿ(x₀)|_v < c₂·dⁿ가 성립한다. 이는 fⁿ(x₀) 가 v‑adic 절대값에서 무한대로 발산함을 의미한다.

그 다음, 곡선 C ⊂ A¹ × P¹를 임의의 비수평·비수직 곡선으로 잡고, C와 궤적 O_{f×g}(x₀, y₀)의 교점이 무한히 존재한다고 가정한다. 위의 성장 추정과 (2.1)식(φ(x,y)=0)의 구조를 이용해, xₙ = fⁿ(x₀) 가 v‑adic으로 무한히 커지면 yₙ = gⁿ(y₀) 가 반드시 특정 근점 b_i에 v‑adic으로 수렴해야 함을 보인다. 그러나 Lemma 2.1에 따르면, g의 비예외점에 대한 비주기적 궤적은 “최대 속도”로 수렴할 수 없으므로 모순이 발생한다. 따라서 C와 궤적의 교점은 유한해야 하며, 이는 DML 추측이 성립함을 의미한다.

Theorem 1.1의 증명에서는 X와 Y를 정규화하여 매끄러운 곡선으로 만든 뒤, 각각의 사상을 적절히 확장한다. 경우별로 (i) g-genus > 1, (ii) g-genus = 1, (iii) g-genus = 0 등을 나누어 기존의 에틸 사상 결과(