Fixed-point lifting and ghost periodic points for Chebyshev polynomials modulo odd prime powers

기술적 요약: 홀수 소수 거듭제곱에 대한 체비셰프 다항식의 고정점 리프팅 및 유령 주기점

문제 제기
본 논문은 홀수 소수 $p$와 정수 $n \ge 2$에 대해 유한 환 $\mathbb{Z}/p^k\mathbb{Z}$에서 작용하는 체비셰프 다항식 $T_n(x)$의 역학을 조사한다. 유한체 $\mathbb{F}_p$ 위에서의 이러한 사상의 전역적 함수 그래프 구조는 잘 확립되어 있으나 (예: Gassert, Qureshi–Panario), 고차 소수 거듭제곱 수준 $\mathbb{Z}/p^k\mathbb{Z}$에서의 고정점 개수와 정확한 주기점 개수에 대한 명시적인 산술 공식은 비치환 차수와 퇴화 잉여류의 경우를 특히 덜 발전된 상태로 남아 있다. 다루어진 주요 과제는 $\mathbb{F}_p$에서 $\mathbb{Z}/p^k\mathbb{Z}$로의 주기점 리프팅이며, 특히 표준 헨젤 리프팅이 유일하지 않은 경우 (퇴화 경우) 를 분석하고, 더 높은 모듈로로 이동할 때 정확한 주기가 엄격하게 증가하는 리프트인 "유령" 주기점을 식별하는 것이다.

방법론
저자들은 항등식 $T_n(\frac{\zeta + \zeta^{-1}}{2}) = \frac{\zeta^n + \zeta^{-n}}{2}$을 활용하는 "이중 소스" 매개변수화 전략을 채택한다. 이는 $\mathbb{F}_p$ 상의 $T_n$의 역학을 두 개의 소스 그룹, 즉 분할 그룹 $\mathbb{F}_p^\times$와 비분할 그룹 $\mu_{p+1}$ ($\mathbb{F}_{p^2}$의 단위근) 내의 $\zeta$의 곱셈 역학으로 축소한다.

주요 방법론적 구성 요소는 다음과 같다:

1. 소스 매개변수화: 소스 매개변수 $\zeta$의 위수 $e$와 체비셰프 위수 $\text{corde}(n) = \min\{r \ge 1 : n^r \equiv \pm 1 \pmod e\}$에 기반하여 고정점과 주기점을 분해한다.
2. 퇴화성 분석: 비퇴화 고정점 ($T_n'(a) \not\equiv 1 \pmod p$) 과 퇴화 고정점 ($T_n'(a) \equiv 1 \pmod p$) 을 구분한다. 후자는 표준 헨젤 보조정리를 넘어선 국소 분석이 필요하다.
3. 국소 리프팅:
   • 비퇴화 점의 경우, 헨젤 보조정리에 의해 유일한 리프팅이 보장된다.
   • 비퇴화 경계점이 아닌 퇴화 점의 경우, 저자들은 테이슈뮐러 리프트를 사용하고 비분할 2 차 확대에서의 노름 사상의 핵을 분석하여 고정 리프트의 개수를 센다.
   • 퇴화 경계점 ($a = \pm 1$) 의 경우, 증명에는 $p$-진 로그와 지수를 사용하여 다항식 $Q_\varepsilon(x) = (T_n(x)-x)/(x-\varepsilon)$의 $p$-진 값 평가 추정이 의존한다. 이 분석적 단계는 $p$-진 로그/지수 함수의 엄격한 정의역 내에서 수렴을 보장하기 위해 $p \ge 5$라는 가정이 필요하다.
4. 뫼비우스 역전: 정확한 주기 개수는 반복 $T_{nj}$의 고정점 개수로부터 고전적인 뫼비우스 역전 공식을 사용하여 유도된다.

주요 기여 및 결과

1. $\mathbb{F}_p$ 상의 고정점 개수 (정리 5.1):
   저자들은 고정점의 개수 $N_1 = |\text{Fix}(T_n, \mathbb{F}_p)|$에 대한 폐쇄형 공식을 유도하며, 이는 네 개의 최대공약수의 합으로 표현된다:
   $$N_1 = \frac{\gcd(n-1, p-1) + \gcd(n+1, p-1) + \gcd(n-1, p+1) + \gcd(n+1, p+1) - 2\delta}{2}$$
   여기서 $\delta = \gcd(n-1, 2)$이다. 이 공식은 알려진 그래프 설명에서 길이 1 사이클을 분리하여 분할/비분할 소스 가지별로 조직화한다.

2. 퇴화성 기준 (명제 7.1):
   고정점이 퇴화되는 시점에 대한 정확한 기준이 확립되었다: $a_0$는 $p \mid (n^2 - 1)$일 때만 퇴화된다. 이러한 퇴화 잉여류의 개수 $d$는 가지 ($n-1$ 또는 $n+1$) 와 소스 그룹에 기반하여 명시적으로 계산된다.

3. 고정점 리프팅 공식 (정리 7.3):

   • 첫 번째 리프트 ($p^2$): 임의의 홀수 소수 $p$에 대해, 모듈로 $p^2$의 고정점 개수는 $N_2 = N_1 + d(p-1)$이다. 이는 $T_n$이 치환인지 여부와 관계없이 성립한다.
   • 모든 수준 ($p^k$): $p \ge 5$인 경우, $N_k$에 대한 폐쇄형 공식이 제공된다:
     $$N_k = N_1 + d(p^{\min(k-1, s)} - 1)$$
     여기서 $s = \nu_p(n^2 - 1)$이다. 이 공식은 $(p \pm 1)p^{k-1}$을 포함하는 최대공약수 기반 표현과 동등하다.
   • 한계: $p$-진 로그/지수 함수의 수렴 임계점에서의 경계 값 평가 문제로 인해 $p=3$의 경우 모든 수준 공식이 실패한다.

4. 유령 주기점 (정리 10.4):
   $p \nmid n$인 경우, 논문은 모듈로 $p^2$의 주기 잉여류 리프팅에서의 이분법을 식별한다. $t = \text{corde}(n)$를 기본 주기로, $\kappa = \text{corde}_p(n)$를 리프트된 소스 위수로 둔다.

   • 만약 $\kappa = t$라면, 모든 $p$개의 리프트는 기본 주기 $t$를 유지한다.
   • 만약 $\kappa > t$라면, 정확히 하나의 리프트 (헨젤 리프트) 만 주기 $t$를 유지하며, 나머지 $p-1$개의 리프트는 주기 $\kappa$를 가진 "유령" 주기점이다.

5. 고차 수준 주기 타워 (정리 11.9):
   $p \ge 5$이고 $p \nmid n$인 경우, 임의의 수준 $k$로의 주기 리프팅은 "코드 타워" $c_q = \text{corde}_{p^q}(n)$에 의해 지배된다. 주기 잉여류의 $p^{k-1}$개 리프트는 타워 시퀀스 $c_0, c_1, \dots, c_{k-1}$의 서로 다른 값에 해당하는 정확한 주기를 가진 점들의 집합으로 분할된다.

6. 정확한 주기 개수 (계 11.1):
   임의의 홀수 소수 $p$에 대해 $\mathbb{Z}/p^k\mathbb{Z}$ 상의 정확한 주기 $r$을 갖는 점의 개수를 계산하기 위한 일반적인 뫼비우스 역전 항등식이 제공된다. $p \ge 5$인 경우, 고정점 공식을 대입함으로써 명시적인 폐쇄형이 도출된다.

의의 및 범위
본 논문은 두 소스 매개변수화와 국소 리프팅 거동을 중심으로 조직화된 고정점 및 정확한 주기점 개수에 대한 명시적인 산술 공식을 제공한다. 그 의의는 다음과 같다:

• 일반성: 치환 다항식에 초점을 맞춘 이전 연구 (예: Li–Lu–Tan–Chen) 에서 종종 배제되었던 임의의 차수 $n$, 비치환 경우 및 퇴화 잉여류를 다룬다.
• 국소 정밀도: 전역 그래프 설명을 넘어 잉여별 리프팅 규칙을 제공하며, 특히 첫 번째 리프트에서 주기가 분기하는 "유령" 궤적을 특징화한다.
• 명시적 공식: 점근적 또는 구조적 설명이 아닌 $p$-진 값 평가와 최대공약수에 의존하는 $N_k$ 및 $P_r^{(k)}$에 대한 폐쇄형 표현식을 제공한다.

저자들은 $p \ge 5$에 대한 결과가 $p=3$에는 성립하지 않는 분석적 $p$-진 추정에 의존하며, 매개변수화에서 2 의 비가역성으로 인해 $p=2$의 경우는 제외되었다고 명시한다. 이 작업은 $\mathbb{F}_p$ 상의 전역 그래프에 대한 새로운 분류가 아니라, 리프팅 논의를 촉진하기 위해 알려진 유한체 데이터를 산술적으로 재조직한 것으로 제시된다.