Collision of orbits for families of polynomials defined over fields of positive characteristic

이 논문은 양의 특성 (positive characteristic) $p$를 갖는 체 (field) $L$ 위에서 정의된 다항식들의 가족 $f_\lambda(z) = z^d + \lambda$에 대한 궤도 충돌 (collision of orbits) 문제를 다룹니다. 저자 Shamil Asgarli 와 Dragos Ghioca 는 두 시작점 $\alpha_1, \alpha_2$와 하나의 목표점 $\beta$가 주어졌을 때, $\alpha_1$의 궤도와 $\alpha_2$의 궤도가 동일한 다항식 $f_\lambda$ 하에서 정확히 $\beta$에서 만나는 (충돌하는) 매개변수 $\lambda$의 집합 $C(\alpha_1, \alpha_2; \beta)$가 무한집합이 되기 위한 필요충분조건을 규명했습니다.

주요 내용은 다음과 같습니다.

1. 문제의 정의 및 배경

• 문제 설정: 체 $L$ (특성 $p > 0$) 과 정수 $d \ge 2$에 대해 다항식 $f_\lambda(z) = z^d + \lambda$를 고려합니다.
• 충돌 집합: $C(\alpha_1, \alpha_2; \beta) := \{ \lambda \in L : \exists m, n \in \mathbb{N}, f_\lambda^m(\alpha_1) = f_\lambda^n(\alpha_2) = \beta \}$로 정의됩니다. 즉, $\alpha_1$과 $\alpha_2$의 궤도가 $\beta$에서 만나는 $\lambda$들의 집합입니다.
• 배경: 이 문제는 산술 동역학 (arithmetic dynamics) 의 '희귀 교차 (unlikely intersections)' 원리와 관련이 깊습니다. 기존 연구는 주로 특성 0 의 체 (예: 유리수체) 에서 이루어졌으나, 본 논문은 특성 $p$에서의 새로운 현상 (프뢰베니우스 사상, 가법 다항식 등) 을 분석하여 이 문제를 확장했습니다.

2. 주요 결과 (Theorem 1.1)

$\alpha_1, \alpha_2, \beta$가 $L$의 유한 부분체에 모두 포함되지 않는다고 가정할 때, $C(\alpha_1, \alpha_2; \beta)$가 무한집합이 되기 위한 필요충분조건은 다음 두 조건 중 정확히 하나가 성립하는 것입니다:

• 조건 (A): $\alpha_1^d = \alpha_2^d$
  • 이 경우 모든 $\lambda$에 대해 한 번의 반복 후 두 궤도가 합쳐집니다 ($f_\lambda(\alpha_1) = f_\lambda(\alpha_2)$).
• 조건 (B): $d = p^\ell$ (즉, 차수가 특성 $p$의 거듭제곱) 이고, 유한 부분체 $F_q \subset L$이 존재하여 $\delta_1 = \alpha_2 - \alpha_1 \in F_q^*$, $\delta_2 = \beta - \alpha_1 \in F_q$를 만족하며, 다음 연립방정식이 해를 가집니다:
  $$\begin{cases} \delta_1 = \sum_{i=0}^{s_1-1} \gamma^{p^{ik\ell}} \\ \delta_2 = \sum_{i=0}^{s_2-1} \gamma^{p^{ik\ell}} \end{cases}$$
  여기서 $(\gamma, k, s_1, s_2) \in F_q^* \times \mathbb{N} \times \mathbb{N} \times \mathbb{N}$입니다.
  • 이 조건은 $d=p^\ell$일 때, 다항식 $f_\lambda$가 $F_p$의 원소로 이동하는 변환 (translation) 과 교환 법칙을 만족하는 특수한 동역학적 관계를 반영합니다.

주의: 만약 $\alpha_1, \alpha_2, \beta$가 모두 유한체 $F_p$에 속하고 $d$가 $p$의 거듭제곱이 아닌 경우, 위 정리의 가정이 성립하지 않습니다. 이 경우 저자들은 Conjecture 9.1을 제시하여, $C(\alpha_1, \alpha_2; \beta)$가 여전히 무한할 것이라고 추측합니다.

3. 방법론 및 증명 전략

논문은 다음과 같은 수학적 도구들을 활용하여 증명을 수행했습니다:

1. 전수학적 차수 (Transcendence Degree) 분석:
   • $C(\alpha_1, \alpha_2; \beta)$가 무한하다면, $\alpha_1, \alpha_2, \beta$가 생성하는 체의 전수학적 차수가 1 이어야 함을 보였습니다 (Lemma 3.6, Proposition 3.7). 이를 통해 문제를 유리함수체 (function field) 위의 문제로 축소했습니다.
2. 높이 이론 (Height Theory) 및 캐노니컬 높이 (Canonical Height):
   • 다항식 가족에 대한 캐노니컬 높이 $\hat{h}_\lambda(\alpha)$의 변동을 분석했습니다 (Proposition 5.2).
   • 무한한 $\lambda$의 존재는 $\hat{h}_\lambda(\alpha_1)$과 $\hat{h}_\lambda(\alpha_2)$가 0 으로 수렴하는 수열을 존재하게 함을 보였습니다 (Proposition 6.2).
   • 이를 통해 $\alpha_1$과 $\alpha_2$의 캐노니컬 높이가 모든 $\lambda$에서 같음을 유도하고, 이를 통해 동역학적 관계를 도출했습니다 (Theorem 6.9).
3. 특성 $p$에서의 특수한 구조 분석:
   • $d = p^\ell$인 경우, $f_\lambda^m(z)$가 명시적인 형태 ($z^{p^{m\ell}} + \dots$) 를 가지므로, 궤도 내 점들의 차가 $F_p$에 속하는지 여부를 정밀하게 분석했습니다 (Section 6.4, Section 8).
   • 가법 다항식 (additive polynomials) 의 성질과 프뢰베니우스 사상을 이용하여 연립방정식 (1.3.2) 의 해 존재 여부를 판별했습니다.
4. 대수적 군 (Algebraic Torus) 과 Moosa-Scanlon 정리:
   • $d$가 $p$의 거듭제곱이 아닌 경우, $C(\alpha; \beta)$가 유한하다고 가정하면 모순이 발생함을 보이기 위해, Moosa-Scanlon 의 정리 (torus 위의 부분다양체와 유한 생성 부분군의 교집합 구조) 를 활용했습니다 (Section 7).

4. 추가적 기여 및 추측 (Conjectures)

• 유한체 위의 경우 (Conjecture 9.1): $\alpha_1, \alpha_2, \beta \in F_p$이고 $d$가 $p$의 거듭제곱이 아닐 때, $C(\alpha_1, \alpha_2; \beta)$는 무한하다는 추측을 제시했습니다. 이는 특성 0 의 직관 (동역학적 관계가 없으면 교차가 드물다) 과는 반대로, 유한체의 이산적 구조 때문에 오히려 충돌이 빈번하게 발생할 수 있음을 시사합니다.
• 계산적 증거: 100 개 이상의 수치 실험을 통해 Conjecture 9.1 과 Conjecture 9.2 (특수한 경우 $\alpha_1 = \beta$) 를 지지하는 데이터를 제시했습니다.
• 일반화 (Conjecture 2.6): 임의의 다항식 가족에 대한 일반적인 충돌 궤도 문제를 위한 추측을 제시했습니다.

5. 의의 및 중요성

• 산술 동역학의 확장: 기존에 특성 0 에서만 연구되던 '희귀 교차' 문제를 양의 특성으로 성공적으로 확장했습니다.
• 새로운 현상 발견: 특성 $p$에서만 나타나는 가법 다항식과 프뢰베니우스 사상의 영향으로 인해, 동역학적 관계가 없는 경우에도 궤도 충돌이 발생할 수 있는 새로운 메커니즘을 발견했습니다.
• 유한체 역학의 통찰: 유한체 위에서 정의된 동역학 시스템에서 '불가능해 보이는' 교차가 실제로는 빈번하게 일어날 수 있음을 보여주며, 유한체의 조합론적 성질이 동역학에 미치는 영향을 규명했습니다.

요약하자면, 이 논문은 양의 특성 체에서의 다항식 궤도 충돌 문제를 완전히 분류하고, 유한체에서의 예상치 못한 무한 충돌 현상을 발견하여 산술 동역학의 지평을 넓혔다는 점에서 중요한 학술적 가치를 지닙니다.