[论文解读] The ADO Invariants are a q-Holonomic Family

Jennifer Brown, Tudor Dimofte+2 more|arXiv (Cornell University)|May 17, 2020

Algebraic structures and combinatorial models参考文献 32被引用 5

一句话总结

本文证明了 ADO 不变量——从单位根处的未展开量子群构造的量子不变量——在 r ≥ 2 时为 q-正则，这意味着它们满足与 r 无关的统一递推关系。该结果证实了一个物理猜想，并表明纽结的 ADO 不变量的递推理想包含于且同构于彩色琼斯多项式的递推理想，从而支持 AJ 猜想。

ABSTRACT

We investigate the $q$-holonomic properties of a class of link invariants based on quantum group representations with vanishing quantum dimensions, motivated by the search for the invariants' realization in physics. Some of the best known invariants of this type, constructed from `typical' representations of the unrolled quantum group $\mathcal U^H_{ζ_{2r}}(\mathfrak{sl}_2)$ at a $2r$-th root of unity, were introduced by Akutsu-Deguchi-Ohtsuki (ADO). We prove that the ADO invariants for $r\geq 2$ are a $q$-holonomic family, implying in particular that they satisfy recursion relations that are independent of $r$. In the case of a knot, we prove that the $q$-holonomic recursion ideal of the ADO invariants is contained in the recursion ideal of the colored Jones polynomials, the subject of the celebrated AJ Conjecture. (Combined with a recent result of S. Willetts, this establishes an isomorphism of the ADO and Jones recursion ideals. Our results also confirm a recent physically-motivated conjecture of Gukov-Hsin-Nakajima-Park-Pei-Sopenko.)

研究动机与目标

• 研究从量子维数为零的量子群构造的 ADO 不变量的 q-正则性质。
• 确定这些不变量是否满足类似于彩色琼斯多项式的递推关系。
• 建立 ADO 不变量与 AJ 猜想之间的联系，该猜想将量子不变量与经典几何联系起来。
• 证实由 Gukov 等人提出的近期物理动机猜想，即关于 3D 量子场论中不变量结构的猜想。
• 证明 ADO 不变量构成一个 q-正则族，意味着对所有 r ≥ 2 均表现出统一的递推行为。

提出的方法

• 作者使用量子哈密顿约化，从 $\mathcal{U}^{H}_{\zeta_{2r}}(\mathfrak{sl}_2)$ 在 $2r$ 次单位根处的表示构造 ADO 不变量。
• 他们定义了一个与纽结图相关的图式不变量 $G_{\mathbb{D}}$，并利用 q-正则模在 q-韦依靠代数上的理论证明其为 q-正则。
• 该证明依赖于 q-正则函数的闭包性质以及函数空间 $\mathcal{V}_{n,m}$ 的结构。
• ADO 不变量通过两步重建：首先作为图式不变量，然后通过量子哈密顿约化特化到单位根。
• 作者对双曲纽结、三叶纽结和 $5_2$ 纽结进行了显式计算，验证了相同的递推算子在所有 r ≥ 2 时均消去 ADO 不变量。
• 他们证明 ADO 不变量的递推理想包含于彩色琼斯多项式的递推理想中，并结合 Willetts 的一个结果，证明了两个理想之间的同构。

实验结果

研究问题

• RQ1 由 $\mathcal{U}^{H}_{\zeta_{2r}}(\mathfrak{sl}_2)$ 的典型表示构造的 ADO 不变量是否满足与 r 无关的统一递推关系？
• RQ2 纽结的 ADO 不变量的递推理想是否包含于彩色琼斯多项式的递推理想中？
• RQ3 能否证明 ADO 不变量为 q-正则，意味着它们在表示标签上满足有限阶线性递推关系？
• RQ4 ADO 不变量是否满足 AJ 猜想的一个版本，即其递推关系与经典 A-多项式相关联？
• RQ5 ADO 不变量是否实现了 Gukov 等人所建议的类似于陈-西蒙斯理论的物理 3D QFT 结构？

主要发现

• 对于 r ≥ 2，ADO 不变量构成一个 q-正则族，这意味着它们在表示标签上满足与 r 无关的有限阶线性递推关系。
• 对于纽结，ADO 不变量的递推理想包含于彩色琼斯多项式的递推理想中，证实了 AJ 猜想的关键预测。
• 结合 S. Willetts 的近期结果，作者建立了 ADO 不变量与彩色琼斯多项式递推理想之间的同构。
• 对三叶纽结和 $5_2$ 纽结的显式计算表明，相同的递推算子在所有 r 从 2 到 11 时均消去 ADO 不变量。
• ADO 不变量的非齐次递推关系在特化到单位根时与彩色琼斯多项式完全一致，A 和 B 多项式相同。
• 结果证实了 Gukov 等人提出的猜想：ADO 不变量源自具有类似于陈-西蒙斯理论结构的 3D 量子场论。