2025-11-20T15:13:15.187092

Preperiodic integers for $x^d+c$ in large degree

Doyle, Hindes

Given a number field $K$, we completely classify the preperiodic portraits of the maps $x^d+c$ where $c\in K$ is an algebraic integer and $d$ is sufficiently large depending on the degree of $K$. Specifically, we show that there are exactly thirteen such portraits up to the natural action of roots of unity. In particular, we obtain some of the main results of recent work of the authors unconditionally for algebraic integers by replacing the use of the abc-conjecture with bounds on linear forms in logarithms. We then include applications of this work to several problems in semigroup dynamics, including the construction of irreducible polynomials and the classification of post-critically finite sets.

academic

큰 차수에서 $x^d+c$ 의 전주기 정수

기본 정보

논문 ID: 2510.14067
제목: Preperiodic integers for $x^d+c$ in large degree
저자: John R. Doyle, Wade Hindes
분류: math.NT (정수론)
발표 시간: 2025년 10월 15일 (arXiv 사전인쇄본)
논문 링크: https://arxiv.org/abs/2510.14067

초록

주어진 수체 $K$ 에 대해, 본 논문은 사상 $x^d+c$ 의 전주기 상(preperiodic portrait)을 완전히 분류한다. 여기서 $c\in K$ 는 대수적 정수이고 $d$ 는 충분히 크다( $K$ 의 차수에 의존). 구체적으로, 저자들은 단위근의 자연스러운 작용 하에서 정확히 13가지의 이러한 상이 존재함을 증명한다. 특히, 로그 선형 형식의 경계를 abc 추측의 사용으로 대체함으로써, 저자들은 대수적 정수에 대해 무조건적으로 최근 연구의 주요 결과를 얻는다. 이후, 본 논문은 이 연구를 반군 동역학의 여러 문제에 적용한다. 여기에는 기약 다항식의 구성과 후임계 유한 집합의 분류가 포함된다.

연구 배경 및 동기

핵심 문제

본 연구가 해결하는 것은 산술 동역학의 핵심 문제이다: 수체 $K$ 위의 차수가 2 이상인 다항식 $f \in K[x]$ 의 전주기 점 집합 $\text{PrePer}(f,K)$ 이 $f$ 와 $K$ 에 어떻게 의존하는지를 결정하는 것.

문제의 중요성

Morton-Silverman 추측: $|\text{PrePer}(f,K)|$ 이 $f$ 와 $K$ 의 차수에만 의존하는 상수로 제한됨을 예측
산술 동역학의 기초: 전주기 점의 분류는 다항식 동역학 성질을 이해하는 핵심
갈루아 이론 응용: 동역학 갈루아 군 이론과 밀접한 관련

기존 방법의 한계

이전 결과들은 조건이 제한적이었음 (예: $f$ 가 정수환 위에서 정의됨)
또는 증명되지 않은 abc 추측에 의존
일반적인 경우의 완전한 분류 부재

연구 동기

본 논문은 Baker 방법의 로그 선형 형식 경계를 통해 abc 추측의 사용을 대체함으로써, 대수적 정수의 경우에 무조건적인 결과를 제공하고 전주기 상의 완전한 분류를 제시한다.

핵심 기여

완전한 분류 결과: 충분히 큰 $d$ 에 대해, 사상 $f_{d,c}(x) = x^d + c$ ( $c$ 는 대수적 정수)가 정확히 13가지의 가능한 전주기 상을 가짐을 증명
무조건적 증명: Baker 방법으로 abc 추측을 대체하여 대수적 정수에 대한 무조건적 결과 획득
통일된 경계: 차수 $d$ 와 무관한 전주기 점 개수의 경계 확립
반군 동역학 응용:
- 기약 다항식 구성의 새로운 방법
- 후임계 유한 집합의 분류
- 유한 궤도 점의 경계

방법론 상세 설명

작업 정의

수체 $K$ , 유한 위치 집합 $S$ (모든 무한 위치 포함), 그리고 $S$ -정수환 $o_{K,S}$ 가 주어졌을 때, 사상 $f_{d,c}(x) = x^d + c$ ( $c \in o_{K,S}$ )의 모든 가능한 전주기 상을 $d$ 가 충분히 클 때 분류한다.

핵심 기술 방법

1. abc 추측을 대체하는 Baker 방법

핵심 보조정리 2.4 (Baker 방법): 수체 $K$ , 영이 아닌 원소 $\alpha_1, \ldots, \alpha_n \in K$ , 그리고 유리 정수 $b_1, \ldots, b_n$ 에 대해, $\alpha_1^{b_1} \cdots \alpha_n^{b_n} - 1 \neq 0$ 이면 양의 상수 $c_1(t,n)$ 과 $V(t)$ 가 존재하여:

$\log |\alpha_1^{b_1} \cdots \alpha_n^{b_n} - 1|_v > -c_1(t,n)\frac{N(v)}{\log N(v)}\left(\prod_{i=1}^n \max\{h(\alpha_i), V(t)\}\right)\log(\max\{|b_1|, \ldots, |b_n|, 3\})$

2. 높이 경계 추정

보조정리 2.2 (Schinzel-Zassenhaus 개선): 차수가 $t$ 인 수체 $K$ 와 영이 아닌 단위근이 아닌 원소 $\alpha \in K$ 에 대해: $\max_{v \in M_K} |\alpha|_v > 1 + 2^{-(t+4)}$

3. 전주기 구조 분석

$f_{d,c}$ 의 전주기 점 구조를 분석함으로써, $d$ 가 충분히 클 때 다음을 증명:

$h(c) > \log(3)$ 이고 전주기 점이 존재하면, 모든 전주기 점은 $\{\zeta y : \zeta \in \mu_{K,d}\}$ 형태
$h(c) \leq \log(3)$ 이면, 모든 전주기 점은 0 또는 단위근

기술적 혁신점

Baker 방법의 정교한 응용: 로그 선형 형식 경계를 $|\alpha^d - \beta^d|_v$ 추정에 교묘하게 적용
높이와 위치값의 결합: $S$ -house 함수 $H_S(\alpha)$ 를 이용하여 높이와 위치값 추정 연결
통일된 처리 프레임워크: 다양한 높이 경우를 처리하는 통일된 방법 확립

주요 정리 및 결과

정리 1.1 (주요 결과)

$K/\mathbb{Q}$ 를 수체, $S$ 를 무한 위치를 포함하는 유한 위치 집합, $o_{K,S}$ 를 $S$ -정수환이라 하자. 상수 $D(q,t)$ 가 존재한다( $t = [K:\mathbb{Q}]$ 와 $S$ 의 무한이 아닌 위치의 최대 소수 $q$ 에만 의존). $d \geq D(q,t)$ 일 때, 모든 $c \in o_{K,S}$ 에 대해:

$c$ 가 영이 아니면, $f_{d,c}$ 는 주기가 3보다 큰 $K$ -유리점을 갖지 않음
$h(c) > \log(3)$ 이고 $\text{PrePer}(f_{d,c},K)$ 가 공집합이 아니면, $c = y - y^d \text{ 그리고 } \text{PrePer}(f_{d,c},K) = \{\zeta y : \zeta \in \mu_{K,d}\}$ 어떤 유일한 $y \in o_{K,S}$ 에 대해
$h(c) \leq \log(3)$ 이면, 모든 $K$ -유리 전주기 점은 0 또는 단위근