[论文解读] A construction of symmetric linear functions of the restricted quantum group \overline{U}_q (sl_2)

Yusuke Arike|ArXiv.org|Jul 1, 2008

Algebraic structures and combinatorial models参考文献 6被引用 7

一句话总结

本文利用本原幂等元和生成元作用于其上的乘法规则，构建了在单位根处的受限量子群 $\overline{U}_q(sl_2)$ 上对称线性泛函空间的基。关键结果是得到了一个 $(3p-1)$-维的对称线性泛函完备基，明确给出了由平衡元作用于积分所得到的扭曲积分在该基下的分解，从而为对数共形场论中的应用提供了支持。

ABSTRACT

In this paper we construct all the primitive idempotents of the restricted quantum group $\overline{U}_q (sl_2)$ and also determine the multiplication rules among a basis given by the action of generators of $\bar{U}_q (sl_2)$ to the idempotents. By using this result we construct a basis of the space of symmetric linear functions of $\overline{U}_q (sl_2)$ and determine the decomposition of the integral of the dual of $\overline{U}_q (sl_2)$ twisted by the balancing element to the basis of the space of symmetric linear functions.

研究动机与目标

• 构建受限量子群 $\overline{U}_q(sl_2)$ 在单位根处对称线性泛函空间的基。
• 确定由平衡元作用于对偶霍普夫代数的左积分和右积分所得到的线性泛函的分解。
• 建立对称线性泛函与对数共形场论中正规化块之间的联系，特别是针对 $\mathcal{W}(p)$ 顶点算子代数。
• 通过 $\overline{U}_q(sl_2)$ 中的本原幂等元和乘法规则，提供对称泛函的完整代数框架。

提出的方法

• 利用不可约分解投影模的结构以及文献 [2] 和 [10] 的结果，构造 $\overline{U}_q(sl_2)$ 的所有本原幂等元。
• 通过生成元作用于本原幂等元来构建 $\overline{U}_q(sl_2)$ 的基，并确定基元素之间的完整乘法规则。
• 对 $1 \leq s \leq p-1$ 定义对称线性泛函 $T_s^\pm$ 和 $G_s$，以及 $T_0$ 和 $T_p$，通过基的矩阵系数的迹来定义。
• 通过验证对称性和线性无关性，证明集合 $\{T_s^+, T_s^-, G_s \mid 1 \leq s \leq p-1\} \cup \{T_0, T_p\}$ 构成 $\mathrm{SLF}(\overline{U}_q(sl_2))$ 的基。
• 通过在基元素上的显式计算，确定扭曲积分泛函 $g^{-1} \rightharpoonup \lambda = \mu \leftharpoonup g$ 在对称基中的系数。
• 利用涉及量子整数 $[i]$、$\gamma_s$、$\delta_s$ 以及 $\prod_{i=1}^{p-1} \sin(\pi i/p)$ 的恒等式，将系数表达为闭合形式。

实验结果

研究问题

• RQ1 如何为有限维霍普夫代数 $\overline{U}_q(sl_2)$ 构造对称线性泛函的完备基？
• RQ2 线性泛函 $g^{-1} \rightharpoonup \lambda$ 在对称线性泛函基中的显式分解是什么？
• RQ3 对称线性泛函如何与 $\overline{U}_q(sl_2)$ 的中心和积分相关联，特别是在平衡元作用下？
• RQ4 本原幂等元和乘法规则在构造对称泛函中起什么作用？
• RQ5 该构造如何促进对对数共形场论中正规化块的研究，特别是针对 $\mathcal{W}(p)$？

主要发现

• 在 $\overline{U}_q(sl_2)$ 上，对称线性泛函的空间是 $(3p-1)$-维的，其维数与中心的维数一致，这一结论通过 [10] 中的同构关系确立。
• 对称线性泛函 $T_s^+$、$T_s^-$ 和 $G_s$（$1 \leq s \leq p-1$），以及 $T_0$ 和 $T_p$，构成 $\mathrm{SLF}(\overline{U}_q(sl_2))$ 的基。
• 扭曲积分泛函 $g^{-1} \rightharpoonup \lambda$ 在对称基中的系数被显式计算为：$\alpha_0 = \frac{(-1)^{p-1}}{2p^3} \left(2\sin\frac{\pi}{p}\right)^{2(p-1)}$，$\alpha_p = \frac{1}{2p^3} \left(2\sin\frac{\pi}{p}\right)^{2(p-1)}$，$\alpha_s^\pm = -\frac{\delta_s}{\gamma_s^2}$，以及 $\beta_s = \frac{1}{\gamma_s}$。
• 系数 $\beta_s$ 表达为 $\frac{(-1)^{p-s-1}}{2p^3}[s]^2(2\sin\frac{\pi}{p})^{2(p-1)}$，显示出其对 $s$ 和 $p$ 的显式依赖关系。
• 泛函 $g^{-1} \rightharpoonup \lambda$ 是对称的，并且在基中具有唯一的分解，从而确认了通过对 [10] 的同构，对称泛函与中心之间存在一一对应。
• 结果为 $\overline{U}_q(sl_2)$ 与对数共形场论中的正规化块之间建立了具体的代数框架，特别是对于 $\mathcal{W}(p)$，其正规化块空间同构于 $\mathrm{SLF}(\overline{U}_q(sl_2))$。