[论文解读] Counting lattice points

Alexander Gorodnik, Amos Nevo|ArXiv.org|Mar 9, 2009

Analytic Number Theory Research参考文献 50被引用 11

一句话总结

本文利用遍历理论，为局部紧群中的格点计数问题提供了一个通用且定量的解法，在谱间隙和正则性条件下，对一族域的计数建立了精确的误差项。该方法在具有谱间隙的格点族中实现了统一的误差界，将结果推广至半单S-代数群、以高度函数计数的有理点，以及对称空间中的角分布等。

ABSTRACT

For a locally compact second countable group G and a lattice subgroup Gamma, we give an explicit quantitative solution of the lattice point counting problem in general domains in G, provided that i) G has finite upper local dimension, and the domains satisfy a basic regularity condition, ii) the mean ergodic theorem for the action of G on G/Gamma holds, with a rate of convergence. The error term we establish matches the best current result for balls in symmetric spaces of simple higher-rank Lie groups, but holds in much greater generality. In addition, it holds uniformly over families of lattices satisfying a uniform spectral gap. Applications include counting lattice points in general domains in semisimple S-algebraic groups, counting rational points on group varieties with respect to a height function, and quantitative angular (or conical) equidistribution of lattice points in symmetric spaces and in affine symmetric varieties. The mean ergodic theorems which we establish are based on spectral methods, including the spectral transfer principle and the Kunze-Stein phenomenon. We prove appropriate analogues of both of these results in the set-up of adele groups, and they constitute a necessary step in our proof of quantitative results in counting rational points.

研究动机与目标

• 为具有有限上局部维数的局部紧第二可数群中的格点计数问题，发展一个通用且定量的解法。
• 在一般域的渐近计数中建立显式的误差项，其误差界与对称空间中的最佳已知结果一致。
• 在具有统一谱间隙的格子子群族中实现误差估计的统一性，包括满足定量性质τ的有限指数子群。
• 将该方法扩展至利用高度函数计数群簇上的有理点，并研究对称空间与仿射对称空间中的角分布。
• 通过谱方法证明带速率的平均遍历定理，包括谱转移原理和库恩泽-斯坦现象，适用于实群与阿代勒群两种情形。

提出的方法

• 在 $ L^2(G/\Gamma) $ 上应用平均遍历定理，对域 $ B_t $ 上的平均算子进行分析，收敛速率决定误差项。
• 引入霍尔德正则性（指数为 $ a $）的概念，以量化域 $ B_t $ 的正则性，确保 $ m_G(\mathcal{O}_\varepsilon B_t \mathcal{O}_\varepsilon) \leq (1 + c\varepsilon^a) m_G(\cap_{u,v\in\mathcal{O}_\varepsilon} uB_tv) $。
• 将格点计数中的误差项与 $ L^2(G/\Gamma) $ 上平均算子的谱间隙相关联，利用群 $ G $ 的上局部维数。
• 通过谱方法建立带速率的平均遍历定理，包括阿代勒群中的谱转移原理与库恩泽-斯坦现象。
• 证明仿射对称簇中的集合 $ S_t(\Phi,\Psi) $ 具有指数为 $ 1/3 $ 的霍尔德正则性，通过估计 $ \mathcal{O}_\varepsilon S_t \mathcal{O}_\varepsilon $ 与交集 $ \cap_{u,v} uS_tv $ 的体积。
• 利用可测基本域与截面，将 $ G/H $ 中的计数问题约化为 $ G/\Gamma $ 中的计数，保持正则性并实现统一误差界。

实验结果

研究问题

• RQ1 在谱间隙与正则性条件下，能否为局部紧群 $ G $ 的一般域中的格点计数问题提供定量解法？
• RQ2 在 $ \Gamma \cap B_t $ 的渐近计数中，最优误差项是什么？其依赖于 $ B_t $ 的几何结构与谱间隙的何种方式？
• RQ3 能否在格子族中建立统一的误差界，特别是对满足定量性质 $ \tau $ 的有限指数子群？
• RQ4 如何将基于遍历理论的方法扩展至利用高度函数计数群簇上的有理点？
• RQ5 库恩泽-斯坦现象与谱转移在证明阿代勒群的平均遍历定理及有理点计数中的作用是什么？

主要发现

• 在群 $ G $ 具有有限上局部维数且平均遍历定理以固定速率成立的前提下，若域 $ B_t $ 满足指数为 $ a $ 的霍尔德正则性，则格点计数问题存在定量解法。
• 误差项被控制在 $ C \cdot m_G(B_t)^{-\delta} $ 之内，与对称空间中当前最佳结果一致，且显式依赖于谱间隙与正则性指数 $ a $。
• 通过 $ \mathcal{O}_\varepsilon S_t \mathcal{O}_\varepsilon $ 与交集 $ \cap_{u,v} uS_tv $ 的体积估计，证明了仿射对称簇中集合 $ S_t(\Phi,\Psi) $ 具有指数为 $ 1/3 $ 的霍尔德正则性。
• 该方法在具有统一谱间隙的格子族中实现了统一的误差界，包括满足定量性质 $ \tau $ 变体的有限指数子群。
• 通过谱方法（包括谱转移原理与库恩泽-斯坦现象）证明了带速率的平均遍历定理，并将其扩展至阿代勒群，以实现有理点计数。
• 通过可测基本域与截面，将 $ G/H $ 中的格点计数约化为 $ G/\Gamma $ 中的计数，保持正则性并实现统一估计。