[논문 리뷰] Effective Ratner theorem for ASL(2,R) and gaps in \sqrt{n} modulo 1

T. D. Browning, Ilya Vinogradov|arXiv (Cornell University)|2013. 11. 25.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 3

한 줄 요약

이 논문은 호르로서클 라이프의 등분포 속도에 대해 효과적인 결과를 확립하며, 호르로서클 라이프의 등분포에 대한 오차 한계로 $y^{1/4}\log^2(2+y^{-1})$를 도출한다. 이 결과는 엘키스와 맥마흔이 제기한 $\sqrt{n}\mod 1$의 효과적인 갭 분포에 대한 열린 문제를 해결하며, 최종 갭 분포에 대한 명시적인 오차 추정치를 제공한다.

ABSTRACT

Let G=ASL(2,R) be the affine special linear group of the plane, and set Gamma=ASL(2,Z). Building on recent work of Strömbergsson we prove a rate of equidistribution for the orbits of a certain 1-dimensional unipotent flow of Gamma\G, which projects to a closed horocycle in the unit tangent bundle to the modular surface. We use this to answer a question of Elkies and McMullen by making effective the convergence of the gap distribution of \sqrt{n} modulo 1.

연구 동기 및 목표

• 1차원의 유니포텐트 플로우에 대한 효과적 등분포 속도를 $\Gamma\backslash G$에서 제공하는 것, 여기서 $G = \mathrm{SL}(2,\mathbb{R})\ltimes\mathbb{R}^2$ 이고 $\Gamma = \mathrm{SL}(2,\mathbb{Z})\ltimes\mathbb{Z}^2$이며, 스트롬베르그손의 작업을 확장하는 것.
• 엘키스와 맥마ullen이 제기한 $\sqrt{n}\mod 1$의 갭 분포 수렴에 대한 효과적 수렴 문제를 해결하는 것.
• 모듈러 표면의 단위 접선다발에서 닫힌 호르로서클의 라이프 위에서 $a(y)$-플로우에 대한 궤도의 등분포에 대한 정량적 한계를 설정하는 것.
• 표준이 아닌 유니포텐트 부분군 $U$에 대한 효과적 라트너 유형의 등분포 결과를 확장하는 것, 여기서 $U$는 전체 불안정 다양체의 여피 차원 1의 부분다양체이다.
• $\sqrt{n}$의 분수부에 대한 스펙트럼 갭 문제에 이러한 한계를 적용하여, 최종 갭 분포로의 수렴에 대한 명시적 오차 항을 도출하는 것.

제안 방법

• 저자들은 완전한 지수합에 대한 추정과 푸리에 분석을 사용하며, 유한체 위의 특성합에 대한 와일의 추정에 기반한다.
• 파arameter 공간의 이진 분할을 적용하고 지수합의 곱셈적 성질을 활용하여 오차 항을 제어한다.
• 제한된 미분 가능성의 컴팩트 지지 함수를 다루기 위해 $\|\rho\|_{W^{1,1}}$과 $\|\rho\|_{W^{2,1}}$ 사이의 보간을 사용한다.
• 핵심 기술적 단계는 유한체에서 임계점과 다중도 이론을 통해 지수합 $T_{p^m}(A,B,C)$에 대한 추정을 사용하는 것으로, 특히 $p \neq 3$ 및 $p = 3$의 경우에 대해 적용된다.
• 증명은 지수합의 곱셈성과 약수 함수 및 $K^{\omega(n)}$ 합에 대한 추정을 활용하여 $n$, $k$, 이진 간격에 대한 합의 성장률을 제어한다.
• 저자들은 $k$ 또는 $l$의 영이 되는 경우에 기반한 서로 다른 영역의 추정치를 결합하고 $L^1$ 기반의 소볼레프 노름을 적용하여 최종 오차 한계를 도출하며, 이는 $y^{1/4}$ 감쇠율을 가진다.

실험 결과

연구 질문

• RQ1 유니포텐트 부분군이 전체 불안정 다원체가 아닐 경우, $\mathrm{SL}(2,\mathbb{R})\ltimes\mathbb{R}^2/\mathrm{SL}(2,\mathbb{Z})\ltimes\mathbb{Z}^2$에서의 유니포텐트 플로우에 대해 효과적 등분포 속도를 확립할 수 있는가?
• RQ2 $y \to 0$일 때 $u(x) = \left(\begin{smallmatrix}1&x\\0&1\end{smallmatrix}\right), (x/2, x^2/4)$의 궤도에 대한 $a(y)$-플로우에서의 등분포 속도의 최적 비율은 무엇인가?
• RQ3 엘키스와 맥마ullen이 제기한 $\sqrt{n}\mod 1$의 갭 분포에 대한 비효율적 등분포 결과를 명시적인 오차 추정치를 포함하여 효과적으로 만들 수 있는가?
• RQ4 부드러운 함수의 평균과 $X$ 위에서의 평균 사이의 불일치에 대한 $y$에 대한 최적 감쇠율은 무엇인가?
• RQ5 시험 함수와 가중치 $\rho$의 미분 가능성 특성은 등분포 추정치의 오차 비율에 어떻게 영향을 미치는가?

주요 결과

• 논문은 $C^8_b$ 함수의 호르로서클 라이프 위에서의 평균에 대해 $O(y^{1/4}\log^2(2 + y^{-1}))$의 효과적 등분포 속도를 확립하며, 오차는 $X$ 위의 불변 측도에 대해 측정된다.
• 컴팩트 지지가 있고 $1+\varepsilon$ 개의 도함수가 $L^1$에 속하는 $\rho$에 대해, 오차 한계는 $O\left(\|\rho\|_{W^{1,1}}^{1-\eta}\|\rho\|_{W^{2,1}}^{\eta}\|f\|_{C^8_b} y^{1/4}\log^{K-1}(2 + y^{-1})\right)$이며, 임의의 $\eta \in (0,1)$에 대해 절대 상수 $K$를 갖는다.
• 오차 항의 지수 $1/4$는 사용된 방법에 대해 최적이며, 저자들은 두 차원 지수합에서 더 강한 상쇄 효과가 있다면 $1/2$로 개선될 수 있을 것이라 추측한다.
• 이 방법은 유니포텐트 부분군 $U$가 전체 불안정 다원체의 진정한 여피 차원 1의 부분다양체인 경우를 효과적으로 다루었으며, 이는 이전 접근법에서의 주요 장애물을 극복한 것이다.
• 이러한 한계는 $\sqrt{n}\mod 1$ 수열에 적용되어 최종 갭 분포로의 수렴에 대한 명시적 오차 추정치를 도출한다.
• 이 결과는 엘키스와 맥마ullen의 $\sqrt{n}\mod 1$ 갭 분포에 대한 등분포 결과의 첫 번째 효과적 형태를 제공하며, 그들이 제기한 명시적 오차 항에 대한 열린 질문에 답한다.