[論文レビュー] The structure of 3-manifolds with 2-generated fundamental group

Michel Boileau, Richard Weidmann|ArXiv.org|Nov 30, 2001

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

ひとこと要約

本稿は、2生成の基本群と非自明な JSJ 分解をもつコンパクトで、向きつけ可能で、非分解的3次元多様体を分類し、それらがヘーガード genus 2 であるか、特定のセイフェルト多様体とパラボリック生成子をもつ双曲的多様体の接着構造であることを示している。主な結果は、これらの多様体が JSJ 構造と基本群のランクによって完全に位相的に特徴付けられることである。

ABSTRACT

We prove a structure theorem for 3-manifolds with non-trivial JSJ-decomposition and 2-generated fundamental group. We deduce a variety of Corollaries. Note this is not a complete classification of such manifolds. In particular we believe that one of the families in our list is empty. If you know something about hyperbolic 2-bridge knot exteriors and their finite sheeted covering spaces you might want to finish this off. Thanks.

研究の動機と目的

• 2生成の基本群と非自明な JSJ 分解をもつコンパクトで、向きつけ可能で、非分解的3次元多様体の位相的構造を特定すること。
• このような多様体がヘーガード genus 3 以上をとれるかどうかという未解決問題を解消すること。
• これらの多様体がホモトピー球面の2重分岐被覆であるための条件を確立すること。
• 2生成の基本群の設定へと、絡み目のプライメイティビティおよび非分解性に関する結果を拡張すること。
• 幾何的および代数的制約を用いて、JSJ分解をもつ基本群ランク2の3次元多様体の完全な分類を提供すること。

提案手法

• T. Kobayashi の、非自明な JSJ 分解をもつヘーガード genus 2 の3次元多様体の分類を、基礎的な枠組みとして用いる。
• JSJ 分解の理論を用いて、基本群ランク2の3次元多様体の構造を分析する。
• 双曲的多様体におけるパラボリック生成子の概念を用いて、セイフェルト部と双曲的部の間の接着パターンを特徴付ける。
• アニュラス定理とアサイリンドリシティ基準を用いて、ランク2の基本群に矛盾する本質的表面を除外する。
• Bonahon-Siebenmann の特徴的トーラス族およびコンウェイ球面に関する結果を用いて、絡み目の外部を分析する。
• マロンマル・サブグループ定理（Karrass–Solitar）を活用し、非自由で2生成の群がマロンマルなアマルガメートド・スプリッティングをもてないことを示し、特定の表面埋め込みを除外する。

実験結果

リサーチクエスチョン

• RQ1 2生成の基本群と非自明な JSJ 分解をもつコンパクトで、向きつけ可能で、非分解的3次元多様体がヘーガード genus 3 以上をとれるか。
• RQ2 このような分解に現れるセイフェルト部および双曲的部の正確な位相的型は何か。
• RQ3 どのような接着条件のもとで、得られる多様体がランク2の基本群を保つのか。
• RQ4 ヘーガード genus 2 でない2生成の基本群をもつ双曲的3次元多様体の例はあるか。
• RQ5 S³ 内の2生成の絡み目はコンウェイ非分解的であり得るか。これはその2重分岐被覆にどのような意味をもたらすか。

主な発見

• 基本群のランクが 2 で、非自明な JSJ 分解をもつコンパクトで、向きつけ可能で、非分解的3次元多様体は、ヘーガード genus 2 であるか、特定のセイフェルト部と双曲的部の接着構造に分解される。
• 定理1 のタイプ2) — セイフェルト部と、パラボリック生成子をもつ双曲的部 — は、ヘーガード genus 2 を超えることは知られていないが、そのような例は現在まだ確認されていない。
• 定理1 のタイプ3) — 交わりが1のファイバーに沿って接着される2つのセイフェルト部 — は、特定の絡み目の外部における幾何的条件が満たされない限り、ヘーガード genus 2 をもたない。
• 定理1 のタイプ4) — Q³ バンドルと、2ブリッジ絡み目の外部による有限シートの不規則被覆をもつ双曲的多様体 — は、ヘーガード genus 3 以上をとる例は存在しないと予想されている。
• 非自明な JSJ 分解または幾何構造をもつ2生成の基本群をもつ閉じた3次元多様体は、ホモトピー球面の2重分岐被覆である。
• S³ 内の2生成の絡み目は、プライムかつコンウェイ非分解的であり、Norwood および Scharlemann の結果を2生成の場合へと拡張する。