[論文レビュー] Representations of Two-Parameter Quantum Groups and Schur-Weyl Duality

Georgia Benkart, Sarah Witherspoon|ArXiv.org|Aug 6, 2001

Algebraic structures and combinatorial models参考文献 5被引用数 36

ひとこと要約

本稿では、glₙおよびslₙに付随する量子群に対して、2パラメータのシュール＝ウェイル双対性の類似を確立し、n ≥ k のとき、自然なn次元モジュールのk重テンソル積上の量子群作用の中心化代数が2パラメータヘッケ代数に同型であることを証明する。さらに、有限次元単純モジュールを分類し、カルタン部分代数の半単純作用の下での完全可約性を示す。

ABSTRACT

We determine the finite-dimensional simple modules for two-parameter quantum groups corresponding to the general linear and special linear Lie algebras gl_n and sl_n, and give a complete reducibility result. These quantum groups have a natural n-dimensional module V. We prove an analogue of Schur-Weyl duality in this setting: the centralizer algebra of the quantum group action on the k-fold tensor power of V is a quotient of a Hecke algebra for all n and is isomorphic to the Hecke algebra in case n\geq k.

研究の動機と目的

• rs⁻¹が単位根でないとき、2パラメータ量子群U_{r,s}(glₙ)およびU_{r,s}(slₙ)の有限次元単純モジュールを分類すること。
• カルタン部分代数U⁰が半単純に作用する有限次元モジュールが完全可約であることを証明すること。
• 自然なn次元モジュールVに対するU_{r,s}(glₙ)の2パラメータシュール＝ウェイル双対性を確立すること。
• V^⊗k上の量子群作用の中心化代数の構造を特定し、n ≥ kのとき、それが2パラメータヘッケ代数H_k(r,s)に同型であることを示すこと。
• n ≥ kのとき、V^⊗kがU_{r,s}(glₙ)-加群として循環的であることを示すこと。

提案手法

• 有限次元単純モジュールの分類は、量子群の構造とカルタン部分代数の作用に基づき、[BW]で定義された量子カシミール作用素を用いて完全可約性を証明する。
• U_{r,s}(glₙ)の自然なn次元モジュールVは、基底{v₁,…,vₙ}上で生成子e_j, f_j, a_i^±¹, b_i^±¹の作用によって構成される。
• R行列R_{V,V}は、V^⊗k上に作用する作用素R_iを誘導し、これらは量子群作用と可換であり、End_{Ũ}(V^⊗k)の部分代数を生成する。
• R_i作用素を用いて、2パラメータヘッケ代数H_k(r,s)からEnd_{Ũ}(V^⊗k)への写像を構成し、バターン関係と量子群の関係式から関係式を導出する。
• 写像H_k(r,s) → End_{Ũ}(V^⊗k)の全射性は、循環的ベクトル上で消えるU_{r,s}(glₙ)-インターツェッターが恒等的にゼロであることを示すことにより証明され、V^⊗kの循環的性質が利用される。
• n ≥ kのとき、H_k(r,s)とEnd_{Ũ}(V^⊗k)の次元を比較することで、両者が同型であることが示され、R_σ基底の線形独立性により写像は単射である。

実験結果

リサーチクエスチョン

• RQ1 rs⁻¹が単位根でないとき、2パラメータ量子群U_{r,s}(glₙ)の有限次元単純モジュールは何か？
• RQ2 有限次元モジュールがU_{r,s}(glₙ)に対して完全可約となる条件は何か？
• RQ3 シュール＝ウェイル双対性は、2パラメータ量子群の設定においてどのように一般化されるか？
• RQ4 自然なn次元モジュールVに対するV^⊗k上での量子群作用の中心化代数の構造は何か？
• RQ5 n ≥ kのとき、V^⊗kはU_{r,s}(glₙ)-加群として循環的か？

主な発見

• rs⁻¹が単位根でないとき、U_{r,s}(glₙ)およびU_{r,s}(slₙ)の有限次元単純モジュールは分類され、最高ウェイトはドミナント整数ウェイト格子に属する。
• rs⁻¹が単位根でない限り、Ũ⁰が半単純に作用するすべての有限次元Ũモジュールは完全可約である。
• 中心化代数End_{Ũ}(V^⊗k)は、R_i作用素によって生成され、これらは2パラメータヘッケ代数H_k(r,s)のバターン関係を満たす。
• n ≥ kのとき、中心化代数End_{Ũ}(V^⊗k)は2パラメータヘッケ代数H_k(r,s)に同型であり、両者とも次元k!をもつ。
• n ≥ kのとき、ŨによるV^⊗kへの作用は循環的であり、V^⊗kは単一のベクトルの作用で生成される。
• n ≥ kのとき、H_k(r,s)からEnd_{Ũ}(V^⊗k)への写像は同型であり、n < kのときには全射であり、その像は中心化代数全体に一致する。