[논문 리뷰] Simultaneous inhomogeneous Diophantine approximation on manifolds

Victor Beresnevich, Sanju Velani|ArXiv.org|2007. 10. 30.

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

한 줄 요약

이 논문은 $\mathbb{R}^n$ 의 비열성 부분다양체 위의 거의 모든 점에서 동시에 비동차 디오판틴스 추측 지수를 $1/n$ 으로 설정하며, 스프린즈쿠의 추측의 비동차 해석을 증명한다. 핵심 혁신은 동차 및 비동차 지수를 연결하는 간소화된 비동차 이행 원리로, 이를 통해 기존의 동차 결과를 다각도적인 추론을 통해 다각도적으로 유도할 수 있다.

ABSTRACT

In 1998, Kleinbock & Margulis established a conjecture of V.G. Sprindzuk in metrical Diophantine approximation (and indeed the stronger Baker-Sprindzuk conjecture). In essence the conjecture stated that the simultaneous homogeneous Diophantine exponent $w_{0}(\vv x) = 1/n$ for almost every point $\vv x$ on a non-degenerate submanifold $\cM$ of $\R^n$. In this paper the simultaneous inhomogeneous analogue of Sprindzuk's conjecture is established. More precisely, for any `inhomogeneous' vector $\bmθ\in\R^n$ we prove that the simultaneous inhomogeneous Diophantine exponent $w_{0}(\vv x, \bmθ)= 1/n$ for almost every point $\vv x$ on $M$. The key result is an inhomogeneous transference principle which enables us to deduce that the homogeneous exponent $w_0(\vv x)=1/n$ for almost all $\vv x\in \cM$ if and only if for any $\bmθ\in\R^n$ the inhomogeneous exponent $w_0(\vv x,\bmθ)=1/n$ for almost all $\vv x\in \cM$. The inhomogeneous transference principle introduced in this paper is an extremely simplified version of that recently discovered in \cite{Beresnevich-Velani-new-inhom}. Nevertheless, it should be emphasised that the simplified version has the great advantage of bringing to the forefront the main ideas of \cite{Beresnevich-Velani-new-inhom} while omitting the abstract and technical notions that come with describing the inhomogeneous transference principle in all its glory.

연구 동기 및 목표

• 디오판틴스 추측에서 다양체 위의 비동차 해석을 확립하기.
• 임의의 비동차 벡터 $\bm{\theta} \in \mathbb{R}^n$ 에 대해, 비열성 부분다양체 $\mathcal{M} \subset \mathbb{R}^n$ 위의 거의 모든 $\mathbf{x}$ 에서 동시에 비동차 지수 $w_0(\mathbf{x}, \bm{\theta}) = 1/n$ 임을 증명하기.
• 비동차 문제를 기존의 동차 경우로 줄이는 간소화된 비동차 이행 원리를 도입하고 적용하기.

제안 방법

• 간소화된 비동차 이행 원리를 도입하여, $\mathcal{M}$ 위에서 $w_0(\mathbf{x}) = 1/n$ 이 거의 확실히 성립하는 것과, 임의의 $\bm{\theta} \in \mathbb{R}^n$ 에 대해 $w_0(\mathbf{x}, \bm{\theta}) = 1/n$ 이 거의 확실히 성립하는 것이 동치임을 보임.
• 측도론적 추론을 사용하여 근사 실패 집합의 측도를 추정하며, 서로소 및 비상호소거 근사 구역을 구분함.
• 보렐-칸텔리 보조정리를 적용하여, 근사 지수 $1/n$ 을 초과하는 점들의 집합이 측도가 0임을 보임.
• 근사 구역 $B^\theta_{\mathbf{p},q}(\varepsilon)$ 의 기하학적 성질과 다양체 $\mathcal{M}$ 과의 교차를 분석하며, 서로소 및 비상호소거 경우로 나누어 분석함.
• 비상호소거 구역은 $\mathcal{S}_n(\varepsilon/3) \cap \mathcal{M}$ 에 속하거나 유리수 점임을 보이며, 이는 모두 $\mathcal{M}$ 상에서 측도가 0임.
• 서로소 및 비상호소거 경우의 추정치를 결합하여, $w_0(\mathbf{x}, \bm{\theta}) > 1/n$ 인 점들의 집합이 $\mathcal{M}$ 상에서 측도가 0임을 결론함.

실험 결과

연구 질문

• RQ1 비열성 부분다양체 $\mathbb{R}^n$ 상에서 거의 모든 점에서 동시에 비동차 디오판틴스 지수는 $1/n$ 인가?
• RQ2 다양체 위의 비동차 디오판틴스 추측 문제는 이행 원리를 통해 동차 경우로 환원될 수 있는가?
• RQ3 다양체 위에서 비동차 부등식으로 정의된 근사 집합의 측도론적 행동은 어떠한가?
• RQ4 비열성 다양체의 기하학적 성질은 비동차 설정에서 잘 근사 가능한 점들의 분포에 어떻게 영향을 주는가?
• RQ5 이러한 다양체에서 비동차 지수 $1/n$ 을 초과하는 점들의 집합은 무시할 수 있는가?

주요 결과

• 비열성 부분다양체 $\mathcal{M}$ 의 거의 모든 점 $\mathbf{x} \in \mathcal{M}$ 에서 비동차 디오판틴스 지수 $w_0(\mathbf{x}, \bm{\theta}) = 1/n$ 이 성립하며, 이때 $\bm{\theta} \in \mathbb{R}^n$ 은 임의의 실수 벡터이다.
• $w_0(\mathbf{x}, \bm{\theta}) > 1/n$ 인 점들의 집합 $\mathbf{x} \in \mathcal{M}$ 은 르베그 측도가 0이다.
• 간소화된 비동차 이행 원리는 동차 및 비동차 지수 사이의 동치성을 확립한다: $\mathcal{M}$ 상에서 $w_0(\mathbf{x}) = 1/n$ 이 거의 확실히 성립하는 것과, 임의의 $\bm{\theta}$ 에 대해 $w_0(\mathbf{x}, \bm{\theta}) = 1/n$ 이 거의 확실히 성립하는 것이 동치이다.
• 비상호소거 근사 구역에 속하는 점들의 측도는 0이며, 이러한 점들은 모두 $\mathcal{S}_n(\varepsilon/3) \cap \mathcal{M}$ 에 속하거나 유리수 점이기 때문이다.
• 서로소 근사 구역에 속하는 점들의 측도는 척도가 증가함에 따라 지수 감소로 인해 0으로 수렴한다.
• 결과적으로 이는 스프린즈쿠의 추측의 비동차 해석을 확인하며, 고전적인 디오판틴스 추측 이론을 다양체 위의 비동차 설정으로 확장한다.