단일임계 다항식 사상 아래 원점의 유리 반복 원상의 개수

기본 정보

• 논문 ID: 2510.14397
• 제목: The number of rational iterated preimages of the origin under unicritical polynomial maps
• 저자: Kaoru Sano (NTT Institute for Fundamental Mathematics)
• 분류: math.NT (정수론), math.AG (대수기하학), math.DS (동역학계)
• 발표 시간: 2025년 10월 17일
• 논문 링크: https://arxiv.org/abs/2510.14397v1

초록

본 논문은 단일임계 사상 $f_{d,c}(x) = x^d + c$ 아래 원점의 유리 반복 원상을 연구한다. Faber-Hutz-Stoll과 Hutz-Hyde-Krause의 초기 연구에서 확립된 이차 경우의 유한성과 조건부 경계를 바탕으로, 우리는 $d=2$이고 $c \in \mathbb{Q}\setminus\{0,-1\}$일 때 원점이 유리 4차 원상을 갖지 않음을 증명하고, 모든 $d \geq 3$에 대해 자명하지 않은 경우 유리 2차 원상이 존재하지 않음을 증명한다. 증명은 원상 곡선의 기하학적 분석, 타원 Chabauty 방법 및 디오판토스 축약에 의존한다. 따라서 우리는 모든 $d \geq 2$ 경우에 $f_{d,c}$의 원점 유리 반복 원상의 개수를 결정한다.

연구 배경 및 동기

문제 설명

본 논문의 핵심 문제는 단일임계 다항식 사상 $f_{d,c}: x \mapsto x^d + c$ 아래 원점의 유리 반복 원상의 개수를 결정하는 것이다. 구체적으로, 주어진 수체 $L$에 대해 다음 집합의 크기를 관심 있게 본다: $\bigcup_{N \geq 1} f_{d,c}^{-N}(a)(L) = \{x \in A^1(L) | f_{d,c}^{\circ N}(x) = a \text{ for some } N \geq 1\}$ 여기서 $f_{d,c}^{\circ N}$은 $f_{d,c}$의 $N$번 반복을 나타낸다.

연구의 중요성

1. 동역학계 이론: 이 문제는 다항식 동역학계의 유리점 분포와 밀접하게 관련되어 있으며, 대수 동역학계의 기본 문제이다
2. 산술 기하학: 고차 대수 곡선 위의 유리점 분포를 포함하며, 정수론과 대수기하학을 연결한다
3. 갈루아 표현 이론: 트리 표현의 관점에서, 이는 절대 갈루아 군의 작용과 관련된다

기존 연구의 한계

• Faber-Hutz-Stoll 등의 연구는 주로 이차 경우($d=2$)에 집중되어 있다
• 4차 원상의 비존재성에 대한 이전 결과는 Birch-Swinnerton-Dyer 추측에 의존한다
• $d \geq 3$ 경우에 대한 체계적 연구가 부족하다

핵심 기여

1. 무조건부 증명: $d=2$이고 $c \in \mathbb{Q}\setminus\{0,-1\}$일 때, $f_{2,c}$가 원점의 유리 4차 원상을 갖지 않음을 증명하여 이전 결과의 BSD 추측 의존성을 제거했다
2. 고차 경우의 완전한 해결: $d \geq 3$에 대해 자명하지 않은 경우 원점의 유리 2차 원상이 존재하지 않음을 증명했다
3. 완전한 분류 결과: 모든 $d \geq 2$ 경우에 유리 반복 원상 개수의 정확한 공식을 제시했다
4. 방법론적 혁신: 타원 Chabauty 방법, 기하학적 분석 및 디오판토스 축약의 종합 기법을 결합했다

방법론 상세 설명

주요 결과

정리 1.3:

• (i) 유리수 $c \in \mathbb{Q}\setminus\{0,-1\}$에 대해, 사상 $f_{2,c}$는 원점의 유리 4차 원상을 갖지 않는다
• (ii) 정수 $d \geq 3$과 유리수 $c \in \mathbb{Q}$에 대해, 적절한 조건 아래 사상 $f_{d,c}$는 원점의 유리 2차 원상을 갖지 않는다

기술적 경로

이차 경우($d=2$)의 증명 전략

1. 기하학적 축약: 차수 2의 피복 사상 활용 $\pi: X^{\text{pre}}(2,4,0) \to X^{\text{pre}}(2,3,0) \cong E$ 여기서 $E: v^2 = u^3 - u + 1$은 타원 곡선이다
2. 분기 분석: $E[2]$ 위의 분기를 분석하고, 적절한 기저 변환을 통해 유한 평탄 이중 피복을 구성한다
3. 곡선 축약: 문제를 더 낮은 종수의 곡선 $C_D$로 축약하며, 여기서 $D$는 클래스 $[D] \in R^\times/(R^\times)^2$에 의해 분류되고, $R = \mathbb{Z}[1/2, 1/23]$이다

타원 Chabauty 방법의 적용

정리 1.5: $D = (-1)^{\varepsilon_0} 2^{\varepsilon_1} 23^{\varepsilon_2}$ ($\varepsilon_i \in \{0,1\}$)에 대해, 아핀 평면 곡선 $C_D: D^2 y^4 = x^3 - x + 1$ 을 고려하면, $C_D(\mathbb{Q})$가 공집합이 아닐 필요충분조건은 $D = \pm 1$이고, $C_1(\mathbb{Q}) = C_{-1}(\mathbb{Q}) = \{(0,\pm 1), (\pm 1, \pm 1)\}$

고차 경우($d \geq 3$)의 증명

Darmon-Merel 정리를 활용하며, 이는 타원 곡선의 모듈성에 기반한다: 정리 4.1: $n \geq 4$일 때, 방정식 $x^n + y^n = z^2$는 자명하지 않은 본원적 해를 갖지 않는다.

영리한 대수적 변환을 통해 유리 2차 원상의 존재성 문제를 이러한 유형의 디오판토스 방정식으로 변환한다.

기술적 혁신점

1. BSD 추측 회피: 타원 Chabauty 방법을 통해 Birch-Swinnerton-Dyer 추측에 대한 의존성을 제거했다
2. 기하학-산술 결합: 대수기하학의 피복 이론과 정수론의 유리점 문제를 교묘하게 결합했다
3. 계산 가능성: 일반화된 n-descent에 비해 계산 비용이 적고 추가 추측이 필요 없다

실험 설정

계산 도구

Magma 계산 대수 시스템을 사용하여 다음을 수행했다:

1. 타원 곡선의 Mordell-Weil 군 계산
2. 유리점의 결정
3. Chabauty 방법의 구현

핵심 계산

1. 타원 곡선 $E: v^2 = u^3 - u + 1$:
   • Mordell-Weil 군: $E(\mathbb{Q}) \cong \mathbb{Z}$, $Q_0 = (1,-1)$에 의해 생성됨
   • $X^{\text{pre}}(2,4,0)$에서 알려진 10개의 유리점
2. 수체 $K = \mathbb{Q}(\theta)$ (여기서 $\theta^3 - \theta + 1 = 0$):
   • 판별식: $-23$
   • 클래스 수: 1
   • 단원군: $\pm 1$과 $\theta$에 의해 생성됨

실험 결과

주요 결과

따름정리 1.4:

• 짝수 $d \geq 3$에 대해: $\kappa(d,0,\mathbb{Q}) = 3$
• 홀수 $d \geq 3$에 대해: $\kappa(d,0,\mathbb{Q}) = 1$
• $d = 2$에 대해: $\kappa(2,0,\mathbb{Q}) = 6$

구체적인 유리 반복 원상의 개수

다양한 매개변수 $c$에 대해 정확한 유리 반복 원상의 개수를 제시한다:

짝수 $d \geq 3$: