[论文解读] Modular Double of Quantum Group

Ludvig Faddeev|ArXiv.org|Dec 10, 1999

Algebraic structures and combinatorial models参考文献 11被引用 64

一句话总结

本文引入了量子群 $SL_q(2)$ 的模双代数，将 $q$ 和 $\tilde{q} = e^{-i\tau/\bar{\tau}}$ 的表示统一到单一代数结构中，以解决普遍 $R$-矩阵与对数生成元的问题。该构造使用一个 $q$-指数函数 $\rho(p)$，统一了 $s_q(w)$ 与 $s_{\tilde{q}}(\tilde{w})$，从而得到一个无小分母、满足五边形恒等式的良好定义的 $R$-矩阵，为量子群与共形场论对称性提供了自然框架。

ABSTRACT

An extension of Quantum Group is described. We propose to unite the quantum groups with parameter q and with parameter modularly dual to q.

研究动机与目标

• 为解决在定义量子群的普遍 $R$-矩阵时存在的数学不一致性，特别是对 $\mathrm{log}\,K$ 的依赖性以及当 $|q|=1$ 时出现的奇点问题。
• 提供一个统一的代数结构，同时包含 $q$ 与 $\tilde{q} = e^{-i\tau/\bar{\tau}}$ 的形变，反映共形场论中已知的模对偶性。
• 构造一个对 $SL_q(2)$ 良好定义的普遍 $R$-矩阵，避免小分母问题，并与余代数结构相容。
• 建立一个框架，使得 $R$-矩阵能同时作用于 $\mathcal{U}_q$ 与 $\mathcal{U}_{\tilde{q}}$，从而形成具有物理意义的模双代数结构，适用于共形场论与纽结不变量。

提出的方法

• 定义模双代数 $\mathcal{D} = \mathcal{C}_q \otimes \mathcal{C}_{\tilde{q}}$，由 $w_n, \tilde{w}_n$ 或等价地由 $p_n$ 生成，其中 $q = e^{i\pi\tau}$，$\tilde{q} = e^{-i\pi/\tau}$。
• 将普遍 $R$-矩阵构造为 $\mathcal{R} = \exp\left(\frac{\pi}{2i}(p_2 + p_3) \otimes (p_1 + p_4)\right) \cdot \psi(p_{13})\psi(p_{14})\psi(p_{23})\psi(p_{24})$，其中 $\psi(p)$ 是一个 $q$-形变的积分表示，统一了 $s_q(w)$ 与 $s_{\tilde{q}}(\tilde{w})$。
• 利用五边形恒等式 $\psi(P)\psi(Q) = \psi(Q)\psi(P+Q)\psi(P)$（在 $[P,Q] = -2\pi i I$ 条件下）确保 $\mathcal{R}$ 满足杨-巴克斯关系。
• 通过定义 $p_n^* = p_n$ 在 $\mathcal{D}$ 上引入 $*$-结构，从而导出三种物理上有意义的情形：$SL_q(2,\mathbb{R})$、$SU_q(2)$，以及实现对偶交换的第三种情形，中心荷为 $C = 1 + 6(b + 1/b)^2$。
• 证明 $R$-矩阵通过相同的代数结构同时作用于 $\mathcal{U}_q$ 与 $\mathcal{U}_{\tilde{q}}$，且 $\mathcal{R}$ 满足 $\sigma \Delta = \mathcal{R} \Delta \mathcal{R}^{-1}$。
• 利用舒茨贝格关系将 $q$-指数因子分解为威利型组合，确保其与余代数公理相容。

实验结果

研究问题

• RQ1 如何重新定义 $SL_q(2)$ 的普遍 $R$-矩阵，以避免当 $|q| = 1$ 时因 $s_q(w)$ 中出现小分母而导致的奇点？
• RQ2 能否构造一个统一的代数结构，自然地包含 $q$ 与 $\tilde{q} = e^{-i\pi/\tau}$ 的形变，以反映共形场论中观察到的模对偶性？
• RQ3 是否存在一个良好定义的 $q$-指数函数，能统一 $s_q(w)$ 与 $s_{\tilde{q}}(\tilde{w})$，且其是否满足杨-巴克斯方程所必需的五边形恒等式？
• RQ4 如何在模双代数上定义 $*$-结构，以保持 $SL_q(2,\mathbb{R})$ 与 $SU_q(2)$ 等物理解释的合理性？其与中心荷 $C$ 的关系如何？
• RQ5 该模双代数构造能否推广至其他量子群，特别是 $SL_q(N)$ 与其他李型量子群？

主要发现

• 模双代数 $\mathcal{D} = \mathcal{C}_q \otimes \mathcal{C}_{\tilde{q}}$ 提供了一个统一的代数框架，使得 $\mathcal{U}_q$ 与 $\mathcal{U}_{\tilde{q}}$ 均能自然地嵌入其中，从而消除了对独立 $R$-矩阵的需求。
• $R$-矩阵 $\mathcal{R} = \exp\left(\frac{\pi}{2i}(p_2 + p_3) \otimes (p_1 + p_4)\right) \cdot \psi(p_{13})\psi(p_{14})\psi(p_{23})\psi(p_{24})$ 对单位圆上的所有 $q$ 均良好定义，由于 $\psi(p)$ 的积分表示，避免了小分母问题。
• 函数 $\psi(p) = \exp\left(\frac{1}{4}\oint \frac{e^{ip\xi/\pi}}{\sinh(b\xi)\sinh(\xi/b)} \frac{d\xi}{\xi}\right)$ 在 $[P,Q] = -2\pi i I$ 条件下满足五边形恒等式 $\psi(P)\psi(Q) = \psi(Q)\psi(P+Q)\psi(P)$，从而确保了杨-巴克斯关系成立。
• $\mathcal{D}$ 上的 $*$-结构通过 $p_n^* = p_n$ 定义，导出三种物理上不同的情形：当 $b$ 为实数时为 $SL_q(2,\mathbb{R})$，当 $b$ 为虚数时为 $SU_q(2)$，当 $|q|=1$ 时为对偶交换情形，中心荷为 $C = 1 + 6(b + 1/b)^2$。
• 在所有三种情形下，中心荷 $C$ 均为实数：$SL_q(2,\mathbb{R})$ 时 $C \geq 25$，$SU_q(2)$ 时 $C \leq 1$，对偶情形时 $1 \leq C \leq 25$，与已知的共形场论值一致。
• 该构造将 $R$-矩阵推广至同时作用于 $\mathcal{U}_q$ 与 $\mathcal{U}_{\tilde{q}}$ 的情形，且 $\mathcal{R}$ 通过五边形恒等式满足杨-巴克斯方程，如 Kashaev 与 Volkov 所示。