[论文解读] On uniform exponential growth for solvable groups

Emmanuel Breuillard|ArXiv.org|Feb 4, 2006

Geometric and Algebraic Topology参考文献 13被引用 6

一句话总结

本文為有限生成可解群的均匀指数增长提供了新的乒乓论证，表明此类群要么是拟幂零的，要么存在一个有限指数子群，其正独立直径至多为3。关键结果是：在通过有限指数子群取极限时，缓慢的指数增长会消失，这意味着均匀指数增长是非拟幂零可解群共轭类的内在性质。

ABSTRACT

Using a theorem of J. Groves we give a ping-pong proof of Osin's uniform exponential growth for solvable groups. We discuss slow exponential growth and show that this phenomenon disappears as one passes to a finite index subgroup.

研究动机与目标

• 为有限生成可解群的均匀指数增长提供一种替代的、直接的证明。
• 通过在有限指数子群中界定正独立直径，强化Osin的结果。
• 表明缓慢的指数增长并非持久特征，会在通过有限指数子群取极限时消失。
• 通过Lehmer猜想探索群增长与数论之间的联系。

提出的方法

• 基于J. Groves定理的乒乓论证，用于在可解群中建立自由半群的生成。
• 定义并分析正独立直径 $ d_{\text{group}}^+ $，作为在凯莱图中自由半群出现的度量。
• 应用代数与几何技术，以控制数域上矩阵群中字长的增长。
• 在多项式环中使用欧几里得除法与递推关系，以控制模不可约多项式余数的个数。
• 通过特征值分解与行列式界估计多项式空间中格集的体积。
• 将增长率与多项式的Mahler测度联系起来，以连接群增长与数论猜想。

实验结果

研究问题

• RQ1 是否能通过直接的乒乓论证而非上同调或动力系统方法证明可解群中的均匀指数增长？
• RQ2 在非拟幂零可解群的有限指数子群中，正独立直径 $ d_{\text{group}}^+ $ 的最大可能值是多少？
• RQ3 缓慢的指数增长是否会在有限指数子群中持续存在，还是总会让位于均匀指数增长？
• RQ4 能否以定义多项式的Mahler测度为下界来界定可解群的增长率？
• RQ5 若正独立直径存在一致有界性，是否意味着Lehmer猜想成立？

主要发现

• 对任意有限生成的非拟幂零可解群 $ \Gamma $，存在一个有限指数子群 $ \Gamma_0 $，使得 $ d_{\Gamma_0}^+ \leq 3 $，从而推出熵至少为 $ \frac{\log 2}{3} $ 的均匀指数增长。
• 正独立直径 $ d_{\Gamma}^+ $ 在 $ \Gamma $ 的所有有限指数子群中一致有界，且该界仅依赖于 $ \Gamma $，而不依赖于具体子群。
• 缓慢的指数增长——即增长为指数型但熵可任意小——无法在有限指数子群中持续存在；它在通过适当有限指数子群取极限时会被消除。
• 有限生成可解群的代数熵 $ S_{\Gamma} $ 满足下界 $ \frac{\log 2}{d_{\Gamma}^+} $，因此有限的 $ d_{\Gamma}^+ $ 意味着均匀指数增长。
• 本文建立了群增长与数论之间的联系：若正独立直径一致有界，则定义多项式的Mahler测度远离1，从而支持Lehmer猜想。
• 模不可约多项式的余数集合的体积增长速率受Mahler测度控制，从而导出熵的上界 $ \limsup (\# \Sigma^n)^{1/n} \leq m(\pi) $。