[論文レビュー] Alexander polynomial obstruction of bi-orderability for rationally homologically fibered knot groups

Tetsuya Ito|arXiv (Cornell University)|Sep 13, 2016

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

ひとこと要約

本稿は、有理ホモロジー3次元球面内の絡み目群の双順序可能性に対する位相的障害を確立する。もし有理ホモロジー的ファイバーブリッジド絡み目の補空間の基本群が双順序可能であれば、そのアレクサンダー多項式は少なくとも1つの正の実根を持つ必要がある。証明は無限サイクリック被覆の構造とアレクサンダー加群の性質に依拠し、関連部分群への有理ホモロジー上の全射写像を満たすHNN拡大に対する一般化された基準へと拡張される。

ABSTRACT

We show that if the fundamental group of the complement of a rationally homologically fibered knot in a rational homology 3-sphere is bi-orderable, then its Alexander polynomial has at least one positive real root. Our argument can be applied for a finitely generated group which is an HNN extension with certain properties.

研究の動機と目的

• 有理ホモロジー3次元球面上の有理ホモロジー的ファイバーブリッジド絡み目の補空間の基本群に対する双順序可能性の位相的障害を確立すること。
• ファイバーブリッジド条件を弱めた有理ホモロジー的ファイバーブリッジド条件へと緩和することで、既存の絡み目群の双順序可能性に関する結果を一般化すること。
• アレクサンダー多項式に正の実根が存在しないことを根拠とする、非双順序可能性の群論的基準を提供すること。
• 結果を絡み目群に限らず、関連部分群が有理ホモロジー上に全射を誘導する特定のホモロジー的性質を満たすHNN拡大のクラスへと拡張すること。

提案手法

• 絡み目の補空間の無限サイクリック被覆を用いて、$\mathbb{Q}[t,t^{-1}]$ 上でのアレクサンダー加群の構造を分析する。
• ダビチアスの定理を適用し、正の実根をもたない多項式を正の係数積による特徴づけによって特定する。
• 無限サイクリック被覆のアマルガメートド積構造を用いて、アーベル化写像の核に対する商順序を構成する。
• 包含写像が有理ホモロジーに全射を誘導することを活用し、商順序が適切に定義されることを保証する。
• 非自明な元が順序で1より大きいと同時に1に等しいと示すことで、矛盾を導く。
• 関連部分群が有理ホモロジーに全射を誘導するHNN拡大へと議論を一般化する。

実験結果

リサーチクエスチョン

• RQ1 アレクサンダー多項式のどのような条件下で、絡み目の補空間の基本群は双順序可能でなくなるか？
• RQ2 双順序可能性の障害は、ファイバーブリッジド絡み目からより広いクラスの絡み目にまで拡張可能か？
• RQ3 HNN拡大において、その基本群が非双順序可能であることを保証する群論的条件は何か？
• RQ4 アレクサンダー多項式に正の実根が存在しないことは、無限サイクリック被覆およびアーベル化の核の構造とどのように関係するか？

主な発見

• 有理ホモロジー的ファイバーブリッジド絡み目のアレクサンダー多項式に正の実根が存在しない場合、その基本群は双順序可能でない。
• 証明は、すべての非ゼロ係数が正であるような多項式 $\Delta'(t)$ が存在し、$\Delta'(t)\Delta_{\mathcal{K}}(t)$ と書けることと同値であり、これは正の実根の不在と等価である。
• 議論は、無限サイクリック被覆とアーベル化写像の核の構造（関連部分群への有理ホモロジー上の全射写像を満たすHNN拡大としての構造）に依拠している。
• 商群におけるある元が順序で1より大きく、同時に1に等しいと示される矛盾が生じる。
• 結果は、関連部分群が有理ホモロジーに全射を誘導する有限生成HNN拡大へと一般化可能である。
• 鍵となる位相的条件である有理ホモロジー的ファイバーブリッジド性は、包含写像がホモロジーに全射を誘導することを保証し、これが商順序が適切に定義されることに不可欠である。