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

S.K. Roushon|ArXiv.org|Sep 11, 2002

Topological and Geometric Data Analysis参考文献 12被引用 5

一句话总结

本文引入了“可爱”群的概念——即其换位列在某个完全子群处终止的群——该概念源于三维流形的拓扑结构以及虚拟贝蒂数猜想。本文证明了所有连通的实或复李群都是可爱的，建立了三维流形基本群与纽结群是否为可爱的条件，并将其与同调有限性条件及群上同调联系起来。

ABSTRACT

This paper 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 define a new class of groups. These groups are in some sense eventually perfect. We prove results giving several classes of examples of groups which do (not) belong to this class. Also we prove some elementary results on these groups and state two conjectures. A direct application of one of the conjectures to the virtual Betti number conjecture of Thurston is mentioned.

研究动机与目标

• 定义并研究一类新群——“可爱”群，其换位列在完全群处终止。
• 通过分析有限叶覆盖，解决具有有限第一同调群的殆球面三维流形的拓扑刚性问题。
• 确定哪些三维流形基本群与纽结群是可爱的，尤其关注其亚历山大多项式的关系。
• 探索“可爱”性质与上同调有限性条件（如E-群与虚拟贝蒂数）之间的关系。
• 提出并研究关于“可爱”性质与瑟斯顿虚拟贝蒂数猜想之间联系的猜想。

提出的方法

• 将‘可爱’群定义为换位列 $ G^i $ 满足 $ G^i / G^{i+1} = 1 $ 的群，其中最小的此类 $ i $ 称为可爱的度数。
• 使用换位列滤链 $ G = G^0 \triangleright G^1 \triangleright \cdots \triangleright G^n $，其中每个商群 $ G^{i-1}/G^i $ 为阿贝尔群，且 $ G^n $ 为完全群。
• 应用李群理论，证明连通李群 $ G $ 的换位列在某个闭李子群 $ G_{i_0} $ 处稳定，并利用 $ \overline{G^1} = G $ 推出 $ G^1 $ 为完全群。
• 借助怀特黑德引理，证明 $ GL_n(R) $ 与 $ SL_n(\mathbb{C}) $ 为度数 1 的可爱群，因为其换位子群为完全群。
• 使用上同调技术，特别是条件 $ H_2(G, R) = 0 $，刻画 $ E(R) $-群，并证明若 $ H_1(G, \mathbb{Z}) $ 的秩 $ \geq 2 $，则 $ E $-群不是可爱的。
• 应用斯托林斯定理及纽结群结果，证明纽结群为可爱当且仅当其亚历山大多项式为平凡，且非平凡亚历山大多项式意味着非可爱。

实验结果

研究问题

• RQ1 对于哪些三维流形基本群，其基本群的换位列是有限的，即该群为可爱？
• RQ2 瑟斯顿的虚拟贝蒂数猜想与基本群的可爱性质之间有何关系？
• RQ3 在何种条件下，纽结或三维流形的基本群不是可爱的，特别是与亚历山大多项式的关系？
• RQ4 像 $ SL_2(\mathbb{Z}) $ 或曲面群这样的群，其换位列是否可能在完全群处终止？若不能，原因是什么？
• RQ5 所有连通李群是否都满足可爱条件？其换位列结构如何确保这一点？

主要发现

• 所有连通实或复李群作为抽象群都是可爱的，其证明基于换位列的稳定化以及其换位子群闭包的完全性。
• 纽结群是可爱的当且仅当其亚历山大多项式为平凡，此时其换位子群为完全群。
• 具有非平凡亚历山大多项式的纽结群不是可爱的；若 $ H^1/G^2 $ 的秩 $ \geq 3 $，则所有更高阶商群 $ G^j/G^{j+1} $ 均非平凡。
• 无扭的比伯哈本群不是可爱的，除非其为可解群，因为其换位列不会在完全群处终止。
• $ SL_2(\mathbb{Z}) $ 不是可爱的，因为其换位子群是两个生成元的非交换自由群，而该群不是完全群。
• 若 $ H_1(G, \mathbb{Z}) $ 的秩 $ \geq 2 $，则 $ E $-群不是可爱的，因为 $ G^2 $ 不是完全群，与可爱的条件矛盾。