[論文レビュー] Isomorphisms and Fusion Rules of Orthogonal Free Quantum Groups and their Complexifications

Sven Raum|arXiv (Cornell University)|Jun 15, 2010

Advanced Operator Algebra Research参考文献 5被引用数 9

ひとこと要約

本稿は、すべての直交自由量子群が、自由直交 Wang 代数、超正八面体量子群、または量子置換群の変種と同型であることを確立している。本稿は、非交差分割のインターヴァリアントと表現論的分解技術を用いて、これらの量子群およびそれらの自由複素化の融合則を完全に特定している。

ABSTRACT

We show that all orthogonal free quantum groups are isomorphic to variants of the free orthogonal Wang algebra, the hyperoctahedral quantum group or the quantum permutation group. We also obtain a description of their free complexification. In particular we complete the calculation of fusion rules of all orthogonal free quantum groups and their free complexifications.

研究の動機と目的

• 自由直交 Wang 代数、超正八面体群、量子置換群などの既知の量子群と関連付けることで、すべての直交自由量子群を同型の観点から分類すること。
• 直交自由量子群およびそれらの自由複素化の融合則を特定すること。融合則は、非可約核心表現のテンソル積の分解を記述する。
• 非交差分割を用いた表現カテゴリの完全な記述を提供することで、コンパクト行列量子群の理解を拡張すること。
• これらの量子群のインターヴァリアント空間が非交差分割によって張られることを証明し、融合則の明示的計算を可能にすること。

提案手法

• コンパクト行列量子群およびその核心表現の枠組みを用い、Part(k,l) および NC(k,l) における非交差分割によって定義されるインターヴァリアントに焦点を当てる。
• インターヴァリアント空間が非交差分割によって生成される自由量子群の概念を適用し、核心表現の分解の組み合わせ的記述を保証する。
• 核心表現テンソル積における最大連結語への帰納法と分解技術を用いて、非可約性および融合の結果を分析する。
• 生成集合 S_k = {u, v, p, q} 上での乗法および共役則を指定して、融合則をモデル化する融合環を構成する。
• A_h(n) に関する定理 5.12 を適用し、超正八面体量子群に関する既知の結果を活用して、A_k(n) の融合則を導出する。
• e_i ↦ e_i ⊗ e_i および e_i ↦ ∑_j e_j ⊗ e_j などの明示的インターヴァリアントを用いて、核心表現の同型を確立し、分解恒等式を検証する。

実験結果

リサーチクエスチョン

• RQ1 すべての直交自由量子群と同型である既知の量子群は何か。それらはどのように分類可能か。
• RQ2 直交自由量子群およびそれらの自由複素化の完全な融合則は何か。
• RQ3 非交差分割は、これらの量子群のインターヴァリアント空間をどのように完全に記述するか。
• RQ4 最大連結語の分解は、核心表現のテンソル積の非可約性を決定する上で果たす役割は何か。
• RQ5 核心表現 (u_ij^* u_ij) および (u_ij u_ij^*) は、非可約成分にどのように分解されるか。

主な発見

• すべての直交自由量子群は、自由直交 Wang 代数、超正八面体量子群、または量子置換群の変種と同型である。
• A_k(n) の融合則は、指定された乗法および共役則を有する生成集合 S_k = {u, v, p, q} によって完全に記述される。
• 基本的核心表現 U は U_u に対応し、その共役は U_v に対応する。また、ランク1射影 (u_ij^* u_ij) および (u_ij u_ij^*) は、それぞれ U_p ⊕ 1 および U_q ⊕ 1 に対応する。
• テンソル積 U_x ⊗ U_y は、(x_k, y_1) が接続可能である場合、∑_{x=ac, y=bc̄} (U_ab ⊕ U_{a·b}) に分解され、そうでない場合は非可約である。
• U ⊗ U̅ の分解は U_uv ⊕ U_p ⊕ 1 であり、dim(U_uv) = n² − n および dim(U_p) = n − 1 である。これは核心表現空間の構造を確認する。
• e_i ↦ e_i ⊗ e_i および e_i ↦ ∑_j e_j ⊗ e_j などの明示的インターヴァリアントは、核心表現 (u_ij u_ij^*) および (u_ij^* u_ij) の非自明性と分解を示している。