[論文レビュー] 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

ひとこと要約

この論文は、非自明な絡み目の基本群の周辺部分群が、その絡み目がトーラス絡み目でもケーブル絡み目でも合成絡み目でもない場合に限り、malnormal であることを確立している。Seifert フォリエーションとアンナラス定理を用いて、malnormal でないことが起こるのは、絡み目の外部に境界に平行でないアンナラスが存在する場合に限ることを証明しており、そのときの縁の曲線同士の距離が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.

研究の動機と目的

• 絡み目の基本群の周辺部分群がいつmalnormal であるかを特定すること。
• 3次元多様体群における周辺部分群がmalnormal でなくなるための位相的条件を特徴づけること。
• 境界に平行でないアンナラスがmalnormal でないことに与える障害としての役割を明確化すること。
• 絡み目から一般のコンパクトで、向きつけで、非分解可能な3次元多様体（トーラス境界成分を有する）への特徴づけを拡張すること。
• 専門家でない読者にもアクセス可能な、3次元多様体位相とmalnormal 部分群に関する基礎的背景を含む、自己完結的な解説を提供すること。

提案手法

• 絡み目の外部に埋め込まれたアンナラスを分析するために、Seifert フォリエーションと擬似フォリエーションを用いる。
• アンナラス定理とJSJ分解を適用して、周辺部分群がmalnormal でなくなる3次元多様体の位相的型を分類する。
• 境界に平行でないアンナラスと周辺の非malnormal な性質との間の同値性を、曲線の距離条件を介して確立する。
• アンナラスの位相的挙動を形式化するために、W-本質的写像と非退化埋め込みの概念を用いる。
• 旧来の文献（例：Raymond や Orlik）の用語と現代の3次元多様体理論の用語を統合するための語彙対照表を導入する。
• 周辺部分群がmalnormal でないのは、JSJ分解における関連するSeifert ピece がSeifert 多様体である場合に限ることを確立する。

実験結果

リサーチクエスチョン

• RQ1 絡み目の基本群の周辺部分群がいつmalnormal であるか？
• RQ2 絡み目の外部にどのような位相的特徴が、周辺部分群のmalnormal でない性質を引き起こすか？
• RQ3 境界に平行でないアンナラスは、群論的性質の観点から、トーラス絡み目、ケーブル絡み目、合成絡み目の分類とどのように関係するか？
• RQ4 トーラス境界成分を有する3次元多様体において、周辺部分群が基本群においてmalnormal であるための条件は何か？
• RQ5 JSJ分解とSeifert フibration は、周辺部分群のmalnormal な性質を決定づけるために果たす役割は何か？

主な発見

• 非自明な絡み目 $K$ に対して、その周辺部分群 $P_K$ が $G_K = \\pi_1(E_K)\)$ においてmalnormal であることは、$K$ がトーラス絡み目でもケーブル絡み目でも合成絡み目でもないことに同値である。
• malnormal でないのは、絡み目の外部に境界に平行でないアンナラスが存在する場合に限り、そのアンナラスの縁の曲線が境界トーラス上のミリヤンと距離1以下であるときに特徴づけられる。
• コンパクトで、向きつけで、非分解可能な3次元多様体 $M$ とそのトーラス境界成分 $\partial_1M$ に対して、周辺部分群 $P$ が $\pi_1(M)$ においてmalnormal でないことは、$\partial_1M$ を含むSeifert ピece $V$ がSeifert 多様体であることに同値である。
• $E_K$ に境界に平行でないアンナラスが存在することは、$K$ がトーラス絡み目、ケーブル絡み目、または合成絡み目であることと同値である。
• 2本以上の成分を有するリンクに対しては、成分 $L_j$ に関連する周辺部分群がmalnormal でないのは、$L_j$ が（可能なかぎりの）サテライトトーラス部分リンクに属するか、または連結和の操作から生じる場合に限る。
• 非分解可能な3次元多様体で、圧縮可能でないトーラス境界成分を有する場合、W-本質的で、非退化で、境界に平行でないアンナラスの間には同値性が成り立つ。