역궤도 S‑정수점에 대한 균일 상한: 거듭제곱 사상 사례

안내: 본 포스트의 한글 요약 및 분석 리포트는 AI 기술을 통해 자동 생성되었습니다. 정보의 정확성을 위해 하단의 [원본 논문 뷰어] 또는 ArXiv 원문을 반드시 참조하시기 바랍니다.

본 논문은 거듭제곱 사상 ϕ(z)=zᵈ (d≥2) 에 대해, 비선주기점 α와 임의의 비영 β∈K에 대해 역궤도 O⁻_ϕ(β) 내에서 α에 대해 S‑정수인 점들의 갈루아 궤도 크기를 일정한 상수 C 이하로 제한한다. 또한

논문은 먼저 Silverman의 전방 궤도 결과와 Sookdeo의 역궤도 추측을 소개하고, 거듭제곱 사상 ϕ(z)=zᵈ 에 대해 기존에 알려진 유한성 결과를 정량화한다. 핵심 도구는 다음과 같다.

정규화된 높이와 전역·국소 아라케로프‑장 페어링: 전역 높이 h_ϕ 와 아라케로프‑장 페어링 ⟨L_ϕ, L_ψ⟩ 을 이용해 역궤도 점들의 고도(높이)와 S‑정수성 조건을 연결한다. 특히, 전역 페어링이 0에 수렴하는 점열은 전역 높이가 일정한 상수에 수렴함을 이용한다.
베르코비치 공간과 라플라시안: 각 장소 v∈M_K 에 대해 베르코비치 선형·사영선을 구축하고, 라플라시안 연산자를 통해 측도 μ_{ϕ,v} 와 λ_{α,v} (로컬 높이) 사이의 관계를 정밀히 기술한다. 이는 비아르키메데스적 장소에서도 동일하게 적용 가능하도록 한다.
정량적 균등분포 정리: Chambert‑Loir와 Thuillier의 비아르키메데스적 균등분포 결과를 정량화한 최신 기술(예: Yuan‑Zhang, Petsche 등)을 활용한다. 이를 통해 역궤도 점 γ∈O⁻_ϕ(β) 가 S‑정수일 때, 그 갈루아 궤도 |G_K(γ)| 가 일정 범위 밖으로 벗어나면 측도적 밀도가 급격히 감소함을 보인다.
선형 로그 형태와 Siegel‑type 정리: γ가 zⁿ=β 의 해인 경우, γ는 β의 n‑제곱근이며, 이때 |G_K(γ)| 는 n 에 비례한다. 선형 로그 형태에 대한 효과적인 하한(예: Baker‑Wüstholz)을 적용해 n 에 대한 상한을 얻고, 이를 통해 정수점의 개수를 전역적으로 제한한다.

정리 1.2는 위 도구들을 결합해, 상수 C=C(