[论文解读] 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})$。该结果解决了Elkies与McMullen关于 $\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.

研究动机与目标

• 为 $\Gamma\backslash G$ 上一维幂等流提供有效的等分布速率，其中 $G = \mathrm{SL}(2,\mathbb{R})\ltimes\mathbb{R}^2$ 且 $\Gamma = \mathrm{SL}(2,\mathbb{Z})\ltimes\mathbb{Z}^2$，扩展Strömbergsson的工作。
• 解决Elkies与McMullen关于 $\sqrt{n}\mod 1$ 间隙分布有效收敛的开放问题。
• 建立在模形式曲面单位切丛中闭水平测地线提升上，$a(y)$-流作用下轨道等分布的定量界限。
• 将有效的Ratner型等分布结果推广至非标准幂等子群 $U$，该子群是完整不稳定流形的余维1子流形。
• 将这些界限应用于 $\sqrt{n}$ 分数部分的谱间隙问题，为收敛到极限间隙分布提供显式误差项。

提出的方法

• 作者使用傅里叶分析和完全指数和的估计，依赖于有限域上特征和的Weil界。
• 他们对参数空间进行二分分解，并利用指数和的乘法性质来控制误差项。
• 该方法涉及在紧支集函数且光滑性有限的情况下，插值 Sobolev 范数 $\|\rho\|_{W^{1,1}}$ 与 $\|\rho\|_{W^{2,1}}$。
• 一个关键技术步骤是利用有限域中临界点与重数理论，对指数和 $T_{p^m}(A,B,C)$ 建立界限，特别针对 $p \neq 3$ 和 $p = 3$ 的情形。
• 证明利用了指数和的乘法性，以及除数函数和 $K^{\omega(n)}$ 和的界限，以控制 $n$、$k$ 和 dyadic 区间上和的增长。
• 作者结合了基于 $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 Elkies 与 McMullen 对 $\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$，为间隙分布收敛到其极限形式提供了显式误差估计。
• 该结果首次为 Elkies 与 McMullen 关于 $\sqrt{n}\mod 1$ 间隙分布的等分布结果提供了有效版本，回答了他们关于显式误差项的开放问题。