[논문 리뷰] Systems of small linear forms and Diophantine approximation on manifolds

Victor Beresnevich, Vasili Bernik외 1명|arXiv (Cornell University)|2017. 07. 02.

Mathematical Dynamics and Fractals참고 문헌 25인용 수 4

한 줄 요약

이 논문은 비퇴도(manifold) 위에서 디오판틴 대수적 근사에 대한 히힌친 유형 정리(convergence case)를 확장하여, 동시에 작은 선형 형식의 시스템에 대해 성립함을 보이며, 단조성 조건 없이 수렴 사례를 증명하고, 하우스도르프 측도에 대한 발산 사례를 제시함으로써, 비퇴도 다양체 위에서의 동시에 작은 선형 형식의 시스템에 대해 최적의 개선을 이룸.

ABSTRACT

We develop the theory of Diophantine approximation for systems of simultaneously small linear forms, which coefficients are drawn from any given analytic non-degenerate manifolds. This setup originates from a problem of Sprindžuk from the 1970s on approximations to several real numbers by conjugate algebraic numbers. Our main result is a Khintchine type theorem, which convergence case is established without usual monotonicity constrains and the divergence case is proved for Hausdorff measures. The result encompasses several previous findings and, within the setup considered, gives the best possible improvement of a recent theorem of Aka, Breuillard, Rosenzweig and Saxcé on extremality.

연구 동기 및 목표

• 비퇴도 해석적 다양체 위에서 계수를 갖는 동시에 작은 선형 형식의 시스템에 대한 디오판틴 대수적 근사 이론을 개발하기 위해.
• 스프린즈쿠크의 공액 대수적 수 근사 문제를 더 넓은 다양체 설정으로 일반화하기 위해.
• 근사 함수의 단조성 조건이 필요 없이 히힌친 유형 정리를 수립하기 위해.
• 이전의 우바이티 및 정규 체계 결과를 확장하여, 하우스도르프 측도를 사용해 발산 사례를 증명하기 위해.
• 아카, 브로이아르드, 로젠츠바이그, 색스에가 최근에 제시한 극도성(extremality) 결과를 동시에 근사의 맥락에서 개선하기 위해.

제안 방법

• 다항식 근사의 점에서의 평가를 일반화하여, $ m \times (n+1) $ 행렬 $ Y $ 를 통해 $ |Y_j \mathbf{a}| < \Psi(|\mathbf{a}|) $ 가 무한히 많은 $ \mathbf{a} \in \mathbb{Z}^{n+1} $ 에 대해 성립하는 문제로 문제를 재구성함.
• 고차수의 단항식을 통한 변수 재매개변수화를 통해, 고차원 비퇴도 다양체를 저차원 비퇴도 곡선으로 감소시키기 위해 피버링 보조정리(Fibering Lemma)를 사용함.
• 하우스도르프 측도에 대한 푸비니 유사 결과인 슬라이싱 보조정리(Slicing Lemma)를 적용하여, 저차원 조각에서의 발산 결과를 전체 차원 집합으로 옮김.
• 비퇴도 다양체의 성질에 기반하여, 단조성 조건 없이도 수렴 사례를 다룰 수 있도록 정규 체계와 우바이티 구조를 수립함.
• 발산 사례에서 르베그 측도에서 하우스도르프 측도로 결과를 전환하기 위해 질량 이행 원리(Mass Transference Principle)를 활용함.
• 비퇴도를 유지하면서도 차원을 귀납적으로 감소시킬 수 있도록, $ t \mapsto t^{1+D^{d_j}} $ 를 통한 변수 변경을 사용함.

실험 결과

연구 질문

• RQ1 동시로 작은 선형 형식의 시스템에 대해, 근사 함수의 단조성 조건 없이도 히힌친 유형 정리의 수렴 사례를 확립할 수 있는가?
• RQ2 근사 함수가 비단조성일 경우에도, 이러한 시스템에 대해 하우스도르프 측도에서 발산 사례가 성립하는가?
• RQ3 비퇴도 해석적 부분다양체에서 추출된 계수를 갖는 동시에 작은 선형 형식의 시스템에 대해, 다양체 위에서의 디오판틴 대수적 근사 이론을 확장할 수 있는가?
• RQ4 이러한 시스템의 극도성은 아카, 브로이아르드, 로젠츠바이그, 색스에의 이전 결과와 비교해 어떻게 다를까?
• RQ5 비퇴도 다양체 위에서 동시에 잘 근사 가능한 점들의 집합이 하우스도르프 측도로 전체가 되는 정확한 조건은 무엇인가?

주요 결과

• 논문은 비퇴도 해석적 다양체 위에서 동시에 작은 선형 형식의 시스템에 대해 완전한 히힌친 유형 정리를 수립하였으며, 이는 단조성 제약 없이도 성립함.
• 하우스도르프 측도에 대한 발산 사례가 증명되었으며, 이는 고전 결과를 비단조성 근사 함수와 일반 다양체로 확장함.
• 핵심 수렴 조건은 $ S_{n,m}(\Psi) = \sum_{h=1}^\infty h^{n-m} \Psi^m(h) < \infty $ 로, 이는 잘 근사 가능한 점들의 집합이 르베그 측도로 영이 되는지를 결정함.
• 발산 조건 $ S_{n,m}(\Psi) = \infty $ 와 함께 단조성 조건이 만족되면, 임의의 구내에서 전체 르베그 측도를 확보함으로써 고전 결과를 다양체 설정으로 확장함.
• 최근 아카, 브로이아르드, 로젠츠바이그, 색스에의 정리에서 단조성 가정을 제거함으로써, 특히 수렴 사례에서 개선된 결과를 도출함.
• 피버링 보조정리와 슬라이싱 보조정리를 통한 새로운 귀납적 감소 기법을 사용하여, 임의의 차원의 비퇴도 다양체를 다룰 수 있었으며, 근사 문제의 구조를 유지함.