[논문 리뷰] Report on some recent advances in Diophantine approximation

Michel Waldschmidt|ArXiv.org|2009. 08. 27.

Mathematical Dynamics and Fractals참고 문헌 105인용 수 16

한 줄 요약

이 논문은 디오판틴스 추측의 최근 발전을 검토하며, 실수 및 복소수에 대한 유리수, 다항식, 대수적 수의 근사와 더불어 고차원에서의 동시 근사에 초점을 맞춘다. 비영인 곡률을 가진 평면 곡선 주위의 유리점에 대해 정밀한 측도 결과를 확립하며, 히친 유형의 정리와 하우스도르프 측도의 유사 정리(analogue)를 증명한다. 이에 따라 이러한 곡선 상의 $ w $-근사 가능한 점들의 집합은 $ w \in (1/2,1) $ 에서 차원이 $ \frac{2-w}{1+w} $ 를 가진다.

ABSTRACT

A basic question of Diophantine approximation, which is the first issue we discuss, is to investigate the rational approximations to a single real number. Next, we consider the algebraic or polynomial approximations to a single complex number, as well as the simultaneous approximation of powers of a real number by rational numbers with the same denominator. Finally we study generalisations of these questions to higher dimensions. Several recent advances have been made by B. Adamczewski, Y. Bugeaud, S. Fischler, M. Laurent, T. Rivoal, D. Roy and W.M. Schmidt, among others. We review some of these works.

연구 동기 및 목표

• 다양체 위에서의 동시 디오판틴스 추측에 대한 체계적인 이해 부족 문제를 다루고, 고차원에서 대수적 다양체 주위의 유리점 분포를 분석한다.
• 비영인 곡률을 가진 매끄러운 평면 곡선 위의 점들에 대한 유리근사에 대해 정밀한 측도 추정치를 제공한다.
• 이러한 곡선에서의 동시 근사에 대해 완전한 히친 유형 정리와 그 하우스도르프 측도 유사 정리를 수립한다.
• 유리수 이차 곡선을 초월하여 일반적인 매끄러운 곡선으로 '근접 실패' 현상에 대한 이해를 확장한다.
• 고차원 디오판틴스 추측에서의 보편성, 분포, 근사 지수에 관한 결과들을 통합하고 일반화한다.

제안 방법

• 비영인 곡률을 가진 매끄러운 평면 곡선 주위의 유리점들이 보편 체계(ubiquitous system)를 이룬다는 것을 보이기 위해 보편성 프레임워크를 활용한다.
• 히친 전이 원리(Khintchine transfer principle)를 적용하여, $ \delta \gg Q^{-2} $ 일 때 곡선 $ \Gamma $ 에서 거리 $ \delta $ 이내에 있는 유리점의 수에 대한 하한을 도출한다.
• 바울과 벨라니의 분석 기법과 베르네브이치, 디킨슨, 벨라니의 결과를 결합하여 헉슬리의 $ N_\Gamma(Q,\delta) $ bound 를 정밀하게 개선함으로써, $ \delta \gg Q^{-2} $ 에 대해 정밀한 점근적 추정치를 확보한다.
• 분석적 근사 행동과 균일 근사 행동을 분석하기 위해 $ \omega $, $ \widehat{\omega} $, $ \nu $ 등의 디오판틴스 지수 이론을 활용한다.
• 다항식 및 대수적 수 근사에서 크기와 높이의 개념을 사용하여 $ |P(\xi)| $ 의 작은 값과 대수적 수로부터의 작은 거리 간의 비교를 수행한다.
• 레베그 및 하우스도르프 측도와 같은 측도 이론 도구를 적용하여 곡선 상의 $ w $-근사 가능한 점들의 집합의 크기를 특성화한다.

실험 결과

연구 질문

• RQ1 비영인 곡률을 가진 매끄러운 평면 곡선 $ \Gamma $ 주위의 유리점 $ (p_1/q, p_2/q) $ 이 거리 $ \delta $ 이내에 있을 때의 정밀한 점근적 하한은 무엇인가? $ \delta \gg Q^{-2} $ 일 때.
• RQ2 이러한 곡선 주위의 유리점 분포는 측도 디오판틴스 추측에서 보편성 개념과 어떻게 관련이 있는가?
• RQ3 비영인 곡률을 가진 매끄러운 평면 곡선 상의 $ w $-근사 가능한 점들의 집합의 하우스도르프 차원은 $ w \in (1/2,1) $ 에서 얼마인가?
• RQ4 비영인 곡률을 가진 곡선에서 동시 근사에 대해 히친 유형 정리를 수립할 수 있으며, 수렴-발산 기준은 무엇인가?
• RQ5 헉슬리의 곡선 주위의 유리점에 대한 추정치는 $ \delta \gg Q^{-2} $ 에 대해 정밀한 추정치로 일반화될 수 있으며, 고차원 다양체로도 확장 가능한가?

주요 결과

• 비영인 곡률을 가진 매끄러운 평면 곡선 $ \Gamma $ 에 대해, 거리 $ \delta $ 이내에 있는 유리점 $ (p_1/q, p_2/q) $ 의 수는 $ \delta \gg Q^{-2} $ 일 때 $ N_\Gamma(Q,\delta) \gg Q^3 \delta $ 를 만족한다.
• 이러한 곡선 상의 $ w $-근사 가능한 점들의 집합은 $ w \in (1/2,1) $ 에서 하우스도르프 차원이 $ \frac{2-w}{1+w} $ 를 가지며, 이는 그 크기를 정밀하게 측정하는 데 기여한다.
• 완전한 히친 유형 정리가 $ \Gamma $ 에서 동시 근사에 대해 성립한다: 집합 $ \mathcal{A}_2(\psi,\Gamma) $ 의 레베그 측도는 $ \sum h \psi(h) $ 가 수렴하는지 여부에 따라 0 또는 $ \ell $ 이다.
• 히친 정리의 하우스도르프 측도 유사 정리가 확립되었다: $ \mathcal{H}^s(\mathcal{A}_2(\psi,\Gamma)) $ 는 $ \sum h^{2-s} \psi(h)^s $ 의 수렴 여부에 따라 0 또는 $ +\infty $ 이다.
• 베르네브이치, 디킨슨, 벨라니, 바울의 결과를 결합함으로써, $ N_\Gamma(Q,\delta) \ll Q^{3+\varepsilon}\delta + Q $ 를 $ \delta \gg Q^{-2} $ 에 대해 정밀한 점근적 추정치로 개선하였다.
• 고차원 유사 정리는 여전히 대부분 열려 있으며, 특히 다양체나 대수적 다양체 주위의 유리점에 대해 이해 부족이 뚜렷하게 드러나 있다.