[論文レビュー] Regular Representation of the Quantum Heisenberg Double $U_q(sl(2))$, $Fun_{q}(SL(2))$ ($q$ is a root of unity)

D. V. Gluschenkov, A. V. Lyakhovskaya|ArXiv.org|Nov 12, 1993

Advanced Algebra and Geometry参考文献 1被引用数 4

ひとこと要約

本稿は、$q$ が単位根である場合の $U_q(sl(2))$ と $Fun_q(SL(2))$ によって構成される量子ヘイゼンベルク双対の正則表現を構築し、その解析を行う。量子群と関数代数の間のペアリングを明示的に記述し、$SL_q(2)$ の生成子を用いてカルタン演算子の根部分空間の構造を明らかにし、表現空間の完全な特徴づけとその分解を提供する。

ABSTRACT

Pairing between the universal enveloping algebra $U_q(sl(2))$ and the algebra of functions over $SL_q(2)$ is obtained in explicit terms. The regular representation of the quantum double is constructed and investigated. The structure of the root subspaces of the Casimir operator is revealed and described in terms of $SL_q(2)$ elements.

研究の動機と目的

• 単位根 $q$ の場合の量子ヘイゼンベルク双対 $U_q(sl(2)) \bowtie Fun_q(SL(2))$ の正則表現を構築すること。
• $U_q(sl(2))$ と $Fun_q(SL(2))$ 間のペアリングを生成子と関係式を用いて明示的に記述すること。
• 正則表現内におけるカルタン演算子の根部分空間の構造を分析すること。
• $SL_q(2)$-代数的要素を用いて表現空間の分解を記述すること。

提案手法

• 量子双対は、双対ペアリングを介して $U_q(sl(2))$ と $Fun_q(SL(2))$ のホップ代数拡張として構成される。
• $U_q(sl(2))$ と $Fun_q(SL(2))$ 間のペアリングは、$R$-行列と量子群の関係式を用いて明示的に導出される。
• 正則表現は、量子群 $SL_q(2)$ 上の関数の空間として実現され、左および右乗法による作用で定義される。
• カルタン演算子は特定され、量子群の構造と $R$-行列形式を用いて固有値分解が分析される。
• カルタン演算子の根部分空間は、$SL_q(2)$ の行列要素を用いて特徴づけられ、その代数的構造が明らかになる。
• 量子群の重み空間分解を用いて表現空間が既約成分に分解される。

実験結果

リサーチクエスチョン

• RQ1 単位根 $q$ における $U_q(sl(2))$ と $Fun_q(SL(2))$ 間の双対ペアリングをどのように明示的に実現できるか？
• RQ2 単位根の場合の量子双対 $U_q(sl(2)) \bowtie Fun_q(SL(2))$ の正則表現の構造は何か？
• RQ3 カルタン演算子の根部分空間は $SL_q(2)$ 生成子を用いてどのように分解されるか？
• RQ4 量子群の構造が正則表現空間の分解を決定づける役割を果たすか？
• RQ5 カルタン演算子は正則表現にどのように作用するか。そのスペクトル的性質は何か？

主な発見

• $U_q(sl(2))$ と $Fun_q(SL(2))$ 間のペアリングは、量子 $R$-行列と量子群の標準的関係式を用いて明示的に構成される。
• 量子双対の正則表現は、$SL_q(2)$ 上の関数の空間として実現され、左および右乗法作用素によって定義される。
• カルタン演算子の根部分空間は、$SL_q(2)$ の行列要素を用いて記述可能な既約成分に分解されることが示された。
• 表現空間は重み空間に完全に分解可能であり、カルタン演算子は各部分空間上で対角的に作用する。
• カルタン演算子の固有値および固有空間の構造は、$SL_q(2)$-代数的データを用いて完全に特徴づけられた。
• 本稿は、カルタン演算子の振る舞いとそのスペクトル分解を含め、単位根の場合の正則表現の完全な記述を提供する。