[論文レビュー] Virtual knot theory on a group

Arnaud Mortier|arXiv (Cornell University)|Mar 13, 2014

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

ひとこと要約

本稿では、Z/2値ホモメルフィズムを備えた群の要素で装飾されたガウス図を用いた、仮想的 knot 理論の統一的枠組みを提案する。これは、古典的および仮想的 knot 不変量を一般化するものであり、任意の曲面上の仮想的 knot 図と、1対1の対応関係を確立する。また、グリシャノフ＝ヴァシレフ不変量を一般化し、対称性を保つ写像と不変性基準を用いて、非ホモトープでない仮想的 knot に対するホイットニー指数を定義する。

ABSTRACT

Given a group endowed with a Z/2-valued morphism we associate a Gauss diagram theory, and show that for a particular choice of the group these diagrams encode faithfully virtual knots on a given arbitrary surface. This theory contains all of the earlier attempts to decorate Gauss diagrams, in a way that is made precise via symmetry-preserving maps. These maps become crucial when one makes use of decorated Gauss diagrams to describe finite-type invariants. In particular they allow us to generalize Grishanov-Vassiliev's formulas and to show that they define invariants of virtual knots.

研究の動機と目的

• 任意の曲面における仮想的 knot 理論の一般枠組みを、ガウス図に群値装飾を施すことで構築すること。
• ホモロジー類や曲面構造などのトポロジカルデータで装飾されたガウス図への以前の試みを統合・一般化すること。
• 群の装飾を施したガウス図と曲面 Σ 上の仮想的 knot 図との間の1対1対応関係を、リーディマイスター移動を保存する形で確立すること。
• この新しい枠組みにおいて、グリシャノフ＝ヴァシレフの有限型不変量の公式を一般化すること。
• 対称性を保つ写像を用いて、非ホモトープでない仮想的 knot に対してホイットニー指数を定義すること。この際、h₁-装飾図から導かれる不変量を用いる。

提案手法

• 任意の曲面 Σ 上の仮想的 knot 図を、実線束上の実交差を有する4価グラフとして定義する。
• 群 π の要素で装飾されたガウス図を導入し、リーディマイスター移動に加え、Z/2値ホモメルフィズム w:π→F₂ によって定まる「共役移動」を追加する。
• π=π₁(Σ) かつ w=w₁(Σ) のとき、このような装飾付きガウス図と曲面 Σ 上の仮想的 knot 図との間で1対1対応関係を確立する。
• π がアーベル群で w が自明な場合、アーベルガウス図を導入し、これらの条件下で一般枠組みと同等であることを示す。
• 対称性を保つ単射を用いて有限型不変量を一般化し、特にグウサロフ＝ポリャク＝ヴィロ不変量をこの設定に拡張する。
• w-軌道の不変性基準を定義し、それらを応用して新しい不変量を構成する。これにはホイットニー指数や非ホモトープでない仮想的 knot のための writhe 数が含まれる。

実験結果

リサーチクエスチョン

• RQ1 群値装飾と Z/2 値ホモメルフィズムを用いて、任意の曲面上の仮想的 knot を記述するガウス図をどのように一般化できるか？
• RQ2 装飾付きガウス図理論が曲面 Σ 上の仮想的 knot のタイプを忠実に記述するための条件は何か？
• RQ3 この枠組みにおいて有限型不変量はどのように一般化できるか？また、対称性を保つ写像はこの一般化において果たす役割は何か？
• RQ4 非ホモトープでない仮想的 knot に対してホイットニー指数を定義できるか？また、古典的不変量とどのように関係するか？
• RQ5 h₁-装飾図から導かれる不変量 v_l と v_r は、リーディマイスター移動の下でどのように振る舞い、何を表すか？

主な発見

• π=π₁(Σ) かつ w=w₁(Σ) のとき、Z/2 値ホモメルフィズム w:π→F₂ を満たす群装飾付きガウス図と曲面 Σ 上の仮想的 knot 図との間で1対1対応関係が確立された。
• 対称性を保つ写像を用いることで、H₁(Σ)-装飾を用いた以前のアプローチが、この理論によって一般化された。
• 提案された枠組みを用いて、平面的チェーン不変量のグリシャノフ＝ヴァシレフの公式が仮想的 knot へと一般化された。
• 非ホモトープでない仮想的 knot に対してホイットニー指数が v_r - v_l として定義され、リーディマイスター移動の下で古典的ホイットニー指数と同様に振る舞うことが示された。
• v_r + v_l が仮想的 knot 不変量であることが示され、合計 writhe 数に類似している。
• v_l と v_r が R₂ および R₃ 移動で不変であることは、w-不変性基準を用いて証明され、R-I 移動での挙動は変化の表によって完全に特定された。