[论文解读] A Frobenius homomorphism for Lusztig's quantum groups over arbitrary roots of unity

Simon Lentner|arXiv (Cornell University)|Jun 3, 2014

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

一句话总结

本文将卢茨蒂格在单位根处的弗罗贝尼乌斯同态推广至任意阶单位根，利用尼奇尔斯代数理论构造了即使在单位根阶数非素数时仍为有限维的核（小量子群）。研究揭示，核与像的李代数可能与原始代数不同，包括对偶根系和辫状范畴，其中如 $G_2$ 在 $q = \pm i$ 时的奇异情形会从 $G_2$ 根系生成 $A_3$ 根系。

ABSTRACT

For a finite dimensional semisimple Lie algebra and a root of unity, Lusztig defined an infinite dimensional quantum group of divided powers. Under certain restrictions on the order of the root of unity, he constructed a Frobenius homomorphism with finite dimensional Hopf kernel and with image the universal enveloping algebra. In this article we define and describe the Frobenius homomorphism for arbitrary roots of unity by systematically using the theory of Nichols algebras. In several new exceptional cases the Frobenius-Lusztig kernel is associated to a different Lie algebra than the initial Lie algebra. Moreover, the Frobenius homomorphism often switches short and long roots, and may produce Lie algebras in a symmetrically braided category.

研究动机与目标

• 将卢茨蒂格对单位根处量子群的弗罗贝尼乌斯同态推广至非素数阶的限制。
• 利用尼奇尔斯代数理论系统地描述任意单位根下弗罗贝尼乌斯-卢茨蒂格核的结构。
• 识别核与像李代数与原始代数不同的情形，包括对偶根系和对称辫状范畴。
• 解决当 $\ell$ 可被 2 或 3 整除时小量子群定义中的不一致问题。
• 为理解核与像中李代数非同构的量子群扩张提供一个框架。

提出的方法

• 利用尼奇尔斯代数理论，将弗罗贝尼乌斯-卢茨蒂格核 $u_q^\mathcal{L}(\mathfrak{g})^+$ 构造为卢茨蒂格量子群正部的商。
• 应用余根基扩张与整数形式，将有理量子群 $U_q^\mathcal{L}(\mathfrak{g})$ 在任意单位根处进行特化。
• 通过根系轨道与小量子群上的伴随作用分析核的结构。
• 利用塞尔关系与量子二项式系数计算换位子，并验证核中非零关系。
• 利用霍普夫代数结构定义短正合列：$u_q^\mathcal{L}(\mathfrak{g}^{(0)})^+ \to U_q^\mathcal{L}(\mathfrak{g})^+ \to U(\mathfrak{g}^{(\ell)})^+$。
• 考虑预-尼奇尔斯代数的分次对偶与图自同构，以生成此类扩张的新例子。

实验结果

研究问题

• RQ1 如何将卢茨蒂格的弗罗贝尼乌斯同态推广至任意单位根（而不仅限于素数阶）？
• RQ2 当 $\ell$ 可被 2 或 3 整除时，弗罗贝尼乌斯-卢茨蒂格核的结构是什么？它与标准定义有何不同？
• RQ3 在何种情况下，弗罗贝尼乌斯同态映射到具有对偶根系的李代数（如 $B_n \leftrightarrow C_n$）？
• RQ4 核与像的李代数是否可能位于对称辫状范畴中？这对表示理论有何影响？
• RQ5 在奇异情形 $\mathfrak{g} = G_2, q = \pm i$ 中，核具有 $A_3$ 根系，其意义是什么？

主要发现

• 对于任意单位根，弗罗贝尼乌斯同态存在，其有限维核为 $u_q^\mathcal{L}(\mathfrak{g}^{(0)})^+$，推广了卢茨蒂格的构造。
• 当 $\ell$ 可被 2 或 3 整除时，核 $u_q^\mathcal{L}(\mathfrak{g}^{(0)})^+$ 可能对应于不同于原始 $\mathfrak{g}$ 的李代数，包括对偶根系如 $B_n \leftrightarrow C_n$。
• 在 $\mathfrak{g} = G_2, q = \pm i$ 的情形下，核 $u_q^\mathcal{L}(\mathfrak{g}^{(0)})^+$ 具有 $A_3$ 根系，由 $\alpha_1, \alpha_2, \alpha_{112}$ 生成，尽管原始根系为 $G_2$。
• 弗罗贝尼乌斯同态可交换长短根，且像李代数 $\mathfrak{g}^{(\ell)}$ 可能位于对称辫状范畴中。
• 换位子 $[E_{112}^{(2)}, E_2^{(2)}]$ 在核中为零，而 $[E_1^{(2)}, E_{112}^{(2)}]$ 在 $q = \pm i$ 时计算为 $4E_{1112}^{(2)} \neq 0$，证实了非平凡关系的存在。
• 该构造生成了新的无限维霍普夫代数扩张 $H$，其由有限维 pointed 霍普夫代数 $h$ 与普遍包络代数 $U$ 扩张而成，包括 $\mathfrak{g}^{(0)} \neq \mathfrak{g} \neq \mathfrak{g}^{(\ell)}$ 的情形。