[論文レビュー] Complex semisimple quantum groups and representation theory

Christian C. Voigt, Robert Yuncken|arXiv (Cornell University)|May 16, 2017

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

ひとこと要約

この論文は、q ∈ C× が単位根でない場合に、複素単純量子群の表現論を、コンパクト量子群のq変形のDrinfeld双対として展開し、量子普遍包あらゆる代数を用いたハリシュ・チャンドラ加群の分類に焦点を当てる。C 上の枠組みを提示し、Verma加群、対偶形式、ワイル群および重み格子の役割に関する構造的結果を強調する。一方で、文献でしばしば無視される非単位根設定における技術的差異を明確にする。

ABSTRACT

These notes contain an introduction to the theory of complex semisimple quantum groups. Our main aim is to discuss the classification of irreducible Harish-Chandra modules for these quantum groups, following Joseph and Letzter. Along the way we cover extensive background material on quantized universal enveloping algebras and explain connections to the analytical theory in the setting of locally compact quantum groups.

研究の動機と目的

• q-変形されたコンパクト単純リー群のDrinfeld双対として定義される複素単純量子群の表現論を、包括的かつ自己完結的に取り扱う。
• q ∈ C× が単位根でない場合の量子群の表現論における微妙な技術的問題を明確にし、特にVerma加群とハリシュ・チャンドラ双加群に関して解決する。
• 代数的および作用素代数的視点を統合し、特に量子普遍包あらゆる代数と標準基底を用いた代数的側面に重点を置く。
• これらの量子群に対して、非可約ハリシュ・チャンドラ加群（同値に、非可約Yetter-Drinfeld加群）の正確な分類を確立する。
• 文献における不一致や異なる表記規則を解消するため、一般の体K上でまず理論を構築し、その後K = Cでq = e^h ≠ 1に特殊化することで、重み論理と双対性における一貫性を保証する。

提案手法

• q ∈ K× が単位根でない一般の体K上で理論を展開し、根系に依存するLを用いてq = s^Lとなるパラメータsを用いる。
• コンパクト単純群のq変形の関数のHopf ∗-代数にDrinfeld双対構成を適用し、複素単純量子群を導出する。
• 乗法的ホップ代数の理論を用いて非ユニタリ構造を扱い、普遍R行列および反作用素を厳密な代数的枠組みで定義する。
• 量子普遍包あらゆる代数U_q(g)およびその制限整数形U^A_q(g)を用い、PBW基底と除算冪を含む。
• Shapovalov形式およびVerma加群上の対偶双線形形式を用いて、非可約性と最高重量構造を分析する。
• 拡張ワイル群 ˆW = Y_q ⋊ W とワイル群元が重みに作用する方法を用い、最高重量による非可約表現の分類を実行する。

実験結果

リサーチクエスチョン

• RQ1 q ∈ C× が単位根でない場合に、q = 1への特殊化に依存する仮定を避けながら、複素単純量子群の表現論を体系的に展開する方法は何か？
• RQ2 C(q) 上とC 上でqが単位根でない場合とで、Verma加群およびハリシュ・チャンドラ双加群の理論における正確な構造的差異は何か？
• RQ3 Drinfeld双対構成において、量子双対性の原理はどのように現れ、量子群が複素単純群の量子化として実現されるか？
• RQ4 拡張ワイル群 ˆW と重み格子は、これらの量子群の非可約ハリシュ・チャンドラ加群を分類する際に果たす役割は何か？
• RQ5 Drinfeld双対の作用素代数的構造を、標準基底と可約モジュールを用いた代数的表現論とどのように調和させることができるか？

主な発見

• 複素単純量子群の非可約ハリシュ・チャンドラ加群の分類は、U_q(g) の最高重量理論により達成され、非可約性はShapovalov形式の非退化性によって決定される。
• 普遍R行列および乗法的ユニタリは、乗法的ホップ代数の枠組みで構成され、代数的および解析的量子群理論の橋渡しを果たす。
• コンパクト量子群G_qのDrinfeld双対が、複素単純群G_Cの量子化であることが示され、量子双対性の原理が量子群の構成によって実現される。
• q = e^h ≠ 1 の場合、整数型モジュールおよびその対偶形式の明確な記述が、指数写像と根格子による支配的重みの特徴づけによって可能になる。
• ある誘導加群の非可約部分商V_{µ,λ}は、与えられた最小のK_q型を持つ唯一の非可約成分として特定され、表現カテゴリの分解が得られる。
• 中心ZU_q(g)は、基本的重みµ ∈ P+ に対応するカシミール要素z_µ によって生成され、有限次元可約モジュールに対して量子トレースt_V が適切に定義される。