[論文レビュー] 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

ひとこと要約

本稿は、$q \in (0,1]$ に対して、Powers状態 $\omega_q(m) = \frac{1}{1+q^2}(m_{11} + q^2 m_{22})$ を保存する $M_2$ の C*-代数に連続的に作用する普遍的コンパクト量子群として、Podleś の量子 SO(3) 群を確立する。$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$.

研究の動機と目的

• $M_2$ の量子自己同型群に関する Shuzhou Wang の問いを、正しい量子群構造を同定することで解決すること。
• Podleś の量子 $\mathrm{SO}(3)$ 群が、$M_2$ に連続的に作用し、Powers 状態 $\omega_q$ を保存するコンパクト量子群の圏における普遍的対象であることを示すこと。
• 量子 $\mathrm{S}_q\mathrm{O}(3)$ の普遍性を用いて、$M_2$ 上のすべての連続的コンパクト量子群作用の完全分類を提供すること。
• 生成子と関係式の複雑な系や $\mathrm{SU}(2)$ からの商構成に依存せずに、Podleś の量子 $\mathrm{SO}(3)$ 群の代替的でより単純な記述を提示すること。

提案手法

• コンパクト量子群の作用を、ユニタリ $\ast$-準同型 $\Psi_{\mathfrak{B}} \in \mathrm{Mor}(M_2, M_2 \otimes \mathfrak{B})$ を通じて定義するため、量子写像族と量子半群の枠組みを用いる。
• 作用が保存する不変状態として、$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}$ なる量子群準同型を通じて因数分解されることを証明する。
• ユニタリ $u \in M_2$ を用いて、任意の作用を標準的 $\mathrm{S}_q\mathrm{O}(3)$ 行動 $\Psi_q$ と整合する形にユニタリ共役変換する。
• エルゴディック作用における不変状態の一意性を応用し、エルゴディックの場合の $q$ と $u$ の一意性を確立する。
• すべての写像の量子空間の普遍性を用いて、作用の量子族を構成し、コマルティプリケーションおよび作用の公理を導出する。

実験結果

リサーチクエスチョン

• RQ1 $M_2$ に連続的に作用し、Powers 状態 $\omega_q$ を保存する普遍的コンパクト量子群は何か？
• RQ2 Podleś の量子 $\mathrm{SO}(3)$ 群は、$M_2$ に作用するコンパクト量子群の圏において、どのように普遍的対象として特徴付けられるか？
• RQ3 $M_2$ 上のすべての連続的コンパクト量子群作用の完全分類は何か？
• RQ4 量子自己同型群は特定可能か？ もし可能であれば、その正確な構造は何か？
• RQ5 コンパクト量子群の $M_2$ 上の作用が、その不変量によって一意に決定される条件は何か？

主な発見

• Podleś の量子 $\mathrm{S}_q\mathrm{O}(3)$ 群は、各 $q \in (0,1]$ に対して、$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)$ 行動の共役プルバックとして得られる。
• 分類は完全である：任意の作用は、ある $q \in [0,1]$ とユニタリ $u \in M_2$ に対して、$\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)$ の形に表される。
• エルゴディック作用の場合、不変状態が一意的であり、その密度行列が $\rho_q = \frac{1}{1+q^2}\begin{bmatrix}1 & 0 \\ 0 & q^2\end{bmatrix}$ に共役であるため、パrameter $q$ と $u$ は一意に定まる。
• 本結果により、生成子と関係式の複雑な系や $\mathrm{SU}(2)$ からの商構成に依存しない、Podleś の量子 $\mathrm{SO}(3)$ 群の代替的で普遍的な特徴付けが得られる。
• 本稿は、Wang の研究における混乱を解消し、$\omega_q$ を保存する $M_2$ の量子自己同型群として $\mathrm{S}_q\mathrm{O}(3)$ が正しいのだと示している。