[論文レビュー] The q-characters of representations of quantum affine algebras and deformations of W-algebras

Edward Frenkel, Nicolai Reshetikhin|ArXiv.org|Oct 8, 1998

Algebraic structures and combinatorial models参考文献 10被引用数 135

ひとこと要約

本稿は、量子アフィン代数の有限次元表現に対するq-特徴標を導入し、古典的特徴標を量子設定に一般化する。Groーデンディック環からラテン多項式環への単射なホモーモーフィズムを構成し、スクリーニング作用素の核にq-特徴標が属するという予想を提示。さらに、q差分作用素を用いた幾何的実現により、既約表現およびそのテンソル積を組合せ論的に計算する手法を提供する。

ABSTRACT

We propose the notion of q-characters for finite-dimensional representations of quantum affine algebras. It is motivated by our theory of deformed W-algebras. We show that the q-characters give rise to a homomorphism from the Grothendieck ring of representations of a quantum affine algebra to a polynomial ring. We conjecture that the image of this homomorphism is equal to the intersection of certain "screening operators". We also discuss the connection between q-characters and Bethe Ansatz.

研究の動機と目的

• 量子アフィン代数の有限次元表現に対するq-特徴標理論を構築し、リー群における古典的特徴標と類似の形で、既約表現およびそのテンソル積を記述すること。
• 量子アフィン設定における既約表現およびそのテンソル積の分類のための組合せ論的枠組みを提供すること。
• q-特徴標を変形されたW代数および差分ドリンフェルト＝ソコロフ還元と関連づけ、特に単純型の場合を重点的に扱うこと。
• q-特徴標ホモーモーフィズムの像がスクリーニング作用素の核の共通部分集合に一致するという予想を提示し、これにより既約モジュールの明示的計算が可能になるようにすること。
• q差分作用素およびループ群の軌道空間を用いた幾何的実現により、q-特徴標を定式化すること。

提案手法

• Rep U_qĝ から Y = ℤ[Y_{i,a}^±1] へのq-特徴標ホモーモーフィズム χq を定義し、i ∈ {1,…,ℓ} および a ∈ ℂ× によってインデックス付けされた可換変数のラテン多項式に表現を写像する。
• 環 Y 上にスクリーニング作用素 S_i を構成し、χq の像に正確に一致するという予想を提示。これにより、既約表現が核の元として特徴づけられる。
• U_qĝ の普遍R行列を用いて χq を定義し、テンソル積構造および U_q𝔤 への制限と整合性を保証する。
• qゲージ作用を用いた一階差分作用素の空間への作用により、q-特徴標を幾何的に実現し、軌道を基本的表現と特定する。
• 単純型 𝔤 に対して、q-特徴標ホモーモーフィズムが、作用素空間から軌道空間 M^J_{n,q}/LN への射影 μ_q によって誘導される写像と一致することを示す。
• t_i(s) = ∑_{j1<…<ji} λ_{j1}(s)λ_{j2}(sq^{-2})…λ_{ji}(sq^{-2i+2}) の公式を用い、λ_i(s) の単項式と基本的表現のq-特徴標を一致させる。

実験結果

リサーチクエスチョン

• RQ1 古典的リー代数の特徴標の概念を、量子アフィン代数へ一般化する方法は何か？ これにより、既約表現およびそのテンソル積を捉えることができるか？
• RQ2 q-特徴標ホモーモーフィズム χq の像である Y 内の代数的構造は何か？
• RQ3 スクリーニング作用素 S_i で定義される方程式系の解として、既約表現のq-特徴標を特徴づけられるか？
• RQ4 q-特徴標理論は、変形されたW代数および差分ドリンフェルト＝ソコロフ還元とどのように関連するか？
• RQ5 与えられた最高重量表現のq-特徴標は、q差分作用素の軌道空間などの幾何的データを用いて、組合せ論的に計算可能か？

主な発見

• Groーデンディック環をラテン多項式環に忠実に表現する、q-特徴標ホモーモーフィズム χq: Rep U_qĝ → Y が単射であることが示された。
• 𝔤 = sl_2 の場合、χq の像がスクリーニング作用素 S_i の核の共通部分集合に一致するという予想が証明された。
• 𝔤 = sl_N の場合、U_qĝ の基本的表現のq-特徴標は、q差分作用素モデルから導かれる式 t_i(s) = ∑_{j1<…<ji} λ_{j1}(s)λ_{j2}(sq^{-2})…λ_{ji}(sq^{-2i+2}) と一致する。
• qゲージ作用を用いた幾何的構成により、q-特徴標ホモーモーフィズムは埋め込みと射影 μ_q の合成として実現され、その像は軌道空間 M^J_{n,q}/LN と同型である。
• q→1 の極限において、q-特徴標の公式は、完備包あらゆる代数の中心に関連する古典的特徴標に還元され、ドリンフェルト＝ソコロフ還元と結びつく。
• 本手法により、μ_q の像内での最小の正の整数係数の線形結合を求める組合せ論的アルゴリズムが得られ、最高単項式から既約表現のq-特徴標を再構成できる。