[论文解读] The colored HOMFLY polynomial is q-holonomic

Stavros Garoufalidis|arXiv (Cornell University)|Nov 27, 2012

Algebraic structures and combinatorial models参考文献 30被引用 7

一句话总结

本文证明了，当 link 的颜色由 $\mathfrak{sl}_N$ 的基本表示的对称幂或外幂着色时，其着色 HOMFLY 多项式关于颜色参数是 $q$-超几何的。该结果为三维空间中所有 knot 构造了一个严格定义的 $(a,q)$-超多项式，将彩色 Jones 多项式的 $q$-超几何结构推广至 HOMFLY 设置，并支持了量子拓扑与 Chern-Simons 理论中的若干猜想。

ABSTRACT

We prove that the colored HOMFLY polynomial of a link, colored by symmetric or exterior powers of the fundamental representation, is q-holonomic with respect to the color parameters. As a result, we obtain the existence of an (a,q) super-polynomial of all knots in 3-space. Our result has implications on the quantization of the SL(2,C) character variety of knots using ideal triangulations or the topological recursion, and motivates questions on the web approach to representation theory.

研究动机与目标

• 证明关于 $\mathfrak{sl}_N$ 基本表示的对称或外幂着色的 link 着色 HOMFLY 多项式，其关于颜色参数是 $q$-超几何的。
• 证明该 $q$-超几何结构意味着三维空间中所有 knot 存在良好定义的 $(a,q)$-超多项式。
• 为数学物理中所猜想的超多项式提供严格的数学基础，特别是与 BPS 状态计数及 Khovanov-Rozansky 同调的关系。
• 通过理想三角剖分或拓扑递推，激发 skein 理论、web 代数与 $\mathrm{SL}(2,\mathbb{C})$ 表示变体的量化之间的深层联系。
• 为未来工作奠定基础，将 $q$-超几何性推广至 $\mathfrak{sl}_N$ 的任意表示。

提出的方法

• 利用 $q$-超几何函数理论与 $q$-Weyl 代数分析着色 HOMFLY 多项式的递推关系。
• 应用 MOY 图演算（Murakami-Ohtsuki-Okada）将着色 HOMFLY 多项式表示为带颜色边的平面图上的求值。
• 采用 Jeong-Kim 图求值算法，其系数为 $q$-适当超几何函数，因而被证明为 $q$-超几何。
• 依赖于 $q$-超几何函数在求和与乘法下的封闭性，证明整个求值过程保持 $q$-超几何性。
• 使用创造性消去法（Zeilberger 算法）从多重求和表达式中计算递推关系，如在扭结计算中所展示的。
• 借助环面 link 的拓扑递推与矩阵模型公式，对结果在特例中进行独立验证。

实验结果

研究问题

• RQ1 当 link 以 $\mathfrak{sl}_N$ 基本表示的对称幂着色时，其着色 HOMFLY 多项式是否关于颜色参数是 $q$-超几何的？
• RQ2 能否基于着色 HOMFLY 多项式的 $q$-超几何结构，为三维空间中的所有 knot 构造一个良好定义的 $(a,q)$-超多项式？
• RQ3 着色 HOMFLY 多项式的递推系数如何依赖于 $\mathfrak{sl}_N$ 的秩 $N$？
• RQ4 当 $q=1$ 时，该 $q$-超几何递推的特殊化是什么？是否产生一个与 $A$-多项式相关的二元多项式？
• RQ5 该 $q$-超几何结构在多大程度上可推广至 $\mathfrak{sl}_N$ 的任意表示？

主要发现

• 当 link 以 $\mathfrak{sl}_N$ 基本表示的对称或外幂着色时，其着色 HOMFLY 多项式关于颜色参数是 $q$-超几何的。
• 对于任意 knot，以 $n$-阶对称幂着色的着色 HOMFLY 多项式满足一个线性递推关系，其系数属于 $\mathbb{Z}[q, a]$，其中 $a = q^N$。
• 该递推关系的存在意味着三维空间中所有 knot 存在良好定义的 $(a,q)$-超多项式。
• 将递推关系特殊化至 $q=1$，得到一个与 $N$ 无关的二元多项式，其被猜想为 knot 的 $A$-多项式。
• 该 $q$-超几何性通过 MOY 图上 Jeong-Kim 求值算法建立，其系数为 $q$-适当超几何函数。
• 通过矩阵模型与拓扑递推，对环面 link 独立验证了该结果，确认了该一般定理在此情况下的成立。