[论文解读] Quantizations of Character Varieties and Quantum Knot Invariants

Adam S. Sikora|ArXiv.org|Jul 7, 2008

Geometric and Algebraic Topology参考文献 34被引用 10

一句话总结

本文通过 $\mathfrak{g}$-Witten-Reshetikhin-Turaev 量子不变量，建立了环面的 $G$-特征簇的形变量子化，表明这些不变量在经典极限下实现对Goldman括号的量子化。文中引入了与每条嵌入 $S^3$ 中的纽结 $K$ 相关的量子理想 $I_K$，并猜想其经典极限对应于从特征簇到纽结余补的 $G$-特征簇的映射的核，从而通过 $q$-可求和函数与 skein 模块，将量子不变量与纽结拓扑联系起来。

ABSTRACT

Let G be a simple complex algebraic group and g its Lie algebra. We show that the g-Witten-Reshetikhin-Turaev quantum invariants determine a deformation-quantization, C_q[X_G(torus)], of the coordinate ring of the G-character variety of the torus. We prove that this deformation is in the direction of the Goldman's bracket. Furthermore, we show that every knot K defines an ideal I_K in C_q[X_G(torus)]. We conjecture that the homomorphism C_q[X_G(torus)] -> C[X_G(torus)], q -> 1, maps I_K to the ideal whose radical is the kernel of the map C[X_G(torus)] -> C[X_G(S^3 K)]. This conjecture is related to AJ-conjecture for sl(2,\C). The results of this paper are inspired by the theory of q-holonomic relations between quantum invariants of Garoufalidis and Le. Along the way, we disprove Conjecture 2 in Le's "The Colored Jones and the A-polynomial of Two-Bridge knots".

研究动机与目标

• 通过量子不变量建立环面的 $G$-特征簇的形变量子化。
• 通过量子理想与经典核之间的猜想对应关系，将量子纽结不变量与纽结余补的拓扑联系起来。
• 将 WRT 不变量推广至 Verma 模并定义在权格上取值的 $q$-可求和函数 $J_{\mathfrak{g},K}$。
• 证明量子不变量在经典极限下实现对 Goldman 括号的量子化。
• 推翻 [Le2] 中的一个猜想，并澄清 $q$-可求和性在量子不变量中的作用。

提出的方法

• 对所有 $\lambda \in \Lambda_{\mathfrak{g}}$ 定义 $\mathfrak{g}$-Witten-Reshetikhin-Turaev 函数 $J_{\mathfrak{g},K}(\lambda) = WRT_{\mathfrak{g},M(\lambda - \rho)}(K)$，将不变量推广至 Verma 模。
• 使用由 $E_\alpha$ 和 $Q_\alpha$ 生成的量子 Weyl 代数 $\mathbb{A}_{\mathfrak{g}}$，满足关系 $E_\alpha E_\beta = E_{\alpha+\beta}$，$Q_\alpha Q_\beta = Q_{\alpha+\beta}$，以及 $E_\alpha Q_\beta = q^{(\alpha,\beta)} Q_\alpha E_\beta$。
• 构造一个量子坐标环 $\mathbb{C}_q[X_G(\text{torus})]$，作为环面的 $G$-特征簇的经典坐标环的形变。
• 为每条纽结 $K$ 定义一个量子理想 $I_K \subset \mathbb{C}_q[X_G(\text{torus})]$，由 $K$ 的缆绳的量子不变量生成。
• 利用 $J_{\mathfrak{g},K}$ 的 $q$-可求和性，分析其递推结构与在量子代数中的理想成员资格。
• 证明经典极限映射 $\varepsilon: \mathbb{C}_q[X_G(\text{torus})] \to \mathbb{C}[X_G(\text{torus})]$ 将 $I_K$ 映射到映射 $\mathbb{C}[X_G(\text{torus})] \to \mathbb{C}[X_G(S^3 \setminus K)]$ 的核的根。

实验结果

研究问题

• RQ1 $\mathfrak{g}$-WRT 量子不变量是否可延拓至 Verma 模？其在权格上是否生成一个 $q$-可求和函数？
• RQ2 能否利用纽结的量子不变量在 $G$-特征簇的环面的量子坐标环中定义一个量子理想？
• RQ3 该量子理想的经典极限是否恢复从环面的特征簇到纽结余补的特征簇的映射的核？
• RQ4 环面的 $G$-特征簇的形变量子化是否在经典极限下与 Goldman 括号相容？
• RQ5 量子 Weyl 代数结构是否捕捉了量子不变量及其递推关系的代数性质？

主要发现

• 对于所有 $\mathfrak{g} \neq G_2$，$\mathfrak{g}$-WRT 不变量可延拓至 Verma 模，从而在权格上生成一个 $q$-可求和函数 $J_{\mathfrak{g},K}$。
• 量子不变量定义了环面的 $G$-特征簇的形变量子化 $\mathbb{C}_q[X_G(\text{torus})]$，且在经典极限下实现对 Goldman 括号的量子化。
• 每条纽结 $K \subset S^3$ 定义了一个量子理想 $I_K \subset \mathbb{C}_q[X_G(\text{torus})]$，其经典极限猜想为映射 $\mathbb{C}[X_G(\text{torus})] \to \mathbb{C}[X_G(S^3 \setminus K)]$ 的核的根。
• 本文推翻了 [Le2] 中的猜想 2，澄清了量子不变量中 $q$-可求和关系的结构。
• 当 $G = SL(n,\mathbb{C})$ 时，量子括号 $\{\tau_{a,b}, \tau_{c,d}\}_A$ 在 $\Theta$ 下映射为经典 Goldman 括号 $\{\Theta(\tau_{a,b}), \Theta(\tau_{c,d})\}_G$。
• 当 $G = SO(n,\mathbb{C}), Sp(2n,\mathbb{C})$ 时，相同括号相容性在 $\Theta$ 下依然成立，证实了这些情形下 Goldman 括号的量子化。