[논문 리뷰] Metric Diophantine approximation for systems of linear forms via dynamics

Dmitry Kleinbock, G. A. Margulis외 1명|arXiv (Cornell University)|2009. 04. 17.

Mathematical Dynamics and Fractals참고 문헌 23인용 수 3

한 줄 요약

이 논문은 동역학적 방법을 사용하여 $ℝ^n$ 내의 임의의 유한한 수의 매끄럽고 비퇴화된 부분다양체들의 조합 강한 극도성(joint strong extremality)을 확립한다. 비율적으로 발산하지 않는 추정치의 일반화된 정량적 결과를 통해, 측도의 이동에 대한 측도의 이동에 대한 일반화된 정량적 비발산 추정치를 증명함으로써, 메트릭 디오판틴스 추측 이론을 단일 형식을 넘어서 종속된 시스템으로 확장한다. 이로써 이러한 측도들이 강하게 극도적이며, 따라서 부분다양체들 내의 거의 모든 행렬이 매우 잘 곱하기로 근사되지 않는다는 것을 보여준다.

ABSTRACT

The goal of this paper is to generalize the main results of [KM] and subsequent papers on metric Diophantine approximation with dependent quantities to the set-up of systems of linear forms. In particular, we establish `joint strong extremality' of arbitrary finite collection of smooth nondegenerate submanifolds of ${\bold R}^n$. The proofs are based on generalized quantitative nondivergence estimates for translates of measures on the space of lattices.

연구 동기 및 목표

• m × n 행렬 내의 종속된 양에 대한 메트릭 디오판틴스 추측 결과를 선형 형식의 시스템으로 일반화하기.
• ℝ^n 내의 매끄럽고 비퇴화된 부분다양체들이 그들의 매개변수화에 의해 유도된 측도 하에서 함께 강하게 극도적임을 확립하기.
• 균질 동역학의 프레임워크를 확장하여 $M_{m,n}$ 상의 측도들, 특히 $ℝ^d$ 에서 $M_{m,n}$ 으로의 매끄러운 사상에 의해 유도된 측도들에 대한 강한 극도성 증명하기.

제안 방법

• ℝ^{m+n} 내의 단위 래티스 공간 상의 측도의 이동에 대한 일반화된 정량적 비발산 추정치의 사용.
• 작은 선형 형식의 값과 관련된 집합의 측도 감쇠를 제어하기 위해 균질 흐름 이론의 적용.
• ℝ^{m+n} 내의 ℓ(m+n,ℝ) 작용을 통해 균질 공간 ℓ(m+n,ℝ) / ℓ(m+n,K) 상에서의 동역학을 분석함으로써 근사 성질을 분석하기.
• [KM1]의 기법을 매트릭스 설정으로 확장하기 위해 형식의 집합에 대한 비퇴화성 개념을 확장하기.
• ℝ^d 에서 $M_{m,n}$ 으로의 매끄럽고 비퇴화된 사상에 의해 옮겨받은 측도들이 비발산 추정치를 통해 강하게 극도적임을 증명하기.
• 균질 및 비균질 설정 간의 전환 원리를 활용하여, 강한 극도성이 수축 측도 조건 하에서 비균질 강한 극도성을 암시한다는 것을 보여주기.

실험 결과

연구 질문

• RQ1 M_{m,n} 내의 매끄러운 부분다양체에 대해 그 리만 측도가 강하게 극도적인가에 대한 조건은 무엇인가?
• RQ2 m=1의 경우를 초월하여, 동역학적 방법을 통해 선형 형식의 시스템과 관련된 측도의 강한 극도성을 확립할 수 있는가?
• RQ3 F: ℝ^d \to M_{m,n} 인 매핑의 비퇴화성과 측도 F_*\lambda 의 극도성 사이의 정확한 관계는 무엇인가?
• RQ4 매트릭스 설정에서 매우 잘 곱하기로 근사 가능한 행렬의 개념과 매우 잘 곱하기로 근사 가능한 행렬의 개념은 전치에 대해 어떻게 행동하는가?
• RQ5 m,n 중 최소값이 1을 초과하는 M_{m,n} 내의 매끄러운 부분다양체에 대해 히친케 타입 정리가 어느 정도까지 확장될 수 있는가?

주요 결과

• 임의의 매끄럽고 비퇴화된 매핑 F: ℝ^d \to M_{m,n} 에 대해 옮겨받은 측도 $F_*\lambda$ 는 강하게 극도적이며, 이는 $μ$-거의 모든 Y \in M_{m,n} 이 매우 잘 곱하기로 근사되지 않는다는 것을 의미한다.
• 임의의 유한한 수의 ℝ^n 내의 매끄럽고 비퇴화된 부분다양체들의 조합 강한 극도성이 확립되었으며, 이는 단일 형식의 경우를 일반화한다.
• 래티스 공간 상의 측도에 대한 일반화된 정량적 비발산 추정치가 증명되었으며, 이는 근사 속도를 제어하는 핵심 기술적 도구로 사용된다.
• 측도 $F_*\lambda$ 가 거의 곳곳에서 강하게 수축됨을 보여주었으며, 이는 [BV]의 결과를 통해 비균질 강한 극도성을 암시한다.
• 매우 잘 곱하기로 근사 가능한 행렬의 집합은 르베그 측도가 0임을 확인하였으며, 이는 넓은 범위의 매끄러운 측도로까지 확장된다.
• 결과적으로, 고정된 ℓ \in ℝ^m 에 대해, (Y,ℓ) 가 매우 잘 곱하기로 근사 가능한 행렬 Y 의 집합은 $F_*\lambda$ 하에 측도가 0임을 암시한다.