[論文レビュー] Quantum groups with projection and extensions of locally compact quantum groups

Paweł Kasprzak, Piotr M. Sołtan|arXiv (Cornell University)|Dec 2, 2014

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

ひとこと要約

この論文は、非可換半直積をモデル化する局所コンパクトな量子群に射影を持つ場合、ヴァイナーマンとヴァエスの意味で拡張であるための条件を特徴づけている。コイデアルのコ双対性と正規コイデアルの概念を用いて、著者たちは、このような量子群は一般的には拡張でないことを示しており、その鍵となる条件はブレード付き量子群成分の可換性である。結果は、U_q(2) や量子 'az+b' 群を含む例によって示されている。

ABSTRACT

The main result of the paper is the characterization of those locally compact quantum groups with projection, i.e. non-commutative analogs of semidirect products, which are extensions as defined by L. Vainerman and S. Vaes. It turns out that quantum groups with projection are usually not extensions. We discuss several examples including the quantum $\mathrm{U}_q(2)$. The major tool used to obtain these results is the co-duality for coideals in algebras of functions on locally compact quantum groups and the concept of a normal coideal.

研究の動機と目的

• 局所コンパクトな量子群に射影を持つ場合、ヴァイナーマンとヴァエスが定義した意味で拡張であるための正確な条件を特定すること。
• 射影を持つ量子群という概念と、局所コンパクトな量子群論における拡張の概念との関係を明確にすること。
• 射影を持つ量子群に生じるブレード付き量子群構造が、拡張枠組み内での真の量子群を満たすかを検討すること。
• コ代数的道具を用いて、射影を持つ量子群が拡張である場合の完全な特徴づけを提供すること。
• U_q(2) や量子 'az+b' 群を含む具体的な例を分析し、それらがいつ拡張として成立するかを特定すること。

提案手法

• 局所コンパクトな量子群の関数代数におけるコイデアルのコ双対性を用いる。これは、以前の研究で導入されたツールであり、コイデアルと量子部分群との関係を結ぶものである。
• 正規コイデアルおよび強正規コイデアルの概念を導入・分析し、射影を持つ量子群の代数的構造を特徴づける。
• ユニタリ反置換とスケーリング群を用いてコイデアルの不変性性質を研究し、それらを量子群における双対性と対称性に関連付ける。
• フォン・ノイマン代数の枠組みを用いて、量子群とその双対を同じヒルベルト空間 L²(G) 上に表現し、モジュラー共役 J と ŴJ の使用を可能にする。
• GNS構成とフォン・ノイマン代数のモジュラー理論を用いて、モジュラー共役とユニタリ反置換を定義・分析する。
• 量子群とその双対の間の双対性を応用し、特にブレード付き量子群の固定点代数と射影の群代数の間の部分代数の可換性を分析する。

実験結果

リサーチクエスチョン

• RQ1 局所コンパクトな量子群に射影を持つ場合、ヴァイナーマンとヴァエスの意味で拡張であるための条件は何か？
• RQ2 射影を持つ量子群に生じるブレード付き量子群構造は、常に拡張の文脈において真の量子群とみなせるか？
• RQ3 量子群 U_q(2) が円周群 T の拡張であるための条件は何か？
• RQ4 量子 'az+b' 群がその乗法的部分群 Γ_q の拡張であるための条件は何か？
• RQ5 固定点部分代数（SU_q(2) に同型）と射影の群代数の可換性が、U_q(2) が拡張であるかどうかを決定する上で果たす役割は何か？

主な発見

• 射影を持つ量子群が拡張であるための必要十分条件は、関数代数全体の中で固定点部分代数（SU_q(2) に同型）と射影の群代数（L∞(T)）が可換であることである。
• 量子群 U_q(2) が T の拡張であるための必要十分条件は、変形パrameter q が実数であることであり、これは SU_q(2) がコンパクトな量子群であることと同値である。
• 量子 'az+b' 群の場合、Γ_q の拡張であるための条件は q = 1 に限定され、これは群が古典的である場合に限る。
• 射影を持つ量子群に付随するブレード付き量子群は、q = 1 の場合に限り真の量子群とみなせる。一般にはその構造は量子群として成立しない。
• 射影を持つ量子群において正規部分群が欠落している場合でも、『正規性』と呼ばれる性質を持つコイデアルが依然として存在し、より弱いが関連する構造を示している。
• 拡張でない主な障害は、固定点部分代数と射影の群代数の非可換性であり、これは U_q(2) において非実数 q の場合に成立しない。