[论文解读] Effective equidistribution of S-integral points on symmetric varieties

Yves Benoist, Hee Oh|ArXiv.org|Jun 12, 2007

Advanced Algebra and Geometry参考文献 18被引用 7

一句话总结

该论文利用 $S$-代数半单群的混合性质及其显式收敛速率，建立了在特征不为 2 的全局域上对称空间的 $S$-整点的有效计数与等分布结果。关键贡献是在 $K$ 为数域时，基于波前性质，将先前依赖遍历理论与自守形式的非有效结果推广为有效等分布定理。

ABSTRACT

Let K be a global field of characteristic not 2. Let Z be a symmetric variety defined over K and S a finite set of places of K. We obtain counting and equidistribution results for the S-integral points of Z. Our results are effective when K is a number field.

研究动机与目标

• 建立在特征不为 2 的全局域上对称空间的 $S$-整点的有效计数与等分布结果。
• 将 Eskin 和 McMullen 的基于混合的方法推广至 $S$-整点情形，并给出显式收敛速率，避免依赖自守形式或未确定流的遍历理论。
• 通过非阿基米德对称空间中的极分解，验证 $S$-代数对称空间的波前性质。
• 利用 $p$-进 zeta 函数与纤维积分技术，为有界高度的 $S$-整点数量提供有效界。
• 将先前的非有效等分布结果推广至有效框架，尤其在数域情形。

提出的方法

• 利用 $S$-代数半单群的混合性质及其显式收敛速率，分析 $S$-整点的等分布。
• 将波前性质——通过非阿基米德对称空间中的极分解验证——作为关键几何条件，以实现有效结果。
• 应用 Denef 的 $p$-进局部 zeta 函数理论与 Jeanquartier 的纤维积分技术，控制有界高度 $S$-整点的计数。
• 通过 $\mathcal{O}_S$-点到 $\mathbf{G}_S$ 侧群的对角嵌入，将 $S$-整点视为齐性空间中的离散格点。
• 应用 Macintyre 在 $p$-进域上可定义集的定理，证明代数群 $k$-点作用下的轨道为半代数集，从而支持测度论分析。
• 分析 $p$-进向量空间中半径为 $T$ 的球面测度的渐近行为，表明其增长为多项式或指数型，具体取决于幂零作用。

实验结果

研究问题

• RQ1 能否在特征不为 2 的全局域上对称空间中，对 $S$-整点获得有效计数与等分布结果？
• RQ2 何种几何条件可确保基于混合的方法在 $S$-整点情形下产生有效速率？
• RQ3 波前性质如何与 $S$-代数对称空间及其 $S$-整点的结构相关联？
• RQ4 基于混合的方法在计数 $S$-整点时，能在多大程度上替代自守或遍历理论方法？
• RQ5 有界高度的 $S$-整点数量的精确渐近增长速率为何？

主要发现

• 波前性质对 $S$-代数对称空间成立，使得基于混合的计数方法可实现有效速率。
• 当 $K$ 为数域时，有界高度的 $S$-整点数量渐近增长为高度的某次幂，且具有有效误差项。
• 对 $S$-整点的等分布是有效的：其与不变测度的偏差以可计算的多项式速率衰减。
• $p$-进向量空间中半径为 $T$ 的球面测度的渐近行为为 $T$ 的多项式，其指数由幂零作用决定。
• 若幂零元素在闭轨道上非平凡作用，则球面测度以 $T$ 的正幂增长，表明非紧性与正增长速率。
• 对于半单群作用下的非紧轨道，渐近形式 $v_{q^j} \sim c_{j_0} q^{a_{j_0} j} j^{b_{j_0}}$ 中的指数 $a_{j_0}$ 非零，从而保证有效等分布。