[论文解读] Double-Bosonisation and the Construction of {$U_q(g)$}

Shahn Majid|ArXiv.org|Nov 2, 1995

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

一句话总结

本文提出了一种新颖的构造方法——双重玻色化（double-bosonisation），该方法从拟三角 Hopf 代数 $H$-模范畴中的辫子群出发，构建拟三角 Hopf 代数，特别是量子群如 $U_q(g)$。通过将辫子群 $B$ 嵌入为正根空间，$H$ 作为 Cartan 子代数，其对偶 $B^*$ 作为负根空间，该构造推广了 Lusztig 的 $U_q(g)$ 构造，并实现了量子群的递归构建，例如通过量子辫子平面 $A_q^2$ 从 $U_q(sl_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.

研究动机与目标

• 开发一种系统化且自然的拟三角 Hopf 代数（特别是量子群）构造方法，从 $H$-模范畴中的辫子群出发。
• 通过引入统一框架，推广 Lusztig 的 $U_q(g)$ 构造，将正根空间、Cartan 子代数和负根空间作为结构化组成部分进行处理。
• 通过依次使用线性辫子群扩展根空间，提供量子群的递归构造机制。
• 通过在辫子群 $B$ 中构造结果量子群 $U(B)$ 的基本表示，建立表示理论基础。
• 将构造与更广泛的代数结构联系起来，包括量子双代数、双重双积以及 Tannaka-Krein 对偶性。

提出的方法

• 该方法通过双重玻色化从一个位于拟三角 Hopf 代数 $H$-模范畴中的辫子群 $B$ 出发，构造一个新的拟三角 Hopf 代数 $U(B)$。
• 所得代数 $U(B)$ 以 $B$ 为正根空间，$H$ 为 Cartan 子代数，其对偶辫子群 $B^*$ 为负根空间。
• 该构造利用辫子张量积以及 Yeter-Drinfeld 模的结构，确保与拟三角 $R$-矩阵结构的相容性。
• 它借助双重双积理论，推广了玻色化过程，并将构造扩展至非平凡的 Hopf 代数扩张。
• 该方法将量子双代数构造作为特例，并为所得量子群提供了 Tannaka-Krein 重构视角。
• 结果量子群 $U(B)$ 的基本表示直接实现在辫子群 $B$ 中，从而将代数结构与其表示理论直接联系起来。

实验结果

研究问题

• RQ1 如何利用辫子群结构，从更小的代数构件系统地构造量子群？
• RQ2 在超越标准李代数模型的广义量子群构造中，Cartan 子代数与根空间分解起什么作用？
• RQ3 能否通过类似双重玻色化的单一代数机制，统一并推广量子双代数构造？
• RQ4 双重玻色化过程如何实现如 $U_q(sl_3)$ 从 $U_q(sl_2)$ 的递归构造？
• RQ5 在拟三角 Hopf 代数的背景下，双重玻色化构造与 Tannaka-Krein 对偶性之间存在何种关系？

主要发现

• 双重玻色化构造产生了一个拟三角 Hopf 代数 $U(B)$，其中 $B$ 为正根空间，$H$ 为 Cartan 子代数，$B^*$ 为负根空间，推广了 Lusztig 的 $U_q(g)$ 构造。
• 当 $B = f$（与 Cartan 数据相关联的代数）时，该构造恢复了 Lusztig 的 $U_q(g)$，验证了其与已建立的量子群理论的一致性。
• 该方法通过引入量子辫子平面 $A_q^2$ 实现了从 $U_q(sl_2)$ 显式构造 $U_q(sl_3)$，展示了其递归适用性。
• 结果量子群 $U(B)$ 的基本表示实现在辫子群 $B$ 中，为代数与其表示理论之间建立了直接联系。
• 该构造与量子双代数相容，并可纳入 Tannaka-Krein 重构框架，显示出其在对偶性理论中的基础性作用。
• 双重双积理论得到发展，以推广玻色化过程，并将构造扩展至更复杂的 Hopf 代数扩张。