[论文解读] An Extended Bracket Polynomial for Virtual Knots and Links

Louis H. Kauffman|ArXiv.org|Dec 15, 2007

Geometric and Algebraic Topology参考文献 24被引用 5

一句话总结

本文引入了扩展 bracket 多项式，这是一种虚拟纽结与链的新不变量，通过引入带有多项式系数的虚拟图，推广了经典 bracket 多项式。该不变量能够检测非经典性，估计虚拟交叉数与亏格，并通过状态求和与箭头多项式表示提供可计算的框架，适用于长虚拟纽结与平面对虚拟图。

ABSTRACT

This paper defines a new invariant of virtual knots and links that we call the extended bracket polynomial, and denote by <> for a virtual knot or link K. This invariant is a state summation over bracket states of the oriented diagram for K. Each state is reduced to a virtual 4-regular graph in the plane and the polynomial takes values in the module generated by these reduced graphs over the ring Q[A,A^{-1}]. The paper is relatively self-contained, with background information about virtual knots and long virtual knots. We give numerous examples applying the extended bracket, including a new proof of the non-triviality of the Kishino diagram and the flat Kishino diagram and non-classicality of single crossing virtualizations. The paper has a section on the estimation of virtual crossing number using the extended bracket state sum. Examples are given of virtual knots with arbitrary minimal embedding genus and arbitrarily high positive difference between the virtual crossing number and the minimal embedding genus. A simplification of <> is introduced and denoted by A[K]. This simplified extended bracket, the arrow polynomial, is a polynomial in an infinite set of variables. It is quite strong (detecting the flat Kishino diagram for example) and easily computable. The paper contains a description of a computer algorithm for A[K] and uses the arrow polynomial, in conjunction with the extended bracket polynomial to determine the minimum genus surfaces on which some virtual knots can be represented.

研究动机与目标

• 开发虚拟纽结与链的新不变量，扩展经典 bracket 多项式以捕捉非经典特征。
• 提供一种检测虚拟纽结非经典性的方法，特别是那些 Jones 多项式为单位的纽结。
• 通过源自扩展 bracket 的基于状态的图不变量，估计虚拟链的虚拟交叉数与亏格。
• 通过参数特化，建立平面对虚拟纽结与链的不变量框架。
• 探索长虚拟纽结到闭合虚拟纽结的闭包映射的核，利用扩展 bracket 不变量。

提出的方法

• 将扩展 bracket 不变量 $<<K>>$ 定义为虚拟 4-正则图的状态求和，其系数属于 $\mathbb{Q}[A, A^{-1}]$。
• 引入箭头多项式，作为从扩展 bracket 衍生出的有限变量多项式不变量，便于计算。
• 利用状态的虚拟图表示，通过欧拉示性数计算亏格：$g(G) = 1 + \frac{v(G) - f(G)}{2}$。
• 通过特化 $A = 1$，$\delta = -2$，将扩展 bracket 应用于平面对虚拟图，得到平面对虚拟链的不变量。
• 利用上升映射 $A$ 将长平面对虚拟纽结嵌入长虚拟纽结，实现不变量的传递。
• 将该方法应用于特定图示（例如 Kishino 图、$L_n$ 系列），计算亏格并验证其非平凡性与非经典性。

实验结果

研究问题

• RQ1 扩展 bracket 多项式能否检测非经典虚拟纽结，特别是那些 Jones 多项式为单位的纽结？
• RQ2 如何利用扩展 bracket 状态求和估计虚拟链的虚拟交叉数与亏格？
• RQ3 扩展 bracket 不变量在多大程度上能检测长虚拟纽结的非平凡性，即使其闭包为平凡？
• RQ4 箭头多项式在简化与计算扩展 bracket 不变量中起什么作用？
• RQ5 扩展 bracket 不变量能否帮助刻画长虚拟纽结到闭合虚拟纽结的闭包映射的核？

主要发现

• 扩展 bracket 不变量检测到最简单的虚拟化例子与 Kishino 图的非经典性，确认了其非经典性质。
• 平面对虚拟链族 $L_n$ 的亏格为 $g(L_n) = n$，通过将亏格公式 $g(G) = 1 + \frac{v(G) - f(G)}{2}$ 应用于状态图 $G_n$ 计算得出。
• 对于平面对虚拟纽结 $K$，若其约化状态 $S$ 的图记为 $G$，则 $g(G) = 2$，且由于 $K$ 嵌入于亏格 2，故 $g(K) = 2$。
• 扩展 bracket 可检测闭包为平凡的长虚拟纽结的非平凡性，此能力超越了 Jones 多项式。
• 通过分析扩展 bracket 状态求和中图的虚拟交叉数，可估计虚拟链的虚拟交叉数，尤其适用于充分或半充分链。
• 箭头多项式 $\mathcal{A}[K]$ 提供了扩展 bracket 的简化、可计算版本，适合算法实现（例如通过 Mathematica）。