[论文解读] 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-矩阵的量子群的广义构造方法。通过类型交叉从 $U_q(\frak{sl}_2)$ 构造了例外量子群 $U_q(F_4)$ 和 $U_q(G_2)$，验证了 Majid 的猜想，并提供了计算非正则 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.

研究动机与目标

• 将 Majid 的双重玻色化构造推广至量子群理论中的非正则（非正则）R-矩阵。
• 解决在标准 R-矩阵失效时，利用双重玻色化构造例外量子群 $U_q(F_4)$ 和 $U_q(G_2)$ 的挑战。
• 验证 Majid 的猜想：通过类型交叉的双重玻色化，可以从 $U_q(\frak{sl}_2)$ 构建量子群树。
• 发展一种表示论方法，用于计算非正则 R-矩阵的最小多项式。
• 为具有非正则 R-矩阵的弱拟三角对偶对建立广义双重玻色化定理。

提出的方法

• 本文在 $R$ 为非正则时，引入了弱拟三角对偶对 $(\tilde{U}(R), A(R))$ 的广义双重玻色化构造，将 Majid 的原始框架扩展至非正则 R-矩阵。
• 它使用在拟三角 Hopf 代数 $H$ 下协变的辫子群 $B$ 和 $B^*$，其中 $B$ 和 $B^*$ 在辫子范畴中互为对偶。
• 该构造在张量空间 $B^* \rtimes H \rtimes B$ 上构建一个新的量子群，其中 $H$ 作为 Cartan 子代数，$B$ 和 $B^*$ 分别作为正根和负根生成元。
• 它应用归一化的 R-矩阵 $R = q^{3/2} R_{VV}$ 来定义交叉关系和 $q$-Serre 关系。
• 该方法涉及从 $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 广义双重玻色化过程是否能为例外类型正确生成 Cartan 矩阵和量子群关系？

主要发现

• 为非正则 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}$。
• 所得量子群的 Cartan 矩阵为 $\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$-Serre 关系 $(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-矩阵的最小多项式。