[論文レビュー] General compact quantum groups, a tutorial

Tom H. Koornwinder|arXiv (Cornell University)|Jan 24, 1994

Advanced Operator Algebra Research参考文献 7被引用数 11

ひとこと要約

このチュートリアルは、C*-代数に依存せずに、ホップ代数を用いて一般のコンパクト量子群を導入し、非専門家向けの自己完結的な基盤を提供する。後半の説明で、ヴォロノヴィチのコンパクト行列量子群への接続を確立し、抽象的なホップ代数理論と数学的物理における具体的な量子群構成との間の教育的ブリッジを提供する。

ABSTRACT

A tutorial introduction is given to general Hopf algebras and to general compact quantum groups. In the definition and further treatment of compact quantum groups C*-algebras are avoided. Contact with Woronowicz's compact matrix quantum groups is made at a later stage.

研究の動機と目的

• 演算子代数に馴染みのない研究者向けに、自己完結的かつアクセス可能な一般のコンパクト量子群の導入を提供すること。
• C*-代数的形式主義に代えて、ホップ代数構造を用いてコンパクト量子群の理論を構築すること。
• 将来的にヴォロノヴィチのコンパクト行列量子群への接続を容易にするように、コンパクト量子群の基礎的性質を確立すること。
• 量子群および数学的物理分野の大学院生や研究者にとっての教育的リソースとして機能すること。
• 高度な関数解析を要さずに、コンパクト量子群の代数的および圏論的構造を明確にすること。

提案手法

• コンパクト量子群を定義するための基礎的代数的構造として、一般のホップ代数の枠組みを用いる。
• コンパクト性に不可欠な「不変測度」の概念を捉えるために、ホップ代数上の双対性と積分を定義する。
• コンパクト群のハール測度を一般化するため、ホップ代数上の「ハール汎関数」の概念を導入する。
• ホップ代数構造を用いて、コンパクト量子群の表現の圏を構成する。
• シュールの補題と直交性関係を用いて、コンパクト量子群の表現理論がコンパクト群のそれと類似することを示す。
• 特定の枠組み内での特殊なケースとして、このような群が一般枠組みに含まれることを示すことにより、ヴォロノヴィチのコンパクト行列量子群への接続を確立する。

実験結果

リサーチクエスチョン

• RQ1 C*-代数に依存せずに、コンパクト量子群をどのように定義し、研究できるか？
• RQ2 ハール汎関数は、コンパクト量子群の構造において果たす役割は何か？
• RQ3 コンパクト量子群の表現圏は、コンパクト群のそれとどのように比較できるか？
• RQ4 ヴォロノヴィチのコンパクト行列量子群は、一般のコンパクト量子群の枠組みにおいて、どのような役割を果たすか？
• RQ5 具体的には、ホップ代数という代数的構造は、コンパクト量子群理論の背後にあるものか？

主な発見

• 論文は、C*-代数的道具を一切用いずに、ホップ代数技術のみを用いて一般のコンパクト量子群の理論を成功裏に構築した。
• コンパクト量子群上にハール汎関数が存在し、一意的であることが確立された。これは、コンパクト群のハール測度を一般化するものである。
• コンパクト量子群の表現理論が、直交性関係とシュールの補題を満たすことが示され、古典的ケースと類似している。
• この枠組みにより、ヴォロノヴィチのコンパクト行列量子群が、一般のコンパクト量子群のクラスの特殊な部分集合として自然に埋め込まれることが可能になった。
• 抽象的なホップ代数の公理から、コンパクト量子群構造への明確な道筋が提供され、非専門家にとってのアクセス性が向上した。
• チュートリアルは、双対性、積分、表現論といったコンパクト量子群の核となる構造的特徴が、関数解析的道具を要さずに代数的に発展させられることを示した。