[论文解读] On malnormal peripheral subgroups in fundamental groups of 3-manifolds

Pierre de la Harpe, Claude Weber|arXiv (Cornell University)|Apr 15, 2011

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

一句话总结

本文证明了：非平凡扭结的基本群的周边子群为强正规子群，当且仅当该扭结不是环面扭结、套索扭结或复合扭结。作者利用Seifert叶状结构与环定理，证明强正规性失效的充要条件是扭结外部存在非边界平行的环面——其边界曲线与经线之间的距离至多为1。

ABSTRACT

Let $K$ be a non-trivial knot in the 3-sphere, $E_K$ its exterior, $G_K = π_1(E_K)$ its group, and $P_K = π_1(\partial E_K) \subset G_K$ its peripheral subgroup. We show that $P_K$ is malnormal in $G_K$, namely that $gP_Kg^{-1} \cap P_K = \{e\}$ for any $g \in G_K$ with $g otin P_K$, unless $K$ is in one of the following three classes: torus knots, cable knots, and composite knots; these are exactly the classes for which there exist annuli in $E_K$ attached to $T_K$ which are not boundary parallel (Theorem 1 and Corollary 2). More generally, we characterise malnormal peripheral subgroups in the fundamental group of a compact orientable irreducible 3-manifold with boundary a non-empty union of tori (Theorem 3). Proofs are written with non-expert readers in mind. Half of our paper (Sections 7 to 10) is a reminder of some three-manifold topology as it flourished before the Thurston revolution. In a companion paper [HaWeOs], we collect general facts on malnormal subgroups and Frobenius groups, and we review a number of examples.

研究动机与目标

• 确定扭结基本群的周边子群何时为强正规子群。
• 刻画3-流形群中周边子群不具强正规性的拓扑条件。
• 阐明非边界平行环面在扭结外部作为强正规性障碍的作用。
• 将该刻画从扭结推广至具有环面边界分量的一般紧致、可定向、不可约3-流形。
• 提供一份自包含的阐述，供非专家阅读，涵盖3-流形拓扑与强正规子群的基础背景知识。

提出的方法

• 利用Seifert叶状结构与伪叶状结构分析扭结外部中的嵌入环面。
• 应用环定理与JSJ分解，对周边子群不具强正规性的3-流形的拓扑类型进行分类。
• 依赖于非边界平行环面与周边非强正规性之间的等价性，通过曲线距离条件建立联系。
• 采用W-本质映射与非退化嵌入的概念，形式化环面的拓扑行为。
• 引入术语对照表，调和旧文献（如Raymond与Orlik）中的术语与现代3-流形理论的一致性。
• 证明：周边子群不具强正规性，当且仅当JSJ分解中包含该边界分量的Seifert块为Seifert流形。

实验结果

研究问题

• RQ1 何时扭结基本群的周边子群为强正规子群？
• RQ2 扭结外部的何种拓扑特征导致周边子群不具强正规性？
• RQ3 非边界平行环面如何与扭结的分类（如环面扭结、套索扭结、复合扭结）在群论性质上相关联？
• RQ4 在具有环面边界分量的3-流形上，周边子群在基本群中为强正规子群的条件是什么？
• RQ5 JSJ分解与Seifert纤维化在判断周边子群强正规性方面起何种作用？

主要发现

• 对于非平凡扭结$K$，其周边子群$P_K$在$G_K = \pi_1(E_K)$中为强正规子群，当且仅当$K$不是环面扭结、套索扭结或复合扭结。
• 强正规性失效的充要条件是扭结外部存在非边界平行的环面，且该环面的边界曲线与边界环面上的经线之间的距离至多为1。
• 对于具有环面边界分量$\partial_1M$的紧致、可定向、不可约3-流形$M$，其周边子群$P$在$\pi_1(M)$中不具强正规性，当且仅当包含$\partial_1M$的Seifert块$V$为Seifert流形。
• 在$E_K$中存在非边界平行环面，等价于$K$为环面扭结、套索扭结或复合扭结。
• 对于含$r \geq 2$个分量的链结，若分量$L_j$属于（可能为卫星的）环面子链结，或由连通和运算构造而来，则其对应的周边子群不具强正规性。
• 在具有不可压缩环面边界分量的不可约3-流形中，W-本质、非退化且非边界平行的环面之间存在等价性。