[论文解读] On values of $\mathfrak{sl}_3$ weight system on chord diagrams whose intersection graph is complete bipartite

Zhuoke Yang|arXiv (Cornell University)|Feb 1, 2021

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

一句话总结

本文计算了在交图为完全二分图 K₂,n 的弦图上 sl₃ 权系统值，表明结果仅依赖于第二卡西米尔元（三次卡西米尔）。通过弦图与雅可比图上的霍普夫代数结构，并利用先前工作中的递推关系，作者推导出权系统值及其在本原元上投影的显式公式，揭示其仅依赖于三次卡西米尔不变量的惊人性质。

ABSTRACT

Each knot invariant can be extended to singular knots according to the skein rule. A Vassiliev invariant of order at most $n$ is defined as a knot invariant that vanishes identically on knots with more than $n$ double points. A chord diagram encodes the order of double points along a singular knot. A Vassiliev invariant of order $n$ gives rise to a function on chord diagrams with $n$ chords. Such a function should satisfy some conditions in order to come from a Vassiliev invariant. A weight system is a function on chord diagrams that satisfies so-called 4-term relations. Given a Lie algebra $\mathfrak{g}$ equipped with a non-degenerate invariant bilinear form, one can construct a weight system with values in the center of the universal enveloping algebra $U(\mathfrak{g})$. In this paper, we calculate $\mathfrak{sl}_3$ weight system for chord diagram whose intersection graph is complete bipartite graph $K_{2,n}$.

研究动机与目标

• 计算交图为 K₂,n 的弦图上 sl₃ 权系统值。
• 确定该值是否仅依赖于 sl₃ 的第二卡西米尔元（三次卡西米尔）。
• 利用霍普夫代数与雅可比图技术，推导出权系统及其在本原元上投影的显式公式。
• 将已知的 sl₂ 权系统结果推广至更复杂的 sl₃ 情况，其中尚无通用递推关系。

提出的方法

• 利用模四术语关系的弦图上的霍普夫代数结构，聚焦于由 K₂,n 交图生成的子代数。
• 应用来自 sl₃ 李代数与迹形式的权系统构造，映射至普遍包络代数的中心，该中心同构于两个变量（二次与三次卡西米尔元）的多项式。
• 使用 STU 关系与叶引理，将复杂的雅可比图约化为更简单的形式以进行计算。
• 利用文献 [12] 中的递推关系，计算特定雅可比图 Ji,0 上的权系统值，这些图对应于交图为 K₂,n 的弦图。
• 通过 π 映射将结果投影至本原元，分析所得图的结构，以分离出对卡西米尔不变量的依赖性。
• 利用已知的 sl₂ 权系统结果作为对比，推导出 wsl₃(K₂,n) 与 ¯wsl₃(K₂,n) 的指数生成函数与闭式表达式。

实验结果

研究问题

• RQ1 尽管中心由两个不变量生成，sl₃ 权系统在 K₂,n 弦图上的值是否仅依赖于三次卡西米尔元？
• RQ2 K₂,n 弦图在本原元子空间上的投影能否用低腿雅可比图表示？
• RQ3 在 K₂,n 情况下，为何权系统值对二次卡西米尔元无依赖性，而一般 sl₃ 权系统中并非如此？
• RQ4 与仅依赖于二次卡西米尔元且由交图决定的 sl₂ 情况相比，本研究结果有何异同？
• RQ5 wsl₃(K₂,n) 的生成函数能否显式计算并用卡西米尔不变量表示？

主要发现

• 在交图为 K₂,n 的弦图上，sl₃ 权系统值仅依赖于三次卡西米尔元 c₂，而不依赖于二次卡西米尔元 c。
• wsl₃(K₂,n) 的指数生成函数被显式计算为：X wsl₃(K₂,n) xⁿ/n! = c₂/40 × [(27c₂ − 72)e^{(c₂−8)x} + (8c₂ + 72)e^{(c₂−3)x} + 5c₂^{c₂ x}]。
• wsl₃(K₂,n) 的闭式表达式为：wsl₃(K₂,n) = c₂/40 × [(27c₂ − 72)(c₂ − 8)ⁿ + (8c₂ + 72)(c₂ − 3)ⁿ + 5c₂^{n+1}]。
• 对本原元的投影 ¯wsl₃(K₂,n) 通过关系 X ¯wsl₃(K₂,n) xⁿ/n! = e^{−6x} X ¯wsl₃(Jn,0) xⁿ/n! 推导得出，其为最多含四条腿的连通雅可比图的线性组合。
• 结果证实，对于 K₂,n 图，权系统值独立于二次卡西米尔元，这是在一般 sl₃ 权系统中不存在的非平凡简化。
• 本文首次显式计算了在非平凡无限族弦图（超出简单情形）上的 sl₃ 权系统值，提供了一类对卡西米尔不变量依赖性降低的新例子。