[論文レビュー] PBW and duality theorems for quantum groups and quantum current algebras

Benjamin Enriquez|ArXiv.org|Apr 21, 1999

Algebraic structures and combinatorial models参考文献 26被引用数 25

ひとこと要約

この論文は、リー双代数の双対性と量子シャッフル代数を用いて、量子Kac-Moody代数および量子電流代数のPoincaré-Birkhoff-Witt (PBW) 定理と双対性定理を確立する。$U_\hbar\mathfrak{n}_+$ が $\mathbb{C}[[\hbar]]$-自由加群であることを証明し、量子Serre関係式がPBW基底を導くことを示す。さらに、Drinfeld双対性の非退化性を示し、量子電流代数の古典的極限を、トロイダル代数の商として計算するが、$A_1^{(1)}$ を除いては自明である。主な貢献は、braided Hopf代数と双対性に基づく統一的な証明枠組みの構築である。

ABSTRACT

We give proofs of the PBW and duality theorems for the quantum Kac-Moody algebras and quantum current algebras, relying on Lie bialgebra duality. We also show that the classical limit of the quantum current algebras associated with an untwisted affine Cartan matrix is the enveloping algebra of a quotient of the corresponding toroidal algebra; this quotient is trivial in all cases except the $A_1^{(1)}$ case.

研究の動機と目的

• リー双代数の双対性と量子シャッフル代数を用いて、量子Kac-Moody代数のPBW定理の新しい証明を提供すること。
• シャッフル代数への同型を介して、$U_\hbar\mathfrak{n}_+$ と $U_\hbar\mathfrak{n}_-$ 間のDrinfeld量子双対性の非退化性を確立すること。
• 非自明なトロイダル代数の商である古典的極限を示す、非自明な untwisted affine Cartan 行列に対応する量子電流代数の古典的極限を特定すること。
• 古典的極限の構造を分析し、$A_1^{(1)}$ の場合を除いてすべて自明であることを証明すること。
• 虚数次元の中心的要素および微分作用素を用いた、ループ代数上のリー双代数構造の量子化の基盤を築くこと。

提案手法

• 量子シャッフル代数の構成を用いて、代数同型 $p_\hbar$ を通じて $U_\hbar\mathfrak{n}_+$ を部分代数として実現すること。
• Deodhar-Gabber-Kacの定理を適用して、量子代数をbraided tensor積構造に関連付けること。
• 各生成子 $e_i$ の次数を $\deg(e_i) = \epsilon_i$ と定義し、双線形形式 $\langle \epsilon_i, \epsilon_j \rangle = d_i a_{ij}$ を用いて、$U_\hbar\mathfrak{n}_\pm$ 上にbraided Hopf代数構造を定義すること。
• braided Hopf双対性の公理と初期条件 $\langle e_i, f_{i'} \rangle = \frac{1}{\hbar} d_i^{-1} \delta_{ii'}$ を用いて、Drinfeld双対性 $\langle \cdot, \cdot \rangle_{U_\hbar\mathfrak{n}_\pm}$ を構成すること。
• 双対Cartan-Weyl基底を用いて、$\alpha$ の高さが $k$ であるとき、$P[\alpha]$ の $\hbar$-adic 估值を $\hbar^k / k!$ の形に計算すること。
• $\mathbb{C}[[\hbar]]$-加群論、特に捩れ分解と部分加群の自由性を用いて、PBW性質および加群の自由性を証明すること。

実験結果

リサーチクエスチョン

• RQ1 $U_\hbar\mathfrak{n}_+$ は任意の対称可能Cartan行列に対して $\mathbb{C}[[\hbar]]$ 上にPBW基底をもつか？
• RQ2 $U_\hbar\mathfrak{n}_+$ と $U_\hbar\mathfrak{n}_-$ 間のDrinfeld量子双対性は非退化か？
• RQ3 非自明な untwisted affine Cartan 行列に対応する量子電流代数の古典的極限は何か？
• RQ4 この古典的極限はトロイダル代数とどのように関係し、どの場合に商が非自明になるか？
• RQ5 虚数次元の中心的要素および微分作用素を用いて、ループ代数上のリー双代数構造の量子化は可能か？

主な発見

• 代数 $U_\hbar\mathfrak{n}_+$ は $\mathbb{C}[[\hbar]]$-自由加群であり、商 $U_\hbar\mathfrak{n}_+ / \hbar U_\hbar\mathfrak{n}_+$ は普遍包あらわし代数 $U\mathfrak{n}_+$ に同型である。
• 写像 $p_\hbar$ は、$U_\hbar\mathfrak{n}_+$ から量子シャッフル代数 $\operatorname{Sh}(V)$ の部分代数 $\langle V \rangle$ への代数同型である。
• Drinfeld双対性 $\langle \cdot, \cdot \rangle_{U_\hbar\mathfrak{n}_\pm}$ は、シャッフル代数への同型と双対性を介して非退化であることが示された。
• 非自明な untwisted affine Cartan 行列に対応する量子電流代数の古典的極限は、トロイダル代数の商の包あらわし代数であり、$A_1^{(1)}$ の場合を除いては自明である。
• $U_\hbar\mathfrak{n}_+[\alpha] \otimes U_\hbar\mathfrak{n}_-[-\alpha]$ 内の要素 $P[\alpha]$ は、$\alpha$ の高さが $k$ のとき、$\hbar$-adic 估值がちょうど $k$ であり、主項は $\frac{\hbar^k}{k!}$ に順序付き根分解の和をかけたものである。
• 可算基底を持つ $\mathbb{C}[[\hbar]]$-自由加群の任意の可算生成部分加群は、自身も自由であり、可算基底をもつ。