[논문 리뷰] Diophantine properties of groups of toral automorphisms

Vladimir Finkelshtein|arXiv (Cornell University)|2016. 07. 20.

Geometric and Algebraic Topology참고 문헌 15인용 수 4

한 줄 요약

이 논문은 스펙트럼 추정을 통해 쌍곡군 위에서의 랜덤 워크를 이용하여, 임의의 SL₂(ℤ)의 부분군 Γ가 2차원 토러스 위에서 작용할 때의 날카운 디오판틴 근사 결과를 수립한다. 르베그 거의 모든 x ∈ 𝕋²에 대해, ‖g.x − y‖ < ‖g‖⁻ᵅ 를 만족하는 군 원소 g ∈ Γ의 집합은 각각 α > δΓ 이면 유한하거나 α < δΓ 이면 무한한데, 이는 스펙트럼 갭과 푸리에 분석 기법을 통해 볼록 코컴팩트 작용에 대해 최적의 속도를 갖는다.

ABSTRACT

We prove sharp estimates in a shrinking target problem for the action of an arbitrary subgroup $Γ$ of $SL_2(\mathbb{Z})$ on the 2-torus. This can also be viewed as a non-commutative Diophantine approximation problem. The methods require constructing spectrally optimal random walks on groups acting properly cocompactly on Gromov hyperbolic spaces. Additionally, using Fourier analysis we give estimates for the same problem in higher dimensions.

연구 동기 및 목표

• 임의의 부분군 Γ < SL₂(ℤ)가 2차원 토러스 위에서 작용할 때의 날카운 수축 목표 결과를 수립하여, 기존의 디오판틴 근사 이론을 격자 이외의 경우로 확장한다.
• SL₂(ℤ)의 비격자(예: 얇은) 부분군에 의한 토러스 위의 일반적인 점들의 디오판틴 성질을 분석한다.
• 그로모프 쌍곡군 위에서의 랜덤 워크 스펙트럼 추정을 이용하여 최적의 근사 속도를 유도한다.
• 푸리에 분석을 통해 고차원으로의 결과 확장을 도모하고 일반적인 단조 감소 목표 가족에 대한 경계를 수립한다.

제안 방법

• Gromوف 쌍곡 공간 위에서 적절하게 코컴팩트하게 작용하는 군에 대해 스펙트럼적으로 최적인 랜덤 워크를 구성하여 군 표현의 스펙트럼 반경을 제어한다.
• L²(𝕋²) 위에서의 Koopman 표현 π₀의 스펙트럼 갭을 이용하여, 임계 지수 δΓ를 포함한 감쇠 속도를 갖는 정량적 에르고딕 정리들을 도출한다.
• 첫 번째 및 두 번째 보렐-칸탈레 정리를 적용하여, 스펙트럼 추정에 기반한 상관관계 감쇠에 의해 근사 집합의 유한성/무한성을 결정한다.
• 고차원의 경우, 푸리에 분석을 활용하여 g.x가 수축 목표에 속할 집합의 측도를 추정하고 임계 지수 δΓ와 연결한다.
• 쌍곡군의 성질 RD(빠른 감쇠)를 이용하여 Γ 내의 공 Bₙ 위에서의 평균 연산자의 L²-연산자 노름을 유계화한다.
• 쉘 Sₙ = Bₙ ∓ Bₙ₋ₖ 위에 정의된 유한 지지 측도 μₙ의 수열을 구성하여, 점점 감쇠하는 스펙트럼 반경 속도 e^(-½δΓn)를 달성함으로써 이론적 하한에 최적화된 점근적 수렴을 달성한다.

실험 결과

연구 질문

• RQ1 Γ < SL₂(ℤ)가 임의의 부분군일 때, Lebesgue 거의 모든 x ∈ 𝕋² 및 고정된 y ∈ 𝕋²에 대해, α > 0 이면 {g ∈ Γ : ‖g.x − y‖ < ‖g‖⁻ᵅ} 의 집합이 유한하거나 무한한가?
• RQ2 비격자 부분군에 대해 SL₂(ℤ)의 수축 목표 문제에서 임계 지수 δΓ가 디오판틴 근사의 날카운 임계점으로 작용할 수 있는가?
• RQ3 Γ 내의 공 위에서의 평균 연산자의 스펙트럼 반경의 최적 감쇠 속도는 무엇이며, Γ 위에서의 랜덤 워크를 통해 점근적으로 이를 도달할 수 있는가?
• RQ4 목표가 공이 아니라 측도 πr²인 일반적인 가측 집합이며 r = ψ(‖g‖)일 경우 근사 속도는 어떻게 변화하는가?
• RQ5 독립성이 없을 때 스펙트럼 감쇠 조건을 이용해 두 번째 보렐-칸탈레 정리를 어느 정도 적용할 수 있는가?

주요 결과

• 임의의 부분군 Γ < SL₂(ℤ)에 대해, a.e. x ∈ 𝕋² 에서 {g ∈ Γ : ‖g.x − y‖ < ‖g‖⁻ᵅ} 는 α > δΓ 이면 유한하고 α < δΓ 이면 무한하며, 이는 δΓ 가 날카운 임계점임을 입증한다.
• 볼록 코컴팩트인 Γ에 대해, {g ∈ Γ : g.x ∈ Targ_ψ(‖g‖)} 는 ∑ₙ n²δΓ⁻¹ ψ(n)² < ∞ 이면 유한하고, ∑ₙ (log n)⁴ n⁻²δΓ⁻¹ ψ(n)⁻² < ∞ 이면 무한하며, 이는 이전의 정리 A 보다 더 날카로운 속도를 제공한다.
• 쉘 Sₙ 위에서의 평균 연산자에 대한 Koopman 표현의 스펙트럼 반경은 ‖λΓ(μₙ)‖ ≤ n² e^(-½δΓ n + O(1)) 를 만족하며, 다항수 인자 외에는 이론적 하한에 정확히 부합한다.
• 쉘 Sₙ 위에서의 평균 연산자에 대한 에르고딕 정리 수렴 속도는 n² e^(-½δΓ n + O(1)) 로 유계화되며, 다항수 보정을 제외하고는 최적이며 최적이다.
• Γ 위에 유한 지지 측도 μₙ 의 수열을 구성할 수 있으며, (−2 log ‖λΓ(μₙ)‖)/n → δΓ 를 만족하여 스펙트럼 감쇠에서 점근적 최적성을 달성한다.
• 스펙트럼 감쇠 조건 하에서 두 번째 보렐-칸탈레 정리가 적용 가능하다: ∑ₙ (log n)⁴ n⁻²δΓ⁻¹ ψ(n)⁻² < ∞ 이면, a.e. x 에 대해 g.x 는 Targ_ψ(‖g‖) 에 무한번 들어간다.