[論文レビュー] Markov theorem for transversal links

S. Yu. Orevkov, Vsevolod Shevchishin|arXiv (Cornell University)|Dec 19, 2001

Geometric and Algebraic Topology参考文献 11被引用数 49

ひとこと要約

この論文は、R³における標準接触構造における横断的リンクに対して、マルコフ型の定理を確立する。2つのブレイドが横断的同相リンクを表すための必要十分条件は、ブレイド群における共軛と正および負のマルコフ移動（およびその逆）を用いた変換が可能であることである。証明は、ベンヌインの同相変形のパラメトリック版を用い、任意の横断的同相変形を軸の近くで単調なものに摂動できることを示し、問題をこれらの移動に関するブレイド同値に帰着する。

ABSTRACT

It is shown that two braids represent transversally isotopic links if and only if one can pass from one braid to another by conjugations in braid groups, positive Markov moves, and their inverses.

研究の動機と目的

• R³における標準接触構造における横断的リンクのマルコフ型定理を確立すること。
• ブレイド群の操作を用いて、2つのブレイドがいつ横断的に同相なリンクを表すかを特徴づけること。
• 滑らかな同相変形におけるアレクサンダーの定理を、同相変形に類似した完全な移動の集合に拡張して、横断的リンクに適用すること。
• 同相変形の摂動と軸の近くでの単調性に基づくパラメトリック証明を提供することにより、ベンヌインの手法を一般化すること。

提案手法

• 2つの横断的ブレイド間の横断的同相変形を、S×IからR³への滑らかな写像としてパラメータ化する。ここでSは互いに分離した円周の直和である。
• 「軸の近くで単調」という同相変形を定義し、その際、角速度の微分∂θ/∂s > 0が有限個の臨界値を除いて成り立つようにする。
• 局所的にサジング特異性に類似したモデルを用いて、軸の近くの射影を変更することで、与えられた横断的同相変形を単調なものに摂動する。
• このような摂動が横断性を保ち、同相変形をマルコフ移動に対応する基本的移動に分解可能であることを用いる。
• 同相変形内の各臨界点が、ブレイド群における正または負のマルコフ移動に対応することを示す。
• 任意の横断的リンクがブレイドの閉包と横断的に同相であること、およびそのような同相変形を単調にできるという事実を応用し、問題を共軛とマルコフ移動に関するブレイド同値に帰着する。

実験結果

リサーチクエスチョン

• RQ1 R³における標準接触構造において、2つのブレイドがいつ横断的に同相なリンクを表すか？
• RQ2 任意のブレイド間の横断的同相変形を、横断性を保ちながら軸の近くで単調なものに変形できるか？
• RQ3 共軛と正・負のマルコフ移動（およびその逆）の集合が、横断的に同相なリンクを表す任意の2つのブレイドを関連付けるのに十分か？
• RQ4 標準接触構造がブレイドの閉包の同相類に与える影響は何か？そして、これに支配する不変量は何か？

主な発見

• 2つのブレイドが横断的に同相なリンクを表すための必要十分条件は、それらがブレイド群における共軛と正・負のマルコフ移動（およびその逆）を用いて互いに変換可能であることである。
• 幾何的ブレイド間の任意の横断的同相変形は、軸の近くで単調な同相変形に摂動可能であり、その結果、同相変形が横断性を保ち、基本的移動に分解可能である。
• 単調性の条件により、同相変形内の各臨界点が正または負のマルコフ移動に対応し、幾何的同相変形とブレイド群の関係が結びつく。
• この結果は、1992年にビクトル・ジンスブルグが発表した予想を裏付けるものであり、その証明は当時発表されなかったが、本研究ではパラメトリック同相変形の議論により独立した証明を与える。
• 証明は、ベンヌインによる横断的アレクサンダー定理の証明のパラメトリック版であり、それをマルコフ同値の設定に拡張したものである。
• この定理は、古典的な滑らかな同相変形におけるマルコフ定理に類似した、横断的リンク同相変形の完全な代数的特徴づけをブレイド群の操作に基づいて確立する。