[论文解读] Sum-product for real Lie groups

Weikun He, Nicolas de Saxcé|arXiv (Cornell University)|Jun 17, 2018

Advanced Algebra and Geometry参考文献 16被引用 5

一句话总结

该论文为在 Jordan-Hölder 分解中不包含平凡表示的实李群建立了离散化和积定理，证明满足特定几何与代数条件的集合在表示中生成大的邻域。该结果被应用于完美李群中推导出一个乘积定理，表明在商群中具有受控增长且远离子群的小集合，在三倍运算下会显著扩张，推广了此前对 SU(2) 和半单群的研究。

ABSTRACT

We prove a discretized sum-product theorem for representations of Lie groups whose Jordan-Hölder decomposition does not contain the trivial representation. This expansion result is used to derive a product theorem in perfect Lie groups.

研究动机与目标

• 建立实李群表示中离散化和积现象的理论，这些群的 Jordan-Hölder 分解中不包含平凡表示。
• 在完美李群中证明一个乘积定理，表明在商群中具有受控覆盖数且远离子群的集合，在三倍积下会显著扩张。
• 通过在非完美李群中构造反例，证明完美性条件的最优性，即在这些群中扩张会失败。
• 将 Bourgain 的离散化和积定理推广到李群表示和完美李群的设定中。
• 通过几何与表示论方法，为理解非交换李群中近似子群和谱隙性质提供一个框架。

提出的方法

• 定义集合与闭连通子群及子模在 $ \delta^\varepsilon $ 意义下远离的概念，确保群与表示空间中的几何丰富性。
• 在商群 $ G/N $ 上使用覆盖数条件，要求对所有 $ \rho \geq \delta $，有 $ N(\pi_{G/N}(A), \rho) \geq \delta^\varepsilon \rho^{-\kappa} $，以控制 $ A $ 模正规子群的结构。
• 对李群的根的幂零类进行归纳，将问题约化为低秩商群，并利用交换子估计将球体向上提升至导出列。
• 利用在完美李群中，导代数等于李代数的事实，确保不存在阿贝尔商群，这对扩张的发生至关重要。
• 利用下中心列和交换子恒等式，证明导群中的小球体可由集合 $ A $ 的乘积生成，从而实现增长估计。
• 通过从阿贝尔化 $ G/[G,G] $ 提升广义算术级数，在非完美李群中构造反例，表明当 $ \dim G - \dim[G,G] > 0 $ 时，扩张会失败。

实验结果

研究问题

• RQ1 对于实李群 $ G $ 的子集 $ A \subset G $，在何种条件下，集合 $ \langle A,X \rangle_s $ 在表示空间 $ V $ 中生成一个大的邻域？
• RQ2 为使形如 $ N(AAA,\delta) \geq \delta^{-\varepsilon} N(A,\delta) $ 的乘积定理成立，对群 $ G $ 的最小结构假设是什么？
• RQ3 为何李群 $ G $ 的完美性既是扩张发生的必要条件也是充分条件？
• RQ4 G 的表示中的和积现象与紧致半单李群中的谱隙性质有何关联？
• RQ5 是否可以在非完美李群中构造出具有受控增长但三倍运算下不扩张的近似子群？

主要发现

• 对于任意连通实李群 $ G $ 和 $ V \in \mathcal{P}(G) $，存在一个邻域 $ U \subset G $，使得若 $ A \subset U $ 且 $ X \subset B_V(0,1) $ 满足 $ \delta^\varepsilon $-远离条件与覆盖数条件，则存在某个 $ s $，使得 $ B_V(0,\delta^{\varepsilon_0}) \subset \langle A,X \rangle_s^{(\delta)} $，从而证明有界生成性。
• 在完美李群中，若 $ A \subset U $ 满足 $ N(A,\delta) \leq \delta^{-\dim G + \kappa} $，$ \delta^\varepsilon $-远离子群，且在商群中具有受控覆盖，则有 $ N(AAA,\delta) \geq \delta^{-\varepsilon} N(A,\delta) $，表明存在强扩张。
• 完美性条件是最优的：在非完美单连通李群中，可构造集合 $ A \subset U $，满足 $ N(A,\delta) \approx \delta^{-\dim G + d(1-\kappa)} $，$ N(\pi_{G/N}(A),\rho) \gg \rho^{-\kappa} $，且 $ A $ 与子群 $ \frac{1}{O(1)} $-远离，但 $ N(AAA,\delta) \ll N(A,\delta) $。
• 该结果将 Bourgain 的离散化和积定理推广到实李群的表示中，在 $ G = \mathbb{R}^* $，$ V = \mathbb{R} $ 的情形下恢复经典结果。
• 紧致半单李群中的谱隙性质作为推论成立，将 Bourgain 与 Gamburd 在 $ \mathrm{SU}(2) $ 上的结果推广到所有此类群。
• 通过从阿贝尔化提升构造非完美李群中的近似子群，表明在李群设定中，中间维数的可测子群可作为广义算术级数的离散化类比。