[论文解读] Absolute profinite rigidity and hyperbolic geometry

Martin R. Bridson, D. B. McReynolds+2 more|arXiv (Cornell University)|Nov 11, 2018

Geometric and Algebraic Topology被引用 8

一句话总结

本文首次建立了已知的、全尺寸的、有限生成的、剩余有限群的绝对意义上的局部紧致刚性群——即它们由其局部紧致完备唯一确定。作者通过结合表示刚性与基于计算代数系统的有限商枚举技术，证明了特定算术克菜因群（包括满足 ω² + ω + 1 = 0 的双曲面群 PSL(2, Z[ω])、PSL(2, C) 中最小共体积的非均匀格，以及 Weeks 空间基本群）的绝对局部紧致刚性。

ABSTRACT

We construct arithmetic Kleinian groups that are profinitely rigid in the absolute sense: each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. The Bianchi group $\mathrm{PSL}(2,\mathbb{Z}[ω])$ with $ω^2+ω+1=0$ is rigid in this sense. Other examples include the non-uniform lattice of minimal co-volume in $\mathrm{PSL}(2,\mathbb{C})$ and the fundamental group of the Weeks manifold (the closed hyperbolic $3$-manifold of minimal volume).

研究动机与目标

• 识别并证明特定无限、全尺寸群（即不被群恒等式约束的群）的绝对局部紧致刚性。
• 证明某些算术克菜因群在所有有限生成、剩余有限群中，由其局部紧致完备唯一确定。
• 建立一个结合算术结构、几何拓扑与计算群论的框架，以解决非交换情形下长期悬而未决的绝对局部紧致刚性问题。
• 提供首个非可解、非交换群的例子，其局部紧致完备唯一确定该群（同构意义下）。

提出的方法

• 利用 SL(2, C) 中的表示刚性，限制不可约表示的数量，从而约束局部紧致完备性。
• 使用计算代数系统（Magma）枚举并比较有限指数子群的共轭类，特别是指数为 8 和 24 的子群，以区分局部紧致完备性。
• 应用低指数子群搜索与陪集枚举，计算置换像的阶与阿贝尔不变量，从而比较有限商群。
• 利用双曲3-轨道丛与3-流形的几何结构，特别是 Weeks 空间与 Bianchi 群的拓扑，推导算术与子群理论约束。
• 证明局部紧致完备性可将该群与所有其他有限生成、剩余有限群区分开，即不存在非同构的奇异群 Λ 具有同构的局部紧致完备性，除非 Λ 同构于 Γ。
• 通过局部紧致完备性下的稳定性，将刚性推广至与 Z^r 的积，证明对所有 r ∈ N，Γ × Z^r 是局部紧致刚性的。

实验结果

研究问题

• RQ1 是否存在无限的、非交换的、全尺寸群（即包含非交换自由子群）在绝对意义上具有局部紧致刚性？
• RQ2 由双曲3-轨道丛导出的算术克菜因群能否由其局部紧致完备唯一确定？
• RQ3 SL(2, C) 中的表示刚性在多大程度上约束 PSL(2, C) 中格的局部紧致完备性？
• RQ4 通过 Magma 对有限商群进行计算枚举，能否将某一群的局部紧致完备性与其他非同构群的局部紧致完备性区分开？
• RQ5 Weeks 空间的基本群（最小体积闭合双曲3-流形）是否具有局部紧致刚性？

主要发现

• 满足 ω² + ω + 1 = 0 的 Bianchi 群 PSL(2, Z[ω]) 在绝对意义上具有局部紧致刚性。
• PSL(2, C) 中最小共体积的非均匀格在绝对意义上具有局部紧致刚性。
• Weeks 空间基本群在绝对意义上具有局部紧致刚性，经 Magma 计算确认：恰好存在一个指数为 24 的子群共轭类，其非交换单群像的阶为 3.1×10^23。
• 对所有 r ∈ N，群 Γ×Z^r 是局部紧致刚性的，从而从单一例子可生成无穷多个局部紧致刚性群的共轭类。
• Γ_W 恰好有 11 个指数为 24 的子群共轭类，其中一类像为阶为 6072 的单群，其余两类像的阶分别为 2.2×10^6 与 3.1×10^23，确认了局部紧致完备性的差异。
• 对 Γ_W 进行指数 8 子群枚举，恰好得到一个共轭类，其阿贝尔不变量为 [5, 30]，提供了与其它群区别的关键不变量。