[论文解读] Topology of 3-manifolds and a class of groups II

S.K. Roushon|arXiv (Cornell University)|Jun 23, 2003

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

一句话总结

本文研究了‘可爱’群这一类群——其换位子群列终止于一个完全子群——其动机源于三维流形的虚拟贝蒂数猜想。本文证明所有连通实或复李群都是可爱的，证明在特定条件下某些广义自由积和HNN扩张是非可爱的，并通过SL(n,Z)中的一个剩余有限p-群构造了一个反例。主要贡献在于对可爱群的结构特征刻画及其在三维流形拓扑与刚性理论中的作用。

ABSTRACT

This is a continuation of an earlier preprint (math.GT/0209121) under the same title. These papers grew out of an attempt to find a suitable finite sheeted covering of an aspherical 3-manifold so that the cover either has infinite or trivial first homology group. With this motivation we defined a new class of groups. These groups are in some sense eventually perfect. Here we prove results giving several classes of examples of groups which do (not) belong to this class. Also we prove some basic results on these groups and state two conjectures. A direct application of one of the conjectures to the virtual Betti number conjecture is mentioned. For completeness, here we reproduce parts of math.GT/0209121.

研究动机与目标

• 定义并研究‘可爱’群类，其换位子群列终止于一个完全群。
• 确定哪些三维流形基本群是可爱的，尤其关注其与虚拟贝蒂数猜想的关系。
• 研究在基本群第一同调有限的下，有限叶覆盖是否最终产生第一同调平凡或无限的覆盖。
• 解决关于基本群第一同调有限的三维流形的换位子群列是否最终终止于完全群的猜想。
• 探讨李群离散子群的结构及其可爱性，尤其在余紧格点的背景下。

提出的方法

• 通过换位子群列终止于完全子群来引入‘可爱’群的概念。
• 使用群论技术，包括换位子群、正规列和滤子论证。
• 应用李群理论，证明所有连通实或复李群都是可爱的。
• 利用怀特黑德引理和初等矩阵的性质，证明GL(R)和SL_n(C)是可爱的。
• 分析广义自由积和HNN扩张，以确定其在何种条件下是非可爱的。
• 通过SL(n,Z) → SL(n,Z/pZ)的核构造反例，表明其为有限生成、无挠、剩余有限p-群，且不是可爱的，尽管满足猜想的条件。

实验结果

研究问题

• RQ1 所有连通李群作为抽象群是否都是可爱的？
• RQ2 在何种条件下广义自由积或HNN扩张是非可爱的？
• RQ3 对于第一同调有限的基本群，其换位子群列是否最终终止于完全群？
• RQ4 能否证明关于余紧李群离散子群的猜想：所有第一同调有限的三维流形基本群都是可爱的？
• RQ5 大多数群是否不具有可爱性？能否通过概率或几何群论方法加以确立？

主要发现

• 所有连通实或复李群都是可爱的，这是通过换位子群列及其中换位子群为完全群的事实所证明。
• 当p为奇素数（或p=2时取模4）时，SL(n,Z) → SL(n,Z/pZ)的核是一个有限生成、无挠、剩余有限p-群，但不是可爱的。
• 该核满足前序论文中猜想的假设条件，但并非可爱，因此构成对猜想0.2的反例。
• 若G¹为完全群，则广义自由积G₁*ₕG₂满足G¹ ∩ H = 1时是非可爱的；类似条件下HNN扩张也可为非可爱的。
• 当超过2条绳索时，纯辫群不是可爱的，因其存在到非交换自由群的满射。
• 大多数塞弗特纤维化三维流形的基本群是非可爱的，除非其底面轨道空间与单值群满足特定条件。