[论文解读] Construction of quantized enveloping algebras by cocycle deformation

Akira Masuoka|ArXiv.org|Apr 16, 2008

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

一句话总结

本文提出了一种双胞腔形变框架，用于从预-Nichols代数构造量子包络代数及其类似物，避免了验证复杂定义关系（如量子Serre关系）的需要。关键贡献在于证明了此类代数可作为更简单分次Hopf代数的双胞腔形变，从而统一了$U_q$、小量子群和超代数的构造，归于同一代数机制之下。

ABSTRACT

By using cocycle deformation, we construct a certain class of Hopf algebras, containing the quantized enveloping algebras and their analogues, from what we call pre-Nichols algebras. Our construction generalizes in some sense the known construction by (generalized) quantum doubles, but unlike in the known situation, it saves us from difficulties in checking complicated defining relations.

研究动机与目标

• 通过避免直接验证复杂定义关系（如量子Serre关系）来简化量子包络代数的构造。
• 利用双胞腔形变推广量子对偶构造，实现对$U_q$、其超类比以及多参数版本的统一处理。
• 将先前关于 pointed Hopf 代数双胞腔形变的结果扩展至非 pointed 情况，借助预-Nichols 代数的框架。
• 为构造有限维 pointed Hopf 代数（如$u(\frak{D},\boldsymbol{\nu},\boldsymbol{\rho})$）提供统一的代数机制，将其表示为玻色化预-Nichols 代数的双胞腔形变。

提出的方法

• 该构造使用与某 Hopf 代数 $H$ 上的 Yetter-Drinfeld 模相关的预-Nichols 代数 $R_i$ 的辫子张量积，其辫子互为逆元。
• 一个双线性映射 $\lambda: \bigoplus_{i>j} [V_i,V_j] \to k$ 定义了形变参数，控制结果 Hopf 代数 $\mathcal{H}^\lambda$ 中的形变交换关系。
• 通过在玻色化 Hopf 代数 $\mathcal{H} = R \mathop{\raisebox{0.86108pt}{\makebox[8.99994pt][l]{${\scriptstyle>\joinrl\lessdot}$}}\raisebox{0.51663pt}{$\shortmid$}} H$ 上定义的 2-上循环 $\sigma$，定义形变乘法，得到 $\mathcal{H}^\lambda = \mathcal{H}^\sigma$。
• 辫子交换子 $[v,w] = (\mathrm{id} - c_{ij})(v \otimes w)$ 通过 $\lambda$ 进行形变，导致 $\mathcal{H}^\lambda$ 中出现如 $E_iF_j - F_jE_i = \delta_{ij}\frac{K_i - K_i^{-1}}{q_i - q_i^{-1}}$ 的关系。
• 该方法依赖于 Hopf-Galois 理论，并利用量子对偶构造是双胞腔形变的特例这一事实，从而实现对定义关系的系统性形变。

实验结果

研究问题

• RQ1 能否通过避免直接验证量子Serre关系来简化$U_q$的构造？
• RQ2 是否存在一个统一框架，将$U_q$、其超类比以及小量子群视为同一代数结构的形变？
• RQ3 能否使用双胞腔形变从预-Nichols代数而非仅 Nichols 代数来构造量子包络代数？
• RQ4 形变参数$\lambda$如何控制结果 Hopf 代数$\mathcal{H}^\lambda$的结构？
• RQ5 是否$\mathcal{H}^\lambda$的分次版本同构于原始代数$\mathcal{H}$，这又对形变的本质意味着什么？

主要发现

• 量子包络代数$U_q$被实现为$\mathcal{H}^\lambda$，其中$\mathcal{H}$是预-Nichols 代数$R_-$与$R_+$的张量积的玻色化，而$\lambda$编码了量子Serre关系与Cartan关系。
• Hopf 代数$\mathcal{H}^\lambda$是$\mathcal{H}$的双胞腔形变，即存在某个 2-上循环$\sigma$使得$\mathcal{H}^\lambda \cong \mathcal{H}^\sigma$，这简化了定义关系的验证。
• 相应的分次代数$\mathrm{gr}\,\mathcal{H}^\lambda$同构于$\mathcal{H}$，证实了形变保持了底层的分次结构。
• 该构造推广了量子对偶方法：$U_q$同构于$((R_- \mathop{\raisebox{0.86108pt}{\makebox[8.99994pt][l]{${\scriptstyle>\joinrl\lessdot}$}}\raisebox{0.51663pt}{$\shortmid$}} k\Gamma') \otimes (R_+ \mathop{\raisebox{0.86108pt}{\makebox[8.99994pt][l]{${\scriptstyle>\joinrl\lessdot}$}}\raisebox{0.51663pt}{$\shortmid$}} k\Gamma))^\sigma$模去核$K_i \otimes 1 - 1 \otimes K_i$。
• 有限维 pointed Hopf 代数$u(\frak{D}, \boldsymbol{\nu}, \boldsymbol{\rho})$被证明是$u(\frak{D}, 0, 0)$的双胞腔形变，推广了Didt与Kassel-Schneider的结果。