Dynamical Canonical Heights and Finite Trees

기술 요약: 동역학적 정준 높이와 유한 트리

문제 정의
본 논문은 동역학적 레머 추측(Dynamical Lehmer Conjecture)을 다룬다. 이 추측은 표류하는 대수적 점 $\alpha$의 정준 높이 $\hat{h}_f(\alpha)$에 대해 그 차수 $[F(\alpha):F]$에 따른 점근적으로 최적화된 하한을 예측한다. 구체적으로, 저자들은 특정 클래스의 다항식에 대해 $\hat{h}_f(\alpha) \geq c / [F(\alpha):F]^2$ 형태의 하한을 설정하고자 한다. 이 문제는 정수 다항식의 마를러 측도(Mahler measure)에 관한 고전적인 레머 문제의 동역학적 유사물이다. 저자들은 단항식(monic)이며, 소수의 거듭제곱 차수 $d=p^e$를 가지고, 사후 임계 유한(postcritically finite, 모든 임계점이 전주기적임)이며, 쌍곡형(hyperbolic, 임계점이 파투 집합에 존재함)인 일변수 다항식 $f$에 집중한다.

방법론
저자들의 접근 방식은 복소 평면에서 대수적 정수의 공액들을 포함하는 집합의 초월 직경(transfinite diameter)을 제한하기 위해 유한 위상 트리(일명 "헤지혹(hedgehog)")를 활용한 디미트로프(Dimitrov)의 슈닐첼-자센하우스 추측 증명에서 영감을 받았다. 저자들은 이 전략을 동역학적 설정에 맞게 조정하되, 이전 연구 [HS21]의 한계를 극복하기 위해 중요한 혁신을 도입했다.

1. 동역학적 트리와 허바드 트리(Hubbard Trees): 정적인 헤지혹 대신, 저자들은 사후 임계 유한 다항식 $f$의 허바드 트리 $H_f$를 기반으로 한 "동역학적 헤지혹"을 구성한다. 저자들은 중첩되는 유한 위상 트리들을 형성하는 역상(preimage)의 수열 $H_f^{(s)} = (f^{(s)})^{-1}(H_f)$를 고려한다.
2. 핵 엔트로피(Core Entropy)와 볼록 껍질(Convex Hulls): 핵심적인 조합론적 도구는 서스턴(Thurston)의 핵 엔트로피 $\rho(f)$이다. 저자들은 체비쇼프 다항식과 선형 공액이 아닌 쌍곡형 다항식에 대해 핵 엔트로피가 차수보다 엄격히 작음($\rho(f) < d$)을 증명한다. 이 "비최대 핵 엔트로피" 성질은 역상 트리 $H_f^{(s)}$ 내 희소한 정점들의 볼록 껍질이 여전히 희소하게 유지됨(즉, 크기가 전체 트리의 크기보다 느리게 성장함)을 보장한다. 이를 통해 제어된 간선의 수를 가진, 작은 높이를 갖는 점의 갈루아 공액들을 포함하는 트리 $T$를 구축할 수 있다.
3. 초월 직경 상한: 저자들은 이 구축된 트리들의 초월 직경을 상한으로 제한하기 위해 분할 차분(divided differences)과 초월 이론에서 흔히 쓰이는 추정치를 포함한 새로운 도구들을 개발한다. 저자들은 두비닌(Dubinin)의 정리( [HS21]에서 사용됨)에 의존하는 대신, 반데르몽드 행렬식(Vandermonde determinants)과 허바드 트리의 조합론적 성질을 사용하여 직접적으로 상한을 유도함으로써 이를 회피한다.
4. 정수성 및 합동식: 구축된 트리의 초월 직경이 엄격히 1 미만임을 확립하여(이는 연관된 대수 함수가 유리 함수임을 함의함), 저자들은 엡스타인(Epstein)의 사후 임계 유계 맵에 관한 연구를 활용한다. 저자들은 정수 바리센터(barycenter)와 사후 임계 유계 궤도를 가진 소수의 거듭제곱 차수 다항식에 대해, $p$의 거듭제곱에 대한 특정 합동 관계가 성립함을 증명한다. 이 관계는 구축된 대수 함수의 급수 전개가 정수 계수를 가짐을 보장한다.
5. 폴리아-베르트랑시아스 정리(Pólya–Bertrandias Theorem): 초월 직경의 상한과 급수 계수의 정수성을 결합함으로써, 저자들은 폴리아-베르트랑시아스 정리를 호출한다. 이는 대수 함수를 유리 함수로 강제하며, 이는 원래의 점 $\alpha$에 강력한 제약을 가하여 원하는 높이 하한 또는 주기성을 이끌어낸다.

주요 기여 및 결과

• 정준 높이에 대한 하한: 본 논문은 정수 바리센터를 가진 소수의 거듭제곱 차수의 단항식, 사후 임계 유한, 쌍곡형 다항식 $f \in \mathcal{O}_F[T]$에 대해, 임의의 $f$-표류하는 대수적 정수 $\alpha$에 대하여 다음을 만족하는 상수 $c > 0$가 존재함을 확립한다:
  $$\hat{h}_f(\alpha) \geq \frac{c}{[F(\alpha):F]^2}$$
  이 결과는 저자들의 이전 연구 [HS21]에서 필요했던 "퀼 가설(Quill Hypothesis)"을 제거하여 더 넓은 범위의 다항식에 적용 가능하게 했다.
• 국소 높이 하한: 저자들은 아르키메데스적 장소(archimedean places)에서의 국소 정준 높이에 대한 슈닐첼-자센하우스 유형의 하한을 증명한다. 만약 $\alpha$가 유한 확장 $L$에서의 $f$-표류하는 대수적 정수라면:
  $$\max_{v \in M_\infty^L} \lambda_{f,v}(\alpha) \geq \frac{c(F,f)}{[L:F]}$$
• 전주기 및 주기 길이의 상한: $f$-전주기 점들에 대해, 저자들은 체의 차수에 따른 전주기 길이 $\text{preper}(\alpha)$와 주기 길이 $\text{per}(\alpha)$의 명시적인 상한을 도출한다. 특히, 체비쇼프 다항식과 선형 공액이 아닌 다항식의 경우:
  $$\text{preper}(\alpha) \leq \left(1 + \left\lceil \frac{\log e}{\log d} \right\rceil \right) \left(1 + \frac{\log [F(\alpha):F]}{\log d}\right)$$
  $$\text{per}(\alpha) \leq p^f [F(\alpha):F]$$
  여기서 $e$와 $f$는 $p$ 위의 소수들의 분기 차수(ramification degree) 및 잔여 차수(residue degree)와 관련된다.
• 허바드 트리의 조합론적 분석: 본 논문은 반복에 따른 허바드 트리의 성장 과정을 상세히 분석하며, 유도된 맵(induced map)의 간선(edges)에 대한 스펙트럼 반지름(핵 엔트로피)을 역상 트리 내 볼록 껍질의 희소성과 연결한다. 이러한 조합론적 통찰은 두비닌의 정리와 같은 외부의 깊은 정리에 의존하지 않고 초월 직경을 제한하는 데 결정적이다.
• 예시 및 한계: 저자들은 결과가 적용되는 다항식의 예로 $(T^2-1)^2$ 등을 제시한다. 또한, 사후 임계 유한 다항식과 복소 곱셈(CM)을 가진 타원 곡선 사이의 유사성의 한계를 논의한다. 즉, 두 설정 모두에서 전주기 점들이 갈루아 이론적 성질을 공유하지만, CM 타원 곡도와 달리 사후 임계 유한 다항식은 반드시 모든 곳에서 좋은 감소(good reduction)를 갖는 것은 아니라는 점을 지적한다.

의의 및 주장
저자들은 이 연구가 일변수 다항식에 대한 동역학적 레머 추측에 대한 새로운 증거를 제공한다고 주장한다. 정적인 헤지혹 구조를 허바드 트리로부터 유도된 동역학적 트리로 대체하고, 초월 직경을 제한하기 위한 기초적이면서도 강력한 도구들을 개발함으로써, 슈닐첼-자센하우스 방법론을 더 넓은 범위의 동역학계로 확장했다. 퀼 가설의 제거는 중요한 기술적 진전이다. 본 논문은 산술 동역학, 복소 동역학(허바드 트리와 핵 엔트로피를 통해), 그리고 초월 이론(정수성과 초월 직경 상한을 통해) 사이의 가교 역할을 한다. 저자들은 자신들의 결과가 특정 클래스의 다항식(소수의 거듭제곱 차수, 쌍곡형, 사후 임계 유한)에 적용된다는 점을 겸허히 언급하며, 향-쌍곡형(subhyperbolic) 사례 및 더 일반적인 다항식에 대한 향후 연구 과제를 제시한다.