[논문 리뷰] Diophantine approximation on curves and the distribution of rational points: divergence theory

Виктор В Бересневич, R. C. Vaughan외 2명|arXiv (Cornell University)|2018. 09. 17.

Mathematical Dynamics and Fractals참고 문헌 21인용 수 5

한 줄 요약

이 논문은 $ℝ^n$ 내의 임의의 비특이 곡선 주위에 높이가 유계인 유리점의 수에 대한 최적의 하한을 설정하며, 이는 이전 결과를 해석학적 곡면에서 일반적인 비특이 다양체로 확장한다. 보편 체계와 $(C,\alpha)$-좋은 함수에 기반한 새로운 방법을 사용하여, 곡선에 대해 히친킨-야르니크 유형의 발산 정리를 증명함으로써, 해석성 가정 없이도 기대하는 하한이 성립함을 확인한다. 이는 근사 함수 $ψ$와 높이 $Q$에 대한 명시적인 거듭제곱 법칙 의존성을 포함한다. 결과는 비동차 설정으로도 확장된다.

ABSTRACT

In this paper we develop a new explicit method to studying rational points near manifolds and obtain optimal lower bounds on the number of rational points of bounded height lying at a given distance from an arbitrary non-degenerate curve. This generalises previous results for analytic non-degenerate curves. Furthermore, the main results are also proved in the inhomogeneous setting. Applications of the main theorem include the Khintchine-Jarník type theorem for divergence for arbitrary non-degenerate curve in $\mathbb{R}^n$.

연구 동기 및 목표

• 임의의 비특이 곡선 $ℝ^n$ 내에서 주어진 거리 이내에 존재하는 높이가 유계인 유리점의 수에 대한 날카로운 하한을 확립하는 것.
• 이전에 알려진 해석적 비특이 다양체에 대한 결과를 더 넓은 일반 비특이 곡선의 범주로 확장하는 것.
• 디오판틴 추정에서 비해석적, 매끄럽고 충분히 굴절된 다양체를 다룰 수 있는 새로운 방법을 개발하는 것.
• 이전에 평면 경우에서만 알려진 비동차 발산 결과의 버전을 일반 비특이 곡선으로 확장하는 것.
• 비특이 곡선에 대해 기대되는 $ψ$와 $Q$에 대한 거듭제곱 법칙 성장이 성립함을 확인하는 것. 이는 추측된 최적 하한과 일치한다.

제안 방법

• 저자들은 보편 체계 이론과 $(C,\alpha)$-좋은 함수 개념에 기반한 새로운 방법을 도입하여 다양체 주위의 유리점 분포를 분석한다.
• 그들은 분모 $q \in (Q/2, Q]$ 이며 근사 오차가 통제되는 이동된 유리점의 집합 $\mathcal{R}(Q,\psi,B,\bm{\theta})$ 를 정의한다.
• 핵심 기술 도구는 곡선 매핑 $τ$의 도함수로부터 유도된 행렬 $G(x)$ 의 구성이며, 이는 곡선의 기하학을 코딩하는 함수 $h(x)$ 를 정의하는 데 사용된다.
• 이 방법은 특정 행렬식 함수 $\phi_{I,\Gamma}(x)$ 가 $(C,\alpha)$-좋은 성질을 가지며, 이는 유리점 분포에 대한 균일한 통제를 보장한다.
• 증명은 유도와 하향 차원 유사체를 고려함으로써 하향 차원의 유사체로의 귀납과 축소를 사용하며, 비특이성 조건을 유지한다.
• 최종 단계에서는 결과로 얻어진 좋은 함수 체계에 대해 히친킨-마르구리스 정리(정리 KM)를 적용하여 측도 추정을 도출함으로써, 기대하는 유리점 수에 대한 하한을 유도한다.

실험 결과

연구 질문

• RQ1 비특이 곡선 $ℝ^n$ 주위의 유리점에 대한 최적 하한이 곡선의 해석성 가정 없이도 성립하는가?
• RQ2 비동차 발산 결과의 버전이 평면 이외의 임의의 비특이 곡선에 대해서도 성립하는가?
• RQ3 추측된 바와 같이 일반 비특이 곡선에 대해 근사 함수 $ψ$와 높이 $Q$에 대한 거듭제곱 법칙 의존성 $ψ^m Q^{d+1}$ 이 성립하는가?
• RQ4 해석적 다양체에 사용된 방법이 보편 체계와 좋은 함수의 새로운 프레임워크를 통해 비해석적, 매끄럽고 비특이 곡선에 적응 가능한가?
• RQ5 비해석적 설정에서 하한 $C_1 \psi^m Q^{d+1}$ 이 성립하는 $ψ$ 의 날카로운 범위는 무엇인가?

주요 결과

• 논문은 임의의 비특이 곡선 $ℝ^n$ 에 대해 $\#\left\{\mathbf{p}/q \in \mathbb{Q}^n : 1 \leq q \leq Q, \operatorname{dist}(\mathbf{p}/q, \mathcal{M}) \leq \psi/Q \right\} \geq C_1 \psi^m Q^{d+1}$ 의 최적 하한을 설정한다. 여기서 $m = n - d$ 는 여차원이다.
• 이 하한은 모든 충분히 큰 $Q$ 와 $C_2 Q^{-3/(2n-1)} < \psi < 1$ 을 만족하는 모든 $ψ$ 에 대해 성립하며, 해석적 곡선의 경우에 알려진 최고의 범위와 일치한다.
• 비동차 결과의 버전이 증명되었으며, 이는 이동된 유리점에 대한 발산 이론을 임의의 이동 $\bm{\theta} = (\bm{\lambda}, \bm{\gamma})$ 로 확장한다.
• 저자들은 추측된 $ψ$ 와 $Q$ 에 대한 거듭제곱 법칙 의존성이 일반 비특이 곡선에 대해서도 성립함을 확인한다. 이는 해석적 곡선 뿐만 아니라 일반적인 경우에도 성립한다.
• 이 방법은 곡선의 도함수로부터 유도되는 행렬식 함수 $\phi_{I,\Gamma}(x)$ 가 $(C,\alpha)$-좋은 성질을 가짐을 증명함으로써, 히친킨-마르구리스 정리의 적용을 가능하게 한다.
• 증명은 인덱스 집합 $I$ 의 선택과 무관하게 균일한 상수 $C$ 와 지수 $\alpha = 1/(2l-1)$ 을 도출하며, 이는 모든 관련 구성에 대해 강건함을 보장한다.