[论文解读] Picture-valued biquandle bracket

Denis Petrovich Ilyutko, Vassily Olegovich Manturov|arXiv (Cornell University)|Jan 21, 2017

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

一句话总结

本文引入了图片值双余代数括号（picture-valued biquandle bracket），这是一种针对经典与虚链接的新不变量，结合了双余代数着色与图形单元态和不变量。通过双余代数结构引入奇偶性信息，该不变量统一了经典双余代数括号与奇偶括号，形成一个强大且统一的框架，将拓扑不变量表示为图形单元的正式线性组合。

ABSTRACT

In [14], the second named author constructed the bracket invariant [.] of virtual knots valued in pictures (linear combinations of virtual knot diagrams with some crossing information omitted), such that for many diagrams K, the following formula holds: [K]=K', where K' is the underlying graph of the diagram, i.e., the value of the invariant on a diagram equals the diagram itself with some crossing information omitted. This phenomenon allows one to reduce many questions about virtual knots to questions about their diagrams. In [25], the authors discovered the following phenomenon: having a biquandle colouring of a certain knot, one can enhance various state-sum invariants (say, Kauffman bracket) by using various coefficients depending on colours. Taking into account that the parity can be treated in terms of biquandles, we bring together the two ideas from these papers and construct the the picture-valued parity biquandle bracket for classical and virtual knots. This is an invariant of virtual knots valued in pictures. Both the parity bracket and Nelson-Orrison-Rivera invariants are partial cases of this invariants, hence this invariant enjoys many properties of various kinds.

研究动机与目标

• 将双余代数括号与奇偶括号统一为虚拟与经典链接的单一、更强的不变量。
• 将此前仅限于自由或虚链接的图形单元不变量扩展至经典链接领域。
• 利用双余代数着色与奇偶性，增强态和不变量，使其系数依赖于交叉类型。
• 构建一个在强度与一般性上均强于双余代数不变量与奇偶括号的不变量。
• 提供一个框架，使得不变量的值为图形单元的正式和，从而保留多项式不变量中丢失的结构信息。

提出的方法

• 在链接图的弧集合上定义双余代数结构，实现对弧的着色，并将交叉分类为偶数或奇数。
• 引入态和构造，其中每种态对应于对交叉的局部化处理，根据其奇偶性保留未处理的交叉。
• 根据关联弧的双余代数着色与处理类型（平滑或未处理），为每种态分配系数（A, B, C, D, E, F）。
• 通过一组18个关系（方程）对括号进行公理化，确保其在 Reidemeister 移动下的不变性，推广了 Kauffman 括号关系。
• 将基本图片值双余代数括号定义为所有双余代数着色的和，其中每一项为图形单元的正式线性组合。
• 利用所有着色下这些括号值的多重集，定义虚拟链接的不变量，且在 Reidemeister 移动下保持稳定。

实验结果

研究问题

• RQ1 是否存在一个单一不变量，能够统一虚拟与经典链接的双余代数括号与奇偶括号？
• RQ2 如何利用双余代数着色增强图形单元不变量，同时保持在 Reidemeister 移动下的不变性？
• RQ3 系数函数（A, B, C, D, E, F）需满足何种条件，才能确保在 Reidemeister 移动下的不变性？
• RQ4 所得不变量是否在区分纽结方面严格强于经典双余代数括号与奇偶括号？
• RQ5 图形单元不变量能否有意义地扩展至经典链接，其中此类不变量此前尚属未知？

主要发现

• 图片值双余代数括号是虚拟链接的不变量，通过双余代数着色与系数关系证明其在所有 Reidemeister 移动下的不变性。
• 该构造统一了双余代数括号与奇偶括号：当所有交叉均被处理时，其退化为双余代数括号；当仅奇数交叉被处理时，其退化为奇偶括号。
• 对于特定双余代数与系数系统，括号值的多重集包含图形单元括号 [K] 两次及零元素，证明其可恢复已知不变量。
• 该不变量在强度上严格强于经典双余代数不变量与奇偶括号，因其同时整合了着色数据与图形单元结构。
• 该框架首次在经典链接背景下实现了图形单元不变量，填补了文献中的空白。
• 系数关系（18个方程）确保了即使在部分交叉未被处理的情况下，态和构造仍保持在所有 Reidemeister 移动下的不变性。