[论文解读] Virtual Knots and Links

Louis H. Kauffman, Vassily Olegovich Manturov|ArXiv.org|Feb 1, 2005

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

一句话总结

本文将虚拟纽结理论作为经典纽结理论的扩展，通过高斯码和带有虚拟交叉的平面图进行研究。本文建立了两个关键结果：(1) 通过三维拓扑证明，两个虚拟纽结的连通和仅当两者均为平凡时才为平凡；(2) 基于Haken-Matveev标准面理论提出一种识别虚拟链的算法，为虚拟链等价性提供决策程序。

ABSTRACT

This paper is an introduction to the subject of virtual knot theory, combined with a discussion of some specific new theorems about virtual knots. The new results are as follows: We prove, using a 3-dimensional topology approach that if a connected sum of two virtual knots $K_{1}$ and $K_{2}$ is trivial, then so are both $K_{1}$ and $K_{2}$. We establish an algorithm, using Haken-Matveev technique, for recognizing virtual knots. This paper may be read as both an introduction and as a research paper.

研究动机与目标

• 建立虚拟纽结理论的基础结果，将经典纽结不变量与概念扩展至虚拟情形。
• 解决如下问题：两个虚拟纽结的连通和何时为平凡？仅当两个加数均为平凡时才为平凡。
• 开发一种基于三维拓扑技术的虚拟链识别算法化方法。
• 将经典不变量（如 writhe 和基本群）推广至虚拟纽结，揭示新现象，例如存在基本群为 Z 但琼斯多项式非平凡的纽结。
• 阐明虚拟纽结、焊接纽结与四维空间中环面嵌入之间的关系。

提出的方法

• 利用三维拓扑与胞腔分解分析虚拟纽结作为加厚曲面上的嵌入，应用经典三维流形理论的技术。
• 将Haken-Matveev标准面理论应用于构造识别虚拟链的算法，通过分析其曲面分解实现。
• 将自 linking 数 J(K) 定义为高斯码中奇数交叉符号之和，提供一种可计算的不变量。
• 利用高斯码与Reidemeister移动，将纽结理论从平面图抽象为组合对象。
• 建立焊接辫与四维空间中管状辫之间的对应关系，将虚拟交叉解释为不相互作用的管通过。
• 采用镜像变换操作及Reidemeister移动下的不变性，证明自 linking 数的不变性。

实验结果

研究问题

• RQ1 在何种条件下，两个虚拟纽结的连通和可为平凡？
• RQ2 能否使用三维拓扑方法算法化地识别虚拟链？
• RQ3 经典不变量（如琼斯多项式与基本群）在虚拟情形下如何表现？
• RQ4 虚拟纽结、焊接纽结与四维空间中环面嵌入之间存在何种关系？
• RQ5 自 linking 数能否区分虚拟纽结与经典纽结，并检测手性？

主要发现

• 若两个虚拟纽结的连通和为平凡，则两者必须各自为平凡，该结论通过三维拓扑与曲面分解方法证明。
• 基于Haken-Matveev标准面理论构造出识别虚拟链的算法，为虚拟链等价性提供决策程序。
• 自 linking 数 J(K) 定义为高斯码中奇数交叉符号之和，是不变量，可检测非经典性与手性：J(K) = 2 对于虚拟三叶纽结及另一虚拟纽结 E。
• 该不变量 J(K) 对于虚拟纽结非零，证明其不与自身镜像等价，且非经典纽结（因所有经典纽结均有 J(K) = 0）。
• 一个虚拟纽结可具有同构于 Z 的基本群，同时琼斯多项式非平凡，此现象在经典纽结理论中不可能出现。
• 建立了焊接纽结与四维空间中环面嵌入之间的对应关系，四维空间中补集的基本群同构于虚拟链的组合基本群。