[論文レビュー] Topology of 3-manifolds and a class of groups

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

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

ひとこと要約

この論文は、3次元多様体の位相および仮想ベッチ数予想に動機づけられ、導来系列が完全部分群で終わる群、すなわち「かわいげのある」群の概念を導入する。すべての連結な実または複素 Lie 群が「かわいげのある」群であることを証明し、3次元多様体の基本群や絡み目の群が「かわいげのある」群であるか否かの条件を確立し、またこの性質をホモロジー的有限性条件や群コホホロジーに関連付ける。

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.

研究の動機と目的

• 導来系列が完全群で終わるような新しい群のクラス「かわいげのある」群を定義し、その性質を研究すること。
• 第一ホモロジー群が有限であるアスフェリカルな3次元多様体の位相的剛性問題を、有限シートの被覆を分析することで取り扱うこと。
• 3次元多様体の基本群や絡み目の群が「かわいげのある」群であるかどうかを特定すること、特にアレクサンダー多項式との関係を含めて。
• 「かわいげのある」性質とコホホロジー的有限性条件（例：E群や仮想ベッチ数）との関係を調査すること。
• スレイターの仮説と関連した、仮想ベッチ数予想への「かわいげのある」性質の関連を定式化し、検証すること。

提案手法

• 『かわいげのある』群を、ある $ 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 $ が完全群であることを保証する。
• Lie 群論を応用し、連結 Lie 群 $ G $ に対して導来系列が閉じた Lie 部分群 $ 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 どの3次元多様体の基本群に対して、その基本群の導来系列が有限に終わるか、すなわち群が「かわいげのある」群であるか？
• RQ2 スレイターの仮想ベッチ数予想と、基本群の「かわいげのある」性質との関係は何か？
• RQ3 絡み目の群や3次元多様体の基本群が「かわいげのない」群である条件は何か、特にアレクサンダー多項式との関係において。
• RQ4 $ SL_2(\mathbb{Z}) $ や曲面群のような群の導来系列が完全群で終わるか、もしそうでないならその理由は何か？
• RQ5 すべての連結 Lie 群が「かわいげのある」条件を満たすか？ その導来系列の構造がこの性質をどのように保証するか？

主な発見

• すべての連結な実または複素 Lie 群は、抽象群として「かわいげのある」群である。これは導来系列の安定化と、導来部分群の閉包の交換子群が完全群であるという事実に基づく。
• 絡み目の基本群が「かわいげのある」群であるための必要十分条件は、そのアレクサンダー多項式が自明であることである。この場合、交換子群は完全群である。
• 非自明なアレクサンダー多項式を持つ絡み目の群は「かわいげのない」群であり、$ H^1/G^2 $ のランクが $ \geq 3 $ であれば、すべての高次商 $ G^j/G^{j+1} $ は非自明である。
• 捩れのないビーバーバッハ群は、可解群でない限り「かわいげのない」群である。なぜなら、その導来系列が完全群で終わらないからである。
• $ SL_2(\mathbb{Z}) $ は「かわいげのない」群である。なぜなら、その交換子群が2生成子を持つ非アーベル自由群であり、完全群ではないからである。
• $ H_1(G, \mathbb{Z}) $ のランクが $ \geq 2 $ である $ E $-群は「かわいげのない」群である。これは $ G^2 $ が完全群でないことが示され、これが「かわいげのある」条件に反するためである。