Proportion of periodic points in reduction of polynomials

이 논문은 수론적 동역학 (Arithmetic Dynamics) 분야에서 다항식의 소수 아이디얼에 대한 축소 (reduction) 시 주기점 (periodic points) 의 비율이 무한대로 갈 때 어떻게 행동하는지에 대한 문제를 완전히 분류한 연구입니다. 저자 Santiago Radi 는 2014 년 Juul, Kurlberg, Madhu, Tucker 가 제기한 질문을 해결하며, 특히 다항식의 경우 모든 경우에 대한 정답을 제시합니다.

다음은 논문의 기술적 요약입니다.

1. 문제 제기 (Problem Statement)

수체 $K$와 계수가 $K$에 속하는 유리함수 $f$가 주어졌을 때, $K$의 정수환 $\mathcal{O}_K$의 소수 아이디얼 $\mathfrak{p}$에 대한 축소 $f_{\mathfrak{p}}$를 고려합니다. 유한체 $\mathbb{F}_{\mathfrak{p}} = \mathcal{O}_K/\mathfrak{p}$ 위에서 $f_{\mathfrak{p}}$의 주기점들의 집합을 $\text{Per}(f, \mathbb{F}_{\mathfrak{p}})$라고 할 때, 노름 $N(\mathfrak{p})$가 무한대로 갈 때 주기점의 비율 하한 (limit inferior) 을 구하는 것이 핵심 질문입니다.

$$\text{Per}_{\inf}(f, K) := \liminf_{N(\mathfrak{p}) \to +\infty} \frac{\# \text{Per}(f, \mathbb{F}_{\mathfrak{p}})}{N(\mathfrak{p})}$$

기존 연구 (Juul et al., 2014) 에서는 $f$가 2 차 다항식인 경우나 특정 조건을 만족하는 경우 $\text{Per}_{\inf}(f, K) = 0$임이 증명되었으며, 체비셰프 다항식 (Chebyshev polynomials) 의 경우에만 양의 값이 나올 수 있음이 알려져 있었습니다. 본 논문은 다항식에 대해 이 분류를 완성합니다.

2. 방법론 (Methodology)

논문은 다음과 같은 수학적 도구들을 종합적으로 활용합니다.

• 반복 갈루아 군 (Iterated Galois Groups) 및 고정점 비율 (Fixed-Point Proportion):
  Odoni 가 도입한 이론을 바탕으로, $f$의 반복된 역상 (preimages) 으로 생성된 무한 갈루아 확장 $F_\infty(f, t)$의 갈루아 군 $G_\infty$를 분석합니다. Juul et al. 은 $\text{Per}_{\inf}(f, K)$가 $G_\infty$의 고정점 비율 (FPP) 에 의해 상한이 결정됨을 보였습니다.
  $$\text{Per}_{\inf}(f, K) \le \text{FPP}(G_\infty(\mathbb{C}, f, t))$$
  저자와 Fariña-Asategui 의 최근 연구 결과에 따르면, 다항식의 경우 $f$가 체비셰프 다항식 $\pm T_d$와 $\mathbb{C}$ 위에서 선형 켤레 (linearly conjugate) 가 아니면 FPP 가 0 이 됩니다.

• 체비셰프 다항식의 구조 분석:
  체비셰프 다항식 $T_d$는 $x + 1/x$를 매개변수로 하는 $x^d$의 동역학과 관련이 있습니다. 이를 통해 유한체 위의 주기점의 개수를 $N(\mathfrak{p})-1$과 $N(\mathfrak{p})+1$의 약수와 관련된 함수 $r(a, b)$ ( $a$의 $b$와 서로소인 최대 약수) 로 표현할 수 있습니다.

• 수론적 도구 (Chebotarev 밀도 정리 및 합동식):
  $N(\mathfrak{p})$가 특정 합동식 조건을 만족하는 소수 아이디얼이 무한히 존재함을 보장하기 위해 Chebotarev 밀도 정리를 사용합니다. 이를 통해 $N(\mathfrak{p})-1$과 $N(\mathfrak{p})+1$이 $d$와 어떤 소인수들을 공유하는지 조절하여 비율의 극한을 계산합니다.

• 선형 켤레의 계수 문제:
  $f$가 $\mathbb{C}$ 위에서 $\pm T_d$와 켤레일 때, 그 켤레 변환 $L$의 계수가 $K$에 속하는지 여부에 따라 분석을 나눕니다. 계수가 $K$에 없으면 2 차 확대체 $K'$을 도입하여, $K'$에서의 주기점과 $K$에서의 주기점 사이의 관계를 분석합니다.

3. 주요 결과 (Key Results)

논문은 다항식 $f$의 차수 $d$와 수체 $K$가 포함하는 $m_K$차 원시 단위근의 존재 여부에 따라 $\text{Per}_{\inf}(f, K)$의 값을 완전히 분류합니다.

주요 정리 (Theorem 1) 의 요약:

1. 차수 $d=0, 1$:

   • $d=0$이면 비율은 0.
   • $d=1$이면 비율은 1 (전체 점이 주기점).

2. 체비셰프 다항식이 아닌 경우 ($d \ge 2$):

   • $f$가 $\mathbb{C}$ 위에서 $\pm T_d$와 선형 켤레가 아니면, $\text{Per}_{\inf}(f, K) = 0$.
   • 이는 대부분의 다항식이 무작위 매핑처럼 행동하여 주기점 비율이 0 에 수렴함을 의미합니다.

3. 체비셰프 다항식인 경우 ($f \sim \pm T_d$):

   • $f$가 $\pm T_d$와 켤레이면, $\text{Per}_{\inf}(f, K) = \text{Per}_{\inf}(T_d, K)$로 귀결됩니다.
   • $T_d$의 비율은 $d$의 소인수 분해와 $K$에 포함된 단위근의 최대 차수 $m_K$의 관계에 따라 결정됩니다.
     • $d$가 두 개 이상의 소인수를 가지며 $\text{rad}(d) \nmid \text{rad}(m_K)$인 경우: 비율은 0.
     • $d$가 홀수이고 $\text{rad}(d) \mid \text{rad}(m_K)$인 경우: 비율은 1/2.
     • $d$가 짝수이고 $\text{rad}(d) \mid \text{rad}(m_K)$이며 $v_2(m_K) \ge 2$인 경우: 비율은 1/4.
     • $d$가 짝수이고 $\text{rad}(d) \mid \text{rad}(m_K)$이며 $v_2(m_K) = 1$인 경우: 비율은 0.
     • $d$가 홀수 소수 거듭제곱인 경우: 비율은 1/2.
     • $d$가 짝수 소수 거듭제곱인 경우: 비율은 1/4.

특수한 경우 ($K=\mathbb{Q}$):
$\mathbb{Q}$에서는 $m_K=2$이므로, $d$가 홀수 소수 거듭제곱이고 $f \sim \pm T_d$이면 1/2, 짝수 소수 거듭제곱이면 1/4, 그 외의 경우 0 이 됩니다. 이는 기존 결과와 일치합니다.

4. 의의 및 기여 (Significance and Contributions)

• 완전한 분류 (Complete Classification): 다항식에 대해 $\text{Per}_{\inf}(f, K)$가 0 이 아닌 값을 가질 수 있는 유일한 경우가 체비셰프 다항식 (및 그 선형 켤레) 임을 증명하고, 그 값이 수체의 구조에 따라 어떻게 결정되는지 명시했습니다.
• 이론적 연결: 수론적 동역학의 주기점 비율 문제를 반복 갈루아 군의 고정점 비율 (FPP) 과 직접적으로 연결하여, FPP 가 0 이 아닌 경우를 정확히 규명했습니다.
• 계산적 정밀도: 체비셰프 다항식의 경우, 단순히 0 이 아닌 값이 나온다는 것을 넘어, $d$와 $m_K$의 소인수 구조에 따라 1/2, 1/4, 0 등 구체적인 값을 도출했습니다.
• 유리함수로의 확장 가능성 제시: 다항식의 경우를 해결함으로써, 향후 유리함수 (rational functions) 에 대한 분류 (Lattès 매핑 등) 를 위한 기초를 마련했습니다. 다만, 유리함수의 경우 FPP 가 양수인 경우가 Lattès 매핑 등 더 복잡한 구조에서 발생할 수 있어 여전히 미해결 과제로 남았습니다.

결론적으로, 이 논문은 수체 위의 다항식 동역학에서 주기점의 분포에 대한 근본적인 질문을 해결하여, 해당 분야의 이론적 체계를 완성하는 중요한 업적입니다.