[论文解读] A polynomial invariant of virtual knots

Zhiyun Cheng|arXiv (Cornell University)|Feb 17, 2012

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

一句话总结

本文引入了奇 writhe 多项式，一种新的虚拟 knot 多项式不变量 $ f_K(t) \in \mathbb{Z}[t, t^{-1}] $，通过 Gauss 图中的奇 writhe 和弧标记来定义。它推广了奇 writhe $ J(K) $，满足 $ f_K(\pm 1) = J(K) $，并完全刻画了哪些多项式可以作为 $ f_K(t) $ 实现，表明只有总系数和为偶数的偶次多项式才可实现。

ABSTRACT

The aim of this paper is to introduce a polynomial invariant $f_K(t)$ for virtual knots. We show that $f_K(t)$ can be used to distinguish some virtual knot from its inverse and mirror image. The behavior of $f_K(t)$ under connected sum is also given. Finally we discuss which kind of polynomial can be realized as $f_K(t)$ for some virtual knot $K$.

研究动机与目标

• 为虚拟 knot 定义一种新的多项式不变量，以捕捉比奇 writhe $ J(K) $ 更多的信息。
• 确定该不变量在连接和、反转和镜像等 knot 操作下的行为。
• 完全刻画哪些多项式可以作为某个虚拟 knot 的奇 writhe 多项式的实现。
• 探讨是否可为经典 knot 定义类似的不变量，若可，它是否能区分 knot 与其逆 knot。

提出的方法

• 定义奇 writhe 多项式 $ f_K(t) = \sum_{c_i \in \text{Odd}(K)} w(c_i) t^{N(c_i)} $，其中 $ N(c_i) $ 是从弧分配中导出的整数标签。
• 根据在到达下穿交叉点前穿过的上穿交叉点数量，为弧分配整数 $ N(a_i) $，相邻弧之间增加 1。
• 使用虚拟 knot 的 Gauss 图表示，其中 Reidemeister 变换保持图不变，从而保证不变性。
• 建立 $ f_K(t) $ 在所有广义 Reidemeister 变换下不变，使其成为有效的虚拟 knot 不变量。
• 构造生成虚拟 knot $ L_{2k} $ 及其对偶，以实现特定的单项式和组合。
• 通过连接和组合这些基本构件，实现满足必要条件的任意多项式。

实验结果

研究问题

• RQ1 能否为虚拟 knot 定义一种比奇 writhe $ J(K) $ 更强大的多项式不变量？
• RQ2 哪些多项式可以作为某个虚拟 knot 的奇 writhe 多项式的实现？
• RQ3 奇 writhe 多项式在连接和、反转和镜像操作下的行为如何？
• RQ4 是否可定义类似的多项式不变量来区分经典 knot 与其逆 knot？
• RQ5 奇 writhe 多项式对经典 knot 是否平凡？若是，原因是什么？

主要发现

• 奇 writhe 多项式 $ f_K(t) $ 满足 $ f_K(\pm 1) = J(K) $，作为多项式不变量推广了奇 writhe。
• 多项式 $ f_K(t) $ 非平凡，可区分某些虚拟 knot 与其逆 knot 和镜像，显示出比 $ J(K) $ 更高的区分能力。
• 奇 writhe 多项式在连接和下不变，满足 $ f_{K_1 \# K_2}(t) = f_{K_1}(t) + f_{K_2}(t) $，通过构造 $ L_{2k} $ 及其和得以证明。
• 一个多项式 $ f(t) $ 可作为某个虚拟 knot $ K $ 的 $ f_K(t) $ 实现，当且仅当它是仅含偶次项且系数总和为偶数的洛朗多项式。
• 对于经典 knot，朴素扩展 $ f_K(t) = \sum w(c_i) t^{N(c_i)} $ 不具备不变性，但修改后的多项式 $ F_K(t) = f_K(t) - w(K)t $ 在 Reidemeister 变换下是不变的。
• 然而，对所有经典 knot，$ F_K(t) = 0 $，因为每个交叉点处 $ N(c_i) \equiv 1 $，即 $ f_K(t) = w(K)t $，故该不变量在经典情况下平凡。