[论文解读] Root systems and Weyl groupoids for Nichols algebras

I. Heckenberger, Henriette Schneider|ArXiv.org|Jul 4, 2008

Algebraic structures and combinatorial models参考文献 14被引用 20

一句话总结

本文为任意霍普夫代数上的半单Yetter-Drinfeld模所关联的尼基尔斯代数引入了一般化的根系与Weyl群胚框架。通过从编织自伴作用的有限性条件构造一族卡坦矩阵，作者证明了尼基尔斯代数的维数与希尔伯特级数由根系与反射控制，从而得出一个分类结果：若Weyl群胚有限，则所有根空间均为实根，且编织自伴作用保持不可约性。

ABSTRACT

Motivated by work of Kac and Lusztig, we define a root system and a Weyl groupoid for a large class of semisimple Yetter-Drinfeld modules over an arbitrary Hopf algebra. The obtained combinatorial structure fits perfectly into an existing framework of generalized root systems associated to a family of Cartan matrices, and provides novel insight into Nichols algebras. We demonstrate the power of our construction with new results on Nichols algebras over finite non-abelian simple groups and symmetric groups. Key words: Hopf algebra, quantum group, root system, Weyl group

研究动机与目标

• 将根系与Weyl群的理论从Kac-Moody李代数推广至任意霍普夫代数上的尼基尔斯代数。
• 通过从编织自伴作用的有限性条件导出的一族卡坦矩阵，为半单Yetter-Drinfeld模定义一般化根系。
• 建立尼基尔斯代数作为不可约分量的张量积的分解，其指标为$\mathbb{Z}^\theta$中的全序度数集。
• 证明当Weyl群胚有限时，所有根均为实根，且编织自伴作用保持不可约性。
• 将该框架应用于对对称群与非阿贝尔单群上有限维尼基尔斯代数的分类。

提出的方法

• 通过从编织自伴作用的有限性条件导出的一族卡坦矩阵来定义一般化根系，而非事先假设其存在。
• 利用Kharchenko的PBW基理论在对角型braided Hopf代数中的推广，构造尼基尔斯代数分解为不可约分量的张量积。
• 建立尼基尔斯代数作为不可约Yetter-Drinfeld模的尼基尔斯代数的张量积的唯一分解，其指标为$\mathbb{Z}^\theta$中的全序度数集。
• 定义根系上的反射并证明其基本性质，构成Weyl群胚的基础。
• 将理论应用于证明：对于对称群$\mathbb{S}_n$，$n \geq 3$，若$\mathfrak{B}(U)$为有限维，则$U$在${}^G_G\mathcal{YD}$中必为不可约。
• 利用条件$q_{(\mathrm{ad}_c V)(W)} = -q_V q_W$与双陪集分析，推导出交换共轭类与编织行为的约束。

实验结果

研究问题

• RQ1 能否在不预先假设固定卡坦矩阵的前提下，为任意霍普夫代数上的尼基尔斯代数定义一般化根系与Weyl群胚？
• RQ2 在直接和的不可约Yetter-Drinfeld模上，编织自伴作用保持不可约性的条件是什么？
• RQ3 Weyl群胚的有限性如何影响尼基尔斯代数的结构，特别是其维数与希尔伯特级数？
• RQ4 尼基尔斯代数的有限性对对称群与非阿贝尔单群中的共轭类与编织行为施加了何种约束？
• RQ5 在两个不可约Yetter-Drinfeld模上，编织自伴作用的像在何种条件下为不可约或为零？

主要发现

• 尼基尔斯代数$\mathfrak{B}(M_1 \oplus \cdots \oplus M_\theta)$可唯一分解为$\otimes_{l \in L} \mathfrak{B}(W_l)$，其中$W_l$为$\mathbb{N}_0^\theta$-分次的不可约Yetter-Drinfeld模，$L$为全序指标集。
• 当Weyl群胚有限时，一般化根系中的所有根均为实根，且编织自伴作用满足$ (\mathrm{ad}_c M_i)^m(M_j) = 0 $或为不可约，对所有$ i \neq j $，$ m \geq 1 $成立。
• 对于对称群$\mathbb{S}_n$，$n \geq 3$，若$\mathfrak{B}(U)$为有限维，则$U$在${}^G_G\mathcal{YD}$中必为不可约。
• 若$\mathfrak{B}(V \oplus W)$为有限维，则对所有$ s \in \mathcal{O}_g $，$ t \in \mathcal{O}_h $，有$ (st)^2 = (ts)^2 $，且至多存在一个双陪集$ G^h x G^g $满足$ (x \triangleright g)h \neq h(x \triangleright g) $。
• 对$ s \in \mathcal{O}_g $，$ t \in \mathcal{O}_h $，且$ st \neq ts $，其像$ U = (\mathrm{ad}_c V_s)(W_t) $为不可约Yetter-Drinfeld模，满足$ q_U = -q_V q_W $，且$ \dim \mathfrak{B}(U) < \infty $。
• 条件$ \dim \mathfrak{B}(U) < \infty $意味着$ \mathcal{O}_{(123)} \notin \mathcal{F}(\mathbb{S}_3) $且$ \mathcal{O}_{(12)(34)} \notin \mathcal{F}(\mathbb{S}_4) $，这支持了对$\mathbb{S}_n$的不可约性结果。