Lifting all elements in $\mathrm{SL}_n(\mathbb{Z}/q\mathbb{Z})$

这是一份关于论文《LIFTING ALL ELEMENTS IN SLn(Z/qZ)》（提升 SLn(Z/qZ) 中的所有元素）的详细技术总结。该论文由 Amitay Kamber 和 Péter P. Varjú 撰写，主要研究了算术群 $SL_n(\mathbb{Z})$ 到其有限商群 $SL_n(\mathbb{Z}/q\mathbb{Z})$ 的映射中，元素提升（lifting）的范数界限问题。

1. 研究问题 (Problem Statement)

核心问题：
给定一个模数 $q$ 和群 $SL_n(\mathbb{Z}/q\mathbb{Z})$ 中的任意元素 $x$，是否存在一个提升 $\gamma \in SL_n(\mathbb{Z})$ 使得 $\pi_q(\gamma) = x$，并且 $\gamma$ 的算子范数 $\|\gamma\|$ 尽可能小？

背景与现状：

• 强逼近性质 (Strong Approximation)： 映射 $\pi_q: SL_n(\mathbb{Z}) \to SL_n(\mathbb{Z}/q\mathbb{Z})$ 是满射。
• 平均情况 (Average Case)： 根据鸽巢原理，要覆盖“几乎所有”的 $SL_n(\mathbb{Z}/q\mathbb{Z})$ 元素，提升范数 $T$ 至少需要达到 $q^{1+1/n}$。近期结果（如 Theorem 1.1）表明，对于无平方因子 $q$，几乎所有元素确实存在范数约为 $q^{1+1/n}$ 的提升。
• 最坏情况 (Worst Case)： 本文关注的是每一个元素是否都能被提升，以及最坏情况下的提升范数界限。之前的上界是 $q^{2+2/n+o(1)}$，下界仅为鸽巢原理给出的 $q^{1+1/n+o(1)}$。

2. 主要贡献与结果 (Key Contributions & Results)

本文通过两个主要定理解决了最坏情况下的提升问题，揭示了“平均直径”与“最坏直径”之间的显著差异（即所谓的“大空洞”现象）。

定理 1.2 (最坏情况的下界)

对于任意 $\epsilon > 0$，存在常数 $C_{n,\epsilon}$，使得对于任意 $q$，都存在一个元素 $x \in SL_n(\mathbb{Z}/q\mathbb{Z})$，其所有提升 $\gamma$ 的范数满足：
$$\min \{ \|\gamma\| : \pi_q(\gamma) = x \} \ge C_{n,\epsilon} q^{2-\epsilon}$$
意义： 证明了最坏情况下的提升范数接近 $q^2$，远大于平均情况的 $q^{1+1/n}$。对于 $n=2$，比值为 $4/3$；随着 $n$ 增大，比值趋近于 2。

定理 1.3 (最坏情况的上界)

存在常数 $C_n$，使得对于任意 $q$ 和任意 $x \in SL_n(\mathbb{Z}/q\mathbb{Z})$，都存在一个提升 $\gamma \in SL_n(\mathbb{Z})$ 满足：
$$\|\gamma\| \le C_n q^2 \log q$$
意义： 证明了所有元素都可以被提升，且范数界限为 $O(q^2 \log q)$。这与下界 $q^{2-\epsilon}$ 非常接近，基本上解决了该问题。

独立贡献：大 $n$ 次根的存在性 (Theorem 1.5)

为了证明定理 1.2，作者证明了一个具有独立意义的数论结果：
对于任意 $k, n > 0$，存在常数 $C$，使得对于任意 $q$，存在 $\alpha, \beta \in (\mathbb{Z}/q\mathbb{Z})^\times$ 满足：

1. $|\alpha| < C$ （$\alpha$ 很小）
2. $\beta^n = \alpha$ （$\beta$ 是 $\alpha$ 的 $n$ 次根）
3. $|n\beta| > C^{-1} q^{1-1/k}$ （$n\beta$ 很大）
   意义： 这个结果利用了加法组合学中的 Bohr 集（Bohr sets）理论，证明了在模 $q$ 下存在“小元素具有大 $n$ 次根”的现象，这是构造最坏情况提升的关键。

3. 方法论 (Methodology)

证明定理 1.2 (下界) 的策略

1. 构造对角矩阵： 选择特定的对角矩阵 $x \in SL_n(\mathbb{Z}/q\mathbb{Z})$。
2. 线性方程约束： 利用 $SL_n$ 在 $x$ 处的切空间性质，任何提升到 $SL_n(\mathbb{Z}/q^2\mathbb{Z})$ 的元素必须满足一个非齐次线性方程。
3. 利用大根： 通过定理 1.5 找到合适的 $\beta$，使得该线性方程的系数很小，但非齐次项（常数项）很大。
4. 推导矛盾： 这种结构迫使任何提升 $\gamma$ 的某个对角元必须很大（量级为 $q^2$），从而证明范数下界。
   • 技术细节： 证明定理 1.5 时，假设不存在这样的 $\beta$，则对应的 Bohr 集会包含 $n$。利用 Bohr 集可以用广义算术级数（Generalized Arithmetic Progression, GAP）逼近的性质，构造出一组交换矩阵，最终导出矛盾（利用特征值性质和鸽巢原理）。

证明定理 1.3 (上界) 的策略

作者推广了 Sarnak 在 $n=2$ 时的方法，分为两步：

1. 提升前 $n-1$ 行：
   • 目标：找到前 $n-1$ 行的整数提升，使其可以扩展为 $SL_n(\mathbb{Z})$ 中的矩阵。
   • 方法：利用数论中的互质性质和 Jacobsthal 函数的界限。通过调整前 $n-1$ 行的元素（加上 $q$ 的倍数），使得它们模大素数线性无关，从而保证可以扩展。
   • 代价：前 $n-1$ 行的元素范数界限为 $O(q \log q)$。
2. 提升最后一行：
   • 目标：在保持行列式为 1 的前提下，找到最后一行。
   • 方法：利用线性代数。由于前 $n-1$ 行已确定，最后一行需要满足特定的线性约束以修正模 $q$ 的余数。
   • 代价：最后一行的元素范数界限为 $O(q^2 \log q)$。
   • 注： 作者指出，如果不增加前 $n-1$ 行的界限，最后一行的 $q^2$ 阶界限几乎是无法改进的（由引理 1.6 支持）。

4. 其他相关结果与讨论

• 仿射空间与射影空间的作用： 论文最后部分讨论了 $SL_n(\mathbb{Z})$ 在仿射空间 $A_q$ 和射影空间 $P_q$ 上的作用。
  • 定义了距离函数 $d(x, y) = \min \{ \log \|\gamma\| : \gamma \cdot x = y \}$。
  • 提出了关于“几乎直径”（almost-diameter）和“直径”（diameter）的猜想。
  • 证明了对于射影空间 $P_q$，其直径指数 $\alpha(P_q) = 1$（即最大距离约为 $\log q$），这与 $n=2$ 时的某些数值实验和猜想相符，但也指出了最坏情况与平均情况的差异。
• 与 Ramanujan 图的联系： 文中提到该问题与 LPS Ramanujan 图的直径问题密切相关，特别是关于直径是否达到鸽巢原理下界的 $4/3$ 倍（对于 $n=2$）的讨论。

5. 意义与影响 (Significance)

1. 解决长期开放问题： 彻底解决了 $SL_n(\mathbb{Z}/q\mathbb{Z})$ 中所有元素提升范数的最坏情况界限问题，将上界从 $q^{2+2/n}$ 优化至 $q^2 \log q$，并给出了匹配的下界 $q^{2-\epsilon}$。
2. 揭示“大空洞”现象： 量化了算术群提升中平均情况与最坏情况的巨大差异（Big Holes），这对于理解算术群的几何结构和谱性质具有重要意义。
3. 工具创新： 成功将加法组合学中的 Bohr 集 和 广义算术级数 理论应用于数论中的提升问题，展示了跨领域工具的强大威力。
4. 独立数论结果： 定理 1.5 关于“小元素具有大 $n$ 次根”的结论本身具有独立的数学价值，可能应用于其他涉及幂剩余和模运算的问题中。

综上所述，这篇论文通过结合数论、群论和加法组合学的深度工具，精确刻画了 $SL_n(\mathbb{Z})$ 提升问题的几何特征，是算术群理论领域的一项重要进展。