[论文解读] The colored Jones polynomial and Kontsevich-Zagier series for double twist knots

Jeremy Lovejoy, Robert Osburn|arXiv (Cornell University)|Oct 13, 2017

Algebraic structures and combinatorial models参考文献 26被引用 4

一句话总结

本论文利用Takata的结果，推导出双扭结K(−m,−p)和K(−m,p)的彩色Jones多项式的新型q-超几何公式，引入了广义Kontsevich-Zagier级数Fm,p(q)和广义U-函数Um,p(x;q)。关键贡献在于在单位根处建立了Fm,p(q)与Um,p(−1;q)之间的对偶性，推广了已知的Kontsevich-Zagier级数与强单峰序列生成函数之间的对偶性。

ABSTRACT

Using a result of Takata, we prove a formula for the colored Jones polynomial of the double twist knots $K_{(-m,-p)}$ and $K_{(-m,p)}$ where $m$ and $p$ are positive integers. In the $(-m,-p)$ case, this leads to new families of $q$-hypergeometric series generalizing the Kontsevich-Zagier series. Comparing with the cyclotomic expansion of the colored Jones polynomials of $K_{(m,p)}$ gives a generalization of a duality at roots of unity between the Kontsevich-Zagier function and the generating function for strongly unimodal sequences.

研究动机与目标

• 利用Takata的结果，推导双扭结K(−m,−p)和K(−m,p)的彩色Jones多项式的新q-超几何表达式。
• 将广义Kontsevich-Zagier函数Fm,p(q)和广义U-函数Um,p(x;q)定义为q-级数，推广已知函数。
• 在单位根处建立Fm,p(q)与Um,p(−1;q)之间的对偶性，推广已知的Kontsevich-Zagier级数与强单峰序列生成函数之间的对偶性。
• 探讨广义函数的量子模形式性质及可能的不定theta级数表示。

提出的方法

• 利用Takata的结果，通过特定的符号函数ϵi,j,m、γi,m、∆i,j,m和βi,m，推导JN(K(−m,−p); q)与JN(K(−m,p); q)的新q-超几何公式。
• 将Fm,p(q)定义为具有嵌套求和与q-Pochhammer符号的q-级数，推广原始的Kontsevich-Zagier级数F(q) = ∑(q)n。
• 将Um,p(x;q)定义为含参数x和N的q-超几何级数，推广强单峰序列的生成函数。
• 在单位根ζN处建立对偶性JN(K(−m,−p); ζN) = Um,p(−1; ζN)，推广已知对偶性F(ζ−1N) = U(−1; ζN)。
• 通过多重求和中的代数恒等变形与指标平移，证明对偶性，展示级数表示中指数项的等价性。
• 利用分圆展开式与q-二项式系数的性质，将新公式与K(m,p)和K(−m,−p)的已知表达式关联起来。

实验结果

研究问题

• RQ1 能否利用Takata的结果，为双扭结K(−m,−p)和K(−m,p)的彩色Jones多项式推导出新的q-超几何公式？
• RQ2 广义Kontsevich-Zagier函数Fm,p(q)与广义U-函数Um,p(x;q)是否在单位根处满足对偶性，从而推广已知的F(q)与U(−1;q)之间的对偶性？
• RQ3 广义函数Fm,p(q)与Um,p(x;q)是否具有量子模形式性质，或如相关扭结族中所示，可表示为不定theta级数？
• RQ4 能否将用于扭结的差分方程等方法应用于双扭结，以证明新公式？

主要发现

• 论文通过符号函数ϵi,j,m与γi,m，为JN(K(−m,−p); q)建立了新的q-超几何公式，适用于正整数m与p。
• 通过函数∆i,j,m与βi,m，推导出JN(K(−m,p); q)的新公式，提供了一种与分圆展开式不同的表达形式。
• 广义Kontsevich-Zagier函数Fm,p(q)被定义为具有嵌套求和与q-Pochhammer符号的q-级数，且F1,1(q) = qF(q)，其中F(q)为原始的Kontsevich-Zagier级数。
• 广义U-函数Um,p(x;q)含参数x与N，且Um,p(−1;q)等于在单位根处K(m,p)的彩色Jones多项式。
• 在单位根处证明了对偶性：Fm,p(ζN) = Um,p(−1; ζN)，推广了已知对偶性F(ζ−1N) = U(−1; ζN)。
• 通过对级数中指数项的代数恒等变形，借助指标平移与消去，证明了对偶性，展示了复杂指数表达式的等价性。