[논문 리뷰] Variation of the canonical height in a family of rational maps

Niki Myrto Mavraki|arXiv (Cornell University)|2014. 01. 01.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 4

한 줄 요약

이 논문은 특정 가족의 유리 함수에 대한 유리 점의 캐논리컬 높이와 그 일반 섬유 높이 사이의 유계 차이를 확립하며, 상수 C가 c에만 의존하는 바에 따라 |ĥ_{f_λ}(c(λ)) − ĥ_f(c)h(λ)| ≤ C 를 증명한다. 이 결과는 Call과 Silverman의 프레임워크를 개선하여, 차수 d의 유리 함수 가족에서 균일하고 명시적인 유계를 제공함으로써 산술 동역학에서 높이 변화에 대한 이해를 향상시킨다.

ABSTRACT

Let d ≥2 be an integer, let c ∈ ℚ(t) be a rational map, and let f_t(z) = (z^d+t)/z be a family of rational maps indexed by t. For each t = λ algebraic number, we let ĥ_(f_λ)(c(λ)) be the canonical height of c(λ) with respect to the rational map f_λ; also we let ĥ_f(c) be the canonical height of c on the generic fiber of the above family of rational maps. We prove that there exists a constant C depending only on c such that for each algebraic number λ, |ĥ_(f_λ)(c(λ))-ĥ_f(c)h(λ)| ≤C. [Formula missing] This improves a result of Call and Silverman for this family of rational maps.

연구 동기 및 목표

• 유리 함수 f_t(z) = (z^d + t)/z 를 정의하는 일변수 가속도 가족 ℚ(t)에서 캐논리컬 높이의 변화를 분석하는 것.
• 함수체 위의 섬유에서의 캐논리컬 높이 ĥ_f(c)와 수체에 대한 특수화된 맵 f_λ에서의 유리 점 c(λ)의 캐논리컬 높이 ĥ_{f_λ}(c(λ))를 비교하는 것.
• 모든 대수적 수 λ에 대해, 상수 C가 c에만 의존하는 균일한 상한 C를 도출하여 |ĥ_{f_λ}(c(λ)) − ĥ_f(c)h(λ)| 의 절대 차이가 유계임을 보장하는 것.
• Call과 Silverman의 높이 변화에 대한 일반 결과를 개선하여, 이 특정 유리 함수 가족에서 더 날카롭고 명시적인 유계를 제공하는 것.

제안 방법

• 저자들은 함수체 ℚ(t) 위에서 f_t(z) = (z^d + t)/z 를 정의하는 유리 함수 가족을 정의하며, d ≥ 2 이다.
• 함수체 위의 Néron-Tate 높이 기법을 사용하여 일반 섬유에서의 캐논리컬 높이 ĥ_f(c)를 계산한다.
• 각 대수적 수 λ에 대해, 특수화된 맵 f_λ에서의 캐논리컬 높이 ĥ_{f_λ}(c(λ))를 평가한다.
• 등분포 이론과 높이 이론 기법을 적용하여, 특수화된 높이와 λ의 로그 높이 h(λ)로 스케일된 일반 높이를 비교한다.
• 모든 대수적 수 λ에 대해, 상수 C가 점 c에만 의존하는 균일한 유계 C를 도출하여, 특수화된 높이와 스케일된 일반 높이 간의 절대 차이가 최대 C 이하임을 증명한다.
• 증명은 이 가족의 구조와 동역계 가족 내 캐논리컬 높이의 성질에 기반한다.

실험 결과

연구 질문

• RQ1 유리 함수가 일반 섬유에서 수체 특수화로 이행될 때, 점의 캐논리컬 높이는 어떻게 변화하는가?
• RQ2 특수화된 맵에서의 캐논리컬 높이와 스케일된 일반 캐논리컬 높이 사이의 편차의 정밀한 성격은 무엇인가?
• RQ3 모든 대수적 특수화 λ에 대해, 점 c에만 의존하는 균일한 유계를 이 가족 전반에 걸쳐 확립할 수 있는가?
• RQ4 f_t(z) = (z^d + t)/z 의 가족 구조는 일반 결과보다 더 날카로운 높이 유계를 가능하게 하는가?
• RQ5 이 결과는 이 특정 동역학 가족에서 Call과 Silverman의 일반 높이 변화 정리에 대해 어떤 방식으로 개선하거나 보완하는가?

주요 결과

• 특수화된 캐논리컬 높이 ĥ_{f_λ}(c(λ))와 스케일된 일반 캐논리컬 높이 ĥ_f(c)h(λ) 사이의 차이는 c에만 의존하는 상수 C에 의해 균일하게 유계이다.
• 이 유계 C는 특수화 매개변수 λ에 독립적이며, 모든 대수적 수 λ에 대해 균일한 추정을 제공한다.
• 이 결과는 Call과 Silverman의 일반 높이 변화 정리에 비해 더 날카롭고 명시적인 유계를 제공함으로써, 이 특정 유리 함수 가족에서 개선된 결과를 이룬다.
• f_t(z) = (z^d + t)/z 의 가족은 그 대수적 및 동역학적 구조 덕분에 제어된 높이 변화를 나타낸다.
• 일반 섬유에서의 캐논리컬 높이 ĥ_f(c)는 중심적인 기준점으로 기능하며, 이로부터의 편차는 h(λ)로 스케일되고 균일하게 유계된다.