[論文レビュー] Homotopy invariants of Gauss words

Andrew Gibson|ArXiv.org|Jan 31, 2009

Geometric and Algebraic Topology参考文献 3被引用数 17

ひとこと要約

本稿では、ガウス語に対するホモトピー不変量 $ z $ を導入し、すべてのガウス語が空語とホモトピー同値でないことを証明することで、トゥラエフの予想を反証する。この不変量と被覆に基づく高さ不変量を用いて、ガウス語のホモトピー類が無限に存在することを示し、ホモトピーの非自明性を確立するとともに、オープンホモトピーとは区別されることを示す。

ABSTRACT

By defining combinatorial moves, we can define an equivalence relation on Gauss words called homotopy. In this paper we define a homotopy invariant of Gauss words. We use this to show that there exist Gauss words that are not homotopically equivalent to the empty Gauss word, disproving a conjecture by Turaev. In fact, we show that there are an infinite number of equivalence classes of Gauss words under homotopy.

研究の動機と目的

• すべてのガウス語がオープンホモトピー的に自明であるというトゥラエフの予想を反証すること。
• ガウス語における非自明性を検出できるホモトピー不変量 $ z $ を構成すること。
• ガウス語のホモトピーとオープンホモトピーが異なる関係であることを示すこと。
• 高さ不変量を用いて、ガウス語のホモトピー類が無限に存在することを示すこと。
• 結果を仮想 knot 理論の観点から解釈し、交差変更と仮想スイッチのみではすべての仮想 knot をほどけないことを示すこと。

提案手法

• 一般化されたライデマイスター移動、シフト移動、および同型写像による、ガウス語のホモトピーを組み合わせ的移動で定義する。
• ヘニチのスムージング不変量を改変し、ホモトピーに関して不変のまま保つ不変量 $ z $ を導入する。
• トゥラエフの被覆構成を用いて高さ不変量を定義し、これがホモトピー不変量であることを示す。
• ホモトピーと類似したオープンホモトピー不変量 $ z_o $ を定義し、オープンホモトピーとホモトピーを比較する。
• 特定のガウス語 $ ABACDCBD $ に $ z $ を適用し、$ z \neq 0 $ を示すことで非自明性を証明する。
• 高さ不変量を用いて、互いにホモトピー同値でないガウス語の無限族を構成する。

実験結果

リサーチクエスチョン

• RQ1 空語とホモトピー同値でないガウス語は存在するか？
• RQ2 ガウス語のホモトピーは、オープンホモトピーよりも厳密に強い関係か？
• RQ3 高さ不変量を用いて、ガウス語のホモトピー類を無限に構成できるか？
• RQ4 不変量 $ z $ は、ホモトピーの下でガウス語の非自明性を検出できるか？
• RQ5 ガウス語のホモトピーと、交差変更および仮想スイッチの下での仮想 knot 不変量との関係は何か？

主な発見

• 不変量 $ z $ はガウス語 $ ABACDCBD $ に対して非自明であり、$ z \neq 0 $ であるため、トゥラエフの予想が反証された。
• 高さ不変量はホモトピー不変量であり、ガウス語の無限に多くのホモトピー類の構成を可能にする。
• 命題 5.9 により、ガウス語のホモトピー類が無限に存在することが示された。
• オープンホモトピー不変量 $ z_o $ は $ z $ よりも厳密に強いため、オープンホモトピーとホモトピーが異なることが示された。
• ガウス語 $ ABACDCBD $ はホモトピーの下で高さ 0 であるが、オープンホモトピーの下では高さ 1 であるため、両者の違いが明確に示された。
• 交差変更と仮想スイッチのみではすべての仮想 knot をほどけないことが、ホモトピー類の非自明性によって示された。