[논문 리뷰] The horocycle flow at prime times

Peter Sarnak, Adrián Ubis|arXiv (Cornell University)|2011. 10. 04.

Analytic Number Theory Research참고 문헌 19인용 수 8

한 줄 요약

이 논문은 모듈러 표면에서 비주기적 궤도에 대해 소수 시각에서의 고원환류동이 양의 측도를 가진 집합에서 조밀함을 증명하며, 라마누잔/셀버그 추측 하에 특수 헤크 궤도에 대해 전체 조밀성도 증명한다. 효과적 등분포 기법과 스펙트럼 이론을 사용하여, 소수 시각 측도의 약한 극한이 불변 측도에 대해 균일하게 절대연속이며, 밀도가 10 이하로 유계임을 보인다.

ABSTRACT

We prove that the orbit of a non-periodic point at prime values of the horocycle flow in the modular surface is dense in a set of positive measure. For some special orbits we also prove that they are dense in the whole space (assuming the Ramanujan/Selberg conjectures for GL(2)/Q). In the process, we derive an effective version of Dani's Theorem for the (discrete) horocycle flow.

연구 동기 및 목표

• 모듈러 표면에서 소수 시간에 제한된 고원환류동 궤도의 분포를 조사한다.
• 일반적인 점의 소수 시간에서의 고원환류동 궤도가 전체 공간에서 조밀한지, 아니면 양의 측도를 가진 부분집합에서만 조밀한지 결정한다.
• 디스crete 고원환류동에 대한 효과적 등분포 결과를 확립하여 다니의 정리를 확장한다.
• 소수 시각 측도의 약한 극한이 불변 측도에 대해 균일하게 절대연속이며, 명시적 유계를 갖는다는 것을 증명한다.
• 라마누잔/셀버그 추측 하에, 헤크 유형 궤도가 소수 시간에 제한되었을 때 전체 모듈러 공간에서 조밀함을 확립한다.

제안 방법

• 효과적 스펙트럼 기법을 사용하여 디스crete 고원환류동에 대한 다니의 정리의 효과적 형태를 도출한다.
• 특히 마스 폼을 포함한 $ L^2(X) $ 상의 지수합과 스펙트럼 분해를 사용하여 소수 $ p $ 에 대한 $ x u^p $ 의 분포를 분석한다.
• 원 방법과 유형 I/II 합을 적용하여 소수 시각 궤도의 등분포에서 오차 항을 제어한다.
• 라마누잔/셀버그 추측을 사용하여 스펙트럼 간격을 제어하고, 스펙트럼 프로젝터의 $ L^2 $-노름을 유계로 유지함으로써 극한 측도의 밀도에 대한 균일한 유계를 확보한다.
• $ \theta $-유계와 헤크 고유형 함수의 $ L^4 $-노름 추정을 통해 스펙트럼 프로젝터의 푸리에 계수의 $ L^1 $-노름을 추정한다.
• 유형 I 합에 대해 분포 수준 $ 1/2 $, 유형 II 합에 대해 $ 3/19 $ 를 확립하여, 소수 시각 설정에서 효과적 등분포 결과를 가능하게 한다.

실험 결과

연구 질문

• RQ1 비주기적 점의 소수 시각에서의 고원환류동 궤도가 모듈러 표면에서 조밀한가?
• RQ2 소수 시각 고원환류동 궤도에 대한 정규화된 측도의 약한 극한이 불변 측도에 대해 절대연속임을 증명할 수 있는가?
• RQ3 극한 측도 $ \nu_x $ 의 밀도에 대한 날카운 상한은 무엇이며, 이를 불변 측도와의 등식으로 개선할 수 있는가?
• RQ4 어떤 수론적 가정(예: 라마누잔/셀버그 추측) 하에, 소수 시간에 제한된 헤크 유형 궤도의 전체 조밀성이 확립될 수 있는가?
• RQ5 디스crete 고원환류동에 대한 효과적 등분포 결과가 소수 시각 설정에서 조밀성 추론에 얼마나 활용될 수 있는가?

주요 결과

• 임의의 일반적인 점 $ x $ 에 대해, 측도 $ \pi_{x,N} $ 의 약한 극한 $ \nu_x $ 는 $ d\nu_x \leq 10 \, d\mu_G $ 를 만족하며, 이는 불변 측도에 대해 균일한 절대연속성을 증명한다.
• 소수 시각 궤도 $ \overline{P_x} $ 의 폐쇄는 최소한 $ 1/10 $ 의 체적을 가지므로, 작은 집합에 포함될 수 없다.
• 만약 $ U \subset X $ 가 열려 있고 $ \mathrm{Vol}(U) > 1 - 1/10 $ 이면, 소수 $ p $ 의 양의 밀도로 $ x u^p \in U $ 를 만족한다.
• 헤크 궤도 $ H_N $ 에 대해, 라마누잔/셀버그 추측을 가정하면, $ \pi_{H_N,N} $ 의 약한 극한 $ \nu $ 는 $ \frac{1}{5} d\mu_G \leq d\nu \leq \frac{9}{5} d\mu_G $ 를 만족한다.
• 이 방법은 유형 I 합에 대해 $ 1/2 $, 유형 II 합에 대해 $ 3/19 $ 의 분포 수준을 확보하여, 소수 시각 설정에서 효과적 등분포 결과를 가능하게 한다.
• 결과적으로, 동일한 스펙트럼 가정 하에, 최대 10개의 소인수를 가진 $ n $ 에 대해 $ T^n x $ 는 $ X $ 에서 조밀하다.