[論文レビュー] Double-bosonization and Majid's Conjecture, (II): cases of irregular $R$-matrices and type-crossings of $F_4$, $G_2$

Hongmei Hu, Naihong Hu|arXiv (Cornell University)|Dec 29, 2015

Algebraic structures and combinatorial models参考文献 13被引用数 3

ひとこと要約

この論文は、Majidの二重ボソン化理論を不規則なR行列へと拡張し、非標準的R行列を備えた量子群の一般化された構成法を確立する。論文はMajidの予想を裏付けるために、バインドドグループと正規化されたR行列を用いて、$U_q(F_4)$および$U_q(G_2)$を$U_q(\frak{sl}_2)$からのタイプクロスィングによって構成し、不規則なR行列の最小多項式を効果的に計算する手法を提供する。

ABSTRACT

The purpose of the paper is to build up the related theory of weakly quasitriangular dual pairs suitably for non-standard $R$-matrices (irregular), and establish the generalized double-bosonization construction theorem for irregular $R$, which generalize Majid's results for regular $R$ in \cite{majid1}. As an application, the type-crossing construction for the exceptional quantum groups of types $F_{4}$, $G_{2}$ is obtained. This affirms the Majid's expectation that the tree structure of nodes diagram associated with quantum groups can be grown out of the node corresponding to $U_q(\mathfrak{sl}_2)$ by double-bosonization procedures. Notably from a representation perspective, we find an effective method to get the minimal polynomials for the non-standard $R$-matrices involved.

研究の動機と目的

• 量子群理論における非正規（不規則）R行列へのMajidの二重ボソン化構成の一般化を図ること。
• 標準的R行列が失敗する際、$U_q(F_4)$や$U_q(G_2)$のような例外的量子群を二重ボソン化によって構成する課題を解決すること。
• Majidの予想、すなわち量子群の木がタイプクロスィングを伴う二重ボソン化によって$U_q(\frak{sl}_2)$から成長可能であるという仮説を確認すること。
• 不規則なR行列の最小多項式を計算する表現論的手法の開発。
• 不規則なR行列を備えた弱く擬三角的双対ペアに対する一般化された二重ボソン化定理の確立。

提案手法

• 論文は、$R$ が不規則な場合の弱く擬三角的双対ペア$(\tilde{U}(R), A(R))$に対する一般化された二重ボソン化構成を導入し、Majidの元来の枠組みを拡張する。
• クーラストリアングルHopf代数$H$の下で共変なバインドドグループ$B$と$B^*$を用い、$B$と$B^*$はバインドドカテゴリにおいて双対である。
• 構成法はテンソル空間$B^* \rtimes H \rtimes B$上に新たな量子群を構築し、$H$をカルタン部分代数とし、$B$と$B^*$を正と負のルート生成子とする。
• スピン3/2表現における正規化されたR行列$R = q^{3/2} R_{VV}$を用いて、クロス関係と$q$-セール関係を定義する。
• この手法では、$m^+$と$e^4$の行列成分から新しい生成子$E_2, F_2, K_2$を同定し、スペクトル分解とバインドド非可換関係を用いて量子群の関係を検証する。
• 正規化されたR行列とそのスペクトルデータに基づく表現論的技術を用いて、不規則なR行列の最小多項式を計算する。

実験結果

リサーチクエスチョン

• RQ1 Majidの二重ボソン化構成は、非正規（不規則）R行列へ一般化可能か？
• RQ2 二重ボソン化を用いて、$U_q(\frak{sl}_2)$からのタイプクロスィングによって$U_q(F_4)$および$U_q(G_2)$をどのように構成できるか？
• RQ3 不規則なR行列を備えた量子群の構成において、正規化されたR行列の役割は何か？
• RQ4 表現論を用いて、不規則なR行列の最小多項式を効果的に計算する方法は何か？
• RQ5 一般化された二重ボソン化手順は、例外型に対して正しいカルタン行列と量子群の関係をもたらすか？

主な発見

• 不規則なR行列に対する一般化された二重ボソン化定理が確立され、Majidの元来の枠組みが正規R行列に限らず拡張された。
• 論文は、スピン3/2表現と正規化されたR行列$R = q^{3/2} R_{VV}$を用い、$U_q(\frak{sl}_2)$からのタイプクロスィングによって$U_q(G_2)$を構成する。$K_1^{1/2}$を付加する。
• 得られた量子群のカルタン行列は$\begin{pmatrix} 2 & -3 \\ -1 & 2 \end{pmatrix}$であり、$G_2$ルート系を確認する。
• クロス関係$[E_2, F_2] = \frac{K_2 - K_2^{-1}}{q^3 - q^{-3}}$、$E_2 K_2 = q^6 K_2 E_2$、および$[E_2, F_1] = 0$は、行列成分とバインドド非可換関係を用いて検証された。
• $q$-セール関係$(E_2)^2 E_1 - [2]_{q^3} E_2 E_1 E_2 + E_1 (E_2)^2 = 0$および$(E_1)^4 E_2 - [4]_q (E_1)^3 E_2 E_1 + [4]_q [3]_q (E_1)^2 E_2 (E_1)^2 - [4]_q (E_1) E_2 (E_1)^3 + E_2 (E_1)^4 = 0$は、クロス関係とスペクトルデータから導出された。
• 正規化されたR行列とそのスペクトル分解に基づく、不規則なR行列の最小多項式を計算する効果的な手法が得られた。