[論文レビュー] Double-Bosonisation and the Construction of {$U_q(g)$}

Shahn Majid|ArXiv.org|Nov 2, 1995

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

ひとこと要約

本稿では、クーラストゥイクの $U_q(g)$ の一般化を可能にする、双対ボソン化と呼ばれる新規な構成法を導入する。この方法は、クーラストゥイクホープ代数 $H$ の $H$-加群の圏におけるbraided group $B$ から、quasitriangular Hopf代数（特に量子群 $U_q(g)$）を構成する。$B$ を正ルート空間、$H$ をカルタン部分代数、$B^*$（双対）を負ルート空間として埋め込むことで、Lusztigの $U_q(g)$ の構成を一般化し、$U_q(sl_2)$ を用いた量子ブレインド平面 $A_q^2$ による拡張によって $U_q(sl_3)$ を再帰的に構成可能となる。この方法は、表現論やTannaka-Krein双対性への応用を含め、量子群構成の体系的かつ標準的な枠組みを提供する。

ABSTRACT

We introduce a quasitriangular Hopf algebra or `quantum group' $U(B)$, the {\em double-bosonisation}, associated to every braided group $B$ in the category of $H$-modules over a quasitriangular Hopf algebra $H$, such that $B$ appears as the `positive root space', $H$ as the `Cartan subalgebra' and the dual braided group $B^*$ as the `negative root space' of $U(B)$. The choice $B=f$ recovers Lusztig's construction of $U_q(g)$, where $f$ is Lusztig's algebra associated to a Cartan datum; other choices give more novel quantum groups. As an application, our construction provides a canonical way of building up quantum groups from smaller ones by repeatedly extending their positive and negative root spaces by linear braided groups; we explicitly construct $U_q(sl_3)$ from $U_q(sl_2)$ by this method, extending it by the quantum-braided plane $A_q^2$. We provide a fundamental representation of $U(B)$ in $B$. A projection from the quantum double, a theory of double biproducts and a Tannaka-Krein reconstruction point of view are also provided.

研究の動機と目的

• クーラストゥイクホープ代数 $H$ の $H$-加群の圏におけるbraided groupから、quasitriangular Hopf代数（特に量子群）を体系的かつ標準的な方法で構成すること。
• Lusztigの $U_q(g)$ の構成を一般化し、正ルート空間、カルタン部分代数、負ルート空間を構造的要素として統一的な枠組みで扱う。
• 線形braided groupを用いたルート空間の逐次拡張により、量子群の再帰的構成メカニズムを提供すること。
• 得られた量子群 $U(B)$ の基本的表現をbraided group $B$ に直接構成することで、表現論の基盤を確立すること。
• 量子双対、二重双積、Tannaka-Krein双対性を含むより広範な代数的構造と構成を結びつけること。

提案手法

• 本手法は、クーラストゥイクホープ代数 $H$ の $H$-加群の圏におけるbraided group $B$ から出発し、双対ボソン化を用いて新しいquasitriangular Hopf代数 $U(B)$ を構成する。
• 得られる代数 $U(B)$ は、$B$ を正ルート空間、$H$ をカルタン部分代数、双対braided group $B^*$ を負ルート空間として持つ。
• braided tensor積とYetter-Drinfeld加群の構造を用いることで、quasitriangular R行列構造との整合性を保証する。
• 二重双積の理論を活用し、ボソン化プロセスを一般化し、非自明なホープ代数拡張へと構成を拡張する。
• 本手法は、量子双対構成を特別な場合として含み、得られた量子群に対してTannaka-Krein再構成の視点を提供する。
• $U(B)$ の基本的表現は、直接的にbraided group $B$ に実現され、代数的構造とその表現論の間の直接的な関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 量子群は、braided group構造を用いて、より小さい代数的構成要素から体系的にどのように構成可能か？
• RQ2 標準的なリー代数的モデルを超えて、一般化された量子群構成において、カルタン部分代数とルート空間分解が果たす役割は何か？
• RQ3 双対ボソン化という単一の代数的メカニズムによって、量子双対構成を統一的かつ一般化可能か？
• RQ4 双対ボソン化プロセスは、$U_q(sl_2)$ から $U_q(sl_3)$ のような量子群の再帰的構成をどのように可能にするか？
• RQ5 quasitriangular Hopf代数の文脈において、双対ボソン化構成とTannaka-Krein双対性の関係は何か？

主な発見

• 双対ボソン化構成により、$B$ を正ルート空間、$H$ をカルタン部分代数、$B^*$ を負ルート空間とするquasitriangular Hopf代数 $U(B)$ が得られ、Lusztigの $U_q(g)$ の構成を一般化する。
• $B = f$（カルタンデータに付随する代数）の場合、構成はLusztigの $U_q(g)$ を回復し、既存の量子群理論と整合性を保つ。
• 量子ブレインド平面 $A_q^2$ を用いた拡張により、$U_q(sl_2)$ から $U_q(sl_3)$ の明示的構成が可能となり、再帰的適用の有効性を示す。
• $U(B)$ の基本的表現は、braided group $B$ に直接実現され、代数とその表現論との直接的関係を提供する。
• 構成は量子双対と整合的であり、Tannaka-Krein再構成フレームワークを備えており、双対性理論における基盤的役割を果たす。
• ボソン化プロセスの一般化を可能にする二重双積の理論が開発され、より複雑なホープ代数拡張へと構成を拡張可能となる。