[论文解读] Link invariants from finite racks

Sam Nelson|arXiv (Cornell University)|Jul 31, 2008

Geometric and Algebraic Topology参考文献 26被引用 30

一句话总结

本文利用有限rack引入了定向纽结与链的环境同胚不变量，推广了quandle计数不变量。通过在一种新的退化条件下引入rack上同调中的2-上循环，增强了这些不变量，得到了更强的不变量，能够区分标准不变量失效的纽结，包括虚拟纽结和环面纽结。

ABSTRACT

We define ambient isotopy invariants of oriented knots and links using the counting invariants of framed links defined by finite racks. These invariants reduce to the usual quandle counting invariant when the rack in question is a quandle. We are able to further enhance these counting invariants with 2-cocycles from the coloring rack's second rack cohomology satisfying a new degeneracy condition which reduces to the usual case for quandles.

研究动机与目标

• 将基于quandle的纽结不变量推广至更一般的代数结构——有限rack。
• 通过有限rack着色，定义定向纽结与链的环境同胚不变量。
• 在一种新的退化条件下，利用第二rack上同调中的2-上循环，增强rack计数不变量。
• 证明增强后的不变量能够检测出标准不变量无法区分的纽结差异。
• 将quandle上同调不变量推广至rack情形，涵盖虚拟纽结和曲面纽结。

提出的方法

• 通过从 framed link 的基本rack到有限rack的同态，定义基于有限rack的计数不变量。
• 引入rack 2-上循环的 $N$-约化条件，其中 $N$ 为rack的秩，该条件推广了quandle条件 $\phi(x,x)=0$。
• 将玻尔兹曼权重 $BW(f)$ 定义为着色图中所有交叉点处带符号的上循环值之和。
• 定义 writhe 增强的rack上同调不变量 $\Phi^{\phi,W}_{T}(L) = \sum_{\mathbf{w}} \left( \sum_{f \in \mathrm{Hom}} z^{BW(f)} \right) q^{\mathbf{w}} $，整合了 writhe 和上循环权重。
• 使用rack矩阵表示有限rack的运算，并通过算法计算着色与上循环权重。
• 将该构造应用于示例，包括 $(4,2)$-环面纽结和虚拟纽结，以展示其区分能力。

实验结果

研究问题

• RQ1 如何利用2-上循环增强rack计数不变量，以获得环境同胚不变量？
• RQ2 quandle 2-上循环退化条件在非quandle rack中的适当推广是什么？
• RQ3 增强后的rack上同调不变量能否区分那些writhe增强计数不变量无法区分的纽结？
• RQ4 在框架和 writhe 更为复杂的虚拟纽结中，这些不变量的行为如何？
• RQ5 rack上同调与曲面纽结或高维嵌入的不变量之间存在何种关系？

主要发现

• $N$-约化条件确保了在 Reidemeister I 移动下的不变性，推广了quandle条件 $\phi(x,x)=0$。
• 增强不变量 $\Phi^{\phi,W}_{T}(L)$ 成功区分了 $(4,2)$-环面纽结与二分量平凡链，其取值分别为 $\Phi_{\phi} = 8 + 8z^{12}$ 和 $\Phi_{\phi} = 16$。
• 对于具有相同 writhe 增强计数不变量 $\Phi^{W}_{T}(L) = 8 + 8q_1$ 的虚拟纽结，cocycle 增强不变量可将其区分：$\Phi^{\phi,W}_{T} = 4 + 4z + 8q_1$ 与 $4z + 4z^2 + 8q_1$。
• 令 $z=1$ 可恢复为 writhe 增强的rack计数不变量，且其整数版本严格强于标准计数不变量。
• 该构造推广了 CJKLS quandle 2-上同调不变量至rack情形，当 $N=1$ 且 $\phi(x,x)=0$ 时，即恢复为quandle情形。
• 该方法可通过 rack 矩阵计算，且公开提供了 Python 代码以实现该方法。