[論文レビュー] Notes on Compact Quantum Groups

Ann Maes, Alfons Van Daele|ArXiv.org|Mar 25, 1998

Advanced Operator Algebra Research参考文献 25被引用数 134

ひとこと要約

この解説論文は、Woronowiczの枠組みに従い、C*-代数に基づくコンパクトな量子群の包括的かつ自己完結的な取り扱いを提供する。特に、ハアール状態の存在と一意性、表現論、離散的量子群との双対性に焦点を当てる。洗練されたオリジナルの証明を提示し、専門外の読者にとって基礎的概念を明確にし、コンパクトな量子群が局所コンパクトな量子群理論の基盤であることを位置づける。

ABSTRACT

We have written down a set of notes on compact quantum groups from which all the different aspects can be learned in an easy way and such that a lot of insight can be obtained without too much effort. Compact quantum groups have been studied by several authors, from different points of view. The difference lies mainly in the choice of the axioms and consequently, in the way the main results are proven. These results however are essentially the same in all these cases. In these notes, we mainly follow the approach of Woronowicz and we extensively motivate this choice. We give a complete and rather detailed treatment, starting from a simple set of axioms and obtaining the main results. We also discuss the most common examples and show how they fit into the framework. During this process, we compare with the existing other treatments.

研究の動機と目的

• C*-代数の枠組みを用いて、コンパクトな量子群について包括的かつ自己完結的な導入を提供すること。その動機は、統一的基盤の必要性に起因する。
• 特にWoronowiczのC*-代数的定式化に焦点を当て、さまざまなコンパクトな量子群の定式化の公理的差異を明確にすること。
• 表現論と双対性を用いて、ハアール状態の存在と一意性を中央的な結果として確立すること。
• コンパクトな量子群が離散的量子群の双対として生じることを示し、ポントリャーギン双対性を一般化すること。
• 特にアンチポードと双対性に関する主要な結果について、より洗練された証明を提示し、非専門家が文献をより容易に理解できるように支援すること。

提案手法

• WoronowiczのC*-代数的公理を採用し、単位元を持つC*-代数にコ乗法が存在し、コアソシエーシビティおよびハアール状態の存在を満たすものとして、コンパクトな量子群を定義する。
• GNS構成を用いて、行列係数の稠密*-部分代数上の不変汎関数としてハアール状態を定義する。
• 有限次元ヒルベルト空間上のユニタリコリプレゼンテーションを通じて、コンパクトな量子群の表現を構成し、それらを代数的構造に関連付ける。
• 稠密*-部分代数の双対を用いて、双対離散的量子群を定義し、左不変汎関数を持つ乗法的ホップ*-代数が形成されることを示す。
• アンチポードとトレース作用素を用いて、コンパクトな量子群の双対が離散的量子群であり、逆も成り立つことを示すことで双対性を確立する。
• トレース $\mathrm{Tr}_\alpha$ と作用素 $K_\alpha = (\mathrm{Tr}_\alpha \otimes \iota)\Phi(h)$ を用いて、$\kappa^2(\omega) = K_\alpha^{-1} \omega K_\alpha $ が成り立つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 C*-代数の枠組み内で、コンパクトな量子群を一貫して定義することは可能か。その定義は、局所コンパクトな量子群理論と整合的か？
• RQ2 ハアール状態は、コンパクトな量子群の表現論において、一意性と不変性を保証するために果たす役割は何か？
• RQ3 コンパクトな量子群と離散的量子群との双対性は、古典的なポントリャーギン双対性をどのように一般化するか？
• RQ4 行列代数上のアンチポードとトレース構造は、適切に定義された双対量子群の存在を保証する仕組みは何か？
• RQ5 なぜWoronowiczのC*-代数的アプローチは、他の代数的または作用素代数的定式化よりもより自然で体系的とされるのか？

主な発見

• コンパクトな量子群上のハアール状態は、一意的かつコ乗法に関して不変であり、標準的な測度論的構造を保証する。
• アンチポード $\kappa$ は、$\omega \in B_\alpha $ に対して $\kappa^2(\omega) = K_\alpha^{-1} \omega K_\alpha $ を満たす。ここで $K_\alpha = (\mathrm{Tr}_\alpha \otimes \iota)\Phi(h)$ である。これは代数的双対性を確立する。
• コンパクトな量子群の双対は、左不変汎関数を持つ乗法的ホップ*-代数をもつ離散的量子群である。
• コンパクトな量子群と離散的量子群の双対性は、古典的なポントリャーギン双対性を一般化する。すなわち、$A = C(G)$ がコンパクトアーベル群 $G$ の関数代数であるとき、双対は $G$ の特徴群上の関数代数となる。
• コンパクトな量子群のユニタリ表現から双対量子群を構成することは、自然かつ可逆的であり、元の代数を再構成可能である。
• 双対代数 $B_0$ におけるC*-ノルムは一意的であり、C*-代数 $B$ に拡張可能である。これにより、双対がC*-レベルで適切に定義されていることが保証される。