[論文レビュー] Effective Ratner theorem for ASL(2,R) and gaps in \sqrt{n} modulo 1

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

Algebraic Geometry and Number Theory参考文献 10被引用数 3

ひとこと要約

本稿は、$\mathrm{SL}(2,\mathbb{R})\ltimes\mathbb{R}^2/\mathrm{SL}(2,\mathbb{Z})\ltimes\mathbb{Z}^2$ 上のユニポテンツフローに対して、効果的な等分布レートを確立し、水平線の上へのリフトの等分布に関する誤差項として $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.

研究の動機と目的

• $G = \mathrm{SL}(2,\mathbb{R})\ltimes\mathbb{R}^2$ および $\Gamma = \mathrm{SL}(2,\mathbb{Z})\ltimes\mathbb{Z}^2$ である $\Gamma\backslash G$ 上の1次元ユニポテンツフローに対する等分布の有効レートを提供すること。ストロムベルグソンの研究を拡張する。
• エルクイーズとマクマレンが提起した、$\sqrt{n}\mod 1$ のギャップ分布の有効収束に関する未解決問題を解決すること。
• モジュラー面上の閉じた水平線のリフトにおける $a(y)$-フロー下での軌道の等分布に関する定量的評価を確立すること。
• 標準的でないユニポテンツ部分群 $U$（全不安定多様体の余次元1部分多様体）に対し、有効なラトナー型等分布結果を拡張すること。
• $\sqrt{n}$ の分数部分に関するスペクトルギャップ問題にこれらの評価を応用し、極限ギャップ分布への収束における明示的な誤差項を導出すること。

提案手法

• 著者たちは、有限体上の指標和に対するワイエルの評価に依拠し、フーリエ解析と完全な指数和の評価を用いる。
• パラメータ空間のダイアディック分解を適用し、指数和の乗法的性質を活用して誤差項を制御する。
• 滑らかさが限られているcompactlyなsuppored関数を取り扱うために、Sobolevノルム $\|\rho\|_{W^{1,1}}$ と $\|\rho\|_{W^{2,1}}$ の間の補間を用いる。
• 主要な技術的ステップとして、特に $p \neq 3$ および $p = 3$ の場合に、有限体における臨界点と重複度の理論を用いて指数和 $T_{p^m}(A,B,C)$ の評価を実行する。
• 指数和の乗法的性質と、除数関数および $K^{\omega(n)}$ 和の評価を組み合わせ、$n$、$k$、およびダイアディック区間上の和の成長を制御する。
• $k$ や $l$ の消失に基づく異なるレジームからの推定値を組み合わせ、$L^1$-基盤のSobolevノルムを用いて、最終的な誤差項に $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 エルクイーズとマクマレンによる $\sqrt{n}\mod 1$ のギャップ分布に対する非有効な等分布結果を、明示的な誤差項を伴って有効化できるか？
• RQ4 滑らかな関数の水平線リフト上での平均と $X$ 上での平均との差の大きさ（不一致）における $y$ に関する鋭い減衰率は何か？
• RQ5 テスト関数および重み $\rho$ の滑らかさの性質が、等分布推定値における誤差率にどのように影響するか？

主な発見

• 本稿は、$C^8_b$ 関数の水平線リフト上での平均に対する有効な等分布レート $O(y^{1/4}\log^2(2 + y^{-1}))$ を確立し、誤差は $X$ 上の不変測度に対して測定される。
• コンパクトに台を持つ $\rho$ で $1+\varepsilon$ 階微分が $L^1$ に属する場合、誤差項は任意の $\eta \in (0,1)$ に対して $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)$ となる。ここで $K$ は絶対定数である。
• 誤差項における指数 $1/4$ は、使用した手法に対して最適であるが、著者たちは2次元指数和におけるより強いキャンセル効果があれば $1/2$ に改善可能であると予想している。
• 本手法は、ユニポテンツ部分群 $U$ が全不安定多様体の真の余次元1部分多様体である場合にも有効に機能し、従来の手法の主要な障害を克服した。
• これらの評価は、$\sqrt{n}\mod 1$ の列に応用され、極限ギャップ分布への収束に対する明示的な誤差推定値が得られた。
• 本結果は、エルクイーズとマクマレンの $\sqrt{n}\mod 1$ のギャップ分布に対する等分布結果の、初めての有効版を提供し、彼らが提起した明示的誤差項に関する未解決問題に答えている。