[论文解读] A spectral gap theorem in simple Lie groups

Yves Benoist, Nicolas de Saxcé|arXiv (Cornell University)|May 8, 2014

Advanced Algebra and Geometry参考文献 8被引用 4

一句话总结

本文建立了紧单李群中由代数元生成的稠密子群的谱隙定理，证明此类测度具有谱隙当且仅当其为几乎丢番图测度。通过在局部域上使用随机矩阵积及有效Nullstellensatz技术，作者将Bourgain与Gamburd在SU(2)中的结果推广至任意紧单李群，通过丢番图性质对谱隙提供了精确刻画。

ABSTRACT

We establish the spectral gap property for dense subgroups generated by algebraic elements in any compact simple Lie group, generalizing earlier results of Bourgain and Gamburd for unitary groups.

研究动机与目标

• 建立紧单李群上博雷尔概率测度的谱隙准则。
• 将Bourgain与Gamburd在SU(2)中的谱隙结果推广至任意紧单李群。
• 证明测度具有谱隙当且仅当其为几乎丢番图测度，从而将谱性质与丢番图逼近联系起来。
• 利用局部域上随机矩阵积的理论分析支撑在代数元上的测度行为。
• 建立谱隙与测度质量在真闭子群附近衰减之间的定量联系。

提出的方法

• 通过在 $ L^2_0(G) $ 上平均算子的谱半径定义谱隙，证明其小于1。
• 引入‘几乎丢番图’测度的概念，量化 $ \nu^{*n}(H^{(e^{-C_1n})}) $ 在真闭子群 $ H $ 上的衰减。
• 利用[14]中的离散化乘积定理及Bourgain-Gamburd方法，将谱隙与丢番图性质关联。
• 应用有效Nullstellensatz，证明若多项式组无公共零点，则其系数大小界限将导致矛盾。
• 构造编码李代数楔幂上群元作用的多项式映射 $ P_{I_0,g} $，其系数属于一个数域。
• 利用由 $ \operatorname{Ad}g $ 的代数元素生成的数域的整环，控制这些多项式的大小。

实验结果

研究问题

• RQ1 每个具有代数系数的紧单李群上的适应性概率测度是否具有谱隙？
• RQ2 谱隙性质是否等价于此类测度的几乎丢番图条件？
• RQ3 能否通过丢番图逼近在所有紧单李群上统一刻画谱隙？
• RQ4 代数测度在真闭子群附近的测度质量衰减速率如何量化？
• RQ5 局部域上的随机矩阵积如何帮助证明代数测度的谱隙？

主要发现

• 紧单李群 $ G $ 上的博雷尔概率测度 $ \mu $ 具有谱隙当且仅当其为几乎丢番图测度。
• 对任意紧单李群 $ G $，若 $ \mu $ 是适应的且支撑在 $ \operatorname{Ad}g $ 具有代数系数的元素上，则 $ \mu $ 为几乎丢番图，因此具有谱隙。
• 谱隙由丢番图指数定量控制：存在 $ c_2 > 0 $，使得 $ \mu^{*n}(H^{(e^{-C_1n})}) \leq e^{-c_2n} $。
• 证明依赖于Nullstellensatz中的有效界，表明若多项式组无公共零点，则必存在有界大小的非零代数整数。
• 多项式 $ P_{I_0,g} $ 的大小受控于 $ \|q^n P_{I_0,g}\| \leq q^{2n} $，其中 $ q $ 仅依赖于生成集。
• 当 $ C_1 $ 足够大时，若 $ q^{-Mn} \leq C q^{Cn} e^{-C_1n} $ 不成立，则导致矛盾，从而推出必存在公共零点。