[论文解读] Spherical averages of Siegel transforms for higher rank diagonal actions and applications

Jayadev S. Athreya, Anish Ghosh+1 more|arXiv (Cornell University)|Jul 14, 2014

Advanced Algebra and Geometry参考文献 10被引用 6

一句话总结

本文在 $\mathbb{R}^n$ 中的幺模格空间上，通过球面平均推导出 Siegel 变换的新型高阶平均结果，从而获得乘法与加权丢番图逼近中逼近元的等分布结果。关键贡献在于建立了高阶对角作用下球面平均的一般等分布定理，扩展了关于 Dirichlet 定理的先前工作，并为逼近元的几何分布提供了新的定量结果。

ABSTRACT

We investigate the geometry of approximates in multiplicative Diophantine approximation. Our main tool is a new multiparameter averaging result for Siegel transforms on the space of unimodular lattices in ${\mathbb R}^n$ which is of independent interest.

研究动机与目标

• 将丢番图逼近中逼近元的等分布结果从经典的 Dirichlet 设置推广到乘法与加权变体。
• 在 $\mathrm{SL}_n(\mathbb{R})/\mathrm{SL}_n(\mathbb{Z})$ 上，为高阶对角作用下的 Siegel 变换发展一种新的平均技术。
• 建立适用于高阶对角流的 Siegel 变换球面平均的一般等分布结果。
• 将此结果应用于分析乘法与加权丢番图逼近问题中逼近元的几何分布。
• 将先前关于螺旋逼近的结果推广至高阶设置，并适用于更一般的丢番图不等式。

提出的方法

• 作者引入了一种在 $\mathrm{SO}_n(\mathbb{R})$ 的紧致子群 $K$ 上的新平均方法，以研究幺模格空间上 Siegel 变换的球面平均。
• 他们使用 Siegel 变换 $\widehat{f}(\Lambda) = \sum_{\mathbf{v} \in \Lambda \setminus \{0\}} f(\mathbf{v})$，其中 $f$ 为有界、黎曼可积且具有紧支集的函数。
• 主要技术工具是一个极限公式：$\lim_{t \to \infty} \int_K \widehat{f}(g_t k \Lambda) \, dk = \int_{X_{d+1}} \widehat{f} \, d\mu$，其中 $g_t$ 为高阶对角流。
• 该证明依赖于对角流作用下球面平均的等分布性，将单参数流的技术推广至高阶设置。
• 作者分析了 $\mathbb{R}^{d+1}$ 中捕捉对应于丢番图逼近的格点的细区域 $R_{\epsilon,T}$ 和 $R_{A,\epsilon,T}$ 的几何结构。
• 他们利用锥体和球帽的体积估计，控制了逼近元归一化方向位于坐标轴附近区域的测度。

实验结果

研究问题

• RQ1 当逼近为乘法或加权而非均匀时，丢番图逼近元的方向在单位球面上如何分布？
• RQ2 在幺模格空间上，高阶对角作用下 Siegel 变换的球面平均是否可实现等分布？
• RQ3 当 $T \to \infty$ 时，细区域 $R_{A,\epsilon,T}$ 中格点数量的渐近行为如何？
• RQ4 Dirichlet 定理中逼近元的等分布性在多处数域（包括 $p$-进完备化）中能在多大程度上推广？
• RQ5 用于单参数流的方法能否扩展至高阶对角作用，以获得新的平均定理？

主要发现

• 在高阶对角作用下，Siegel 变换的球面平均实现等分布：$\lim_{t \to \infty} \int_K \widehat{f}(g_t k \Lambda) \, dk = \int_{X_{d+1}} \widehat{f} \, d\mu$。
• 对于任意幺模格 $\Lambda$，在球面区域 $A \subset \mathbb{S}^{d-1}$ 中，经球面平均后，逼近元的归一化数量在 $T \to \infty$ 时收敛于 $\mathrm{vol}(A)$。
• 该结果表明，乘法与加权丢番图逼近中的逼近元在球面上方向均匀分布，将螺旋现象推广至高阶设置。
• 当 $A$ 靠近坐标轴时，集合 $\mathcal{C}A \cap S$ 的体积满足 $\int_1^\infty \tau^{m-1} \, d\tau = \infty$，表明此类区域中逼近元具有无限密度。
• 该方法适用于具有多个实位和有限位的数域，暗示可将结果推广至 $p$-进与阿代尔设置。
• 该证明技术避免使用指数混合，转而采用黎曼积分与几何体积估计，为高阶等分布提供了新颖且初等的方法。