[論文レビュー] Galois extension for a compact quantum group

Julien Bichon|ArXiv.org|Feb 4, 1999

Advanced Operator Algebra Research参考文献 24被引用数 13

ひとこと要約

本稿では、ユニタリ化可能なホップ $^*$-代数上のユニタリ余モジュールにおける $^*$-ファイバー関手と正のハール測度を備えた $A^*$-ギャロア拡張の間の圏同値を確立することにより、コンパクト量子群におけるギャロア拡張を導入する。主な貢献は、表現論的データを用いたこのような拡張の構造的分類であり、非可換幾何学と量子群の双対性を結びつける。

ABSTRACT

The aim of this paper is to introduce and to investigate the analogues of torsors for compact quantum groups and to study their role in representation theory. Let A be a unitarizable Hopf *-algebra: we show that there is a category equivalence between *-fibre functors on unitary A-comodules and A-*-Galois extension endowed with a positive Haar measure.

研究の動機と目的

• コンパクト量子群の文脈における torsor（主バンドル）の類似物を定義し、それらを研究すること。
• ユニタリ余モジュール上の $^*$-ファイバー関手と正のハール測度を備えた $A^*$-ギャロア拡張の間の対応を確立すること。
• ギャロア拡張がコンパクト量子群の表現論において果たす役割を明確にすること。
• 古典的ギャロア理論をユニタリ化可能なホップ $^*$-代数およびコンパクト量子群の文脈に一般化すること。
• 表現論と非可換幾何学を結びつける圏的枠組みを提供すること。

提案手法

• 本稿では、コンパクト量子群の代数的基盤としてユニタリ化可能なホップ $^*$-代数を用いる。
• ハール測度の条件を満たす非可換な主バンドルの類似物として、$A^*$-ギャロア拡張を定義する。
• ホップ $^*$-代数上のユニタリ余モジュールの圏における $^*$-ファイバー関手に依存した構成を行う。
• このような関手と正のハール測度を備えた $A^*$-ギャロア拡張の間の圏同値を確立する。
• 双対性と表現論的技法（不変積分の存在を含む）を用いた証明を行う。
• 代数的構造（余モジュール、ホップ代数）と解析的データ（正のハール測度）の相互作用に基づく枠組みを構築する。

実験結果

リサーチクエスチョン

• RQ1 ギャロア拡張の概念をコンパクト量子群にどのように一般化できるか。
• RQ2 ユニタリ余モジュール上の $^*$-ファイバー関手と正のハール測度を備えたギャロア拡張の間の圏的関係は何か。
• RQ3 ギャロア拡張はコンパクト量子群の表現論とどのように関係するか。
• RQ4 ギャロア拡張が正のハール測度を備えるための条件は何か。
• RQ5 ホップ $^*$-代数のユニタリ化可能性がギャロア拡張の構造にどのように影響するか。

主な発見

• ユニタリ余モジュール上の $^*$-ファイバー関手と正のハール測度を備えた $A^*$-ギャロア拡張の間の圏同値が確立された。
• ギャロア拡張に正のハール測度が存在することは、対応する余モジュール圏上の $^*$-ファイバー関手の存在と同値であることが示された。
• 構成により、コンパクト量子群の文脈における torsor の非可換幾何的解釈が得られた。
• この枠組みは、ユニタリ化可能なホップ $^*$-代数およびコンパクト量子群の文脈における古典的ギャロア理論を一般化する。
• 結果として、不変測度を備えたこのようなギャロア拡張が、$^*$-ファイバー関手による表現論的データによって完全に分類されることを示した。
• 本稿は、表現圏とギャロア拡張の双対性が、ユニタリ化可能性およびハール測度の正の性質の下で成立することを確認した。