[论文解读] Generic thinness in finitely generated subgroups of $ extrm{SL}_n(\mathbb Z)$

Elena Fuchs, Igor Rivin|arXiv (Cornell University)|Jun 4, 2015

Geometric and Algebraic Topology参考文献 15被引用 3

一句话总结

该论文证明，在 $\mathrm{SL}_n(\mathbb{Z})$ 的对称欧氏球模型中，当半径 $X \to \infty$ 时，两个随机选取的元素以趋于 1 的概率生成一个拟薄自由子群，方法是证明它们在某个适当空间上构成乒乓对。该结果在该模型中确立了典型拟薄性，解决了算术群中随机子群研究中的一个关键问题。

ABSTRACT

We show that for any $n\geq 2$, two elements selected uniformly at random from a \emph{symmetrized} Euclidean ball of radius $X$ in $ extrm{SL}_n(\mathbb Z)$ will generate a thin free group with probability tending to $1$ as $X ightarrow \infty.$ This is done by showing that the two elements will form a ping-pong pair, when acting on a suitable space, with probability tending to $1$. On the other hand, we give an upper bound less than $1$ for the probability that two such elements will form a ping-pong pair in the usual Euclidean ball model in the case where $n>2$.

研究动机与目标

• 确定在自然的欧氏随机模型下，$\mathrm{SL}_n(\mathbb{Z})$ 的典型有限生成子群是否为拟薄子群。
• 解决在拟薄群背景下，组合模型与欧氏模型在典型性方面存在的差异。
• 建立对称随机元素在 $\mathrm{SL}_n(\mathbb{Z})$ 中以高概率构成乒乓对，从而支持典型拟薄性的证明。
• 将算术群中随机子群的理解从组合高度模型进一步拓展。

提出的方法

• 使用对称欧氏球模型 $B_X'(G) = \{g \in \mathrm{SL}_n(\mathbb{Z}) \mid \|g\|, \|g^{-1}\| \leq X\}$ 定义生成元对上的概率测度 $\mu_X'$。
• 应用 Breuillard-Gelander 对 $\mathrm{SL}_n(\mathbb{R})$ 在射影空间上作用的乒乓对特征刻画，分析随机矩阵的动力学。
• 利用奇异值分解和测度集中性，证明随机矩阵以高概率具有较大的奇异值间隔，且首奇异向量均匀分布。
• 通过随机矩阵乘积的 Lyapunov 指数估计，表明轨道呈指数发散，从而支持乒乓机制。
• 结合奇异向量的等分布性与间隔估计，证明构成乒乓对的概率随 $X \to \infty$ 而趋于 1。
• 利用乒乓论证得出，所生成的群在 $\mathrm{SL}_n(\mathbb{Z})$ 中是自由且拟薄的。

实验结果

研究问题

• RQ1 当 $X \to \infty$ 时，从半径为 $X$ 的对称欧氏球中均匀随机选取的 $\mathrm{SL}_n(\mathbb{Z})$ 的典型二生成子群是否趋于拟薄？
• RQ2 尽管在 $n > 2$ 时标准欧氏球模型中乒乓机制会失效，但在欧氏模型中是否仍可利用乒乓机制证明典型拟薄性？
• RQ3 对称球模型如何影响通过乒乓动力学生成自由群的概率？
• RQ4 在 $\mathrm{SL}_n(\mathbb{Z})$ 中，随机矩阵的奇异值间隔与向量对齐在确保乒乓条件中起到何种作用？

主要发现

• 对于 $n \geq 2$，当 $X \to \infty$ 时，从对称欧氏球 $B_X'(G)$ 中均匀随机选取的两个元素构成乒乓对的概率趋于 1。
• 在标准欧氏球模型中，当 $n > 2$ 时，两个元素构成乒乓对的概率严格小于 1，表明对称化的必要性。
• 在对称模型中，由两个随机元素生成的群的 Lyapunov 指数以高概率随 $X$ 而趋于无穷大。
• 随着 $X \to \infty$，$B_X'(G)$ 中随机矩阵的奇异值表现出首奇异值与第二奇异值之间不断增长的间隔。
• 在 $B_X'(G)$ 中，随机矩阵的首奇异向量在正交群中均匀分布，且以高概率与任意向量的内积远离零。
• 因此，所生成的群以趋于 1 的概率是自由的且在 $\mathrm{SL}_n(\mathbb{Z})$ 中为无限指数子群，即为拟薄群。