[論文レビュー] Liberation of orthogonal Lie groups

Teodor Banica, Roland Speicher|arXiv (Cornell University)|Aug 19, 2008

Algebraic structures and combinatorial models参考文献 18被引用数 12

ひとこと要約

本稿では、非交叉分割関係を通じて、古典的コンパクト直交群とその自由量子群版との間の体系的対応関係を提示し、正確に6つの群およびその量子群を分類する。主な貢献は、直交群とその解放された量子版との間の1対1対応であり、4つの場合について、表現論がBercovici-Pata双対写像と整合的である。

ABSTRACT

We show that under suitable assumptions, we have a one-to-one correspondence between classical groups and free quantum groups, in the compact orthogonal case. We classify the groups under correspondence, with the result that there are exactly 6 of them: $O_n,S_n,H_n,B_n,S_n',B_n'$. We investigate the representation theory aspects of the correspondence, with the result that for $O_n,S_n,H_n,B_n$, this is compatible with the Bercovici-Pata bijection. Finally, we discuss some more general classification problems in the compact orthogonal case, notably with the construction of a new quantum group.

研究の動機と目的

• 古典的コンパクト直交群を自由量子群に解放するための厳密で公理的な枠組みを確立すること。
• 解放に際して関係の選択に曖昧さが生じるのを回避するため、非交叉分割をインターリーブとして用いること。
• 提案された形式論において、すべての可能な直交群およびその自由量子群類似体を分類すること。
• この対応関係が表現論においてBercovici-Pata双対写像とどのように整合するかを調査すること。
• 分類の一般化をユニタリ群および非容易量子群へと展開すること。

提案手法

• 基本表現のテンソル冪間のインターリーブとして非交叉分割を用い、自由量子群代数における関係を定義すること。
• Tannakian双対性および分割カテゴリを用いて、直交群とその量子群版を分類すること。
• インターリーブのカテゴリが分割によって生成される「容易量子群」の枠組みを採用すること。
• 切断されたキャラクターの漸近的スペクトル測度（s_t, p_t など）の計算を通じて、表現論的挙動を分析すること。
• 自由確率論および作用素代数からの組合せ的技法を用いて、量子群の構造を分析すること。
• abc = cba などの関係を用いて、既知の解放手続きを拡張する新しい量子群を構成すること。

実験結果

リサーチクエスチョン

• RQ1 非交叉分割関係を通じて、どの古典的コンパクト直交群が明確な自由量子群への解放を有するか？
• RQ2 古典群とその自由量子群版との間の対応関係は、自由確率論におけるBercovici-Pata双対写像とどのように関係するか？
• RQ3 有効な直交量子群を生成する分割カテゴリおよび非交叉分割カテゴリの完全な集合は何か？
• RQ4 解放手続きはユニタリの場合へと拡張可能か？ そして、どのような新しい量子群が出現するか？
• RQ5 解放された量子群における切断されたキャラクターの漸近的スペクトル挙動はいかなるものか？

主な発見

• 提案された解放手続きのもとで、正確に6つの古典的コンパクト直交群と6つのそれに対応する自由量子群が存在する：$O_n, S_n, H_n, B_n, S_n', B_n'$ およびそれらの量子版。
• 古典群と自由量子群との間の対応関係は、分割カテゴリおよび非交叉分割カテゴリによって完全に分類され、各カテゴリが正確に6つの実現を持つ。
• $O_n, S_n, H_n, B_n$ について、解放された量子群の表現論はBercovici-Pata双対写像と整合的である。
• 6つの群およびその量子類似体について、切断されたキャラクターの漸近的スペクトル法則が明示的に計算され、双対ペアを形成することが示された：$s_t \leftrightarrow s_t'$, $p_t \leftrightarrow p_t'$, $g_t \leftrightarrow b_t$。
• abc = cba という関係を用いて、新しい量子群が構成されたが、$S_n, B_n, S_n', B_n'$ については新たな群を生じないが、$H_n$ については生じる可能性がある。
• この枠組みは、自由量子群の融合規則に関する一般予想を示唆しており、特に直交の場合に強い証拠がある。