[论文解读] Right coideal subalgebras of Nichols algebras and the Duflo order on the Weyl groupoid

I. Heckenberger, Henriette Schneider|ArXiv.org|Sep 1, 2009

Algebraic structures and combinatorial models参考文献 22被引用 9

一句话总结

该论文在Yetter-Drinfeld模允许所有反射且Nichols代数可分解的条件下，建立了在右Duflo序下Weyl群胚的态射与Nichols代数的分次右余理想子代数之间的双射、序保持对应关系。关键结果证实了Kharchenko关于量化的包络代数中右余理想子代数数量的猜想。

ABSTRACT

We study graded right coideal subalgebras of Nichols algebras of semisimple Yetter-Drinfeld modules. Assuming that the Yetter-Drinfeld module admits all reflections and the Nichols algebra is decomposable, we construct an injective order preserving and order reflecting map between morphisms of the Weyl groupoid and graded right coideal subalgebras of the Nichols algebra. Here morphisms are ordered with respect to right Duflo order and right coideal subalgebras are ordered with respect to inclusion. If the Weyl groupoid is finite, then we prove that the Nichols algebra is decomposable and the above map is bijective. In the special case of the Borel part of quantized enveloping algebras our result implies a conjecture of Kharchenko. Key words: Hopf algebra, quantum group, root system, Weyl group

研究动机与目标

• 建立半单Yetter-Drinfeld模的Nichols代数中分次右余理想子代数的系统性、无案例分类。
• 将量化的包络代数中余理想子代数的结果推广至Nichols代数和Weyl群胚的更广泛框架。
• 证明包含$U^0$的$U^{ geq 0}$的右余理想子代数的数量等于Weyl群的阶，从而证实Kharchenko的猜想。
• 通过Weyl群胚上的Duflo序，统一、内在地刻画代数$U^+ [w]$及其包含序。
• 通过适当修改框架，将理论扩展至多参数量子群和单位根处的小量子群。

提出的方法

• 从按右Duflo序排序的Weyl群胚态射（按包含序排序）构造到Nichols代数的分次右余理想子代数（按包含序排序）的单射、序保持且序反射的映射。
• 在Yetter-Drinfeld模的背景下，利用反射和根系理论，为半单Yetter-Drinfeld模$M$定义Weyl群胚$\mathcal{W}(M)$。
• 在$\mathcal{W}(M)$有限的假设下，应用Nichols代数及其余理想子代数的PBW定理，确保基结构的明确定义。
• 利用Lusztig的 braid 群作用和扭函子$T_i$来定义根向量，并在不同Weyl群胚对象之间建立联系。
• 建立包含Nichols代数函子$\mathcal{B}(\vartheta)$和扭映射$T_i$的交换图，以确保不同约化分解下PBW生成元的一致性。
• 利用$U$的三角分解和双线性型的非退化性，证明关键代数映射的单射性和交换性。

实验结果

研究问题

• RQ1 是否存在Weyl群胚的态射（按右Duflo序排序）与Nichols代数的分次右余理想子代数之间的典范、内在对应？
• RQ2 包含$U^0$的$U^{ geq 0}$的右余理想子代数的数量是否等于Weyl群$W$的阶？
• RQ3 能否在不进行逐案分析的情况下，统一地将代数$U^+ [w]$表征为扭函子的像和PBW生成元？
• RQ4 在何种条件下，Weyl群胚的有限性可推出Nichols代数的可分解性以及余理想子代数映射的双射性？
• RQ5 这些结果在多大程度上可推广至多参数量子群和单位根处的小量子群？

主要发现

• 映射$w \mapsto U^+ [w]U^0$是Weyl群$W$（按右Duflo序排序）与所有包含$U^0$的$U^{ geq 0}$的右余理想子代数集合之间的序保持双射。
• 当Weyl群胚$\mathcal{W}(M)$有限时，Nichols代数$\mathcal{B}(M)$可分解，且从Weyl群胚态射到余理想子代数的映射成为双射。
• 通过Lusztig自同构构造的$U^+$的PBW基与通过Weyl群胚框架导出的PBW基一致，证实了不同构造之间的一致性。
• 子代数$U^+ [w]$在Duflo序中满足$w' \leq_D w$的任意更小的$U^+ [w']$上是自由右模。
• 该结果证实了Kharchenko的猜想：包含$U^0$的$U^{ geq 0}$的右余理想子代数的数量等于$|W|$，即Weyl群的阶。
• 在$q_{\alpha}$不是单位根或分别为单位根的条件下，该框架可推广至多参数量子群和单位根处的小量子群。