[論文レビュー] Finite Type Invariants of Classical and Virtual Knots

Mikhail Goussarov, Michael Polyak+1 more|ArXiv.org|Oct 12, 1998

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

ひとこと要約

本稿は、ガウス図式計算を用いて、古典的およびヴァーチャルな絡み目の両方の有限型不変量を導入し、古典的不変量をヴァーチャルな設定に拡張する。ヴァーチャル絡み目の有限型不変量が古典的 ones を一般化することを確立し、すべての古典的有限型不変量がガウス図式の式から生じることを証明し、古典的結果のヴァーチャル版を有する n 同値性を導入する。

ABSTRACT

We observe that any knot invariant extends to virtual knots. The isotopy classification problem for virtual knots is reduced to an algebraic problem formulated in terms of an algebra of arrow diagrams. We introduce a new notion of finite type invariant and show that the restriction of any such invariant of degree n to classical knots is an invariant of degree at most n in the classical sense. A universal invariant of degree at most n is defined via a Gauss diagram formula. This machinery is used to obtain explicit formulas for invariants of low degrees. The same technique is also used to prove that any finite type invariant of classical knots is given by a Gauss diagram formula. We introduce the notion of n-equivalence of Gauss diagrams and announce virtual counter-parts of results concerning classical n-equivalence.

研究の動機と目的

• 古典的絡み目の有限型不変量の理論をヴァーチャル絡み目に拡張すること。
• 矢印図の代数的構造を用いて、ヴァーチャル絡み目の同値分類を定式化すること。
• ヴァーチャル絡みめ理論の文脈において、有限型不変量を定義し、それらを研究すること。
• すべての古典的絡み目の有限型不変量がガウス図式の式から生じることを証明すること。
• ガウス図式の n 同値性を導入し、古典的 n 同値性結果のヴァーチャル版を確立すること。

提案手法

• ヴァーチャル絡み目を表現し、不変量を定義するための組合せ論的道具としてガウス図式を用いる。
• ヴァーチャル絡み目の同値不変量を符号化する矢印図の代数的構造を導入する。
• 特定の配置において n 個を超える矢印を持つ図式で消えることで、有限型不変量を定義する。
• ガウス図式の式を用いて、次数が n 以下の普遍的な有限型不変量を明示的に構成する。
• 矢印図の代数的構造を応用し、古典的有限型不変量がガウス図式の式によって実現可能であることを証明する。
• ガウス図式の n 同値性を導入し、古典的結果における n 同値性のヴァーチャル版を証明する。

実験結果

リサーチクエスチョン

• RQ1 有限型不変量は、どのように古典的絡み目からヴァーチャル絡み目に一般化できるか？
• RQ2 ヴァーチャル絡み目の同値分類の背後にある代数的構造は何か？
• RQ3 すべての古典的絡み目の有限型不変量は、ガウス図式の式で表現可能か？
• RQ4 ガウス図式の古典的 n 同値性結果のヴァーチャル版は何か？
• RQ5 ヴァーチャル設定における有限型不変量の次数は、その古典的対応物とどのように関係するか？

主な発見

• 任意の絡み目不変量は、ガウス図式形式主義を用いて自然にヴァーチャル絡み目に拡張できる。
• ヴァーチャル絡み目の次数 n の有限型不変量を古典的絡み目に制限すると、古典的文脈における次数が n 以下の有限型不変量になる。
• ガウス図式の式を用いて、次数が n 以下の普遍的な有限型不変量を明示的に構成した。
• すべての古典的絡み目の有限型不変量がガウス図式の式として実現可能であることを示し、普遍的実現性の結果を証明した。
• 本稿はガウス図式の n 同値性を導入し、古典的 n 同値性結果のヴァーチャル版を確立した。
• 矢印図の代数的構造は、ヴァーチャル設定における有限型不変量を研究するための完全なフレームワークを提供する。