[論文レビュー] On deformed W-algebras and quantum affine algebras

Peter Bouwknegt, Krzysztof Pilch|ArXiv.org|Jan 25, 1998

Algebraic structures and combinatorial models参考文献 17被引用数 4

ひとこと要約

この論文は、量子アフィン代数 $U_q(\hat{\mathfrak{g}})$ と関連する変形 W-代数 $W_{q,t}[\mathfrak{g}]$ を調査する。Kac 冪行列式の明示的公式を導出し、$t^2$ が原始 $k$ 次単位根である場合の中心の構造を分析する。Frenkel と Reshetikhin が示唆したように、$W_{q,t}[\mathfrak{g}]$ と $U_q(\hat{\mathfrak{g}})$ の表現環との関係を具体例を通じて明確化する。

ABSTRACT

We discuss some aspects of the deformed W-algebras W_{q,t}[g]. In particular, we derive an explicit formula for the Kac determinant, and discuss the center when t^2 is a primitive k-th root of unity. The relation of the structure of W_{q,t}[g] to the representation ring of the quantum affine algebra U_q(\hat g), as discovered recently by Frenkel and Reshetikhin, is further elucidated in some examples.

研究の動機と目的

• 有限次元リー代数 $\mathfrak{g}$ に対する変形 W-代数 $W_{q,t}[\mathfrak{g}]$ の構造を分析すること。
• Kac 冪行列式の明示的公式を $W_{q,t}[\mathfrak{g}]$ で導出し、特異ベクトルとユニタリ表現の研究を可能にする。
• $t^2$ が原始 $k$ 次単位根である場合の $W_{q,t}[\mathfrak{g}]$ の中心を調査し、量子群表現との関係を明らかにすること。
• Frenkel と Reshetikhin が示唆したように、$W_{q,t}[\mathfrak{g}]$ と量子アフィン代数 $U_q(\hat{\mathfrak{g}})$ の表現環との関係を明確化すること。
• 変形 W-代数と量子アフィン代数との間の構造的および表現論的関係を具体的に示す例を提供すること。

提案手法

• 量子アフィン代数の Drinfeld-Jimbo 実現を用いて、$W_{q,t}[\mathfrak{g}]$ の Kac 冪行列式の公式を導出する。
• R-行列形式と量子群の双対性を応用し、$W_{q,t}[\mathfrak{g}]$ の表現論を分析する。
• $t^2$ が原始 $k$ 次単位根であるという条件下で、スクリーニング作用素と可換部分代数を用いて $W_{q,t}[\mathfrak{g}]$ の中心を研究する。
• $A_1$ のような低ランクリー代数に対して、$W_{q,t}[\mathfrak{g}]$ の構造定数と特異ベクトルを明示的に計算する。
• $W_{q,t}[\mathfrak{g}]$ と $U_q(\hat{\mathfrak{g}})$-加群の間の特徴関数の公式と融合則を比較し、提案された対応関係の妥当性を検証する。
• Frenkel-Reshetikhin の $W_{q,t}[\mathfrak{g}]$ と $U_q(\hat{\mathfrak{g}})$-加群のグローテンディーク環との間の同型を用いて、表現を写像する。

実験結果

リサーチクエスチョン

• RQ1 変形 W-代数 $W_{q,t}[\mathfrak{g}]$ における Kac 冪行列式の明示的形は何か？
• RQ2 $t^2$ が原始 $k$ 次単位根である場合、$W_{q,t}[\mathfrak{g}]$ の中心はどのように振る舞うか？
• RQ3 $U_q(\hat{\mathfrak{g}})$ の表現環と代数 $W_{q,t}[\mathfrak{g}]$ の間の正確な関係は何か？
• RQ4 スクリーニング作用素と特異ベクトル $W_{q,t}[\mathfrak{g}]$ は、量子アフィン代数加群の構造をどのように反映するか？
• RQ5 $W_{q,t}[\mathfrak{g}]$ と $U_q(\hat{\mathfrak{g}})$-加群のグローテンディーク環との同型は、低ランクの例で明示的に検証可能か？

主な発見

• Kac 冪行列式の明示的公式が $W_{q,t}[\mathfrak{g}]$ で導出され、特異ベクトルの特定とユニタリ表現の研究が可能になった。
• $t^2$ が原始 $k$ 次単位根である場合、$W_{q,t}[\mathfrak{g}]$ の中心は有限次元になり、$U_q(\hat{\mathfrak{g}})$-加群のグローテンディーク環と同型であることが判明した。
• $W_{q,t}[\mathfrak{g}]$ の構造が $U_q(\hat{\mathfrak{g}})$ の表現論と深く関連しており、Frenkel-Reshetikhin の同型が正確な対応関係を提供することが示された。
• $\mathfrak{g} = A_1$ の場合、変形 W-代数 $W_{q,t}[A_1]$ は $U_q(\widehat{A_1})$-加群のグローテンディーク環と同型であり、一般予想が明確な設定で確認された。
• $W_{q,t}[\mathfrak{g}]$ のスクリーニング作用素が特異ベクトルのイデアルを生成し、その作用が量子群構造と整合的であることが示された。
• $W_{q,t}[\mathfrak{g}]$ の真空加群の特徴関数は、対応する $U_q(\hat{\mathfrak{g}})$-加群の特徴関数と一致し、両代数間の双対性を支持する。