[论文解读] Invariants of links of Conway type

Józef H. Przytycki, Paweł Traczyk|arXiv (Cornell University)|Oct 21, 2016

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

一句话总结

本文引入了康威代数——一种通过 skein 关系构造定向链环不变量的通用代数框架。它证明了任意康威代数唯一确定一个满足特定递归关系的链环同痕不变量，该关系涉及正交叉、负交叉和零交叉，推广了康威多项式和琼斯多项式，并通过统一的代数结构将各种链环不变量联系起来。

ABSTRACT

The purpose of this paper is to present a certain combinatorial method of constructing invariants of isotopy classes of oriented tame links. This arises as a generalization of the known polynomial invariants of Conway and Jones. These invariants have one striking common feature. If L+, L- and L0 are diagrams of oriented links which are identical, except near one crossing point (as in Conway or Jones polynomials), then an invariant w(L) has the property: w(L+) is uniquely determined by w(L-) and w(L0), and also w(L-) is uniquely determined by w(L+) and w(L0). To formalize this property we introduce a concept of a Conway algebra and quasi Conway algebra. The paper is now almost 32 years old and it contains the PT contribution to HOMFLYPT polynomial. We believe it should be available in arXiv.

研究动机与目标

• 开发一种通用的代数框架，通过组合 skein 关系构造定向有限链环的不变量。
• 通过识别其构造背后的通用代数结构，推广康威多项式和琼斯多项式。
• 证明满足特定公理的任何康威代数所导出的链环不变量的存在性与唯一性。
• 阐明确保不变量在 Reidemeister 移动和同痕下保持不变的代数条件。
• 展示已知不变量（例如， linking number、分量数、多项式不变量）如何作为该框架的特例出现。

提出的方法

• 将康威代数定义为一个集合，包含可数个常数 $a_n$ 和两个二元运算 $|$ 与 $*$，并满足七个公理。
• 建立 skein 关系：$w_{L_+} = w_{L_-} | w_{L_0}$ 和 $w_{L_-} = w_{L_+} * w_{L_0}$，以模拟交叉变化。
• 施加公理 1.1–1.7，以确保在 Reidemeister 移动下的一致性与拓扑不变性。
• 通过交叉数的归纳法，并分析最内层的 f-gons（0-、1- 或 2-边形），证明在 Reidemeister 移动下的不变性。
• 引入“支持 III 型 Reidemeister 移动的 3-边形”概念，并对 2-边形内的交叉数进行归纳约化。
• 证明任意链环图可通过 Reidemeister 移动约化为平凡链环，从而确保不变量的良定义性。

实验结果

研究问题

• RQ1 构造链环不变量（如康威多项式和琼斯多项式）的代数结构是什么？
• RQ2 对运算 $|$ 和 $*$ 的哪些公理可确保通过 skein 关系定义的链环不变量是良定义的且与图表示无关？
• RQ3 康威代数的框架如何统一诸如分量数、 linking number 和多项式不变量等多样化的链环不变量？
• RQ4 在何种条件下，该不变量可区分链环与其镜像？
• RQ5 该不变量能否扩展到链环的连通和与不相交并，且行为可预测？

主要发现

• 每个康威代数唯一确定一个在定向链环的环境同痕下不变的链环不变量 $w_L$。
• 该不变量满足 skein 关系 $w_{L_+} = w_{L_-} | w_{L_0}$ 和 $w_{L_-} = w_{L_+} * w_{L_0}$，推广了康威多项式和琼斯多项式。
• 当 $\mathcal{A} = \mathbb{N}$ 且 $a_n = n$，$i|j = i*j = i$ 时，该框架包含分量数作为特例。
• linking number 由 $\mathcal{A} = \mathbb{N} \times \mathbb{Z}$ 及对对 $(a,b)$ 的特定运算捕获。
• 例 1.11(a) 中的多项式不变量 $P_L(x,y,z)$ 通过参数代换推广了康威多项式和琼斯多项式。
• 该不变量在不相交和与连通和下具有乘法性：$P_{L_1 \sqcup L_2} = (x+y)P_{L_1}P_{L_2}$ 且 $P_{L_1 \sharp L_2} = (x+y)P_{L_1}P_{L_2}$。