[논문 리뷰] Poincaré sections for the horocycle flow in covers of SL(2,R)/SL(2,Z) and applications to Farey fraction statistics

Byron Heersink|arXiv (Cornell University)|2014. 03. 28.

Analytic Number Theory Research참고 문헌 17인용 수 4

한 줄 요약

이 논문은 피셔와 슈미트의 방법을 사용하여 SL(2,ℝ)/SL(2,K)에서의 호로사이클 플로우의 푸앵카레 단면을 유한 커버 SL(2,ℝ)/H로 올리며, 유한 지수 부분군 H ⊂ SL(2,K)에 의해 정의된 페레이 분수 부분집합의 한계 갭 분포의 존재를 증명한다. 또한 디오판틴 스비션 집합의 한계 르베그 측도의 존재를 확립하여 에르되시, 쇼슈, 투라ーン이 제기한 문제의 이와 유사한 형태를 해결한다.

ABSTRACT

For a given finite index subgroup H of SL(2,Z), we use a process developed by Fisher and Schmidt to lift a Poincaré section of the horocycle flow on SL(2,R)/SL(2,Z) found by Athreya and Cheung to the finite cover SL(2,R)/H of SL(2,R)/SL(2,Z). We then use the properties of this section to prove the existence of the limiting gap distribution of various subsets of Farey fractions. Additionally, to each of these subsets of fractions, we extend solutions by Xiong and Zaharescu, and independently Boca, to a Diophantine approximation problem of Erdős, Szüsz, and Turán.

연구 동기 및 목표

• 유한 지수 부분군 H ⊂ SL(2,K)에 대해 SL(2,ℝ)/SL(2,K) 위에서의 호로사이클 플로우의 푸앵카레 단면을 유한 커버 SL(2,ℝ)/H로 확장하는 것.
• 이러한 부분군 H에 의해 인덱싱된 페레이 분수 부분집합의 한계 갭 분포 측도의 존재를 증명하는 것.
• 에르되시, 쇼슈, 투라ーン이 제기한 디오판틴 스비션 근사 문제의 이와 유사한 형태를 해결하는 것.
• 구간 [0,1]의 부분구간에서 한계 갭 측도의 밀도가 연속적이며 조각별 해석적임을 보이는 것.
• 시온그와 자하레스쿠, 보카 등이 페레이 분수의 쌍상관 및 근사 측도에 대해 얻은 결과를 더 일반적인 산술적 제약 조건으로 일반화하는 것.

제안 방법

• 피셔와 슈미트의 기법을 사용하여 아트레야와 찬의 SL(2,ℝ)/SL(2,K) 작업에서의 푸앵카레 단면을 SL(2,ℝ)/H로 올리는 것.
• 유니포텐트 행렬 (1 -1; 0 1)에 의한 좌측 곱셈에 대해 닫혀 있는 M ⊂ ̿/H의 부분집합을 정의함으로써 Q 전역에서의 포함 관계를 보장하는 것.
• 호로사이클 플로우의 스텝 구조를 BCZ 사상 위에서 활용하여 페레이 분수 간격을 동역학적 공간 위의 운동과 연결하는 것.
• ergodic 이론과 측도의 약한 수렴을 적용하여, 경험적 갭 분포의 약한 극한으로서 한계 갭 측도의 존재를 보이는 것.
• 조각별 스무스 함수와 동역학 공간 위의 불변 측도를 사용하여 갭과 근사 집합의 분포를 분석하는 것.
• 적분 추정을 통해 근사 집합의 점점 증가하는 행동을 분석함으로써 잘 근사되는 실수의 한계 르베그 측도를 확립하는 것.

실험 결과

연구 질문

• RQ1 SL(2,K)의 유한 지수 부분군 H에 의해 정의된 페레이 분수 부분집합에 대해 한계 갭 분포가 존재하는가?
• RQ2 이러한 부분집합이 [0,1]의 부분구간에 제한되었을 때 한계 갭 측도의 존재를 증명할 수 있는가?
• RQ3 [0,1] 내에서 이러한 페레이 부분집합의 원소들에 의해 잘 근사되는 실수의 집합이 한계 르베그 측도를 갖는가?
• RQ4 이러한 부분집합에 대해 한계 갭 측도의 밀도가 연속적이며 조각별 해석적인가?
• RQ5 시온그와 자하레스쿠, 보카 등이 쌍상관 및 근사에 대해 얻은 결과를 더 일반적인 산술적 제약 조건으로 확장할 수 있는가?

주요 결과

• 부분수열 (F_M(Q))의 한계 갭 측도가 존재하며, 임의의 부분구간 I ⊂ [0,1]에서 연속적이며 조각별 해석적 밀도를 가진다.
• [0,1] 내에서 F_M(Q)의 점근적 밀도는 |M|Q² / ([Γ:H]π²) 비례하며, Q → ∞ 일 때 N_I,M(Q) ~ 3|I|(#M)Q² / (π²[Γ:H])이다.
• F_M(Q)의 원소들에 의해 잘 근사되는 실수의 집합의 한계 르베그 측도가 존재하며, 동역학 공간의 특정 부분집합 위에서의 적분을 포함하는 공식으로 주어진다.
• 근사 집합의 측도는 조각별 스무스 함수 f_{j1,...,jr}^{(α)}와 불변 측도 μ_{Ω_M}을 포함하는 적분 추정을 통해 수렴함을 보였다.
• 경계의 측도가 0인 집합 위에서 측도의 수렴성과 아래에서의 연속성에 기반하여 극한 적분의 존재를 보장하는 것.
• 핵심 기술적 결과는 lim_{n→∞} ∫_{H_{j1,...,jr}(n/Q)} f_{j1,...,jr}^{(α)} d ho_{Q,I,M} = ∫_{H_{j1,...,jr}(1/c)} f_{j1,...,jr}^{(α)} dμ_{Ω_M} 이다.