[論文レビュー] Left-orderable fundamental group and Dehn surgery on twist knots

Ryoto Hakamata, Masakazu Teragaito|arXiv (Cornell University)|Dec 27, 2012

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

ひとこと要約

本稿は、3次元球面内の任意の双曲的ねじれ紐結び目について、0 ≤ r ≤ 4 を満たす傾き r に対する r-ドレイン補修が、左順序可能 fundamental 群をもつ3次元多様体を定めるということを証明している。証明は、結び目の群の SL(2,R)-表現の族を用い、それらを普遍被覆 ŜL(2,R) に上げ、適切な傾きに対して、表現が非アーベルな同型写像 ŜL(2,R) に下がることを示す。ŜL(2,R) が左順序可能であることは既知であり、これにより得られる fundamental 群の左順序可能性が導かれる。

ABSTRACT

For any hyperbolic twist knot in the 3-sphere, we show that the resulting manifold by $r$-surgery on the knot has left-orderable fundamental group if the slope $r$ satisfies the inequality $0\le r \le 4$.

研究の動機と目的

• ドレイン補修後の fundamental 群の左順序可能性に関する先行研究を、すべての双曲的ねじれ紐結び目に拡張すること。
• 従来の特徴多様体に依存する手法と比較して、より一様的かつ簡素化された証明手法を提供すること。
• Boyer-Gordon-Watson 予想（L-空間と非左順序可能 fundamental 群との関係）に対するさらなる証拠を確認すること。
• 5₂ 結び目および図8文字結び目の先行結果を、すべての双曲的ねじれ紐結び目に一般化すること。

提案手法

• n-ねじれ結び目 Kn の結び目の群の、1パラメータ族の SL(2,R)-表現 ρₛ を構成する。
• H²(Mₙ;Z) の消滅により、これらの表現を普遍被覆 ŜL(2,R) に上げることを可能にする。
• 表現 ρₛ 及びその ŜL(2,R) への上昇において、ミリヤンとロングチュードの像を明示的に計算し、それが (−1,1)×{0} の部分群に属することを示す。
• ŜL(2,R) が左順序可能であり、かつその任意の非アーベル部分群も左順序可能であるという事実を利用する。
• 有理数傾き r = p/q ∈ (0,4) に対して、g(s) = r を満たす s を選び、xᵖℒᑫ が SL(2,R) で単位元に写ることを保証する。これにより、その上昇は ŜL(2,R) で (0,0) に写る。
• 結び目を補修した多様体の fundamental 群 π₁(Mₙ(r)) が、ŜL(2,R) への非アーベル準同型写像をもつことから、左順序可能であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 任意の双曲的ねじれ紐結び目について、[0,4] 内の傾き r に対する r-ドレイン補修が、左順序可能 fundamental 群をもつ3次元多様体を生成するか？
• RQ2 図8文字結び目および 5₂ 結び目の左順序可能性結果を、一様な手法を用いてすべての双曲的ねじれ紐結び目に一般化できるか？
• RQ3 従来の特徴多様体に依存する手法と比較して、証明手法を簡素化できるか？
• RQ4 普遍被覆 ŜL(2,R) は、ドレイン補修後の fundamental 群の左順序可能性を確立する上で果たす役割は何か？

主な発見

• 任意の S³ 内の双曲的ねじれ紐結び目 Kn について、0 ≤ r ≤ 4 の r-ドレイン補修は、左順序可能 fundamental 群をもつ3次元多様体を生成する。
• 証明は、図8文字結び目や 5₂ 結び目を含むすべての双曲的ねじれ紐結び目に一様に適用可能であり、先行研究を一般化している。
• この手法は、1パラメータ族の SL(2,R)-表現を構成し、それを ŜL(2,R) に上昇させることに依存しており、左順序可能性が継承される。
• 鍵となる技術的ステップは、周辺ホロノミー（ミリヤンとロングチュード）が ŜL(2,R) の部分群 (−1,1)×{0} に写ることを保証することであり、これにより補修後に一貫した表現への下がりが可能になる。
• この結果は、Boyer-Gordon-Watson 予想に対する強い証拠を提供する。双曲的ねじれ紐結び目は非自明なドレイン補修では L-空間を生成しないが、[0,4] 内の傾きに対しては fundamental 群が左順序可能のままである。
• 特に図8文字結び目の場合、従来の特徴多様体に依存する手法と比較して、証明は著しく簡素化されている。