[论文解读] Effective equidistribution and property tau

Manfred Einsiedler, G. A. Margulis+2 more|arXiv (Cornell University)|Mar 19, 2015

Advanced Topology and Set Theory参考文献 43被引用 8

一句话总结

本文建立了关于数域上代数群算术商中最大半单单连通阿代尔齐性集的定量等分布定理。通过引入内在体积不变量，并利用阿代尔索博olev范数与判别式估计，作者证明了对所有参数一致的有效等分布，从而给出了算术群性质(τ)的新证明，且给出了明确的谱间隙。

ABSTRACT

We prove a quantitative equidistribution statement for adelic homogeneous subsets whose stabilizer is maximal and semisimple. Fixing the ambient space, the statement is uniform in all parameters. We explain how this implies certain equidistribution theorems which, even in a qualitative form, are not accessible to measure-classification theorems. As another application, we describe another proof of property tau for arithmetic groups.

研究动机与目标

• 在算术商中建立最大半单单连通阿代尔齐性集的定量等分布结果。
• 消除经典测度分类定理所需的分裂条件，使得通过Ratner理论无法获得的等分布结果成为可能。
• 以齐性集的内在体积为参数，提供一个有效且对所有群参数均一致的估计。
• 通过有效等分布与谱间隙估计，给出算术群性质(τ)的新证明。
• 建立一个框架，通过阿代尔索博olev范数与局部体积比较，将齐性集的判别式与其体积联系起来。

提出的方法

• 通过固定紧开邻域 Ω₀ ⊂ G(A)，定义齐性集 Y = ι(H(F)\H(A))g 的内在体积，设定 vol(Y) = m_D(H_D ∩ Ω₀)^{-1}。
• 利用附录A中的阿代尔索博olev范数，控制 X = G(F)\G(A) 上函数的 L²-范数，从而实现有效等分布估计。
• 构造“好位置”w，使得局部群 H_w 具有极大紧子群 K_w^*，以保证有利的局部几何结构。
• 通过局部体积比较与约化映射，建立齐性集判别式关于其体积的下界。
• 应用动力系统中的非发散性论证（第7节），通过矩阵系数与入射半径的估计控制质量逃逸。
• 通过判别式的下界与体积的结合，推导出谱间隙估计，从而证明性质(τ)并给出明确的指数。

实验结果

研究问题

• RQ1 是否可以在不需在某一位上满足分裂条件的前提下，对阿代尔齐性集建立有效等分布？
• RQ2 齐性集的内在体积如何与它的判别式及谱性质相关联？
• RQ3 有效等分布结果能否用于推导算术群性质(τ)的新证明？
• RQ4 等分布误差的定量依赖关系如何随轨道体积变化？
• RQ5 阿代尔索博olev范数如何用于控制谱间隙背景下自守函数的 L²-范数？

主要发现

• 本文建立了在 X = G(F)\G(A) 中最大半单单连通齐性集的有效等分布定理，误差界对所有参数一致。
• 该等分布是有效的，即齐性测度与不变测度之间的 L²-距离以轨道体积倒数的多项式速率衰减。
• 证明了齐性集判别式的下界受其体积的某次幂控制，具体为 disc(Y) ≫ vol(Y)^{κ₁₈}，其中 κ₁₈ > 0。
• 作者通过证明 G(A) 的单位表示中谱间隙下界为体积的某次幂，给出了算术群性质(τ)的新证明。
• 该证明依赖于阿代尔索博olev范数、判别式估计与动力系统中非发散性论证的创新性结合。
• 该方法避免了对分裂条件（即在某一位存在幂零元素）的需求，将结果拓展至经典测度分类定理的适用范围之外。