[論文レビュー] The Markov Theorem for transverse knots

Nancy C. Wrinkle|ArXiv.org|Feb 6, 2002

Geometric and Algebraic Topology参考文献 7被引用数 33

ひとこと要約

この論文は、標準接触 R³ 内の2つの横断的閉ブレイドが横断的アレクサンダー同相型であるための必要十分条件を示す、横断的マーコフ定理（TMT）を証明している。すなわち、それらが横断的ブレイド同相型および有限回の正の（横断的）安定化・不安定化の系列によって関連付けられるとき、かつそのときに限り、それらは横断的ホモトピー型である。証明は、ビーマンとメンアスコの手法を横断的設定に適応したもので、ブレイド断面、弧表示、および横断的絡み目の境界をなす曲面の幾何的変形、特にブレイド間の円柱領域とその好ましい長周回の注目を特徴としている。

ABSTRACT

A transverse knot is a knot that is transverse to the planes of the standard contact structure on real 3-space. In this paper we prove the Markov Theorem for transverse braids, which states that two transverse closed braids that are isotopic as transverse knots are also isotopic as transverse braids. The methods of the proof are based on Birman and Menasco's proof of the Markov Theorem in their recent paper (BM02), modified to the transverse setting. The modification is straightforward until we get to the special case of preferred longitudes, where we need some new machinery. We use techniques from earlier work by the author with Birman (BW00), by Birman and Menasco ((BM4), for example), and develop new methods from Cromwell's paper on arc-presentations (Cr95).

研究の動機と目的

• 標準接触 R³ 内の横断的絡み目に対するマーコフ型同値定理を確立すること。
• 接触位相幾何学における関連結果は存在するが、長年にわたり形式的証明が欠落していた横断的マーコフ定理の解消。
• ビーマンとメンアスコのマーコフ定理証明を横断的設定に適応すること、特にシーフェル表面を越えるホモトピーの取り扱いに注力すること。
• ブレイド断面と弧表示を用いて、横断的好ましい長周回を扱うための新技術の開発。
• 閉ブレイド間の横断的ホモトピー型が、横断的ブレイド同相型および正の安定化・不安定化の系列による同値型に帰着可能であることを示すこと。

提案手法

• ビーマンとメンアスコの2段階ホモトピー戦略を適応：まず、無けつを含む連結和にホモトープする段階、次にシーフェル表面を越えてホモトープする段階。
• ブレイド断面理論を用いて、曲面とオープンボクス分解のページとの交差を分析する。
• 絡み目の弧表示を用いて、特にブレイドとその好ましい長周回に囲まれた円柱領域において、横断的設定でのホモトピーを制御する。
• 接触構造とホモトピー型を保つ横断的ホメオモルフィズムによる幾何的変形を導入する。
• ベネンキンの横断的エレクサンダー定理を用いて、非ブレイド部分弧をブレイド位置に変換し、横断的ホモトピー型を保持する。
• X₁、X₂、および変形済みの絡み目の間を接続する埋め込み円板および円柱（例：$ r_i $、$ R_i $）を構成し、横断的ホモトピー型が保たれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 古典的マーコフ定理は、ホモトピーが接触構造を保つ必要がある横断的設定へと拡張可能か？
• RQ2 横断的ホモトピーによって1つの横断的閉ブレイドからもう1つにホモトープする試みにおいて、どのような幾何的・位相的障害が生じるか？
• RQ3 ビーマン＝メンアスコの証明におけるシーフェル表面ホモトピー段階を、横断的カテゴリーにどのように適応できるか？
• RQ4 横断的好ましい長周回は、横断的ブレイドのホモトピー同値型において果たす役割は何か？
• RQ5 2つの横断的閉ブレイド間の横断的ホモトピー型は、単に横断的ブレイド同相型および正の安定化・不安定化の系列によって達成可能か？

主な発見

• 横断的マーコフ定理が成立：横断的にホモトープな2つの横断的閉ブレイドは、横断的ブレイド同相型および有限回の正の安定化・不安定化の系列によって関連付けられる。
• 横断的ブレイド間のホモトピーは2段階に分解可能である：まず無けつを含む連結和にホモトープし、次にシーフェル表面を越えてホモトープする。後者の段階には、横断的設定に特有の新技術が必要となる。
• 横断的ブレイドとその好ましい長周回に囲まれた円柱の幾何は極めて重要である。この円柱はシーフェル表面の部分多様体であり、制御可能な断面構造を有し、ホモトピーの変形を可能にする。
• 横断的好ましい長周回はホモトピー中に保存され、$ X_3 $ が $ X_2 $ の好ましい長周回であれば、$ X_2 $ は $ X_3 $ の好ましい長周回である。この性質により、再帰的なホモトピー簡約が可能となる。
• もし $ X_3 $ が初期段階でブレイドでない場合、ベネンキンの横断的エレクサンダー定理により、非ブレイド部分弧をブレイド位置に変換可能であり、横断的絡み目の型は変化しない。
• 互いに交わらない埋め込み円板 $ r_i $ および $ R_i $ の構成により、変形プロセス全体で横断的ホモトピー型が保たれ、$ G $ は横断的ホメオモルフィズムとして拡張可能となる。