[논문 리뷰] On approximation of p-adic numbers by p-adic algebraic numbers

Victor Beresnevich, Vasili Bernik외 1명|ArXiv.org|2008. 02. 13.

advanced mathematical theories참고 문헌 4인용 수 4

한 줄 요약

이 논문은 디오판틴스 추측에 대한 킬린친 유형 정리의 완전한 p진 수 버전을 수립한다. 모노톤 함수 Ψ에 대해, 대수적 수의 차수 n을 갖는 p진 수 중에서 오차가 H(α)⁻ⁿΨ(H(α)) 이하로 유계된 수들의 집합은 ∑Ψ(h) 수렴 시 헤어 측도가 0이고, 발산 시 전체 측도를 가진다. 이 결과들은 p진 해석학과 측도론적 방법을 사용하여 실수 체계에서의 고전적 메트릭 디오판틴스 추측을 p진 수 체계로 확장한다.

ABSTRACT

A complete p-adic Khintchine type theorem for approximation by p-adic algebraic numbers is established.

연구 동기 및 목표

• 대수적 수에 의한 디오판틴스 추측에 대한 킬린친 정리의 완전한 p진 수 버전을 수립하기.
• 오차가 H(α)⁻ⁿΨ(H(α)) 이하로 유계된 차수 n의 대수적 수로 근사 가능한 p진 수들의 집합의 헤어 측도를 결정하기.
• 원래 실수체 ℝ에서 유도된 고전적 메트릭 디오판틴스 추측 결과를 p진 수체 ℚₚ로 확장하기.
• 이 집합의 측도가 정확히 ∑Ψ(h)의 수렴 또는 발산 여부에 따라 좌우됨을 증명하기, 이는 실수 경우와 동일한 양상이다.
• 실수 디오판틴스 추측에서의 핵심 도구들—정규 체계와 보렐-칸텔레 유형의 추론—의 p진 수 버전을 개발하기.

제안 방법

• ℚₚ에서 p진 순서와 헤어 측도를 사용하여 근사 집합의 거리 구조를 정의하기.
• 근사 부등식으로 정의된 집합의 측도를 분석하기 위해 p진 수 체계에서 보렐-칸텔레 보조정리를 적용하기.
• 다항식과 그 도함수의 근 주변 행동을 제어하기 위해 보조 집합 E₁(δ, Q, K, ξ)과 E₂(ξ, C, K₀)를 도입하기.
• 헤젤의 보조정리를 사용하여 근사된 근을 실제 p진 근으로 올리고, 근사자와 대수적 수 사이의 거리를 추정하기.
• 계수와 값의 유계 조건을 만족하는 다항식을 구성하기 위해 p진 수 체계에서 딜레르체의 원리를 활용하기.
• 높이가 유계되고 분리된 대수적 수의 수를 세는 데 기반하여, ℚₚ에서의 간격 정규 체계를 구성하여 발산 경우를 증명하기.

실험 결과

연구 질문

• RQ1 차수 n인 대수적 수에 의한 디오판틴스 추측에 대한 킬린친 정리의 p진 수 버전은 무엇인가?
• RQ2 ∑Ψ(h)의 수렴 또는 발산 여부가 H(α)⁻ⁿΨ(H(α)) 이하의 오차로 근사 가능한 차수 n의 대수적 수로 근사 가능한 p진 수들의 집합의 헤어 측도에 어떻게 영향을 미치는가?
• RQ3 고전적 메트릭 디오판틴스 추측 이론은 동일한 수렴/발산 이분법을 유지하면서 p진 수 체계로 확장될 수 있는가?
• RQ4 다항식의 도함수는 p진 위상에서 근사의 조밀도를 제어하는 데 어떤 역할을 하는가?
• RQ5 발산 경우에서 전체 측도 결과를 증명하기 위해 ℚₚ에서 정규 체계를 어떻게 구성할 수 있는가?

주요 결과

• Ψ: ℝ₊ → ℝ₊가 감소하는 함수일 때, 오차가 H(P)⁻ⁿΨ(H(P)) 이하로 유계된 차수 ≤ n인 다항식 P ∈ ℤ[x]에 대해 무한히 많은 해를 갖는 ω ∈ ℚₚ의 집합 Mₙ(Ψ)는 ∑Ψ(h) 수렴 시 헤어 측도가 0이다.
• ∑Ψ(h)가 발산할 경우, Mₙ(Ψ)는 ℚₚ에서 전체 헤어 측도를 가진다.
• H(α)⁻ⁿΨ(H(α)) 이하의 오차로 무한히 많은 해를 갖는 α ∈ 𝔸ₚ,ₙ에 대해 ω ∈ ℚₚ의 집합 𝔸ₚ,ₙ(Ψ)는 ∑Ψ(h) 수렴 시 헤어 측도가 0이고, 발산 시 전체 측도를 가진다.
• 정리 1의 수렴 부분은 다항식 값과 도함수 조건으로 정의된 집합의 측도에 대한 추정을 사용한 p진 수 체계의 보렐-칸텔레 보조정리의 변형을 통해 확립된다.
• 발산 부분은 정리 2로부터 유도되며, 잘 근사 가능한 점들의 집합이 양의 측도를 갖는 정규 체계를 포함함을 보여, 발산 조건 하에서 전체 측도를 가짐을 시사한다.
• 핵심 기술적 결과로, 충분히 큰 Q에 대해 μ(E(δ, Q, K)) ≤ cδμ(K) 이다. 여기서 E(δ, Q, K)는 H(P) ≤ Q 인 다항식 P에 대해 |P(ω)|ₚ < δQ⁻ⁿ⁻¹ 를 만족하는 p진 원판들의 합집합이며, 이는 보렐-칸텔레 추론에서 측도 제어를 가능하게 한다.