[論文レビュー] Quasi-Hopf twistors for elliptic quantum groups

M. Jimbo, Hitoshi Konno+2 more|arXiv (Cornell University)|Dec 11, 1997

Algebraic structures and combinatorial models被引用数 5

ひとこと要約

本稿では、量子アフィン代数 U_q(g) の普遍 R-行列を無限積として表現することにより、頂点型および面型の両方の楕円量子群に対して明示的な準ホップねじれを構成する。これらのねじれに対してずらしコサイクル条件が証明され、Fronsdalの枠組みが完成し、一般の変形パラメータに対して、評価モジュール、最高重複度モジュール、および頂点演算子といった表現論的構造が U_q(g) から楕円代数へと持ち越されることが確立される。

ABSTRACT

The Yang-Baxter equation admits two classes of elliptic solutions, the vertex type and the face type. On the basis of these solutions, two types of elliptic quantum groups have been introduced (Foda et al., Felder). Fronsdal made a penetrating observation that both of them are quasi-Hopf algebras, obtained by twisting the standard quantum affine algebra U_q(g). In this paper we present an explicit formula for the twistors in the form of an infinite product of the universal R matrix of U_q(g). We also prove the shifted cocycle condition for the twistors, thereby completing Fronsdal's findings. This construction entails that, for generic values of the deformation parameters, representation theory for U_q(g) carries over to the elliptic algebras, including such objects as evaluation modules, highest weight modules and vertex operators. In particular, we confirm the conjectures of Foda et al. concerning the elliptic algebra A_{q,p}(^sl_2).

研究の動機と目的

• 楕円量子群が U_q(g) のねじれによって準ホップ代数であることを Fronsdal の観察を完成させること。
• U_q(g) の普遍 R-行列を用いてねじれの明示的公式を提供すること。
• ねじれに対してずらしコサイクル条件が成り立つことを確認し、準ホップ構造の整合性を保証すること。
• U_q(g) からの表現論的構造が楕円量子群へと持ち越されるかどうかを示すこと。
• Foda らの A_{q,p}(^sl_2) に関する予想をこのねじれ枠組みを用いて確認すること。

提案手法

• ねじれは、U_q(g) の普遍 R-行列の無限積として構成され、標準的な量子アフィン代数から楕円量子群への変形を符号化する。
• この構成は、Yang-Baxter 方程式の頂点型および面型の解の両方に適用可能である。
• R-行列およびそのコプロダクト構造に関連する代数的恒等式を用いて、ずらしコサイクル条件が証明される。
• この手法は、U_q(g) の既知の準ホップ代数構造および Drinfeld ねじれによるねじれ手続きに依存する。
• ^sl_2 の場合にこの枠組みを適用し、A_{q,p}(^sl_2) に関する予想を確認する。
• 標準的コプロダクトおよび U_q(g) 内の R-行列関係を用いて、ねじれの整合性条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 楕円量子群のねじれは、どのように U_q(g) の普遍 R-行列から明示的に構成できるか？
• RQ2 構成されたねじれに対してずらしコサイクル条件が成り立つのか、すなわち準ホップ代数構造が整合的か？
• RQ3 U_q(g) からの表現論的対象が、どの程度楕円量子群へと持ち越されるか？
• RQ4 Foda らの A_{q,p}(^sl_2) に関する予想は、このねじれ枠組みを用いて確認可能か？
• RQ5 頂点型および面型の楕円解の両方に対して、ねじれの正確な代数的形は何か？

主な発見

• 頂点型および面型の両方の楕円量子群のねじれが、U_q(g) の普遍 R-行列の無限積として明示的に与えられる。
• これらのねじれに対してずらしコサイクル条件が厳密に証明され、準ホップ代数構造の整合性が確認される。
• 変形パラメータが一般の値である場合、U_q(g) の表現論（評価モジュール、最高重複度モジュールを含む）が楕円代数へと持ち越される。
• 頂点演算子および U_q(g) 内の他の標準的構造が、ねじれ手続きを介して楕円量子群へと下降することが示される。
• Foda らの A_{q,p}(^sl_2) に関する予想が、この枠組みを用いて確認される。
• この構成により、標準的量子アフィン代数とその楕円変形を結ぶ統一的な代数的メカニズムが提供される。