[论文解读] Discrete Linear Groups containing Arithmetic Groups

Indira Chatterji, T. N. Venkataramana|arXiv (Cornell University)|May 12, 2009

Geometric and Algebraic Topology参考文献 11被引用 4

一句话总结

该论文确立了在何种条件下，一个高阶单实代数群 G 的 Zariski 稠密离散子群 Γ，若其包含一个低秩子群 H（实秩 ≥2）中的格，则 Γ 本身必为 G 中的格。通过在旗流形上运用强刚性与几何论证，证明此类子群与如 SLₙ(ℤ) 或 Sp_g(ℤ) 等算术群共轭，从而在关键情形下证实了 Madhav Nori 的一个猜想。

ABSTRACT

We prove in a large number of cases, that a Zariski dense discrete subgroup of a simple real algebraic group $G$ which contains a higher rank lattice is a lattice in the group $G$. For example, we show that a Zariski dense subgroup of $SL_n({\mathbb R})$ which contains $SL_3({\mathbb Z})$ in the top left hand corner, is conjugate to $SL_n({\mathbb Z})$ .

研究动机与目标

• 解决 Madhav Nori 关于 Zariski 稠密离散子群 Γ ⊂ G（G 为实半单李群）是否必须自身为格的猜想，其中 Γ 包含低秩子群 H 中的格。
• 研究此类子群 Γ ⊂ G 为算术群的条件，特别是当 H 的实秩 ≥2 时。
• 建立包含高阶格的离散子群的强刚性，将其线性表示与基群 G 的表示联系起来。
• 展示在实秩为 1 的情形下，此类格可扩展为无限余体积的 Zariski 稠密离散子群，与高阶情形形成对比。

提出的方法

• 利用 Iwasawa 分解 G = ANK，研究 H 在旗流形 G/P₀ 上的作用，重点关注稳定子群。
• 应用关于包含足够大高阶格的离散子群的一般强刚性定理，条件涉及稳定子群的维数与非紧性。
• 运用 Bruhat 分解及 G/P₀ 上幂零流的动力学，分析 H 中序列及其在紧子集上的作用。
• 在 G/P 中 H/Q 的紧邻域上使用 ping-pong 引理，构造 H 中格 Δ 的共轭的自由积，确保其在 G 中 Zariski 稠密。
• 分析相对 Weyl 群结构及 A⁺ 中元素的共轭，证明某些序列必收敛至 H/Q 中的极限，若该集合非紧则导致矛盾。
• 应用 Margulis 的强刚性与算术性定理，推导出此类子群必与 SLₙ(ℤ) 或 Sp_g(ℤ) 等算术群共轭。

实验结果

研究问题

• RQ1 在何种条件下，一个 Zariski 稠密离散子群 Γ ⊂ G，若其包含实秩 ≥2 子群 H ⊂ G 中的格，则必为 G 中的格？
• RQ2 当 Γ 包含 H 中的高阶格时，能否建立其强刚性？这对其线性表示意味着什么？
• RQ3 为何在实秩为 1 的情形下，此类扩展无法成为格？其几何或动力学障碍是什么？
• RQ4 H 相对于 K（G 的极大紧子群）的维数在多大程度上决定了 Γ 必为算术群？
• RQ5 H 在 G/P₀ 上作用的稳定子群如何影响 Γ 的结构与有限性性质？

主要发现

• 当 n ≥ 4 时，任何 Zariski 稠密离散子群 Γ ⊂ SLₙ(ℝ)，若其与嵌入在左上角的 SL₃(ℝ) 的交为 SL₃(ℤ) 的有限指数子群，则 Γ 必与 SLₙ(ℤ) 的某个共轭共轭。
• 类似地，当 g ≥ 3 时，任何 Zariski 稠密离散子群 Γ ⊂ Sp_g(ℝ)，若其与 Sp₂(ℝ) 的交为与 Sp₂(ℤ) 共轭的子群，则 Γ 必与 Sp_g(ℤ) 共轭。
• 若 dim(H) > dim(K) 且 H ⊂ G 的实秩 ≥2，则任何 Zariski 稠密离散子群 Γ ⊂ G，若其与 H 的交为不可约格，则 Γ 在 Margulis 意义下具有强刚性。
• 在实秩为 1 的情形下，H（实秩为 1）中的格 Δ 可扩展为 G 中无限余体积的 Zariski 稠密离散子群 Γ，表明高阶假设是必要的。
• 若 H 在 G/P₀ 上作用的稳定子在每点处均为正维数且非紧，则 Γ 具有强刚性，这是主定理中的关键条件。
• 证明构造了 Δ 的有限指数子群 Δ₀，使得共轭 gᵢΔ₀gᵢ⁻¹ 生成的群为自由积且在 G 中 Zariski 稠密，从而表明在实秩为 1 的情形下 Γ 不可能是格。