[论文解读] A Height Gap Theorem For Finite Subsets Of GL_d(\bar{Q}) and Non Amenable Subgroups

Emmanuel Breuillard|arXiv (Cornell University)|Apr 9, 2008

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

一句话总结

本文为 $GL_d(\overline{\mathbb{Q}})$ 的有限子集 $F$ 引入了一种共轭不变的归一化高度函数 $\widehat{h}(F)$，证明了统一的高度间隙：当 $F$ 生成非阿马伦子群时，有 $\widehat{h}(F) > \varepsilon(d) > 0$。该结果将莱默猜想推广至矩阵群，并提供了马尔格里斯引理的全局阿代尔类比，应用于统一的伯恩赛德-舒尔定理与强蒂茨替代性定理。

ABSTRACT

We show a global adelic analog of the classical Margulis Lemma from hyperbolic geometry. We introduce a conjugation invariant normalized height $\hat{h}(F)$ of a finite set of matrices $F$ in $GL_{n}(\bar{\Bbb{Q}})$ which is the adelic analog of the minimal displacement on a symmetric space. We then show, making use of theorems of Bilu and Zhang on the equidistribution of Galois orbits of small points, that $\hat{h}(F)>ε$ as soon as $F$ generates a non-virtually solvable subgroup of $SL_{n}(\bar{\Bbb{Q}}),$ where $ε=ε(n)>0$ is an absolute constant.

研究动机与目标

• 为 $GL_d(\overline{\mathbb{Q}})$ 的有限子集 $F \subset GL_d(\overline{\mathbb{Q}})$ 定义并研究一种共轭不变的归一化高度 $\widehat{h}(F)$，以捕捉 $F^n$ 在所有位置上的渐近谱增长。
• 当 $F$ 生成非阿马伦子群时，建立统一的下界 $\widehat{h}(F) > \varepsilon(d) > 0$，将莱默问题推广至线性群。
• 通过将高度间隙与矩阵半群的几何与算术行为联系起来，提供马尔格里斯引理的全局阿代尔类比。
• 将高度间隙应用于证明关于幂零线性群的统一伯恩赛德-舒尔定理。
• 为后续工作中强统一蒂茨替代性定理奠定基础。

提出的方法

• 定义归一化高度 $\widehat{h}(F) = \lim_{n \to \infty} \frac{1}{n} h(F^n)$，其中 $h(F)$ 是一个全局算术高度，对数域的所有位置上的局部算子范数求和。
• 利用谱半径公式将 $\widehat{h}(F)$ 与特征值的韦伊高度联系起来（当 $F$ 为单元素集时），从而与经典丢番图几何建立联系。
• 对局部域上的典型群应用局部估计，以控制每个位置 $v$ 处的 $||F^n||_v$ 的增长，利用 $p$-进范数与阿基米德范数的结构。
• 在半单性假设下，利用诺斯科特定理证明有界 $\widehat{h}(F)$ 与有界次数蕴含仅有有限多个共轭类。
• 通过在布雷厄特-蒂茨复形上的作用及 $p$-进域中的不动点性质，分析 $F$-轨道的位移，并推导出 $\widehat{h}(F)$ 的下界。
• 应用凯莱-哈密顿定理与表示理论，将问题约化为 $\overline{\mathbb{Q}}$ 上的忠实表示，尤其在几乎可解或幂零子群的情况下。

实验结果

研究问题

• RQ1 能否为生成非阿马伦子群的 $GL_d(\overline{\mathbb{Q}})$ 的有限子集 $F \subset GL_d(\overline{\mathbb{Q}})$ 建立归一化高度 $\widehat{h}(F)$ 的统一下界？
• RQ2 归一化高度 $\widehat{h}(F)$ 如何与 $F$ 的谱性质及其生成群的扎里斯基闭包相关联？
• RQ3 高度间隙现象在多大程度上可将经典莱默猜想推广至非交换线性群？
• RQ4 高度间隙能否用于推导如幂零线性群伯恩赛德-舒尔定理等问题中的统一界？
• RQ5 归一化高度 $\widehat{h}(F)$ 与 $F$ 在 $p$-进域上布雷厄特-蒂茨复形上的几何作用之间存在何种关系？

主要发现

• 存在绝对常数 $\varepsilon(d) > 0$，使得当 $F$ 生成 $GL_d(\overline{\mathbb{Q}})$ 的非阿马伦子群时，有 $\widehat{h}(F) > \varepsilon(d)$。
• 归一化高度 $\widehat{h}(F)$ 当且仅当 $F$ 生成拟幂零子群（即群中所有元素的特征值均为单位根）时为零。
• 归一化高度满足 $\widehat{h}(F^n) = n \cdot \widehat{h}(F)$，且在 $GL_d(\overline{\mathbb{Q}})$ 中共轭下不变。
• 任何有限集 $F$ 总可共轭至某一位置，使得其标准高度 $h(F)$ 与 $\widehat{h}(F)$ 可比较，常数仅依赖于 $d$。
• 高度间隙蕴含统一的伯恩赛德-舒尔定理版本：$GL_d(\overline{\mathbb{Q}})$ 的任意有限生成幂零子群均为有限群，其大小仅依赖于 $d$。
• 该结果提供了马尔格里斯引理的全局阿代尔类比，其中高度间隙对应于布雷厄特-蒂茨复形中位移的统一下界。