[论文解读] Notes on Thin Matrix Groups

Peter Sarnak|arXiv (Cornell University)|Dec 14, 2012

Mathematical Dynamics and Fractals被引用 7

一句话总结

本文建立了薄矩阵群的基底扩张定理，证明当其 Zariski 闭包的单位连通分支为完全群时，$SL_n(\mathbb{Z})$ 中有限生成的薄子群的同余 Cayley 图构成一个膨胀图族。该结果将超强逼近推广至非算术群，从而在丢番图逼近、单值群以及亏格和 Heegaard 亏格等几何不变量中具有应用。

ABSTRACT

These notes were prepared for the MSRI hot topics workshop on superstrong approximation (2012). We give a brief overview of the developments in the theory, especially the fundamental expansion theorem. Applications to diophantine problems on orbits of integer matrix groups, the affine sieve, group theory, gonality of curves and Heegaard genus of hyperbolic three manifolds, are given. We also discuss the ubiquity of thin matrix groups in various contexts, and in particular that of monodromy groups.

研究动机与目标

• 建立薄矩阵群的一般扩张性质，将超强逼近推广至非算术群之外。
• 证明在较弱代数条件下，$SL_n(\mathbb{Z})$ 中薄群的同余 Cayley 图构成膨胀图族。
• 将扩张定理应用于通过仿射筛法求解丢番图问题，并分析超几何方程的单值群。
• 利用几何与表示论技术，为单值群的薄性提供稳健的认证。
• 将扩张性质与深层的数论猜想（包括 $GL_m$ 的 Ramanujan 猜想）联系起来。

提出的方法

• 利用基底扩张定理：当 $ q $ 为无平方因子且与有限个素数互素时，若 Zariski 闭包 $ G $ 的单位连通分支 $ G^o $ 为完全群，则同余图 $ (\pi_q(\varGamma), S) $ 构成膨胀图族。
• 采用三阶段证明结构：开局（小集合的增长）、中盘（平坦化引理与和积定理）、残局（通过表示理论估计有界闭路径）。
• 在有限域中应用和积定理，并利用 Balog-Szemerédi-Gowers 定理控制中间集合的增长。
• 利用平坦化引理将问题约化为通过 $ G(\mathbb{Z}/q\mathbb{Z}) $ 的表示理论估计来有界谱间隙。
• 通过最小距离图 $ X_f $ 分析单值群，其连通分支为 Coxeter 群的 Cayley 图，以认证薄性。
• 利用积分等价形式（如 $ x^2 + 3xy + y^2 $ 与 $ -g $）及 Vinberg 的反射群理论，在 $ O_f(\mathbb{Z})/R_f $ 中构造有限像。

实验结果

研究问题

• RQ1 在何种条件下，薄矩阵群的同余 Cayley 图构成膨胀图族？
• RQ2 超强逼近性质能否推广至 $SL_n(\mathbb{Z})$ 的非算术、无限指数子群？
• RQ3 何种几何或代数不变量可认证单值群为薄群？
• RQ4 薄群中的扩张性质与 $GL_m$ 的 Ramanujan 猜想有何关联？
• RQ5 扩张性质在多大程度上意味着双曲 3-流形的算术商中存在统一的谱间隙？

主要发现

• 基底扩张定理成立：对于 $SL_n(\mathbb{Z})$ 中有限生成的薄子群 $ \varGamma $，若 $ G^o $ 为完全群，则对与有限个素数互素的无平方因子 $ q $，同余图 $ (\pi_q(\varGamma), S) $ 构成膨胀图族。
• 扩张常数原则上可有效计算，尽管在实际中未必总是可行。
• 在族 (3.6) 和 (3.7) 中的超几何微分方程的单值群在 $ n \geq 5 $ 时为薄群，其证明依赖于在 $ K_f = O_f(\mathbb{Z})/R_f $ 中的像为有限。
• 对于双曲超几何单值群，其薄性通过证明最小距离图 $ X_f $ 的连通分支中由 Cartan 对合生成的群在 $ K_f $ 中映射到有限子群来认证。
• 薄性证明依赖于二元型 $ g = x^2 + 3xy + y^2 $ 的积分互反性质，从而为薄性提供了稳健的几何认证。
• 结果表明，仅有有限多个极大算术反射群，且由于统一谱间隙的存在，同余算术曲面的亏格与同余双曲 3-流形的 Heegaard 亏格分别随亏格与体积线性增长。