[論文レビュー] Framed knots in 3-manifolds

Vladimir Chernov|arXiv (Cornell University)|May 16, 2001

Geometric and Algebraic Topology被引用数 2

ひとこと要約

本稿は、向き付けられた3次元多様体におけるフレーム付き絡み目の同値類を調査し、(S¹×S²)#M′ でないすべての3次元多様体 M に対して、各々のフレームなし絡み目型が無限個のフレーム付き同値類に引き上げられることを証明している。一方、M = (S¹×S²)#M′ の場合には、一部のフレームなし絡み目型がたった2つのフレーム付き同値類に対応することを示しており、フレーミング行動における根本的な位相的差異を示している。

ABSTRACT

For a fixed isotopy type K of unframed knots in S 3 there are infinitely many isotopy classes of framed knots that correspond to K when we forget the framing. We show that the same fact is true for all the isotopy types of unframed knots in a (not necessarily compact) oriented 3-manifold M, provided that M ̸ = (S 1 × S 2)#M ′. On the other hand for any M = (S 1 × S 2)#M ′ we construct examples of isotopy classes of unframed knots in M that correspond to only two isotopy classes of framed knots.

研究の動機と目的

• 与えられた3次元多様体において、1つのフレームなし絡み目同値類に対応するフレーム付き絡み目同値類の数を特定すること。
• フレーム付きの引き上げが有限個か無限個かを決定する、3次元多様体 M の位相的条件を同定すること。
• M = (S¹×S²)#M′ の場合に生じる例外的状況を解明すること。
• 例外的状況における明示的例を構成し、1つのフレームなし絡み目型からたった2つのフレーム付き同値類が生じることを示すこと。

提案手法

• 写像類群が絡み目型に作用する仕組みを通じて、フレーム付き絡み目の同値分類を分析すること。
• 基本群とホモトピー不変量を用いて、3次元多様体におけるフレーム付き絡み目同値類を区別すること。
• M = (S¹×S²)#M′ において明示的なフレーム付き絡み目代表元を構成し、同値類の数が有界であることを示すこと。
• 障害理論的技法を用いて、位相的制約がない限り、フレーミングデータが無限に多く拡張可能であることを示すこと。
• ホモロジーとリンク形式の観点から、S¹×S² の和分が絡み目フレーミングの構造に与える影響を比較すること。
• 手術理論とハンドル体分解を用いて、非自明な3次元多様体位相の下でフレーミングが同値に与える影響を分析すること。

実験結果

リサーチクエスチョン

• RQ1 一般の向き付けられた3次元多様体において、1つのフレームなし絡み目同値類に対応するフレーム付き絡み目同値類は、最大で何個存在しうるか？
• RQ2 3次元多様体 M のどの位相的性質が、フレームなし絡み目型が有限個のフレーム付き同値類に引き上げられるか、無限個に引き上げられるかを決定するか？
• RQ3 なぜ多様体 M = (S¹×S²)#M′ が、一般に成立する無限個のフレーム付き引き上げの法則の例外となるのか？
• RQ4 明示的構成により、M = (S¹×S²)#M′ において1つのフレームなし絡み目型からたった2つのフレーム付き同値類が生じることを示せるか？
• RQ5 基本群やホモロジーが、フレーム付き絡み目同値類の数を制約する役割を果たすか？

主な発見

• S¹×S²)#M′ でないすべての向き付けられた3次元多様体 M に対して、各フレームなし絡み目同値類は無限個のフレーム付き同値類に引き上げられる。
• M = (S¹×S²)#M′ の場合、ちょうど2つのフレーム付き同値類に対応するフレームなし絡み目同値類が存在する。
• 本稿では、M = (S¹×S²)#M′ において、1つのフレームなし型に対してたった2つのフレーム付き代表元が存在することを明示的に構成した。
• この差異は、S¹×S² の和分が引き起こす位相的制約に起因する。
• この結果により、S¹×S² を和分に含む場合、フレーム付き絡み目同値類の構造が根本的に変化することが示された。
• フレーム付き絡み目の分類は3次元多様体によって一様ではなく、M = (S¹×S²)#M′ は一般の無限引き上げ行動に対する唯一の例外である。