[論文レビュー] Finiteness of 3-manifolds associated with non-zero degree mappings

Michel Boileau, J Rubinstein+1 more|arXiv (Cornell University)|Nov 22, 2005

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

ひとこと要約

この論文は、与えられたコンパクトで可定向な3次元多様体を非ゼロ次数の写像で支配する3次元多様体について、有限性の結果を確立する。スティューヴォンノルムとJSJ分解を用いて、このような多様体が、JSJ部品の同相型が有限個であることを証明し、閉じた3次元多様体が、有限個の整数ホモロジー球面とS³内のねじれ外周のみを支配することを示す。

ABSTRACT

We prove a finiteness result for the $\partial$-patterned guts decomposition of all 3-manifolds obtained by splitting a given orientable, irreducible and $\partial$-irreducible 3-manifold along a closed incompressible surface. Then using the Thurston norm, we deduce that the JSJ-pieces of all 3-manifolds dominated by a given compact 3-manifold belong, up to homeomorphism, to a finite collection of compact 3-manifolds. We show also that any closed orientable 3-manifold dominates only finitely many integral homology spheres and any compact 3-manifolds orientable 3-manifold dominates only finitely many exterior of knots in $S^3$.

研究の動機と目的

• 与えられたコンパクトで可定向な3次元多様体を非ゼロ次数の写像で支配する3次元多様体の有限性問題を解決すること。
• 1-支配に関する先行結果を、S³、PSL₂(R)~ または Nil幾何を支持しない非可縮み3次元多様体に対して一般の非ゼロ次数写像へと拡張すること。
• スティューヴォンノルムと幾何的分解を用いて、支配下でのJSJ部品とホモロジー球面の像の有限性を確立すること。
• コンパクトな3次元多様体の基本群が、有限個の異なるねじれ群への非退化写像をしか持たないことの証明。
• ねじれ群間の非退化写像を特徴づける基準の提供。

提案手法

• 非可縮み表面に沿った切断によって得られる3次元多様体の∂-パターン付きガッツ分解を分析する。
• スティューヴォンノルムを用いて、表面の複雑さを制御し、JSJ部品の数を上界で抑え込む。
• JSJ分解を用いて、非可縮み3次元多様体をセイフェルトファイバードまたはアトロイダル部品に分割し、幾何化定理を活用する。
• ハイパボリックおよびセイフェルト幾何の既知の有限性を活用して、非自明なJSJ分解を持つ多様体のケースに有限性問題を還元する。
• 位相的支配を、基本群間の非退化写像という群論的条件に翻訳する。
• ねじれの標準的ループの像を用いて、ねじれ群間の非退化写像の基準を確立する。

実験結果

リサーチクエスチョン

• RQ1 閉じた可定向3次元多様体は、S³、PSL₂(R)~ または Nil幾何を支持しない閉じた、非可縮みで可定向な3次元多様体を有限個しか支配しないのか？
• RQ2 与えられたコンパクトな3次元多様体によって支配されるすべての3次元多様体のJSJ部品は、同相型として有限個なのか？
• RQ3 コンパクトな可定向3次元多様体は、有限個の整数ホモロジー球面しか支配しないのか？
• RQ4 コンパクトな可定向3次元多様体は、S³内の有限個のねじれ外周しか支配しないのか？
• RQ5 非ゼロ次数の写像から生じるねじれ群間の写像はどのようなものか？そして、それらはどのように特徴づけられるか？

主な発見

• 与えられたコンパクトで可定向、非可縮みで∂-非可縮みな3次元多様体によって支配されるすべての3次元多様体のJSJ部品は、有限個の同相型に属する。
• 閉じた可定向3次元多様体は、有限個の整数ホモロジー球面しか支配しない。
• コンパクトな可定向3次元多様体は、有限個のS³内のねじれ外周しか支配しない。
• コンパクトな可定向3次元多様体の基本群は、有限個の異なるねじれ群への非退化写像しか持たない。
• ねじれ群間の写像が非退化であるための必要十分条件は、その写像が標準的ループを非自明な周辺的要素に写すことである。
• 証明は、スティューヴォンノルムと、非自明なJSJ分解を持つ幾何化可能な3次元多様体が有限個の幾何的タイプによって制御されることに依存する。