[论文解读] New Invariants of Long Virtual Knots

Andrew Bartholomew, Roger Fenn+2 more|ArXiv.org|May 31, 2007

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

一句话总结

本文通过非交换代数 $\mathcal{F}$ 及其表示（包括四元数和 Weyl 代数），引入了四种新的不变量模块——$\mathcal{M}_K$、$\widehat{\mathcal{M}}_K$、$\mathcal{M}^o_K$ 和 $\mathcal{M}^n_K$，用于长虚拟纽结。主要贡献在于建立了在串联操作下，余维数 $r$ 表示行列式的乘积公式，揭示了长虚拟纽结中非交换行为的特征，并通过布达佩斯开关和矩阵表示显式计算了多项式不变量。

ABSTRACT

This paper extends the construction of invariants for virtual knots to virtual long knots and introduces two new invariant modules of virtual long knots. Several interesting features are described that distinguish virtual long knots from their classical counterparts with respect to their symmetries and the concatenation product.

研究动机与目标

• 通过构建新的代数模块，将虚拟纽结的不变量推广至长虚拟纽结。
• 通过将输入或输出生成元设为零，定义新的不变量 $\mathcal{M}^o_K$ 和 $\mathcal{M}^n_K$，以捕捉独特的结构特征。
• 建立这些模块的余维数 $r$ 表示行列式在串联乘积下的乘积公式，突出长虚拟纽结中非交换性。
• 通过 Weyl 代数将这些不变量推广至平坦长虚拟纽结，并提供可计算的多项式不变量。

提出的方法

• 这些不变量被构造为左 $\mathcal{F}$-模，其中 $\mathcal{F}$ 是一个具有生成元 $A, B$ 的非交换代数，且满足涉及 $A^{-1}B^{-1}AB - B^{-1}AB = BA^{-1}B^{-1}A - A$ 的特定关系。
• 对于表示矩阵 $P$，在同态 $\eta$ 取值于交换环上的矩阵环时，定义余维数 $r$ 的行列式 $\det^{(r)}_\eta(P)$。
• 布达佩斯开关 $S = \begin{pmatrix} 1+i & -tj \\ t^{-1}j & 1+i \end{pmatrix}$ 提供了 $\mathcal{F}$ 到 $\mathbb{C}[t,t^{-1}]$ 上 $2 \times 2$ 矩阵的表示，从而通过矩阵行列式实现多项式不变量。
• 对于平坦长虚拟纽结，使用 Weyl 代数，其生成元 $u, v$ 满足 $uv - vu = 1$，并采用如 $u = \begin{pmatrix} x & a \\ 0 & x \end{pmatrix}$，$v = \begin{pmatrix} y & 0 \\ 1/a & y \end{pmatrix}$ 的矩阵表示来计算不变量。
• $\mathcal{M}_K$ 模仿标准虚拟纽结模，$\widehat{\mathcal{M}}_K$ 是通过闭合 $K$ 得到的闭合虚拟纽结的模，而 $\mathcal{M}^o_K$ 和 $\mathcal{M}^n_K$ 是新构造的模块，分别将输入或输出生成元设为零。
• 通过开关和矩阵表示计算不变量，显式示例显示 $FF$ 和 $\overline{FF}$ 的多项式不同，例如 $p^{(0)}(FF) = x^2 + 1$ 和 $p^{(0)}(\overline{FF}) = x^6 + 1$。

实验结果

研究问题

• RQ1 如何通过代数模块将经典虚拟纽结的不变量推广至长虚拟纽结？
• RQ2 由于非交换串联，长虚拟纽结中出现了哪些新的结构特征，以及如何通过代数方法捕捉这些特征？
• RQ3 通过将输入或输出生成元设为零而定义的模块 $\mathcal{M}^o_K$ 和 $\mathcal{M}^n_K$，是否能产生具有有用代数性质的新不变量？
• RQ4 这些模块的余维数 $r$ 表示行列式是否在串联乘积下满足乘积公式，这又对长虚拟纽结乘法的非交换性意味着什么？
• RQ5 这些不变量在从平坦长虚拟纽结到长虚拟纽结的图叶下降映射下行为如何？

主要发现

• 模块 $\mathcal{M}^o_K$ 通过将输入生成元设为零来定义，产生一个新不变量，可捕捉长虚拟纽结中的不对称性。
• 模块 $\mathcal{M}^n_K$ 通过将输出生成元设为零来定义，且 $\mathcal{M}^o_K$ 与 $\mathcal{M}^n_K$ 在串联下均满足乘积公式，表明其具有非交换行为。
• 对于虚拟绞花纽结，余维数 0 行列式为 $1 + 2t^2 + t^4$，而基希诺纽结为 0，余维数 1 行列式为 $1 + \frac{5}{2}t^2 + t^4$，表明其为非平凡不变量。
• 平坦长纽结 $FF$ 满足 $p^{(0)}(FF) = x^2 + 1$，$p^{(0)}(\overline{FF}) = x^6 + 1$，证明二者在不变量下不同且非平凡。
• 乘积 $F \cdot \overline{F}$ 得到 $p^{(0)} = 6t^4 + 15t^2 + 6$，而 $\overline{F} \cdot F$ 得到 $p^{(0)} = 3t^4 + \frac{15}{2}t^2 + 3$，表明在整数四元数上存在非交换性。
• 对于三重积 $(F \cdot \overline{F}) \cdot F$ 和 $F \cdot (F \cdot \overline{F})$，两者均有相同的 $p^{(0)} = -12t^8 - 60t^6 - 99t^4 - 60t^2 - 12$，但 $p^{(1)}$ 值不同：分别为 $9(t^2 + 1)$ 和 $-\frac{9}{2}(2t^2 + 1)(t^2 + 2)$，确认其为不同纽结。