[論文レビュー] Automorphisms of the 3-sphere that preserve spatial graphs and handlebody-knots

Yuya Koda|arXiv (Cornell University)|Jun 23, 2011

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

ひとこと要約

本稿は、3次元球面における空間的グラフおよびハンドル体くじらの写像類群を調査し、任意の空間的グラフおよび可約な genus-two ハンドル体くじらに対して、その構造を保存する同相型の同値類の群が有限生成であることを証明する。さらに、ほとんどの非可約な genus-two ハンドル体くじらに対して、この群が有限であることを、非自明なアンギュラスと原始的ディスクを用いた位相的・幾何学的技法により示す。

ABSTRACT

We consider the group of isotopy classes of automorphisms of the 3-sphere that preserve a spatial graph or a handlebody-knot embedded in it. We prove that the group is finitely presented for an arbitrary spatial graph or a reducible handlebody-knot of genus two. We also prove that the groups for "most" irreducible genus two handlebody-knots are finite.

研究の動機と目的

• 空間的グラフまたはハンドル体くじらを保存する3次元球面の写像類群の代数的構造を特定すること。
• この群が有限生成または有限である条件を確立すること。
• 古典的絡み目の理論からの結果を、特に genus-two の場合に空間的グラフおよびハンドル体くじらに一般化すること。
• 非自明なアンギュラスや原始的ディスクといった位相的不変量を用いて、対称性群を分析すること。
• S³ 内のハンドル体くじらの対称性群の有限性および有限生成性に関する未解決の問題を解消すること。

提案手法

• 空間的グラフまたはハンドル体くじら N を保存する S³ の向きを保つ自己同型の同値類の群として、写像類群 MCG(S³, N) を定義する。
• Gordon-Luecke の定理を用いて、MCG(S³, K) を knot 外部の写像類群と関連づけ、knot に対して有限生成性が保証されることを示す。
• McCullough の、非可約かつ十分に大きな3次元多様体の写像類群に関する結果を適用し、有限生成性を確立する。
• ハンドル体くじら V の外部における非自明なアンギュラス A の構造を分析する。ここで A は、V ∪ N(A; E(V)) が自明な genus-two ハンドル体くじらとなるようなアンギュラスである。
• ディスク圧縮と弧系を用いて、もしアンギュラス A₀ が得られたハンドル体 V₀ で圧縮可能であれば、MCG(S³, V) が有限であることを示す。
• 非自明なアンギュラスが同値類の意味で一意的であることを活用し、対称性群間の同型を誘導することで、問題を既知の有限群に還元する。

実験結果

リサーチクエスチョン

• RQ1 S³ 内のどの空間的グラフおよびハンドル体くじらに対して、自己同型群（写像類群）が有限生成であるか？
• RQ2 genus-two ハンドル体くじらの対称性群が有限であるための位相的条件は何か？
• RQ3 ハンドル体くじらの外部における非自明なアンギュラスの一意性が、その対称性群の有限性にどのように影響するか？
• RQ4 圧縮と同値類の議論を用いて、ハンドル体くじらの対称性群を既知の有限群に還元できるか？
• RQ5 原始的ディスクやアンギュラスといった幾何的構造は、写像類群の有限性をどの程度決定づけるか？

主な発見

• 任意の S³ に埋め込まれた空間的グラフ N に対して、写像類群 MCG(S³, N) は有限生成である。
• 任意の可約な genus-two ハンドル体くじら V に対して、写像類群 MCG(S³, V) は有限生成である。
• ほとんどの非可約な genus-two ハンドル体くじらに対して、対称性群 MCG(S³, V) は有限であり、特に一意的な非自明なアンギュラスが圧縮可能なアンギュラス成分を導く場合に顕著である。
• 非自明なアンギュラス A が同値類の意味で一意的であり、かつそのコア曲線が得られた genus-two ハンドル体で圧縮ディスクを張るならば、MCG(S³, V) は有限である。
• A が一意的であるとき、MCG(S³, V) は MCG(S³, V₀, A₀) と同型であり、既知の有限対称性群への還元が可能である。
• 特定の例として、n ≥ 3 のとき (S³, Vₙ) では、対称性群は自明である、すなわち MCG(S³, Vₙ) = 1 である。これは、アンギュラスおよびコア曲線を保存する非自明な対称性が存在しないためである。