[论文解读] Super-approximation, II: the p-adic and bounded power of square-free integers cases

Alireza Salehi Golsefidy|arXiv (Cornell University)|Feb 1, 2016

Algebraic Geometry and Number Theory参考文献 46被引用 4

一句话总结

本文建立了关于在平方自由整数及素数幂的模下，算术群的Cayley图中超级逼近的充要条件，表明当且仅当该群的Zariski闭包具有完美连通分支时，此类家族构成膨胀图。证明依赖于有界生成、p进分析与谱隙技术，将先前关于超级逼近的结果扩展至更广泛的模数族。

ABSTRACT

Let $Ω$ be a finite symmetric subset of GL$_n(\mathbb{Z}[1/q_0])$, and $Γ:=\langle Ω angle$. Then the family of Cayley graphs $\{{ m Cay}(π_m(Γ),π_m(Ω))\}_m$ is a family of expanders as $m$ ranges over fixed powers of square-free integers and powers of primes that are coprime to $q_0$ if and only if the connected component of the Zariski-closure of $Γ$ is perfect. Some of the immediate applications, e.g. orbit equivalence rigidity, {\em largeness} of certain $\ell$-adic Galois representations, are also discussed.

研究动机与目标

• 建立算术群在平方自由整数的幂及素数幂模下的Cayley图中超级逼近的完整刻画。
• 确定这些Cayley图家族构成膨胀图的精确代数条件。
• 将超级逼近理论扩展至平方自由模数之外，包括有界素数幂与平方自由整数。
• 为轨道等价刚性与$α$-进伽罗瓦表示的研究提供基础。
• 通过p进与同余方法证明一个精确准则，推广先前关于超级逼近的研究成果。

提出的方法

• 利用群$Γ = \langle \Omega \rangle$在$\mathrm{GL}_n$中的Zariski闭包，分析同余商群$\pi_m(\Gamma)$的结构。
• 应用有界生成技术，证明完美代数群可在统一有界的步数内由换位子生成。
• 采用p进分析方法，包括构造具有受控行列式增长的多项式曲线，以建立谱隙。
• 利用剩余映射的统计非分裂性，防止逃逸至真子群。
• 使用$p$-进解析映射的定量开像定理，控制群元素在约化下的像。
• 将问题约化为验证Zariski闭包的连通分支是否为完美群，即$[\mathbb{G}^\circ, \mathbb{G}^\circ] = \mathbb{G}^\circ$。

实验结果

研究问题

• RQ1 当$m$遍历平方自由整数的有界幂时，Cayley图家族$\mathrm{Cay}(\pi_m(\Gamma), \pi_m(\Omega))$在何种代数条件下构成膨胀图？
• RQ2 当$m$遍历与$q_0$互素的素数幂时，同一族何时构成膨胀图？
• RQ3 Γ的Zariski闭包的完美性与对应Cayley图中的谱隙之间存在何种精确关系？
• RQ4 在缺乏完整强逼近的情况下，如何结合有界生成与$p$-进逼近来证明超级逼近？
• RQ5 剩余映射的非分裂性在确保所有模数下膨胀性方面起何种作用？

主要发现

• 当且仅当Γ的Zariski闭包的连通分支为完美群时，Cayley图家族$\mathrm{Cay}(\pi_m(\Gamma), \pi_m(\Omega))$在$m$遍历平方自由整数的有界幂时构成膨胀图家族。
• 当且仅当Γ的Zariski闭包具有完美连通分支时，同一族在$m$遍历与$q_0$互素的素数幂时构成膨胀图家族。
• 证明表明，超级逼近成立当且仅当群非虚拟可解，因为完美性意味着不存在非平凡的阿贝尔商群。
• 作者证明，在完美性条件下，谱隙在所有此类模数下均匀远离零，且与$m$无关。
• 该方法依赖于在$p$-进空间中构造多项式曲线，其雅可比行列式以受控速率增长，从而确保像生成大子模。
• 该结果推广了早期关于平方自由模数的超级逼近定理，并提供了既必要又充分的精确准则。