[论文解读] Quantum $\mathrm{SO}(3)$ groups and quantum group actions on $M_2$

Piotr M. Sołtan|arXiv (Cornell University)|Oct 2, 2008

Advanced Operator Algebra Research参考文献 12被引用 4

一句话总结

本文确立了 Podleš 的量子 SO(3) 群作为在 $M_2$ 上连续作用并保持 Powers 状态 $\omega_q(m) = \frac{1}{1+q^2}(m_{11} + q^2 m_{22})$（$q \in (0,1]$）的普遍紧致量子群。它对 $M_2$ 上所有连续紧致量子群作用进行了完整分类，表明这些作用均由量子 $\mathrm{S}_q\mathrm{O}(3)$ 群通过酉共轭诱导，从而解决了 Shuzhou Wang 关于量子自同构群的提问。

ABSTRACT

Answering a question of Shuzhou Wang we give a description of quantum $\SO(3)$ groups of Podleś as universal objects. We use this result to give a complete classification of all continuous compact quantum group actions on $M_2$.

研究动机与目标

• 通过识别正确的量子群结构来解决 Shuzhou Wang 关于 $M_2$ 的量子自同构群的疑问。
• 证明 Podleš 的量子 $\mathrm{SO}(3)$ 群是紧致量子群范畴中在 $M_2$ 上连续作用并保持 Powers 状态 $\omega_q$ 的普遍对象。
• 利用 $\mathrm{S}_q\mathrm{O}(3)$ 的普遍性质，对 $M_2$ 上所有连续紧致量子群作用提供完整分类。
• 提供一种替代且更简单的描述方式，以避免依赖复杂的生成元-关系系统或从 $\mathrm{SU}(2)$ 的商构造，来刻画 Podleš 的量子 $\mathrm{SO}(3)$ 群。

提出的方法

• 使用量子映射族和量子半群的框架，通过单位 *-同态 $\Psi_{\mathfrak{B}} \in \mathrm{Mor}(M_2, M_2 \otimes \mathfrak{B})$ 定义紧致量子群在 $M_2$ 上的作用。
• 将 $M_2$ 上的 Powers 状态 $\omega_q$ 引入为作用所保持的不变状态，其定义为 $\omega_q(m) = \frac{1}{1+q^2}(m_{11} + q^2 m_{22})$。
• 证明任意紧致量子群 $\mathcal{G} = (\mathfrak{B}, \Delta_{\mathfrak{B}})$ 在 $M_2$ 上的连续作用，均通过某个 $q \in [0,1]$ 的量子群同态 $\Gamma: \mathrm{C}(\mathrm{S}_q\mathrm{O}(3)) \to \mathfrak{B}$ 因子化。
• 通过酉共轭将任意此类作用变换为与标准 $\mathrm{S}_q\mathrm{O}(3)$ 作用 $\Psi_q$ 兼容的形式，使用某个酉 $u \in M_2$。
• 利用在遍历作用下不变状态的唯一性，确立在遍历情形下 $q$ 和 $u$ 的唯一性。
• 利用所有映射的量子空间的普遍性质，构造量子作用族，并推导出余乘法和作用公理。

实验结果

研究问题

• RQ1 在 $M_2$ 上连续作用并保持 Powers 状态 $\omega_q$ 的普遍紧致量子群是什么？
• RQ2 Podleš 的量子 $\mathrm{SO}(3)$ 群如何被表征为在 $M_2$ 上作用的紧致量子群范畴中的普遍对象？
• RQ3 $M_2$ 上所有连续紧致量子群作用的完整分类是什么？
• RQ4 能否识别出 $M_2$ 的量子自同构群？若能，其精确结构是什么？
• RQ5 在何种条件下，紧致量子群在 $M_2$ 上的作用由其不变量唯一确定？

主要发现

• 对于每个 $q \in (0,1]$，Podleš 的量子 $\mathrm{S}_q\mathrm{O}(3)$ 群是 $M_2$ 上连续作用并保持 Powers 状态 $\omega_q$ 的普遍紧致量子群，且 $\mathrm{S}_0\mathrm{O}(3) \cong \mathbb{T}$。
• 每个 $M_2$ 上的连续紧致量子群作用均可表示为通过某个酉 $u \in M_2$ 和量子群同态 $\Gamma: \mathrm{C}(\mathrm{S}_q\mathrm{O}(3)) \to \mathfrak{B}$ 的共轭拉回的标准化 $\mathrm{S}_q\mathrm{O}(3)$ 作用。
• 该分类是完整的：任意此类作用的形式为 $\Psi_{\mathfrak{B}}(m) = (\mathrm{id}_{M_2} \otimes \Gamma)\bigl((u \otimes \mathbb{1})\Psi_q(u^* m u)(u^* \otimes \mathbb{1})\bigr)$，其中 $q \in [0,1]$ 且 $u \in M_2$ 为酉矩阵。
• 在遍历作用情形下，参数 $q$ 和 $u$ 唯一确定，因为不变状态唯一，且其密度矩阵共轭于 $\rho_q = \frac{1}{1+q^2}\begin{bmatrix}1 & 0 \\ 0 & q^2\end{bmatrix}$。
• 本结果提供了 Podleš 的量子 $\mathrm{SO}(3)$ 群的另一种普遍刻画方式，避免了依赖复杂的生成元-关系表达式或从 $\mathrm{SU}(2)$ 的商构造。
• 本文通过证明 $\mathrm{S}_q\mathrm{O}(3)$ 而非 $\mathrm{SU}(2)$ 是保持 $\omega_q$ 的 $M_2$ 的正确量子自同构群，澄清了 Wang 工作中的混淆。