[论文解读] 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

一句话总结

本文利用高斯图式演算，为经典纽结与虚纽结引入了有限型不变量，将经典不变量推广至虚纽结设定。本文证明了虚纽结的有限型不变量推广了经典不变量，证明了所有经典有限型不变量均可由高斯图式公式实现，并引入了高斯图式的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等价结果在虚设定下的类比。
• 箭头图代数为研究虚设定下的有限型不变量提供了完整框架。