2025-11-20T16:13:14.857864

Cyclotomic integral points for affine dynamics

Ji, Xie, Zhang

Let $f:\mathbb{A}^N\to\mathbb{A}^N$ be a regular endomorphism of algebraic degree $d\geq2$ (i.e., $f$ extends to an endomorphism on $\mathbb{P}^N$ of algebraic degree $d$) defined over a number field. We prove that if the set of $f$-preperiodic cyclotomic points is Zariski-dense in $\mathbb{A}^N$, then some iterate $f^{\circ l}$ ($l\geq1$) is a quotient of a surjective algebraic group endomorphism $g:\mathbb{G}_m^N\to\mathbb{G}_m^N$, over $\overline{\mathbb{Q}}$. This is a higher-dimensional generalization of a theorem of Dvornicich and Zannier on cyclotomic preperiodic points of one-variable polynomials. In fact, we prove a much more general rigidity result for all dominant endomorphisms $f$ on an affine variety $X$ defined over a number field, regarding "almost $f$-invariant" Zariski-dense subsets of cyclotomic integral points. As applications, we also apply our results to backward orbits of regular endomorphisms on $\mathbb{A}^N$ of algebraic degree $d\geq2$, and to periodic points of automorphisms of HÃ©non type on $\mathbb{A}^N$.

academic

아핀 동력학을 위한 원분 정수점

기본 정보

논문 ID: 2511.13443
제목: Cyclotomic integral points for affine dynamics
저자: Zhuchao Ji, Junyi Xie, Geng-Rui Zhang
분류: math.DS (동력학계), math.AG (대수기하), math.NT (수론)
제출 시간: 2025년 11월 17일
논문 링크: https://arxiv.org/abs/2511.13443

초록

본 논문은 수체 위에 정의된 아핀 공간 $\mathbb{A}^N$ 의 정규 자기동형사상 $f:\mathbb{A}^N\to\mathbb{A}^N$ （대수 차수 $d\geq2$ ）을 연구한다. 주요 결과는 다음을 증명한다: $f$ -전주기 원분점 집합이 $\mathbb{A}^N$ 에서 자리스키 조밀하면, 어떤 반복 $f^{\circ l}$ 은 대수군 자기동형사상 $g:\mathbb{G}_m^N\to\mathbb{G}_m^N$ 의 몫이다. 이는 단변수 다항식의 원분 전주기점에 관한 Dvornicich-Zannier 정리의 고차원 일반화이다. 더 일반적으로, 본 논문은 수체 위에 정의된 아핀 다양체의 우월 자기동형사상에 대해 "거의 불변"인 자리스키 조밀 원분 정수점 부분집합에 관한 경직성 결과를 증명한다. 응용으로서, 결과는 정규 자기동형사상의 역방향 궤도와 에노 타입 자기동형사상의 주기점에 적용된다.

연구 배경 및 동기

1. 연구 문제

본 논문은 대수 동력학계에서 특수점(원분점)의 분포 문제를 연구하며, 특히 다음에 초점을 맞춘다:

전주기점이 자리스키 조밀한 원분점을 포함할 때, 동력학계가 특수한 대수 구조를 가지는가?
이러한 현상이 시스템의 "단항식 타입"(monomial type) 성질을 특성화할 수 있는가?

2. 문제의 중요성

이 문제는 여러 수학 분야를 연결한다:

산술 동력학: 특수점(원분점, 비틀림점)의 동력학계에서의 분포 이해
가능성 낮은 교집합 문제(Unlikely Intersection): Zannier 등의 철학 계승—특수점이 비특수 다양체에서 조밀해서는 안 됨
디오판토스 기하: 원분 정수점의 산술적 성질

3. 기존 연구의 한계

**Dvornicich-Zannier 정리(2007)**는 1차원 경우만 다룬다:

차수 $d\geq2$ 인 다항식 $f\in K[z]$ 에 대해, 전주기 원분점이 무한히 많으면 $f$ 는 $z^d$ 또는 $\pm T_d(z)$ （체비셰프 다항식）에 아핀 켤레이다.

한계:

$\mathbb{A}^1$ 의 다항식 사상에만 제한됨
고차원 아핀 공간의 경우를 다루지 않음
더 일반적인 동력학계(예: 에노 사상)에 적용 불가능

4. 연구 동기

본 논문의 핵심 동기는:

고차원 일반화: Dvornicich-Zannier 결과를 $\mathbb{A}^N$ 으로 확장
통일된 틀: 일반적인 우월 자기동형사상에 적용 가능한 경직성 이론 수립
응용 확대: 역방향 궤도와 에노 타입 자기동형사상 등 구체적 문제 해결

핵심 기여

주요 경직성 정리(정리 1.2): 아핀 다양체 $X$ 위의 우월 자기동형사상 $f$ 에 대해, 세 조건(DCI, BH, AI)을 만족하는 원분 정수점 집합의 자리스키 조밀성이 $(X,f)$ 가 단항식 타입임을 함축함을 증명한다.
동치성 정리(정리 1.3): 코호몰로지 쌍곡 시스템에 대해, 단항식 타입은 강 단항식 타입과 동치이다.
정규 자기동형사상 응용(정리 1.4): $\mathbb{A}^N$ 위의 대수 차수 $d\geq2$ 인 정규 자기동형사상이 전주기 원분점이 자리스키 조밀하면, 시스템이 강 단항식 타입임을 증명한다—이는 Dvornicich-Zannier 정리의 직접적 고차원 일반화이다.
역방향 궤도 특성화(정리 1.5): 역방향 궤도의 원분점이 조건(DCI, BH, AI)을 만족하기 위한 필요충분조건을 제시한다.
에노 타입 자기동형사상(정리 1.7): 에노 타입 자기동형사상의 주기 원분점이 자리스키 조밀할 수 없음을 증명하며, "가능성 낮은 교집합" 철학에 새로운 증거를 제공한다.

방법 상세 설명

작업 정의

입력:

아핀 다양체 $X\subseteq \mathbb{A}^N_K$ （ $K$ 는 수체）
우월 자기동형사상 $f:X\to X$
점 집합 $P\subseteq X(K)$

작업: $(X,f)$ 가 단항식 타입인지 판정, 즉 다음이 존재하는지 판정:

정수 $l\geq1, n\geq\dim(X)$
군 준동형사상 $g:\mathbb{G}_m^n\to\mathbb{G}_m^n$
우월 사상 $\phi:\mathbb{G}_m^n\to X$

$f^{\circ l}\circ\phi = \phi\circ g$ 를 만족하는

조건: $P$ 가 다음을 만족

(DCI) 조밀 원분 정수점: $P$ 가 자리스키 조밀이고 좌표가 $\frac{1}{M}\mathcal{O}_{K^c}$ 에 속함
(BH) 유계 높이: 모든 $y\in P$ 에 대해 $\mathcal{C}(y)\leq c$
(AI) 거의 불변: $P\setminus f^{-1}(P)$ 가 자리스키 조밀하지 않음

증명 구조

증명은 네 가지 핵심 단계로 나뉜다:

단계 1: Loxton 정리 적용

핵심 도구: Dvornicich-Zannier가 일반화한 Loxton 정리(정리 2.1)

결론: 유한 집합 $E\subset K$ 와 정수 $b$ 가 존재하여 $P\subseteq \left(\sum_{i=1}^b E\cdot U(\mathbb{C})\right)^N$

구성: 각 $a=(a_{ij})\in E^{bN}$ 에 대해, 다음을 정의:

사상 $\phi_a:\mathbb{G}_m^{bN}\to\mathbb{A}^N$ , $(z_{ij})\mapsto\left(\sum_j a_{ij}z_{ij}\right)_i$
비틀림점 집합 $\Lambda_a = \phi_a^{-1}(P)\cap\mathbb{G}_m^{bN}(K)_{tors}$
닫힌 부분집합 $Z_a = \overline{\Lambda_a}^{Zar}\subseteq \mathbb{G}_m^{bN}$

핵심 성질: 예외 집합을 제거하면, 모든 $a\in M$ 에 대해 $\phi_a(\Lambda_a)^{Zar}=X$ 로 가정 가능.

단계 2: 대응 관계 구성

대응 관계를 정의 $\Gamma = \bigsqcup_{(a_1,a_2)\in M^2}\Gamma_{a_1,a_2}\subseteq Z\times Z$ 여기서 $\Gamma_{a_1,a_2} = \overline{\{(\xi_1,\xi_2)\in\Lambda_{a_1}\times\Lambda_{a_2}: f(\phi_{a_1}(\xi_1))=\phi_{a_2}(\xi_2)\}}^{Zar}$

핵심 성질:

$\pi_1(\Gamma) = Z$ （전사성）
$(\phi\times\phi)(\Gamma)^{Zar} = \Gamma_f$ （ $f$ 의 그래프와 관련）
비틀림점 정리(정리 2.3)에 의해, 각 $\Gamma_{a_1,a_2}$ 는 비틀림 코셋의 유한 합

단계 3: 기약성과 전사성

일련의 축약을 통해:

$Z$ 를 기약 분지 $Z=\bigsqcup_{\alpha\in I}Y_\alpha$ 로 분해, 각 $Y_\alpha\cong\mathbb{G}_m^{\gamma_\alpha}$
주기점 $\alpha_0\in J$ 선택（ $J=\{\alpha:\phi(Y_\alpha)^{Zar}=X\}$ ）
반복 $f^{\circ n}$ $f^{\circ n}$ 과 대응하는 $\psi$ $ψ$ 의 합성으로 대체, 다음을 얻음:
- $Y$ 기약
- $\psi\subseteq Y\times Y$ 기약
- $\psi(Y)=Y$ （전사성）

단계 4: 유도된 군 준동형사상

안정화자 기법:

각 $y\in Y$ 에 대해, 섬유 $F_y=\phi^{-1}(\phi(y))$ 의 안정화자 $T_y=\text{Stab}_Y(F_y)$ 정의
$T=\bigcap_{y\in Y}T_y$ 설정
$T$ 로 몫을 취하면 $T=1$ 로 가정 가능

핵심 관찰:

임의의 $y\in Y$ 와 $z\in\psi(y)$ 에 대해, $\psi(y)=z\cdot V$ （ $V$ 는 대수 부분군）
불변성 논증을 통해 $V=1$ 증명
따라서 $\psi$ 는 사상 $g:Y\to Y$ 의 그래프

군 구조 조정:

$\psi$ 가 비틀림 코셋이므로, $g(y)=\tau_0\cdot g_0(y)$ （ $g_0$ 는 군 준동형사상, $\tau_0$ 는 비틀림점）
반복을 통해 $g(1)=1$ 로 만들면, $g$ 는 군 준동형사상

기술적 혁신점

대응 관계 방법: $\Gamma$ 로 동력학 정보를 인코딩, 고차원 문제 처리의 핵심 기술 혁신
비틀림점 정리의 체계적 응용: Laurent의 비틀림점 정리(곱셈 Manin-Mumford)를 핵심 도구로 활용
코호몰로지 쌍곡성 이론: 정리 1.3은 동력 차수의 로그 오목성과 코호몰로지 Lyapunov 승수 활용
통일된 틀: 세 조건(DCI, BH, AI)은 다양한 문제를 통일적으로 다루기 위한 틀 제공

설정: $f:\mathbb{A}^N\to\mathbb{A}^N$ 대수 차수 $d\geq2$ 인 정규 자기동형사상
검증: $P=\text{PrePer}(f,\mathbb{A}^N(K^c))$ 가 (DCI), (BH), (AI) 만족 확인
핵심: Green 함수 $G(z)=\lim_{n\to\infty}\frac{1}{d^n}\log\max\{1,\|f^{\circ n}(z)\|\}$ 의 성질 활용

응용 2: 역방향 궤도(정리 1.5)

설정: $P=\{z\in\mathbb{A}^N(K^c):\exists n\geq1, f^{\circ n}(z)=x\}$
필요충분조건: $P$ 가 (DCI), (BH), (AI) 만족 $\Leftrightarrow$ $P$ 자리스키 조밀

응용 3: 에노 타입 자기동형사상(정리 1.7)

설정: $f:\mathbb{A}^N\to\mathbb{A}^N$ 에노 타입（ $\deg_1(f)\geq2$ , $I(f)\cap I(f^{-1})=\emptyset$ ）
결론: $\text{Per}(f,\mathbb{A}^N(K^c))$ 자리스키 조밀하지 않음(귀류법)
핵심 도구: Kawaguchi의 Green 함수 이론

정규 자기동형사상의 경우, Green 함수 컴팩트성 논증으로 (BH) 검증
$f^{-1}_h(0)=\{0\}$ 조건을 이용하여 정수 $M$ 구성으로 (DCI) 검증
(AI)는 $P\subseteq f^{-1}(P)$ 에서 자동 만족

출력 결과: 성공적으로 구성 $f^{\circ l}\circ\phi = \phi\circ g$ 여기서 $g:\mathbb{G}_m^N\to\mathbb{G}_m^N$ 는 전사 군 준동형사상

정리 1.3의 증명 전략

코호몰로지 쌍곡 시스템에 대해:

보조정리 2.7의 성장률 추정 활용
보조정리 2.6으로 단위근 고유값 부분과 양의 부분으로 분해
투영 공식으로 모순 도출, $n=\dim(X)$ 필요 증명

핵심 사례 분석

사례 1: 1차원 경우에서 Dvornicich-Zannier 정리 회복

$f\in K[z]$ 차수 $d\geq2$ 에 대해:

정리 1.4에 의해, 전주기 원분점이 무한히 많으면 $f$ 는 강 단항식 타입
$n\in\mathbb{Z}, h\in\mathbb{Q}(z)\setminus\mathbb{Q}$ 존재하여 $z^n\circ h=f^{\circ l}\circ h$
$n=\pm d^l$ 과 고전 결과에 의해, $f$ 는 $z^d$ 또는 $\pm T_d(z)$ 에 켤레

사례 2: 에노 사상의 주기점

$f(x,y)=(p(x)-ay,x)$ （ $a\neq0, \deg p\geq2$ ）에 대해:

동력 차수 계산: $\lambda_1(f)=d, \lambda_2(f)=1$ （ $d=\deg p$ ）
주기 원분점이 조밀하면, 정리 1.7의 귀류법에 의해:
- $\lambda_i(\phi_A)=\lambda_i(f)$ 인 $A\in\text{GL}_2(\mathbb{Z})$ 존재
- 하지만 $|\det(A)|=1$ 은 $\lambda_2(f)=d^2\geq4$ 와 모순
결론: 주기 원분점이 조밀하지 않음

이론적 발견

경직성 현상: 원분점의 자리스키 조밀성이 시스템에 대수군 구조를 강제함
차원 장애: 코호몰로지 쌍곡 시스템에 대해, "잉여 차원"이 존재하지 않음 ( $n=\dim X$ )
가능성 낮은 교집합 검증: 에노 타입 자기동형사상의 결과가 Zannier 철학과 부합

향후 방향

논문이 암시하는 연구 방향:

함수체 일반화: 양의 특성 함수체로 결과 확장 가능한가?
아벨 점: $K=\mathbb{Q}$ 에 대해, 아벨 확대 점의 분포 문제(부분적 연구 있음)
알고리즘 문제: 주어진 $f$ 에 대해 단항식 타입 판정 알고리즘 존재하는가?
양화 결과: 원분 전주기점 개수의 상한 제시 가능한가?
다른 동력 시스템: 유리 사상, 쌍유리 사상 등으로 일반화 가능한가?

이론적 돌파: 고차원에서 원분점의 경직성 정리 처음 수립
기술 혁신: 대응 관계 방법이 동력학 정보를 우아하게 인코딩
도구 종합: Loxton 정리, 비틀림점 정리, 동력 차수 이론을 교묘히 결합

2. 증명 구조

명확성: 4단계 증명이 논리적으로 명확, 각 단계 목표 분명
완전성: 일반 정리에서 구체적 응용까지 완전한 연쇄 형성
기술성: 안정화자 기법, 군 구조 조정 등이 고도의 기술 반영

3. 응용 가치

광범위성: 정규 자기동형사상, 역방향 궤도, 에노 사상 통일적 처리
확장 가능성: 틀이 다른 동력 시스템 문제에 적용 가능
이론적 의의: "가능성 낮은 교집합"에 새로운 증거 제공

4. 작성 품질

조직: 서론 상세, 동기 명확, 증명 단계별 전개
가독성: 기술적으로 강하지만 논리 따라가기 용이
문헌 검토: 관련 연구 포괄적 검토, 기여 명확히 위치

부족점

1. 기술적 제한

코호몰로지 쌍곡성: 정리 1.3의 추가 가정이 일반성 제한
수체 가정: 함수체 경우 완전히 미다룸
구성성 부족: 효과적 알고리즘 없음

2. 응용 범위

특수점 타입: 원분점만 다룸, CM점 등 다른 특수점 미포함
동력 시스템 타입: 주로 다항식 자기동형사상, 유리함수 경우 미명확

3. 양화 문제

상수 의존성: 상수 $M,c$ 의 구체적 의존 관계 미제시
복잡도: 판정 알고리즘의 복잡도 미논의

4. 예시 부족

구체적 예: 체비셰프 다항식 외 비자명 예시 부족
경계 경우: 조건 불만족 시 경우 미논의

영향력 평가

분야에 대한 기여

산술 동력학: 고차원 원분점 연구의 새로운 방향 개척
디오판토스 기하: 원분 정수점 처리의 새로운 기술 제공
대수기하: 대응 관계 방법이 더 광범위 응용 가능

실용적 가치

이론적 지침: 특수점 분포 연구에 이론적 틀 제공
문제 해결: 에노 사상 주기점의 오래된 문제 해결

재현 가능성

증명 완전성: 모든 정리가 완전한 증명 포함
도구 표준성: 표준 수학 도구 사용
논리 명확성: 증명을 단계별 검증 가능

적용 시나리오

이론 연구

고차원 대수 동력 시스템의 구조 연구
특수점(비틀림점, CM점 등) 분포 탐색
"가능성 낮은 교집합" 이론 발전

구체적 문제

주어진 사상이 단항식 타입인지 판정
전주기점의 산술적 성질 연구
역방향 궤도의 구조 분석

방법 차용

대응 관계 기법을 다른 기하 문제에 적용
안정화자 방법을 다른 몫 구성에 활용
Green 함수 기법을 다른 높이 문제에 적용

참고문헌(정선)

핵심 인용

Dvornicich-Zannier (2007): Cyclotomic Diophantine problems, Duke Math. J.
- 1차원 경우의 원래 결과
Laurent (1984): Equations diophantiennes exponentielles, Invent. Math.
- 비틀림점 정리의 증명
Kawaguchi (2013): Local and global canonical height functions, Algebra Number Theory
- 에노 타입 자기동형사상의 Green 함수 이론
Truong (2020): Relative dynamical degrees of correspondences, J. Reine Angew. Math.
- 동력 차수의 로그 오목성
Zannier (2012): Some problems of unlikely intersections in arithmetic and geometry
- "가능성 낮은 교집합" 철학의 체계적 서술